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