fa نظریه صدق تارسکی <span style=font-size:16px;><span style=direction:rtl><span style=unicode-bidi:embed><span new= roman= style=font-family: times=><span lang=FA><span iransharpsmall= light= style=font-family:>نظریه سمانتیکی صدق تارسکی برای اولین بار در مقاله مفهوم صدق در زبان‌های صوری شده معرفی شد. در این مقاله نظریه صدق تارسکی را با جزییات آن، براساس مقاله مذکور، معرفی خواهیم کرد و موضع تارسکی را در مقابل پرسش‌های اساسی‌ای که با آن روبه‌رو بود را روشن خواهیم ساخت. همچنین استدلال خواهیم کرد که پذیرش نظریه صدق تارسکی منتج به افلاطون‌گرایی در ریاضیات خواهد شد.</span></span></span></span></span></span> <span style=font-size:10pt><span style=tab-stops:251.05pt><span style=unicode-bidi:embed><span new= roman= style=font-family: times=><span cambria= style=font-family:>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.</span><span dir=RTL lang=FA style=font-size:12.0pt><span style=font-family:IRANSharpSmall Light,sans-serif></span></span></span></span></span></span> تارسکی, نظریه صدق, فرازبان, سمانتیک Tarski, Truth Theory, Metalanguage, Semantics 141 159 http://jpt.modares.ac.ir/browse.php?a_code=A-10-74734-1&slc_lang=fa&sid=6 S. Ahmadzadeh سیاوش احمدزاده 1003194753284600323941 1003194753284600323941 No Department of Philosophy, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran گروه فلسفه، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران L. Nabavi لطف‌الله نبوی 1003194753284600323942 1003194753284600323942 Yes Department of Philosophy, Faculty of Humanities, Tarbiat Modares University, Tehran, Iran گروه فلسفه، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران