مفهوم صدق در زبان‌های صوری شده

این کتاب مشتمل بر ترجمه‌‌ی رساله‌ی دوران‌ساز مفهوم صدق در زبان‌های صوری‌شده، یک نامه و چهار مقاله‌ی‌ منطقی- فلسفیِ مشهور و اثرگذار از آلفرد تارسکی منطق‌دان و روش‌شناس بزرگ لهستانی است. نوشته‌هایی که در این مجلد ترجمه شده‌اند همگی دو مشخصه دارند: یکی آن‌که علی‌رغم وجه فنیّ و ریاضی‌واری که دارند به نحو توأمان حاوی تأملات معرفت‌شناختی و روش‌شناسانه‌اند و دوم این‌که همه‌ی آن‌ها درباره‌ی مفاهیم متعلق به حوزه‌ی سمانتیک منطقی هستند. همه‌ی این‌ نوشته‌ها به ویژه رساله‌ی مفهوم صدق تأثیر عظیمی در حوزه‌ی منطق و فلسفه گذاشته‌اند و هرکس که به نحو جدی به حوزه‌هایی هم‌چون منطق جدید، فلسفه‌ی منطق و فلسفه‌ی تحلیلی علاقه‌مند است باید آراء تارسکی آشنا باشد.