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.
Item Type: | Journal article |
---|---|
Keywords: | Normal modalities, Logicality, Double-line rules, Proof-theoretic semantics, Display calculi |
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 |
Subjects: | 100 Philosophy and Psychology > 160 Logic |
ISSN: | 1572-8730 |
Language: | English |
Item ID: | 42250 |
Date Deposited: | 20. Feb 2018 08:13 |
Last Modified: | 04. Nov 2020 13:17 |