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

این مجموعه‌ی متون به‌گونه‌ای انتخاب شده‌اند که دربردارندۀ اهم موضوعات و مسائل مورد بحث فلسفۀ تحلیلی کلاسیک باشند تا نقش نقطۀ ورودی مناسب اما جدی به این حوزۀ سخت فلسفه را بر‌عهده بگیرند.

(تحلیل فلسفی،فلسفه زبان)

(لودویگ ویتگنشتاین (1889-1951 م)

نویسنده ی کتاب پیش رو با مطالعه ی تفاوت میان گمانه سازی علمی و برون علم، رابطه ی میان علم و فلسفه و همچنین مطالعه ی هستی و جهان خارج از محدوده ی فلسفه تصویری از جنبش های فلسفی و نظری حال حاضر ارائه می دهد.