Tarski’s theory of truth was first introduced in “The concept of truth in formalized languages.” In this paper, we introduce Tarski’s truth theory in detail, based on the mentioned article, and make its account clear about the main questions that he faced. Also, we argue that accepting Tarski’s theory of truth entails Platonism in mathematics.
Coffa, Alberto (1991). The Semantic Tradition From Kant to Carnap: To the Vienna Station. Cambridge University Press.
Halbach, Volker & Horsten, Leon (2006). Axiomatizing Kripke’s Theory of Truth. Journal of Symbolic Logic 71 (2):677 - 712.
Henkin, Leon (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic 14 (3):159-166.
Hodges, Wilfrid, "Tarski’s Truth Definitions", The Stanford Encyclopedia of Philosophy (Winter 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.), forthcoming URL = <https://plato.stanford.edu/archives/win2022/entries/tarski-truth/>.
Mendelson, Elliott (2015). Introduction to Mathematical Logic. Princeton: Van Nostrand.
Patterson, Douglas (2012). Alfred Tarski: Philosophy of Language and Logic. Basingstoke and London, UK: Palgrave-Macmillan.
Tarski, Alfred (1944). The Semantic Conception of Truth and the Foundations of Semantics. Journal of Symbolic Logic 9 (3):68-68.
Tarski, Alfred (1956). Logic, Semantics, Metamathematics. Oxford, Clarendon Press.
DeVidi, David & Solomon, Graham (1999). Tarski on “essentially richer” metalanguages. Journal of Philosophical Logic 28 (1):1-28.
Ray, Greg (2005). On the Matter of Essential Richness. Journal of Philosophical Logic 34 (4):433-457.
Coffa A (1991). The semantic tradition from kant to carnap: To the Vienna station. Cambridge: Cambridge University Press. [Link] [DOI:10.1017/CBO9781139172240]
Henkin L (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic. 14(3):159-166. [Link] [DOI:10.2307/2267044]
Hodges W (2001). Tarski's truth definitions. The Stanford Encyclopedia of Philosophy (Winter 2022 Edition). Available from: https://plato.stanford.edu/archives/win2022/entries/tarski-truth/ [Link]
Mendelson E (2015). Introduction to mathematical logic. Princeton: Van Nostrand. [Link] [DOI:10.1201/b18519]
Patterson D (2012). Alfred tarski: Philosophy of language and logic. London: Palgrave- Macmillan. [Link] [DOI:10.1057/9780230367227]
Tarski A (1944). The semantic conception of truth and the foundations of semantics. Journal of Symbolic Logic. 4(3):341-376. [Link] [DOI:10.2307/2102968]
Tarski A (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press. [Link]
DeVidi D, Solomon G (1999). Tarski on "essentially richer" metalanguages. Journal of Philosophical Logic. 28(1):1-28. [Link] [DOI:10.1023/A:1004294325183]
Ray G (2005). On the matter of essential richness. Journal of Philosophical Logic. 34(4):433-457. [Link] [DOI:10.1007/s10992-004-7801-1]
Philosophical Thought