亚里士多德与逻辑学

来自计算思维百科
跳转至: 导航搜索
古希腊哲学家亚里士多德(公元前384~322年)集前人研究之大成,写成了逻辑巨著《工具论》。亚里士多德使形式逻辑从哲学、认识论中分离出来,形成了一门以推理为中心的独立科学。因此,亚里士多德是逻辑学的创始人,被称为“逻辑之父”,如图1所示。他的著作包括了物理学、形而上学、诗歌、生物学、动物学、逻辑学、政治以及伦理学等。亚里士多德认为逻辑学是一切科学的工具,他力图把思维形式和存在联系起来,按照客观实际来阐明逻辑的范畴。亚里士多德通过对各种推理模式的分析,提出了三段论,即大前提、小前提和结论三个部分。因此,人们可以把推理看成是对符号的操作,即符号演算。
8.1.3.png

图1 亚里士多德