Non-Classical Solutions to the Paradoxes
Idea & Motivation
The paradoxes pose a challenge to our most basic intuitions about many concepts we use in every day language, such as truth, collections, baldness, and being a heap or Mount Everest. By simple laws of reasonings, we are led from intuitive principles governing these concepts to contradictions or other unwanted consequences. Traditionally, the problem was thought to be found in the aforementioned principles, which were to be restricted in some way. Nowadays, the most popular view is that some of the so-called simple laws of reasoning are the ones to blame instead.
Accordingly, there has been a proliferation of weaker systems than classical logic, put forward as alternative ways of reasoning from the intuitive but problematic principles. These non-classical logics block the implication of the unwanted consequences, each of them in its own way. Thus, several questions arise, that we would like to address during the workshop: What's the status of these non-classical logics? Are they, or at least is one of them, to replace classical logic? Are they true logics, in the sense of giving the right verdict on the validity of vernacular arguments? Or perhaps just one of them is? Or are they mere instruments to deal with otherwise trivial principles?
Speakers
- Guillermo Badia (Johannes Kepler University)
- Eduardo Barrio (University of Buenos Aires/Conicet)
- Jonathan Dittrich (MCMP/LMU Munich)
- Martin Fischer (MCMP/LMU Munich)
- Ole Hjortland (University of Bergen)
- Joao Marcos (Federal University of Rio Grade do Norte/Ruhr University Bochum)
- Carlo Nicolai (MCMP/LMU Munich)
- Federico Pailos (University of Buenos Aires/Conicet)
- Dave Ripley (University of Connecticut)
- Lucas Rosenblatt (University of Buenos Aires/Conicet)
- Paula Teijeiro (University of Buenos Aires/Conicet)
- Elia Zardini (University of Lisbon)
Program
Day 1 (26 February 2017)
| Time | Event |
|---|---|
| 15:00 - 15:40 | Guillermo Badia: Relevant Languages as Fragments of Boolean Languages |
| 15:40 - 15:45 | Break |
| 15:45 - 16:25 | Joao Marcos: Consequence Beyond Truth and Proof |
| 16:25 - 16:45 | Coffee Break |
| 16:45 - 18:30 | Discussion |
Day 2 (27 February 2017)
| Time | Event |
|---|---|
| 10:30 - 11:45 | Eduardo Barrio: Models & Proofs: Paraconsistent logics without a Canonical Interpretation |
| 11:45 - 12:00 | Coffee Break |
| 12:00 - 13:30 | Martin Fischer and Carlo Nicolai: Truth Has to Live Up to Its Task |
| 13:30 - 15:00 | Lunch Break |
| 15:00 - 16:15 | Jonathan Dittrich: Fixed-Point Constructions for Substructural Approaches to Paradox |
| 16:15 - 16:30 | Coffee Break |
| 16:30 - 17:45 | Elia Zardini: One, and Only One |
| 19:30 | Conference Dinner |
Day 3 (28 February 2017)
| Time | Event |
|---|---|
| 10:15 - 11:30 | Ole Hjortland:Theories of Truth and the Maxim of Minimal Mutilation |
| 11:30 - 11:45 | Coffee Break |
| 11:45 - 13:00 | Lucas Rosenblatt: Noncontractive Classical Logic |
| 13:00 - 14:30 | Lunch Break |
| 14:30 - 15:45 | Paula Teijeiro: What is Tonk |
| 15:45 - 16:00 | Coffee Break |
| 16:00 - 17:15 | Federico Pailos: A Logic Without Valid Sentences, Inferences and Metainferences |
| 17:15 - 17:30 | Coffee Break |
| 17:30 - 18:45 | Dave Ripley: There Is Such a Thing as a Substructural Approach to Paradox |
Acknowledgement
This workshop is generously funded by the Deutsche Forschungsgemeinschaft (DFG) and organized by the Munich Center for Mathematical Philosophy (MCMP, LMU Munich), as part of the collaboration project "Logics of Truth" between the MCMP and the Buenos Aires Logic Group (University of Buenos Aires).
Contact
For questions about all aspects of the conference, please contact Lavinia Picollo: ncsp2017@lrz.uni-muenchen.de.
Venue
Main University Building
Geschwister-Scholl-Platz 1
D-80539 München
Room B015
LMU Roomfinder
If you need help finding the venue or a particalur room, you might consider using the LMU's roomfinder, a mobile web app that lets you display all of the 22.000 rooms at the 83 locations of the LMU in Munich.