Events archive
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... |
22 February 2002 | Lecture |
Adaptive Causal ReasoningIt 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... |
8 February 2002 | Lecture |
A goal-directed proof format and its heuristicsAn 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... |
13 December 2001 to 14 December 2001 | Conference |
Colloquium: Thinking Through Thought ExperimentsColloquium: Thinking Through Thought Experiments |
7 December 2001 | Lecture |
Quantified modal logic and possible world semantics: a uniform approachQuantified 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... |
7 November 2001 | Lecture |
Harthorne's Anselmian Argument RevisitedHarthorne's Anselmian Argument Revisited |
31 October 2001 | Lecture |
Remarks on Jaskowski's D2 and on the connected adaptive logicsMore information on this event will follow. |
26 October 2001 | Lecture |
Program Explanation ExplainedMy 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... |
21 September 2001 | Lecture |
Synthetic Tableaux for the Paraconsistent Logic CLuNSynthetic 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... |
7 June 2001 | Workshop |
Mini-Workshop on the relation between inconsistency-adaptive and modal adaptive logicsThe relation between inconsistency-adaptive and modal adaptive logics |