معرفتشناسان(4)

آلفرد تارسکی (83 - 1902Alfred Tarski (تارسکی در لهستان متولد شد و در 1924 از دانشگاه ورشو دکترای ریاضیات گرفت؛ و تا زمان مهاجرتش به امریکا، در 1939، در همان دانشگاه به تدریس ریاضیات اشتغال داشت. از 1942 در دانشگاه کالیفورنیا (برکلی) به عنوان استاد ریاضیات به تدریس مشغول شد. این ریاضی دان و منطق دان و فیلسوف منطق لهستانی/ امریکایی بیشتر به خاطر تحقیقاتش درباب مفاهیم صدق و نتیجه در دهه 1930 شهرت دارد، و کارهای او در منطق در تثبیت مبانی نظریه منطقی جدید نقشی مهم دارد.
تارسکی در 1935 مقاله ای نوشت تحت عنوان «مفهوم صدق در زبان های صوری»، و این مقاله بعدها در کتابش منطق و معنی شناسی و فراریاضیات، 1956، ویرایش دوم 1983، دوباره به چاپ رسید. هدف او از نوشتن این مقاله ارائه تعریفی از صدق جملات بود به گونه ای که هم بتواند تعریف رضایت بخشی از صدق به دست دهد و هم از ظهور پارادکس دروغگو در الگوی پیش نهادی جلوگیری کند. تحلیل او از مفهوم صدق در زبان های صوری در این مقاله به تعریف صدق و دفاع مدون از نظریه مطابقت صدق (نظریه ارسطو) منتهی می شود.