《简明逻辑史》

德国逻辑学家H．肖尔兹著的一部逻辑史书。1931年在柏林出版，1959年第2次印刷。1961年在纽约出版了英译本。中译本在1977年由商务印书馆出版，系根据英译本转译，根据德文原本校订。本书言简意赅，正文分逻辑类型、形式逻辑的古典类型、形式逻辑的现代类型3部分。在逻辑类型部分，本书简单介绍了以形式逻辑为主的各种逻辑类型的特点，并提出形式逻辑是在数理逻辑形式下经过充分研究了的唯一的逻辑，形式逻辑史必须以数理逻辑为立足点。在第2、第3两部分中，本书扼要地叙述了西欧古典形式逻辑和现代形式逻辑的发展，介绍了数理逻辑的一些特征，提供了研究逻辑史的线索。本书有两个附录：附录一是书目；附录二是一篇短论，题为《关于亚里士多德对排中律的限制》。此外，它还有相当大篇幅的注释。书中提到的材料都是经过作者亲自充分研究过的，所有日期都由作者核对过，从而校正了一些逻辑史书中的史料错误。该书及时地评述了当时数理逻辑的新成果，最主要的是与本书同年发表的哥德尔不完全性定理。