کتاب "مفهوم صدق در زبان‌ های صوری شده" مشتمل بر ترجمه‌‌ی رساله‌ی دوران‌ساز مفهوم صدق در زبان‌های صوری‌شده، یک نامه و چهار مقاله‌ی‌ منطقی- فلسفیِ مشهور و اثرگذار از آلفرد تارسکی منطق‌دان و روش‌شناس بزرگ لهستانی است.

آیا «اخلاق» در منظومۀ فکری دکارت جایی دارد؟ برخی می‌گویند «خیر»؛ نشانه‌اش هم این که دکارت هیچ وقت کتابی در باب اخلاق ننوشت. پس طبیعی است که سخن گفتن از نسبت اخلاق با دیگر بخش‌های فکر دکارت -مثلاً نسبت اخلاق با روش- هم بیهوده است....