Abstract
This paper develops a new framework for combining propositional logics, called “juxtaposition.” Several general metalogical theorems are proved concerning the combination of logics by juxtaposition. In particular, it is shown that under reasonable conditions, juxtaposition preserves strong soundness. Under reasonable conditions, the juxtaposition of two consequence relations is a conservative extension of each of them. A general strong completeness result is proved. The paper then examines the philosophically important case of the combination of classical and intuitionist logics. Particular attention is paid to the phenomenon of collapse. It is shown that there are logics with two stocks of classical or intuitionist connectives that do not collapse. Finally, the paper briefly investigates the question of which rules, when added to these logics, lead to collapse.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Cited by
10 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Supervaluationism, Modal Logic, and Weakly Classical Logic;Journal of Philosophical Logic;2024-01-17
2. MODULAR MANY-VALUED SEMANTICS FOR COMBINED LOGICS;The Journal of Symbolic Logic;2023-04-20
3. Fine on the Possibility of Vagueness;Outstanding Contributions to Logic;2023
4. Logic in Ancient Chinese Texts;Textual Patterns of the Eight-Part Essays and Logic in Ancient Chinese Texts;2020
5. Positive Juxtaposition;Governance, Policy and Juxtaposition;2019-10-02