نظریه صدق تارسکی

نوع مقاله : پژوهشی اصیل

نویسندگان
سیاوش احمدزاده
لطف‌الله نبوی
گروه فلسفه، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران
10.58209/jpt.3.2.141
چکیده
نظریه سمانتیکی صدق تارسکی برای اولین بار در مقاله "مفهوم صدق در زبان‌های صوری شده" معرفی شد. در این مقاله نظریه صدق تارسکی را با جزییات آن، براساس مقاله مذکور، معرفی خواهیم کرد و موضع تارسکی را در مقابل پرسش‌های اساسی‌ای که با آن روبه‌رو بود را روشن خواهیم ساخت. همچنین استدلال خواهیم کرد که پذیرش نظریه صدق تارسکی منتج به افلاطون‌گرایی در ریاضیات خواهد شد.

کلیدواژه‌ها

  1. 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.
  2. Coffa A (1991). The semantic tradition from kant to carnap: To the Vienna station. Cambridge: Cambridge University Press. [Link] [DOI:10.1017/CBO9781139172240]
  3. Halbach V (2014). Axiomatic theories of truth. Cambridge: Cambridge University Press. [Link] [DOI:10.1017/CBO9781139696586]
  4. Henkin L (1949). The completeness of the first-order functional calculus. Journal of Symbolic Logic. 14(3):159-166. [Link] [DOI:10.2307/2267044]
  5. 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]
  6. Mendelson E (2015). Introduction to mathematical logic. Princeton: Van Nostrand. [Link] [DOI:10.1201/b18519]
  7. Patterson D (2012). Alfred tarski: Philosophy of language and logic. London: Palgrave- Macmillan. [Link] [DOI:10.1057/9780230367227]
  8. 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]
  9. Tarski A (1956). Logic, semantics, metamathematics. Oxford: Clarendon Press. [Link]
  10. DeVidi D, Solomon G (1999). Tarski on "essentially richer" metalanguages. Journal of Philosophical Logic. 28(1):1-28. [Link] [DOI:10.1023/A:1004294325183]
  11. 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]