Logicality, Double-Line Rules, and Modalities
Studia Logica 107 (1):85-107 (2019)
Abstract
This paper deals with the question of the logicality of modal logics from a proof-theoretic perspective. It is argued that if Dos̆en’s analysis of logical constants as punctuation marks is embraced, it is possible to show that all the modalities in the cube of normal modal logics are indeed logical constants. It will be proved that the display calculus for each displayable modality admits a purely structural presentation based on double-line rules which, following Dos̆en’s analysis, allows us to claim that the corresponding modal operators are logical constants.Author's Profile
DOI
10.1007/s11225-017-9778-0
My notes
Similar books and articles
Tonk Strikes Back.Denis Bonnay & Benjamin Simmenauer - 2005 - Australasian Journal of Logic 3:33-44.
Popper's Notion of Duality and His Theory of Negations.David Binder & Thomas Piecha - 2017 - History and Philosophy of Logic 38 (2):154-189.
Logical operations and invariance.Enrique Casanovas - 2007 - Journal of Philosophical Logic 36 (1):33 - 60.
Double-line Harmony in a Sequent Setting.Gratzl Norbert & Orlandelli Eugenio - 2017 - In Pavel Arazim & Tomáš Lávička (eds.), The Logica Yearbook 2016.
Which modal models are the right ones (for logical necessity)?John P. Burgess - 2003 - Theoria 18 (2):145-158.
Encoding modal logics in logical frameworks.Arnon Avron, Furio Honsell, Marino Miculan & Cristian Paravano - 1998 - Studia Logica 60 (1):161-208.
Generalized Quantifiers, Exception Phrases, and Logicality.Shalom Lappin - 1995 - Logic Journal of the IGPL 3 (2-3):203-222.
The Undergeneration of Permutation Invariance as a Criterion for Logicality.Catarina Dutilh Novaes - 2014 - Erkenntnis 79 (1):81-97.
Higher-order sequent-system for intuitionistic modal logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.
Classical harmony: Rules of inference and the meaning of the logical constants.Peter Milne - 1994 - Synthese 100 (1):49 - 94.
Semantic pollution and syntactic purity.Stephen Read - 2015 - Review of Symbolic Logic 8 (4):649-661.
Analytics
Added to PP
2018-01-20
Downloads
20 (#566,383)
6 months
1 (#455,463)
2018-01-20
Downloads
20 (#566,383)
6 months
1 (#455,463)
Historical graph of downloads
Author's Profile
Citations of this work
Proof-theoretic pluralism.Filippo Ferrari & Eugenio Orlandelli - 2019 - Synthese 198 (Suppl 20):4879-4903.
General Proof Theory: Introduction.Thomas Piecha & Peter Schroeder-Heister - 2019 - Studia Logica 107 (1):1-5.