提奧弗拉斯特

提奧弗拉斯特 Theophrastus (約公元前372～前287)古希臘生物學家、邏輯學家。他超出亞里士多德詞項邏輯的範圍，研究了假言聯鎖推理、假言推理和選言推理（見推理），從而使古希臘羅馬邏輯由亞里士多德的詞項邏輯向命題邏輯過渡。

人物名稱

提奧弗拉斯特 Theophrastus (約公元前372～前287)

介紹

古希臘生物學家、邏輯學家。生於萊斯沃斯島的埃雷索斯，卒於雅典。曾師事柏拉圖，後成為亞里士多德的學生和朋友。公元前322年亞里士多德離開雅典後，他一直主持亞里士多德所創立的呂克昂學園。
提奧弗拉斯多寫過很多自然科學、哲學和邏輯方面的著作，但大都佚失，只留下幾十個殘篇。他發展了亞里士多德的邏輯學說，在亞里士多德所提出的三段論第一格中增補了5個式，這5個式後來成為第四格的5個式。他對亞里士多德的模態邏輯也作了改進。這首先表現為他在其模態邏輯的系統內取消了意義不確定的偶然性概念,代之以可能性概念,從而簡化了模態邏輯的推演。亞里士多德曾提出，第一格三段論當大前提是必然的，小前提是實然的，可以得必然結論。泰奧弗拉斯多則提出"結論從弱前提原則"，即如果有一前提是實然的，結論也應當是實然的；如果前提有一個是可能的，則結論也應當是可能的。泰奧弗拉斯多在邏輯上的最大貢獻是：他超出亞里士多德詞項邏輯的範圍，研究了假言聯鎖推理、假言推理和選言推理（見推理），從而使古希臘羅馬邏輯由亞里士多德的詞項邏輯向命題邏輯過渡。