Philosophical Thought

Tarski's Truth Theory

Document Type : Original Research

Authors

S. Ahmadzadeh
L. Nabavi

Department of Philosophy, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran

https://doi.org/10.58209/jpt.3.2.141
Abstract
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.

Keywords

Tarski
Truth Theory
Metalanguage
Semantics
Subjects
 - Coffa A (1991). The semantic tradition from kant to carnap: To the Vienna station. Cambridge: Cambridge University Press.
- Halbach V (2014). Axiomatic theories of truth. Cambridge: Cambridge University Press.
- Henkin L (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic. 14(3):159-166.
- Hodges W (2001). Tarski’s truth definitions. The Stanford Encyclopedia of Philosophy (Winter 2022 Edition). Available from: https://plato.stanford.edu/archives/win2022/entries/tarskitruth/
- Mendelson E (2015). Introduction to mathematical logic. Princeton: Van Nostrand.
- Patterson D (2012). Alfred tarski: Philosophy of language and logic. London: PalgraveMacmillan.
- Tarski A (1944). The semantic conception of truth and the foundations of semantics. Journal of Symbolic Logic. 4(3):341-376.
- Tarski A (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press.
- DeVidi D, Solomon G (1999). Tarski on “essentially richer” metalanguages. Journal of Philosophical Logic. 28(1):1-28.
- Ray G (2005). On the matter of essential richness. Journal of Philosophical Logic. 34(4):433-457.
Philosophical Thought
Volume 3, Issue 2 - Serial Number 10
Spring 2023
Spring 2023
Pages 141-159

  • Receive Date 06 February 2023
  • Accept Date 25 April 2023
  • Publish Date 05 June 2023