アリストテレス論理学 (三段論法、カテゴリー論)

アリストテレス論理学は、概念・カテゴリーと三段論法を用いて、自然言語の推論形式を整理した歴史的体系である。すべての現代論理を含むものではないが、妥当な推論を形式化する出発点になった。

仕組みと確認

大前提・小前提・結論、項の分布、妥当な図式を区別して確認する。現代の述語論理へ写像するときは、存在含意や量化の違いを明示する。

限界と注意点

歴史的な三段論法を、任意の現代仕様や因果推論へそのまま適用しない。自然言語の曖昧さ、例外、時間、確率は追加のモデルが必要になる。