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