|
7 December 2007 to 8 December 2007 |
Conference |
It is known since Plato that, in order to remain metaphysically consistent, one cannot simply equate a thing with the collection of its properties, i.e., count its being among the predicates applicable to it (Kant agreed with him in this respect). Transcendental idealism (... Read more |
|
9 November 2007 |
Lecture |
Assume, for the sake of argument, that there are true contradictions. Assume, further, that these are generated by our languages/conceptual schemes. Perhaps one cannot always revise these to avoid the contradictions. But if we can, should we? I will argue that this is not... Read more |
|
8 November 2007 to 9 November 2007 |
Workshop |
Causation in Science and Technology |
|
10 October 2007 |
Lecture |
In the logical literature, Discursive (or Discussive) Logic introduced by Stanislaw Jaskowski is recognized as one of the earliest examples of the so-called paraconsistent logic. There is some confusion over what is actually discursive logic nevertheless. Some authors takes... Read more |
|
28 September 2007 |
Conference |
The goal of this symposium is to bring together a small number of representative Newton scholars to openly reflect on future perspectives in Newtonian scholarship and the Newtonian legacy in
eighteenth-century science and philosophy in Europe. The goal of the symposium... Read more |
|
3 August 2007 |
Lecture |
In this talk, I will present the propositional fragment of the logic LA, a logic that aims to formalize the notion of CL-analysis. When goal directed proofs are constructed with the prospective dynamics (as defined in [1]), no constructive steps are needed (formulas are... Read more |
|
29 June 2007 |
Lecture |
In this lunchtalk I will present an adaptive interpretation of belief merging. In the first part I will provide a brief (but almost complete) introduction to the idea of belief merging. I will focus on the first interpretation due to Revesz (1993), who presented merging as... Read more |
|
27 June 2007 |
Lecture |
As a young man at Oxford in the 1320s, Thomas Bradwardine wrote a treatise on Insolubles (self-referential paradoxes) which transformed the medievals' approach to these problems. He was, in the later words of Ralph Strode (a friend of Chaucer's) "that prince... Read more |
|
22 June 2007 |
Lecture |
This lunchtalk focuses on two related aims. (1) Most of the oldest propositional paraconsistent logics (as well as some other logics) had an indeterministic semantics. In this lunchtalk I offer a method to transform the models of a large family of two-valued indeterministic... Read more |
|
20 June 2007 |
Lecture |
When searching for an explanation for a (puzzling) phenomenon, people often reason backwards: from the explanandum to possible explanations. As such, they perform a reasoning process usually called `abduction'. All abduction processes share a common element: inferences... Read more |
