Modal Logic for Relationships between Sets
DOI:
https://doi.org/10.22370/rhv2023iss22pp23-38Keywords:
quantified modal logic, Barcan formula, syllogisms, soundness, completenessAbstract
In this article, we present a modal logic system that allows representing relationships between sets or classes of individuals defined by a specific property. We introduce two modal operators, [a] and <a>, which are used respectively to express “for all A” and “there exists an A”. Both the syntax and semantics of the system have two levels that avoid the nesting of the modal operator. The semantics is based on a variant of Kripke semantics, where the modal operators are indexed over propositional logic formulas (“pre-formulas” in the paper). Furthermore, we present a set of axioms and rules that govern the system and we prove that the logic is correct and complete with respect to Kripke models.
In the final section of the article, we discuss potential future work. We consider the possibility of combining our operator with other modalities, such as necessity or knowledge. Additionally, as an example of the utility of our modal operator, we briefly analyze a conveniently adapted Barcan formula within the framework of our system. In summary, we propose combining our modal operator with other ones as a simpler, more compact, albeit less expressive way to address quantified modal logic.
References
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic: graph, Darst (Vol. 53). Cambridge University Press.
Chagrov, A., & Zakharyaschev, M. (1997). Modal Logic. Oxford University Press.
Chellas, B. F. (1980). Modal logic: an introduction. Cambridge University Press.
van Ditmarsch, H. (2003). The Russian cards problem. Studia logica, 75, 31-62. https://doi.org/10.1023/A:1026168632319
van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic epistemic logic (Vol. 337). Springer Science & Business Media.
Fagin, R., Halpern, J. Y. (1988). Reasoning about Knowledge and Probability. In M. Y. Vardi (Ed.), Proceedings of the 2nd conference on Theoretical aspects of reasoning about knowledge (pp. 277-293). Morgan Kaufmann. https://doi.org/10.1145/174652.174658
Hamkins, J. D., Linnebo, Ø. (2022). The modal logic of set-theoretic potentialism and the potentialist maximality principles. The Review of Symbolic Logic, 15(1), 1-35. https://doi.org/10.1017/S1755020318000242
Hayaki, R. (2006). Contingent objects and the Barcan formula. Erkenntnis, 64(1), 75-83. https://doi.org/10.1007/s10670-005-0294-7
Janssen-Lauret, F. (2022). Ruth Barcan Marcus and quantified modal logic. British Journal for the History of Philosophy, 30(2), 353-383. https://doi.org/10.1080/09608788.2021.1984872
Larsen, K. Skou, A. (1991). Bisimulation through Probabilistic Testing. Information and Computation, 94, 1-28. https://doi.org/10.1016/0890-5401(91)90030-6
Linnebo, Ø. (2010). Pluralities and sets. The Journal of Philosophy, 107(3), 144-164. https://doi.org/10.5840/jphil2010107311
Linnebo, Ø. (2013). The potential hierarchy of sets. The Review of Symbolic Logic, 6(2), 205-228. https://doi.org/10.1017/S1755020313000014
Linsky, B., & Zalta, E. N. (1994). In defense of the simplest quantified modal logic. Philosophical perspectives, 8, 431-458. https://doi.org/10.2307/2214181
Plaza, J. (1989). Logics for public communications. In M. Emrich, M. Pfeifer, M. Hadzikadic, Z. Ras (Eds.), Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems. (pp. 201-216). Oak Ridge International Laboratory. [Republished in Plaza, J. (2007). Logics of public communications. Synthese, 158(2), 165-179. https://doi.org/10.1007/s11229-007-9168-7]
Downloads
Published
How to Cite
Issue
Section
License
This work is licensed under a Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
Authors who publish with this journal agree to the following terms:
- Authors retain copyright and grant the journal right of first publication, with the work after publication simultaneously licensed under a Creative Commons Attribution License (CC BY-NC-ND 4.0 International) that allows others to share the work with an acknowledgement of the work's authorship and initial publication in this journal.
- Authors are able to enter into separate, additional contractual arrangements for the non-exclusive distribution of the journal's published version of the work (e.g., post it to an institutional repository or publish it in a book), with an acknowledgement of its initial publication in this journal.
- Authors are permitted and encouraged to post their work online (e.g., in institutional repositories or on their website) prior to and during the submission process, as it can lead to productive exchanges, as well as earlier and greater citation of published work (See The Effect of Open Access).
