|
7 December 2001 |
Lecture |
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 |
|
31 October 2001 |
Lecture |
More information on this event will follow. |
|
26 October 2001 |
Lecture |
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 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 |
The relation between inconsistency-adaptive and modal adaptive logics |
|
4 May 2001 |
Lecture |
The aim of this paper is to present a dispositional model for the explanation of behavior. This model, we contend, suggests a viable method which, like the method of behaviorism, seeks to uncover relations between behavior and the environment, but manages to avoid a... Read more |
|
4 May 2001 |
Lecture |
The historian Paul Veyne (1984) expresses an idea that exists in many social scientists' minds: "For a historical explanation to be admissible, it must not present any interruption of continuity in causal relations that connect the agents involved in the plot.... Read more |
|
20 April 2001 |
Lecture |
Apart from being an extremely popular genre of science fiction literature, professional historians too describe and discuss alternative histories. In such an uchronia, one conjectures what would have happened if one or more past events happened otherwise. Although many... Read more |
|
9 April 2001 to 11 April 2001 |
Conference |
The aim of the project is to elaborate the foundations of paraconsistency, both from a logical and an epistemological point of view. With the advent of paraconsistent logics and inconsistent mathematical systems, there is a strong need to embed these in a broader framework... Read more |
