三段論法
三段論法は演繹法である。論理的な議論の一種で、2つ以上の他の命題（前提）から1つの命題（結論）を推論するものである。この考え方はアリストテレスの発明である。
アリストテレスは『先行研究』において、三段論法を「ある事柄が仮定されたとき、これらの事柄がそうであるから必然的に仮定された事柄とは異なるものが結果として生じる論証」と定義している。(24b18-20)
それぞれの命題には、何らかの形で「ある」という動詞が含まれていなければならない。定言的三段論法は、大前提、小前提、結論の3つの部分からなる小さな機械のようなものである。これらの部分はそれぞれ命題であり、最初の2つから、3番目の部分の「真理値」が決定される。
例
大前提：人は皆、死を免れない。
小前提：ギリシャ人は皆、男です。
結論から言うとギリシャ人は皆、死を免れない。
3つの異なる用語は、それぞれカテゴリーを表しています。上記の例では、"men", "mortal", "Greeks "です。"mortal "は主要な用語で、"Greeks "は副次的な用語である。また、前提には互いに共通する用語が一つあり、これは中項と呼ばれる。この例では、"man "である。前提は両方とも普遍的であり、結論も同様である。
大前提：すべての人間は死ぬ。
小前提として、人間には死すべき者がいる。
結論から言うと死ぬ男もいる。
ここで、大項目は「死ぬ」、小項目は「人」、中項目は「人間」である。大前提は普遍的であり、小前提と結論は特殊である。アリストテレスは様々な対句を研究し、両前提が真であれば結論が真となる対句を有効な対句と認定した。上記の例は有効な対義語である。
ソリテスとは、一連の不完全な三段論法を、各前提の述語が次の前提の主語となり、最初の主語が最後の述語と結合して結論に至るように配置した論法である。例えば、ある砂粒の数では山ができず、さらに一粒の砂粒を加えても山ができないと主張する場合、これ以上砂を加えても山はできないと結論づけるのはソーライト論法を構成することになる。
今日のロジック
1879年に発表されたゴットロブ・フレーゲの研究により、三段論法は一階論理に取って代わられた。この論理は、文の代わりに数（量化変数）を用いるため、数学、コンピュータ、言語学などに適している。
質問と回答
Q: 三段論法とは何ですか?
A: 対論とは、2つ以上の前提から結論を推論する論理的議論の一種です。
Q:誰がシロジズムを発明したのですか?
A:アリストテレスが発明しました。
Q: アリストテレスはシロジズムをどのように定義していますか?
A: 『先行論理学』において、アリストテレスは「ある事柄が仮定されたとき、これらの事柄がそうであるために必然的に仮定された事柄とは異なるものが生じる言説」と定義しています。
Q: 三段論法にはいくつの前提が必要ですか?
A: 2つ以上の前提が必要です。
Q: 三段論法の各命題には何が含まれていなければなりませんか?
A:それぞれの命題には、「～である」という動詞が含まれていなければなりません。
Q: 定言的三段論法とは何ですか?
A: 定言的三段論法とは、大前提、小前提、結論の3つの部分からなる小さな機械のようなものです。
Q: 定言的三段論法の第三部分の「真理値」はどのように決まるのですか?
A: 定言的三段論法の第三部分の「真理値」は、最初の二つの前提から決まります。
