ENS, 29 rue d’Ulm, Institut Jean-Nicod, meeting room Pavillon Jardin
Eduardo Barrio (CONICET, Buenos Aires) will be Invited Professor at ENS for one month from June 10 to July 10. Professor Barrio is invited by the Philosophy Department of ENS, with also the support of CNRS (summer school on Conditionals) and of the team CoLoR of Institut Jean-Nicod. He will give a series of lectures on the Logics of Metainferences. The lectures will take place:
The week of June 13 to June 17:
- from 5.30 to 6.30 pm every day, in the context of the CNRS summer school Conditionals 2022 held at INALCO, 65 rue des Grands Moulins, 75013 Paris.
The week of June 20 to 24, on:
- June 20 at ENS, 29 rue d’Ulm, Institut Jean-Nicod, salle de réunion du pavillon Jardin, 2pm-4pm.
- June 24 at ENS, 29 rue d’Ulm, Salle Ribot, 2pm-4pm.
The lectures are open to all interested in logic and proof theory. ENS students and faculty are also welcome to attend other lectures in the CNRS summer school on conditionals. Registration mandatory (no fee).
Metainferences have recently come into focus as a useful way of distinguishing between various substructural solutions to semantic paradoxes. as a new way to characterize a logic, as a way to analyze the debate between global and local validity, as a toolkit for understanding abstract features of consequence relations, and as a key for a new version of the collapse argument against logical pluralism. Moreover, there are some paraconsistent elements that connect Priest’s Logic of Paradox (LP) and the Strict-Tolerant approach (ST) of Cobreros, Egré, Ripley and van Rooij: giving up Cut in the latter has as a consequence the loss of other metainferences, closely connected with Modus Ponens and Explosion in the former (aka. Meta-modus Ponens and Meta-explosion). There is, then, a suggestive match between the valid metainferences of ST and the set of inferential validities of LP. This result can be generalized to recapture more and more classical metainferences. As a result, a new hierarchy of metainferential logics based on the non-transitive logic ST can be presented. In this course, we will analyze this hierarchy to recover full classical logic in Strong Kleene models. We will also present the BA-plan: the project to apply full classical logic to deal with semantic paradoxes. From an anti-exceptionalist perspective, we will argue that the adoption of the BA-plan is better than its rivals as theories of transparent truth.
What is a Logic? (June 13, 14)
Different notions of logical consequence in many-valued models. LP – K3. Paraconsistent and Paracomplete logics. Mixed logical consequences: ST and TS. Substructural properties.
Logics and Metainferences (June 15, 16, 17)
What is a metainference? Local and global validity. The Cut Rule. The cases of Meta-explosion and Meta-Modus Ponens. Internal and external notions of logical consequence. The method of traductions. Structural properties as a logic.
What is Classical Logic? (June 20)
Metainferential validities. The hierarchy of classical logics. Different definitions of logics: extensional and intensional criteria.
The BA-plan (June 24)
Applying logics to paradoxes. Could Classical logic deal with semantics paradoxes? Which is the best explanation of the logic of truth?
Organization and contact at the ENS: Paul Égré (email@example.com)
Acknowledgements: Patrick Caudal & Ghanshyam Sharma (Summer school “Conditionals 2022”)