Double-line Harmony in a Sequent Setting

Gratzl, Norbert und Orlandelli, Eugenio (2017): Double-line Harmony in a Sequent Setting. In: Arazim, Pavel und Lávička, Tomáš (Hrsg.): The Logica Yearbook 2016. London: College Publications. S. 157-171

Abstract

This paper concentrates on how to capture harmony in sequent calculi. It starts by considering a proposal made by Tennant and some objections to it which have been presented by Steinberger. Then it proposes a different analysis which makes use of a double-line presentation of sequent calculi in the style of Dosen and it shows that this proposal is able to dismiss disharmonious operators without thereby adopting any global criterion.

• Dokumententyp: Buchbeitrag
• EU Funded Grant Agreement Number: 675415
• EU-Projekte: Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Innovative Training Networks > 675415: Diaphora: Philosophical Problems, Resilience and Persistent Disagreement
• Publikationsform: Publisher's Version
• Keywords: Proof-theoretic semantics; harmony; sequent calculi; doubleline rules; inversion principles
• Fakultät: Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Logic ; Philosophie, Wissenschaftstheorie und Religionswissenschaft > Munich Center for Mathematical Philosophy (MCMP) > Diaphora: Logic and Paradox
• Themengebiete: 100 Philosophie und Psychologie > 100 Philosophie ; 100 Philosophie und Psychologie > 160 Logik
• ISBN: 978-1-84890-243-6
• Ort: London
• Sprache: Englisch