泰奥弗拉斯多
【介绍】：
古希腊哲学家、逻辑学家。生于莱斯沃斯岛的埃雷索斯，死于雅典。
泰奥弗拉斯多是亚里士多德的学生。他写过许多自然科学、哲学和逻辑著作，大部分佚失。他和亚里士多德一起建立了植物生物学和植物地理学。自从亚里士多德离开雅典以后，他一直主持和领导亚里士多德创立的吕克昂学园。他在逻辑方面的主要成就是精心阐述了亚里士多德的逻辑学说并且有所发展。他发展了亚里士多德的三段论理论，在第一格增加了5个式，而这5个式后来成为传统逻辑第四格的5个式；他改进了亚里士多德的模态逻辑，在他的系统中省略了或然概念，引入了弱前提原则，即在一个模态三段论中，结论在模态方面要同弱前提一样。采用这一原则简化了模态三段论；他论述了一种与直言三段论不同的三段论，这种三段论的前提和直言三段论不完全一样，两前提中有一个前提具有附加断定，例如：
凡B谓述的，A也谓述，(对所有x而言，如果B谓述所有x，那么A谓述所有x)B谓述所有C，
所以，A谓述所有C。
在这样的三段论中，直言前提和结论分别与附加断定的前提中的前件和后件相同。他称这样的三段论为外设三段论。此外，他还发展了假言三段论理论。在他的假言三段论系统中，共有3个格：
第一格：如果A，那么B。
如果B，那么C，
所以，如果A，那么C，
或：如果A，那么B，
如果B，那么C。
所以，如果非C，那么非A。
第二格：如果A，那么B，
如果非A，那么C，
所以，如果非B，那么C。
或：如果A，那么B，
如果非A，那么C，
所以，如果非C，那么B。
第三格：如果A，那么C，
如果B，那么非C，
所以，如果A，那么非B。
或：如果A，那么C，
如果B，那么非C，
所以，如果B，那么非A。
这一研究非常重要，因为它已超出亚里士多德词项逻辑的范围，而属于命题逻辑。