ファーラービー
彼は主にアリストテレス的論理学者であったが、著作には多くの非アリストテレス的要素が含まれている。未来の条件、数、カテゴリーの関係、論理学と文法学の関係などのトピックや非アリストテレス形式の推論を議論した。また、仮言三段論法と類推的推論の理論を考察した。これはアリストテレスではなく、ストア派論理学の伝統である。他にアリストテレスの詩学に三段論法の概念を導入した。
アル・ファーラービーの主著の一つに『命題論注解』がある。