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

	نظریه صدق تارسکی
اندیشه فلسفی
Article 4, Volume 3, Issue 2 - Serial Number 10, 1402, Pages 141-159 PDF (1.03 M)
Document Type: پژوهشی اصیل
DOI: 10.58209/jpt.3.2.141
Authors
سیاوش احمدزاده; لطف‌الله نبوی^*
گروه فلسفه، دانشکده علوم انسانی، دانشگاه تربیت مدرس، تهران، ایران
Abstract
نظریه سمانتیکی صدق تارسکی برای اولین بار در مقاله "مفهوم صدق در زبان‌های صوری شده" معرفی شد. در این مقاله نظریه صدق تارسکی را با جزییات آن، براساس مقاله مذکور، معرفی خواهیم کرد و موضع تارسکی را در مقابل پرسش‌های اساسی‌ای که با آن روبه‌رو بود را روشن خواهیم ساخت. همچنین استدلال خواهیم کرد که پذیرش نظریه صدق تارسکی منتج به افلاطون‌گرایی در ریاضیات خواهد شد.
Keywords
تارسکی; نظریه صدق; فرازبان; سمانتیک
References

Statistics Article View: 78 PDF Download: 39