CONGRESS OF LOGIC METHODOLOGY AND PHILOSOPHY OF SCIENCE
HELSINKI 2015
AFFILIATED MEETING PROMOTED BY SILFS
PROOF THEORY OF MODAL AND NON-CLASSICAL LOGICS
Organizers:
Giovanna Corsi (Department of Philosophy and Communication, University of Bologna, giovanna.corsi@unibo.it , http://www.unibo.it/docenti/giovanna.corsi )
Sara Negri (Department of Philosophy, University of Helsinki, sara.negri@helsinki.fi, http://www.helsinki.fi/~negri/ )
Aims and description:
In recent years, alongside with the publication of pessimistic views on the possibility of developing satisfactory proof systems for modal logic, there has been an impressive burst of new ideas, methods, and results for the proof theory of modal and non-classical logics. All such endeavours converge to the creation of novel inferential methods that cover a wide variety of logics for which no analytic proof systems were previously known; they extend the methods of structural proof theory from pure logic to philosophical logics and axiomatic theories, and use a well developed semantic apparatus as a ground for the generation of proof systems.
The purpose of this affiliated meeting is to bring together experts who are contributing to this growing field, to present their recent work and share ideas with a more generous time frame for talks and discussion and a specialized audience.
The following specific topics will be covered by the talks to be presented at the meeting:
- Gentzen’s systems and contraction-free sequent systems
- The widening scope of inferentialism
- Beyond Gentzen’s systems: labelled, hypersequent, and display calculi
- Metatheorems: cut elimination, completeness, correspondence, interpolation, decidability
- Applications: Euclid’s geometry, bi-connexive logic, counterfactuals, conditional logics, deontic logic, social choice theory
- Comparisons between proof systems for modal and non-classical logics
Contributors and titles:
- Arnon Avron (Tel-Aviv University. Israel): Using Assumptions in Gentzen-type Systems
- Agata Ciabattoni & Paolo Baldi (Vienna University of technology, Austria): A Proof Theoretic Approach to Standard Completeness
- Pierluigi Graziani (Università Chieti-Pesara, Italy): Proof Theory for Non-classical Euclid’s Geometrical Logic
- Giuseppe Greco (Delft Technical University, The Netherlands; joint work with Minghui Ma, Alessandra Palmigiano, Apostolos Tzimoulis, Zhiguang Zhao): Unified Correspondence as a Proof-theoretic Tool
- Rosalie Iemhoff (Utrecht University, The Netherlands): Uniform Interpolation and Proof Systems
- Paolo Maffezioli (Università di Torino, Italy) & Alberto Naibo (IHPST, Université Paris 1, France): Proof theory for first-order logic of social choice
- Sara Negri (University of Helsinki, Finland): Proof Theory for Neighborhood Semantics
- Eugenio Orlandelli (Università di Bologna, Italy): Proof Theory of Non-Normal Modal Logics
- Heinrich Wansing (Ruhr-University Bochum Germany): Natural Deduction for Bi-connexive Logic
