Probability measures of the inconsistent– and of the contradictory Walter Carnielli, State University of Campinas –UNICAMP
Paraconsistency as evidence preservation: a natural deduction approach Abilio Rodrigues, Federal University of Minas Gerais
Der Läufer darf gerade ziehen und der Läufer darf nicht gerade ziehen? Sketches for an anthropological philosophy of paraconsistency, based on the notion of rules Marcos Silva, University of Ceara
On Paraconsistent Belief Revision: the AGM rationality criteria revisited Rafael Testa, State University if Campinas-UNICAMP
Organized by Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University
SPEAKERS AND TITLES
Concrete mathematics -- finitistic approach to foundations of mathematics Marek Czarnecki, Warsaw University and Marcin Mostowski, Warsaw University, Warszawa and Jagiellonian University To be presented by Marcin Mostowski
Concrete model theory. Model-theoretic constructions without actual infinity Marek Czarnecki, Warsaw University To be presented by Michał Tomasz Godziszewski
An infinite liar in a potentially infinite world Michał Tomasz Godziszewski, Warsaw University
Learnability thesis, FM--representability and low models of WKL_0 Marek Czarnecki Michał Tomasz Godziszewski, Dariusz Kalociński, Warsaw University