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