提奥弗拉斯特
提奥弗拉斯特 Theophrastus (约公元前372～前287)
古希腊生物学家、逻辑学家。生于莱斯沃斯岛的埃雷索斯，卒于雅典。曾师事柏拉图，后成为亚里士多德的学生和朋友。公元前322年亚里士多德离开雅典后，他一直主持亚里士多德所创立的吕克昂学园。
提奥弗拉斯多写过很多自然科学、哲学和逻辑方面的著作，但大都佚失，只留下几十个残篇。他发展了亚里士多德的逻辑学说，在亚里士多德所提出的三段论第一格中增补了5个式，这5个式后来成为第四格的5个式。他对亚里士多德的模态逻辑也作了改进。这首先表现为他在其模态逻辑的系统内取消了意义不确定的偶然性概念,代之以可能性概念,从而简化了模态逻辑的推演。亚里士多德曾提出，第一格三段论当大前提是必然的，小前提是实然的，可以得必然结论。泰奥弗拉斯多则提出"结论从弱前提原则"，即如果有一前提是实然的，结论也应当是实然的；如果前提有一个是可能的，则结论也应当是可能的。泰奥弗拉斯多在逻辑上的最大贡献是：他超出亚里士多德词项逻辑的范围，研究了假言联锁推理、假言推理和选言推理（见推理），从而使古希腊罗马逻辑由亚里士多德的词项逻辑向命题逻辑过渡。