1- گروه فلسفه، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران
چکیده: (912 مشاهده)
نظریه سمانتیکی صدق تارسکی برای اولین بار در مقاله "مفهوم صدق در زبانهای صوری شده" معرفی شد. در این مقاله نظریه صدق تارسکی را با جزییات آن، براساس مقاله مذکور، معرفی خواهیم کرد و موضع تارسکی را در مقابل پرسشهای اساسیای که با آن روبهرو بود را روشن خواهیم ساخت. همچنین استدلال خواهیم کرد که پذیرش نظریه صدق تارسکی منتج به افلاطونگرایی در ریاضیات خواهد شد.
نوع مقاله:
پژوهشی اصیل |
موضوع مقاله:
منطق و فلسفۀ منطق (تحلیلی) دریافت: 1401/11/17 | پذیرش: 1402/2/5 | انتشار: 1402/3/15