OK

Cookies help us deliver our services. By using our services, you agree to our use of cookies. Learn more

Organon F

Volume 26, August 2019, Issue 3, Pages 505–536

ISSN 2585-7150 (online) ISSN 1335-0668 (print)

Research Article | Special issue on Reflecting on the Legacy of C.I. Lewis: Contemporary and Historical Perspectives on Modal Logic

Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers

Daniel Rönnedal

https://doi.org/10.31577/orgf.2019.26309

Abstract

In Symbolic Logic (1932), C. I. Lewis developed five modal systems S1 − S5. S4 and S5 are so-called normal modal systems. Since Lewis and Langford’s pioneering work many other systems of this kind have been investigated, among them the 32 systems that can be generated by the five axioms T, D, B, 4 and 5. Lewis also discusses how his systems can be augmented by propositional quantifiers and how these augmented logics allow us to express some interesting ideas that cannot be expressed in the corresponding quantifier-free logics. In this paper, I will develop 64 normal modal semantic tableau systems that can be extended by propositional quantifiers yielding 64 extended systems. All in all, we will investigate 128 different systems. I will show how these systems can be used to prove some interesting theorems and I will discuss Lewis’s so-called existence postulate and some of its consequences. Finally, I will prove that all normal modal systems are sound and complete and that all systems (including the extended systems) are sound with respect to their semantics. It is left as an open question whether or not the extended systems are complete.

Keywords

C.I. Lewis, modal logic, propositional quantifiers, semantic tableaux.

Author(s) and affiliation(s)

Author

Daniel Rönnedal

Affiliation

Stockholm University

Address

Department of Philosophy, University of Stockholm, Universitetsvägen 10 D, 106 91 Stockholm, Sweden

E-mail

daniel.ronnedal@philosophy.su.se

About this article

Received

12 July 2018

Accepted

2 January 2019

Published online

24 August 2019

Publishers

Institute of Philosophy of the Slovak Academy of Sciences

Institute of Philosophy of the Czech Academy of Sciences

Cite as

APA

Rönnedal, D. (2019). Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers. Organon F, 26(3), 505–536. https://doi.org/10.31577/orgf.2019.26309

Chicago

Rönnedal, Daniel. 2019. "Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers." Organon F 26 (3): 505–536. https://doi.org/10.31577/orgf.2019.26309

Harvard

Rönnedal, D. (2019). Semantic Tableau Versions of Some Normal Modal Systems with Propositional Quantifiers. Organon F, 26(3), pp. 505–536. https://doi.org/10.31577/orgf.2019.26309

Copyright information

© Daniel Rönnedal

Response page

https://www.sav.sk/index.php?lang=sk&doc=journal-list&part=article_response_page&journal_article_no=17329

The above URL is linked with the article's response page. The response page is a permanent location that is associated with the article's DOI number.


This article is distributed under the Creative Commons Attribution-NonCommercial 4.0 International Public License (CC BY-NC 4.0).


Contact

Institute of Philosophy
Slovak Academy of Sciences
Klemensova 19
813 64 Bratislava
Slovak Republic
(+421 2) 5292 1215
FAX (+421 2) 5292 1215

Organon F takes part on the long-term preservation of the digital cultural heritage carried out by the University Library in Bratislava.