Abstract
Kripke’s Fregean quantification logic FQ fails to formalize the usual first-order logic with identity due to the interpretation of the conditional operator. Motivated by Kripke’s syntax and semantics, the three-valued Fregean quantification logic FQ3 is proposed. This three valued logic differs from Kleene and Łukasiewicz’s three-valued logics. The logic FQ3 is decidable. A sound and complete Hilbert-style axiomatic system for the logic FQ3 is presented.
Similar content being viewed by others
References
Church, A. (1951). A formulation of the logic of sense and denotation. In Henle, P., Kallen, H.M., Langer, S.K. (Eds.) Structures, methods and meaning: Essays in honor of Henry M. Sheffer (pp. 3–24). New York: The Liberal Arts Press.
Dummett, M. (1981). Frege: philosophy of language, 2nd edition. Cambridge: Harvard University Press.
Frege, G. (1997). Begriffsschrift (1879). An English translation of parts can be found in: M. Beaney (ed.), Frege Readers, (pp. 47–78). Hoboken: Blackwell Publishing.
Frege, G. (1892). ÜBer Sinn und Bedeutung. Zeitschrift für Philosophie und philosophische Kritik, 100, 25–50. An English translation can be found in: M. Beaney (ed.), Frege Readers, pp. 151–171. Blackwell Publishing (1997).
Gottwlad, S. (2001). A treatise on many-valued logics. England: Research Studies Press.
Kripke, S. (2014). Fregean quantification theory. Journal of Philosophical Logic, 43, 879–881.
Kripke, S. (2008). Frege’s theory of sense and reference: some exegetical notes. Theoria, 4, 181–218.
Kleene, S.C. (1952). Introduction to metamathematics. Amsterdam: North-Holland Publishing Company.
Malinowski, G. (1993). Many-valued logics. Oxford: Clarendon Press.
Rosser, J.B., & Turquette, A.R. (1952). Many-valued logics. Amsterdam: North-Holland Publications.
Acknowledgements
Thanks are given to referees for their insightful and helpful comments on earlier versions of this paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
The first author was supported by the Project Supported by Guangdong Province (China) Pearl River Scholar Funded Scheme (2017–2019).
Rights and permissions
About this article
Cite this article
Ma, M., Lin, Y. A Three-Valued Fregean Quantification Logic. J Philos Logic 48, 409–423 (2019). https://doi.org/10.1007/s10992-018-9469-y
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10992-018-9469-y