1- Department of Philosophy, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran
Abstract: (920 Views)
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.
Article Type:
Original Research |
Subject:
Logic and Philosophy of Logic (Analytical) Received: 2023/02/6 | Accepted: 2023/04/25 | Published: 2023/06/5
* Corresponding Author Address: Department of Philosophy, Tarbiat Modares University, Jalal Al Ahmad, Tehran, Iran. (nabavi_l@modares.ac.ir) |
References
1. Coffa A (1991). The semantic tradition from kant to carnap: To the Vienna station. Cambridge: Cambridge University Press. [
Link] [
DOI:10.1017/CBO9781139172240]
2. Halbach V (2014). Axiomatic theories of truth. Cambridge: Cambridge University Press. [
Link] [
DOI:10.1017/CBO9781139696586]
3. Henkin L (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic. 14(3):159-166. [
Link] [
DOI:10.2307/2267044]
4. 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]
5. Mendelson E (2015). Introduction to mathematical logic. Princeton: Van Nostrand. [
Link] [
DOI:10.1201/b18519]
6. Patterson D (2012). Alfred tarski: Philosophy of language and logic. London: Palgrave- Macmillan. [
Link] [
DOI:10.1057/9780230367227]
7. 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]
8. Tarski A (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press. [
Link]
9. DeVidi D, Solomon G (1999). Tarski on "essentially richer" metalanguages. Journal of Philosophical Logic. 28(1):1-28. [
Link] [
DOI:10.1023/A:1004294325183]
10. 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]