Double-line Harmony in a Sequent Setting

Gratzl, Norbert; Orlandelli, Eugenio (2017): Double-line Harmony in a Sequent Setting. In: Arazim, Pavel; Lávička, Tomáš (eds.) : The Logica Yearbook 2016. London: College Publications. pp. 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.

• Item Type: Book Section
• EU-FP7/Horizon 2020 Grant Agreement Number: info:eu-repo/grantAgreement/EC/H2020/675415
• EU Projects: Horizon 2020 > Marie Skłodowska Curie Actions > Marie Skłodowska-Curie Innovative Training Networks > 675415: Diaphora: Philosophical Problems, Resilience and Persistent Disagreement
• Form of publication: Publisher's Version
• Keywords: Proof-theoretic semantics; harmony; sequent calculi; doubleline rules; inversion principles
• Faculties: Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP); Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Logic; Philosophy, Philosophy of Science and Religious Science > Munich Center for Mathematical Philosophy (MCMP) > Diaphora: Logic and Paradox
• Subjects: 100 Philosophy and Psychology > 100 Philosophy; 100 Philosophy and Psychology > 160 Logic
• ISBN: 978-1-84890-243-6
• Place of Publication: London
• Language: English