《形式逻辑史》

瑞士哲学家、逻辑学家J．M．波亨斯基著。1956年出版了波亨斯基用德文撰写的《形式逻辑》(Formale Logik)一书，1961年，该书被译为英文出版。该英译本对原书做了一些修订并改名《形式逻辑史》。该书认为历史上叫作逻辑的东西很多，逻辑学家一般将排除了认识论、先验逻辑、本体论之类的东西以外剩下的东西叫作逻辑，这大都来自亚里士多德的《工具论》，特别是三段论这样的逻辑理论。但是在逻辑史上，符号学和方法论的问题与逻辑问题紧密联系在一起，排除了这两类学科以外剩下的东西是形式逻辑。逻辑史必须以形式逻辑为核心，但是也探讨符号学和方法论问题的发展。该书主要限于纯形式逻辑的问题。该书认为，西方逻辑史可以分为5个时期：①古代(直到公元6世纪)，②中世纪早期(7世纪至11世纪)，③经院时期(11世纪至15世纪)，④早期现代“古典”逻辑(16世纪至19世纪)，⑤数理逻辑(起自19世纪中期)。在这5个时期中，中世纪早期和“古典”逻辑这两个时期是没有什么创造性的时期。其它3个时期是逻辑发展的3个高峰。该书按照逻辑发展的这5个时期，按照逻辑类型的分类，探讨了不同历史阶段的形式逻辑的问题。该书不同于其它史书的一个显著特点是：它按照语形、语义，命题、谓词、词项等分别将不同时期、不同逻辑学家的论述整理分类，因此该书实际上是一部经过整理分类和评注的逻辑原始资料的汇集。资料丰富，评注简明精要。该书在西方逻辑史学界颇有影响。中译本将出版。