تارسکی

سؤال نامناسبی که درباره صدق مطرح می گردد، این است که «صدق چیست». لذا بهتر است با پرسش «صدق یک گزاره (عبارت، جمله، باور) چیست» کار آسانتر شود

در این مقاله، پاتنم تأیید تبیین گرای اساسی را برای رئالیسم با این عنوان بیان می کند که رئالیسم تنها فلسفه ای است که پیشرفت روش علمی را توضیح می دهد

در مقاله حاضر ابتدا چگونگی پیدایش مسئله صدق در لهستان معاصرِ تارسکی مورد بررسی قرار گرفته است و سپس مراحل ورود تارسکی به عرصه معناشناسی توضیح داده شده است

تارسکی در لهستان متولد شد و در 1924 از دانشگاه ورشو دکترای ریاضیات گرفت؛ و تا زمان مهاجرتش به امریکا، در 1939، در همان دانشگاه به تدریس ریاضیات اشتغال داشت

نظریه های صدق در حوزه فلسفه زبان، معرفت شناسی و شاخه های دیگر فلسفه اهمیّت فراوان دارد. مؤلف کتاب «درآمدی انتقادی بر نظریه های صدق» علاوه بر تأکید بر این مسأله معتقد است که ریشه بسیاری از اشتباهات فلسفی، عدم درک درست و جامع «صدق» و نظریات و آراء راجع به آن است

پاراداکس (2) دروغگو برای تئوری صدق مساله ای بس حائز اهمیت است و در واقع، تا حدود زیادی، برای پرهیز از همین پارادکس بود که تارسکی شرایط کفایت صوری (3) را برای تعاریف صدق ارایه نمود. در این مقاله می خواهیم این پارادکس و پارادکسهای مشابه و مرتبط با آن را مورد پژوهش قرار دهیم