逻辑 / 金岳霖

  金岳霖著。原为清华大学讲义，1937年2月由商务印书馆收入《大学丛书》正式出版。1961年三联书店收入《逻辑丛刊》重印。本书约24万字，分为4个部分。第1部分介绍传统的演绎逻辑。认为逻辑学与知识论不能不分开，自数理逻辑发展以后，知识论与逻辑学开始慢慢地变成两种不同的学问。介绍了近代逻辑学家对直言命题所作的一些分析和一些新的补充，并用文恩图解分析了直接推理和三段论，指出传统逻辑里只有主宾词式的命题，范围狭而又太混沌，也没有包含关系命题和关系推理。第2部分是对传统逻辑的批评，提出主项存在问题，与此相关分析了5种不同的态度，从而指出传统逻辑中的对当关系、直接推论和三段论，有些是不能成立的。指出三段论是传统逻辑中最精细的一部分，能使初学者获得一种逻辑方面的训练，但存在分析欠精、欠妥，A、E、I、O在三段论中究竟是直言还是假言等值得讨论的问题。第3部分摘要介绍A.N.怀特海和B.罗素的《数学原理》第1卷中的逻辑系统，并附加了许多解释。第4部分的标题为“关于逻辑系统之种种”，讨论了逻辑系统的性质，如完全性、一致性和独立性问题等，并指出这3个性质之满足与否，似乎都只能从系统以外的方法表示而不能从系统之内的方法证明。