逻辑学的历史 亚里士多德( Aristotle,B.C.384-B.C.322):三 段论 ■莱布尼茨( Gottfried wilhelm von leibniz,1646 1716):将推理还原为计算 ■布尔( George boole1815-1864):形式符号和等 式,布尔代数 ■弗雷格( Gottlob Frege,1848-1925):一阶逻辑 ■罗素( Bertrand russell,1872-1970):逻辑主义 希尔伯特( David hilbert,1862-1943):形式主义 ■哥德尔( Kurt gode,1906-1978):逻辑和形式方 法不充分性5 逻辑学的历史 ◼ 亚里士多德（Aristotle，B.C. 384-B.C. 322）：三 段论 ◼ 莱布尼茨（Gottfried Wilhelm von Leibniz， 1646- 1716）：将推理还原为计算 ◼ 布尔（George Boole 1815-1864）：形式符号和等 式，布尔代数 ◼ 弗雷格（Gottlob Frege，1848-1925）：一阶逻辑 ◼ 罗素（Bertrand Russell，1872-1970）：逻辑主义 ◼ 希尔伯特（David Hilbert，1862-1943）：形式主义 ◼ 哥德尔（Kurt Godel, 1906-1978）：逻辑和形式方 法不充分性