Studia Logica 107 (1):85-107 (2019)

Authors
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.
Keywords No keywords specified (fix it)
Categories (categorize this paper)
ISBN(s)
DOI 10.1007/s11225-017-9778-0
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 51,639
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

Proof Analysis in Modal Logic.Sara Negri - 2005 - Journal of Philosophical Logic 34 (5-6):507-544.
What is Logic?Ian Hacking - 1979 - Journal of Philosophy 76 (6):285-319.
Display Logic.Nuel D. Belnap - 1982 - Journal of Philosophical Logic 11 (4):375-417.

View all 18 references / Add more references

Citations of this work BETA

Add more citations

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.
Collapsing Modalities.Lloyd Humberstone - 2009 - Notre Dame Journal of Formal Logic 50 (2):119-132.
Sequent-Systems for Modal Logic.Kosta Došen - 1985 - Journal of Symbolic Logic 50 (1):149-168.
Logical Operations and Invariance.Enrique Casanovas - 2007 - Journal of Philosophical Logic 36 (1):33 - 60.
Predicate Logics on Display.Heinrich Wansing - 1999 - Studia Logica 62 (1):49-75.
Generalized Quantifiers, Exception Phrases, and Logicality.Shalom Lappin - 1995 - Logic Journal of the IGPL 3 (2-3):203-222.
Generalized Quantifiers, Exception Phrases, and Logicality.S. Lappin - 1996 - Journal of Semantics 13 (3):197-220.
Is Logic in the Mind or in the World?Gila Sher - 2011 - Synthese 181 (2):353 - 365.
Higher-Order Sequent-System for Intuitionistic Modal Logic.Kosta Dosen - 1985 - Bulletin of the Section of Logic 14 (4):140-142.

Analytics

Added to PP index
2018-01-20

Total views
18 ( #533,480 of 2,331,224 )

Recent downloads (6 months)
2 ( #397,056 of 2,331,224 )

How can I increase my downloads?

Downloads

My notes