提奥弗拉斯特Theophrastus(约公元前372~前287)古希腊生物学家、逻辑学家。生于莱斯沃斯岛的埃雷索斯，卒于雅典。曾师事柏拉图，后成为亚里士多德的学生和朋友。公元前322年亚里士多德离开雅典后，他一直主持亚里士多德所创立的吕克昂学园。提奥弗拉斯多写过很多自然科学、哲学和逻辑方面的著作，但大都佚失，只留下几十个残篇。他发展了亚里士多德的逻辑学说，在亚里士多德所提出的三段论第一格中增补了5个式，这5个式后来成为第四格的5个式。他对亚里士多德的模态逻辑也作了改进。这首先表现为他在其模态逻辑的系统内取消了意义不确定的偶然性概念,代之以可能性概念,从而简化了模态逻辑的推演。亚里士多德曾提出，