SEMANTIC TABLEAU VERSIONS OF SOME NORMAL MODAL SYSTEMS WITH PROPOSITIONAL QUANTIFIERS

• Authors: Rönnedal Daniel
• Languages of publication: EN

Abstracts

EN

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

EN

C.I. LEWIS C. I.; MODAL LOGIC; PROPOSITIONAL QUANTIFIERS; SEMANTIC TABLEAUX

• Publisher: Institute of Philosophy of the Slovak Academy of Sciences and Institute of Philosophy of Academy of Sciences of Czech Republic
• Journal: Organon F. medzinárodný časopis pre analytickú filozofiu
• Year: 2019
• Volume: 26
• Issue: 3
• Pages: 505 - 536

Contributors

author

Rönnedal Daniel

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

Identifiers

DOI

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