德奥弗拉斯特

出处：按学科分类—自然科学总论 山东人民出版社《方法大辞典》第802页（1674字）

【生卒】：前371—前286年

【介绍】：

古希腊亚里士多德之后的第一位最重要的逻辑学家。

亚里士多德的直传弟子和朋友。

德奥弗拉斯特博学多识，写了大量的自然科学着作。在生物学方面，成就尤其显着。他创制的植物学的名词术语，一直到近代仍被植物学界所沿用。

在逻辑学方面，他继承了亚里士多德的传统，除了收集、整理了他的老师的着作外，自己也写几十部逻辑着作，但大部分都散失了，现今只留下若干片断。他结合语词、语句对概念、命题进行了研究，指出词义即概念与事物的关系。

把命题、判断与推理的前提加以区分。把亚里士多德所提出不定命题，明确地确定为特称命题。

对命题的换位重新作了证明。

德奥弗拉斯特为亚里士多德三段论第一格增补了五个式，实际上是补上了第四格，使得亚里士多德的三段论体系更趋合理和完整。

德奥弗拉斯特为第一格增补的5个式是：

(1)所有B是A，所有C是B，所以、有些A是C

(2)没有B是A，所有C是B，所以，没有A是C

(3)所有B是A，有些C是B，所以，有些A是C

(4)所有B是A，没有C是B，所以，有些A不是C

(5)有些B是A，没有C是B，所以，有些A不是C

德奥弗拉斯特还发展了假言、选言三段论以及模态三段论：

(一)纯粹假言三段论：

(1)如A，则B，如B则C，所以，如A，则C

(2)如A，则B，如B，则C。所以，如非C，则非A。

(3)如A，则B，如非A，则C，所以，如非B，则C，

(4)如A，则B，如非A，则C，所以，如非C，则B，

(5)如A，则C，如B，则非C，所以，如A，则非B。

(二)假言直言三段论

(1)如A，则B。A，所以B。

(2)如A，则B。非B，所以非A。

(三)选言三段论

(1)A或是B，或是C，或是D。

A是B。所以A不是C，也不是D。

(2)A或是B，或是C，A是B，所以，A不是非。

(3)A或是B，或是C。A不是B，所以，A是C。

(四)模态三段论。

下面三式德奥弗拉斯特认为是有效的。

(1)□(Map)∧SaM→SaP

(2)◇(Mop)∧MaS→◇(SoP)

(3)◇(MaP)∧□(SiM)→◇(SiP)。

下列二式是非有效的：

(1)□(MaP)∧SaM→□SaP

(2)MaP∧□SaM→□(SaP)。