A Method for Propositionalizing Prenex Normal Form Sentences under Inclusive Semantics and Testing the Validity of Inferences Formed from Such Sentences
Abstract
Quantifier expansion requires enumerating the objects in the domain one by one. Therefore, it can only handle finite domains. This paper proposes a different perspective on propositionalization: rather than counting objects in the domain, it focuses on the finite regions determined by the sentence. Therefore, within its scope of application, even if the domain contains infinitely many objects, this method can still produce a finite propositionalization. This paper distinguishes two kinds of FOL based on different semantics: basic FOL, which allows the domain to be empty, and strengthened FOL, which requires a non-empty domain. This paper focuses on the basic FOL. At present, the basic FOL method only applies to prenex normal form sentences. To propositionalize such sentences, this paper introduces the Region Table and uses it to translate prenex-normal-form sentences into TFL sentences. On this basis, FOL inferences composed of such sentences can also be translated into TFL inferences, allowing their validity to be tested using TFL rules. This method provides a new approach to propositionalizing some FOL sentences over infinite domains and testing the validity of inferences composed of them, and it may be applied to formal reasoning in mathematics and physics.
References
- Whitehead, A. N., & Russell, B. (1925). Principia mathematica: By Alfred North Whitehead... And Bertrand Russell... 2nd ed., Vol. 1. The University Press. https://link.gale.com/apps/doc/BCSLQZ838702469/NCCO?u=nysl_ce_syr&sid=gale_marc&xid=aa3838fb&pg=1
- Cohen, S. M., & Reeve, C. D. C. (2025). Aristotle's metaphysics. In E. N. Zalta & U. Nodelman (Eds.),The Stanford Encyclopedia of Philosophy(Spring 2025 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/entries/aristotle-metaphysics/
- Smith, R. (2022). Aristotle's logic. In E. N. Zalta (Ed.),The Stanford Encyclopedia of Philosophy. https://plato.stanford.edu/entries/aristotle-logic/
- Open Logic Project. (2026).The Open Logic Text. https://builds.openlogicproject.org/open-logic-complete.pdf
- Byrne, A. (2025). Inverted qualia. In E. N. Zalta & U. Nodelman (Eds.),The Stanford Encyclopedia of Philosophy(Winter 2025 ed.). Metaphysics Research Lab, Stanford University. https://plato.stanford.edu/entries/qualia-inverted/
- Caston, V. (2026). Concepts in classical Greece: Aristotle and his predecessors. In H. Taieb & S. Schmid (Eds.),A philosophical history of the concept(pp. 16–44). Cambridge University Press. https://doi.org/10.1017/9781009273831.002
- Lee, A. Y. (2024). Objective phenomenology.Erkenntnis, 89(3), 1197–1216. https://doi.org/10.1007/s10670-022-00576-0
- Tse, L., & Legge, J. (2009).Tao Te Ching: Or the Tao and its characteristics(1st ed.). The Floating Press. https://ia902903.us.archive.org/20/items/taotechingjmaesleggefrominternet_454_o/Tao%20Te%20Ching%20Jmaes%20Legge%20%28From%20Internet%29.pdf
- Chen, X. (2006).Ziran yanyi luoji daolun [Introduction to natural deduction logic](2nd ed.). Sun Yat-sen University Press. https://www.scribd.com/document/930403234/%E8%87%AA%E7%84%B6%E6%BC%94%E7%BB%8E%E9%80%BB%E8%BE%91%E5%AF%BC%E8%AE%BA
- Boole, G. (1847).The mathematical analysis of logic: Being an essay towards a calculus of deductive reasoning. Macmillan, Barclay, & Macmillan. https://www.gutenberg.org/files/36884/36884-pdf.pdf
- Paseau, A. C. (2021). Propositionalism.The Journal of Philosophy, 118(8), 430–449. https://doi.org/10.5840/jphil2021118830