A boolean-algebraic approach to completeness for normal modal predicate logics
##plugins.themes.bootstrap3.article.main##
Abstract
This paper introduces an innovative methodology for demonstrating completeness for normal modal predicate logics. Traditional proofs typically involve constructing canonical models, wherein possible worlds are defined as maximal consistent sets possessing specific properties, with a heavy reliance on the Barcan Formula to affirm the existence of these worlds. Our approach deviates from the classical method by utilizing Boolean algebras and ultrafilters to construct models. Unlike conventional methods, our construction of possible worlds does not depend on the Barcan Formula; rather, these properties are ensured by Tarski’s Lemma. Furthermore, our proof distinguishes itself from other Boolean-algebraic completeness proofs in two key respects: it employs Kripke semantics instead of algebraic semantics and exclusively relies on ultrafilters, thereby offering a more concise approach. This methodology facilitates a natural extension from modal propositional logic to modal predicate logics and circumvents the added complexity of Q-filters. In our model, the equivalence class of each theorem of a normal modal predicate logic is a member of all worlds, while the equivalence class of each non-theorem is a member of some worlds. Consequently, the structure of these worlds ensures that non-theorems are false in the model.
##plugins.generic.usageStats.downloads##
##plugins.themes.bootstrap3.article.details##
Copyright (c) 2024 Weijun Shi
This work is licensed under a Creative Commons Attribution-NonCommercial 4.0 International License.
References
Blackburn et al., 2002 – Blackburn, P., de Rijke, M., Venema, Y. Modal Logic. Cambridge University Press, 2002.
Henkin, 1949 – Henkin, L. “The Completeness of the First-Order Functional Calculus”, Journal of Symbolic Logic, 1949, Vol. 14, No. 3, pp. 159–166.
Mendelson, 2009 – Mendelson, E. Introduction to Mathematical Logic. 5th ed. Chapman & Hall/CRC, 2009.
Bell, Slomson, 2006 – Bell, J.L., Slomson, A.B. Models and Ultraproducts: An Introduction. Dover, 2006.
Rasiowa, Sikorski, 1963 – Rasiowa, H., Sikorski, R. The Mathematics of Metamathematics, ed. by P.W. Naukowe. Patfstwowe Wydawnictwo Naukowe, 1963.
Corsi, 2002 – Corsi, G. “A Unified Completeness Theorem for Quantified Modal Logics”, The Journal of Symbolic Logic, 2002, Vol. 67, No. 4, pp. 1483–1510.
Venema, 2007 – Venema, Y. “Algebras and Coalgebras”, in: Handbook of Modal Logic, Vol. 3, ed. by P. Blackburn, J. van Benthem, F. Wolter. Amsterdam: Elsevier, 2007, pp. 331–426.
Tanaka, 2022 – Tanaka, Y. “An Extension of J´onsson–Tarski Representation and Model Existence in Predicate Non-Normal Modal Logics”, Math. Log. Quart, 2022, Vol. 68, No. 2, pp. 189–201.
Tanaka, Ono, 1998 – Tanaka, Y., Ono, H. “Rasiowa–Sikorski Lemma, Kripke Completeness of Predicate and Infinitary Modal Logics”, in: Advances in Modal Logic, ed. by M. Zakharyaschev, K. Segerberg, M. de Rijke, and H. Wansing. Stanford: CSLI Publications, 1998, pp. 419–437.
Negri, 2009 – Negri, S. “Kripke Completeness Revisited”, in: Acts of Knowledge: History, Philosophy and Logic, ed. by G. Primiero. College Publications, 2009, pp. 233–266.
Negri, von Plato, 2011 – Negri, S., von Plato, J. Proof Analysis: A Contribution to Hilbert’s Last Problem. Cambridge University Press, 2011.
Chagrov, Zakharyaschev, 1997 – Chagrov, A., Zakharyaschev, M. Modal Logic. Oxford University Press, 1997.