简单历史——三个阶段(一) 1.初始阶段:1660年代—19世纪末 将数学应用于逻辑 n Aristotle:形式逻辑(主词和谓词逻辑) 丶 Leibniz:建立直观而又精确的思维演算。 遇有争论,双方可以拿起笔来说:让我们 来算一下 George boole:,逻辑代数。 De morgan:关系逻辑。 1]王宪钧,数理逻辑引论,北京大学出版社,1982。简单历史——三个阶段（一） 1. 初始阶段：1660年代 — 19世纪末 将数学应用于逻辑 ‰ Aristotle：形式逻辑（主词和谓词逻辑）。 ¾ Leibniz：建立直观而又精确的思维演算。 遇有争论，双方可以拿起笔来说：让我们 来算一下。 ¾ George Boole: 逻辑代数。 ¾ De Morgan: 关系逻辑。 [1] 王宪钧，数理逻辑引论，北京大学出版社，1982