Events archive

Refine your search
E.g., 02/07/2025
E.g., 02/07/2025
2002
8 March 2002 Lecture

Are ordinary people answerable for the past?

Only to the degree that they knew what they were doing, thus, aimed their actions (e.g. at bad or evil), and had causal control over the relationship between their actions and the (socio-political) consequences of these. When knowledge, intentions and control (causal...

Read more

22 February 2002 Lecture

Adaptive Causal Reasoning

It is undisputed that there is a link between statistical (in)dependencies and causal relations between events, but the exact nature of this link is still controversial. We will only consider the epistemological question: how does statistical information (in the crude sense...

Read more

8 February 2002 Lecture

A goal-directed proof format and its heuristics

An often neglected, but nonetheless central feature of reasoning processes is their goal-directedness. Hence, it is not only important to understand which steps can be made at a certain stage in the reasoning process, but also which of these are relevant in view of the...

Read more

2001
13 December 2001 to 14 December 2001 Conference

Colloquium: Thinking Through Thought Experiments

Colloquium: Thinking Through Thought Experiments
7 December 2001 Lecture

Quantified modal logic and possible world semantics: a uniform approach

Quantified modal logic and possible world semantics: a uniform approach. The main theme of quantified modal logic is the interplay between modalities (alethic, temporal, etc) and quantification. Combining expressions like "it is possible that", "it is...

Read more

7 November 2001 Lecture

Harthorne's Anselmian Argument Revisited

Harthorne's Anselmian Argument Revisited
31 October 2001 Lecture

Remarks on Jaskowski's D2 and on the connected adaptive logics

More information on this event will follow.
26 October 2001 Lecture

Program Explanation Explained

My presentation will have two parts. In the first part I will present the main ideas of an account of causal explanation that I have developed in my Ph.D. thesis Understanding Interests and Causal Explanation. My model basically combines three ideas: 1) an explanation is an...

Read more

21 September 2001 Lecture

Synthetic Tableaux for the Paraconsistent Logic CLuN

Synthetic tableaux method (STM) is a semantically-motivated proof and model-seeking method which, on the contrary to the Beth-like tableaux, is based on a direct reasoning. In case of finite-valued extensional propositional logics (as Classical Propositional Calculus or...

Read more

7 June 2001 Workshop

Mini-Workshop on the relation between inconsistency-adaptive and modal adaptive logics

The relation between inconsistency-adaptive and modal adaptive logics

Pages