翻訳｜syllogism
出典 精選版 日本国語大辞典精選版 日本国語大辞典について 情報
アリストテレスによってほぼその全体が与えられ，中世を通じて洗練された論理学の体系は，現代論理学に対して伝統的論理学と呼ばれているが，三段論法はその主要部門であり〈二つの前提命題から一つの結論命題を得る推論〉と要約される。伝統的論理学においては，おもに〈すべてのaはbである（Aabと略記）〉〈或るaはbである（Iabと略記）〉〈いかなるaもbでない（Eabと略記）〉〈或るaはbでない（Oabと略記）〉という4種類の命題－－ここでa，bはなんらかの事物の集まり，集合を表すものとする－－が取り扱われている。それらの命題のおのおのにおけるaとbの関係は図1で表される。
いま，P1，……，Pnを前提命題（n≧1）としQを結論命題とする推論を，〈P1，……，Pn⇒Q〉で表すものとすれば，まず下記の推論の成立は図1から明らかである。
（1）〈Aab⇒Iab〉， 〈Eab⇒Oab〉
（2）〈Eab⇒Eba〉， 〈Iab⇒Iba〉
また，例えば〈Aba，Acb⇒Aca〉や〈Eab，Icb⇒Oca〉は正しい推論であり，〈Aba，Ebc⇒Eca〉は成立しない推論である，ということは図2から明らかである。
さて，A，I，E，Oの中の任意のものをX，Y，Zで表すと（したがってわれわれはXabによってAab，Iab，Eab，Oabの任意のどれかを表すことができる），三段論法とは下の（3）のいずれかの型に属する推論である，と定義される。
上の（a）（b）（c）（d）は順に〈第1格〉〈第2格〉〈第3格〉〈第4格〉の三段論法と呼ばれ，かつ，おのおのの格についてXYZの組は〈式〉と呼ばれている。例えば図2の三段論法は，（1）第1格AAA式，（2）第2格EIO式，（3）第3格AEE式となる。さて（3）において，結論命題Zcaの中の主語cは〈小名辞（小概念）minor term〉，述語aは〈大名辞（大概念）major term〉，推論においてcとaの仲立ちをするbは〈中名辞（中概念），媒名辞（媒概念）middle term〉と呼ばれる。また，前提命題のうち，大名辞を含む命題は〈大前提〉，小名辞を含む命題は〈小前提〉と呼ばれる。例えば，〈P1“すべての動物は生物である”，P2“すべての人間は動物である”⇒Q“すべての人間は生物である”〉という第1格AAA式の三段論法では，〈人間〉が小名辞，〈生物〉が大名辞，〈動物〉が中名辞であり，かつ，P1が大前提，P2が小前提である。
さて，（3）のX，Y，ZのおのおのはA，I，E，Oの4通りでありうるから，一つの格について4×4×4＝64通りの式があり，かつ，格は四つであるから合計して，64×4＝256個の三段論法の型が存することになる。それらのうち成立する三段論法の格式が表の24個のみであることは，図2のごとき方法を用いて容易に確かめることができる（表のうち＊印の式は，その直前の式の結論命題Zcaに上述の（1）を適用したものにすぎず－－例えば第1格AAAに〈Aca⇒Ica〉を適用すると第1格AAIが得られる－－いわば直前の式に内含されており，特に取り上げる必要のない格式であるとも言える）。かっこ内のラテン語名（＊印以外のすべてにつけられている）は，古くから用いられている略称である。以上の（3），表は，正確には〈定言的三段論法〉と呼ばれ，次の（4），（5），（6）とは区別されている（以下において，p，q，rは任意の命題を表すものとする）。
（4）〈“pならばq”，“qならばr”⇒“pならばr”〉という型の推論は〈純粋仮言三段論法〉，〈“pならばq”，“p”⇒“q”〉は〈仮言三段論法〉の〈肯定式〉，〈“pならばq”，“qでない”⇒“pでない”〉は同論法の〈否定式〉と呼ばれている。
（5）〈“pとqのどちらか一方だけ成立する”，“qでない”⇒“p”〉は〈選言三段論法〉の〈否定肯定式〉，〈“pとqのどちらか一方だけ成立する”，“p”⇒“qでない”〉は同論法の〈肯定否定式〉と呼ばれる。
（6）このほかに，〈仮言選言三段論法〉と呼ばれる推論の型があり，〈“pならばr，かつ，qならばrである”，“pとqのどちらか一方だけ成立する”⇒“r”〉はその一例である。
現代論理学の立場から三段論法をとらえなおすとき，まず，定言的三段論法（3）を構成する各命題は述語論理の式として通常つぎのように解釈される。
Aab⇔≏x（a（x）⊃b（x））
Iab⇔≐x（a（x）∧b（x））
Eab⇔≏x（a（x）⊃～b（x））
Oab⇔≐x（a（x）∧～b（x））
この解釈によれば，例えば上述（1）の推論はaが空集合のとき，すなわち～≐x（a（x））が真のとき不成立となる。同様にa，b，cが空集合の場合を検討すると，表のうち第1格AAI，EAO，第2格EAO，AEO，第3格AAI，EAO，第4格AAI，AEO，EAOが不成立であることがわかる。しかし，伝統的論理学においては〈推論は常に存在する事物に関してなされる〉という暗黙の前提（これを〈存在仮定existential import〉と呼ぶ）が存すると解されるから，≐x（a（x）），≐x（b（x）），≐x（c（x））を推論の前提命題として付加すれば，（1）と表のすべてが成立することになる。また，（4），（5），（6）の三段論法は，現代の命題論理におけるトートロジーの一部であると解釈されている。
→判断 →論理学
執筆者：岡部 満
ニヤーヤ学派，バイシェーシカ学派は，〈他人のための推理〉（論証）に，五つの文からなる論式（五分作法）を用いる。例えば，主張〈かの山に火あり〉，理由〈煙の故に〉，実例〈およそ煙あるところには火あり。かまどのごとし〉，適用〈この山においてもしかり〉，結論〈故にしかり〉となる。ただ，実際には，これを略して，主張，理由，実例の三つだけを用いることが多い。これにたいし，ディグナーガ（陳那，6世紀）以降の仏教論理学は，前三文ないし後三文のみで十分であるとし，〈三支作法〉（ないし，主張・結論を除いた〈二支作法〉）を主張した。いわゆる〈三段論法〉とたしかに外見上は似ているが，西洋論理学が概念の外延間の関係に主眼をおくのにたいし，インドの論理学は，基体（例えば山）と属性（火，煙）との関係に着目して分析を行う点に大きな違いがあると言える。
執筆者：宮元 啓一
出典 株式会社平凡社「改訂新版 世界大百科事典」改訂新版 世界大百科事典について 情報
二つの前提から一つの結論を導く論理的推論のこと。間接推理を含む。前提の連言から結論への含意であるといってもよい。ただし、前提も結論も、二つの項が結合されてできた命題である。たとえば、「すべての動物は生物である」「すべての人間は動物である」という二つの前提から、「すべての人間は生物である」という結論を得る推論は典型的な三段論法である。この例から明らかなように、ここでいう項は、人間、動物、生物といった概念、すなわち普遍的な何かを表していると考えられる。
さて、アリストテレスにまでさかのぼることのできる、いわゆるアリストテレス式三段論法においては、項と項の結合には四つの種類がある。すなわち、全称肯定判断、全称否定判断、特称肯定判断、特称否定判断の四つである。これらは、西洋中世の伝統に従って、A判断、E判断、I判断、O判断とよばれる。そして、それぞれ、「すべてのAはBである」、「すべてのAはBでない」、「あるAはBである」、「あるAはBでない」という形で表される。これから明らかなように、三段論法は、基本的には、自然言語の論理である。
さて、三段論法は、中概念の位置によって、
という四つの格に分類される。ただし、P、M、Sは、それぞれ、大概念、中概念、小概念といわれる。
三段論法を構成する三つの命題は、先にあげた4種類の判断のいずれでもよいから、つごう256通りの三段論法が可能である。しかし、アリストテレス式三段論法では、24通りが妥当であるにすぎない。アリストテレス以来、イスラム文化圏、西洋中世を通じて、三段論法に関しては多くの研究が積み重ねられてきたが、その後、19世紀末に出現した、数学の基礎づけを目的とする近代論理学の陰に隠れて、三段論法はかつての魅力を失ってしまった。しかし、最近では、近代論理学と結び付き、三段論法の研究はふたたび活発になり始めている。
インドにおいても、アリストテレス式三段論法とは異なった形の三段論法が、現在まで2000年にわたって研究されてきた。
［石本 新］
『Jan LukasiewiczAristotle's Syllogistic from the Standpoint of Modern Formal Logic, 2nd ed. (1957, Oxford University Press, London)』
出典 株式会社平凡社百科事典マイペディアについて 情報
出典 ブリタニカ国際大百科事典 小項目事典ブリタニカ国際大百科事典 小項目事典について 情報
出典 四字熟語を知る辞典四字熟語を知る辞典について 情報
出典 ASCII.jpデジタル用語辞典ASCII.jpデジタル用語辞典について 情報
…
［思想］
アリストテレスの思考の大きな特徴の一つに，言葉の多義性に注目した分析の精密さがあげられる。彼は〈名辞〉〈述語〉〈命題〉などといった根本概念を確定したうえで史上初めて三段論法の定式化をなしとげ，その後の論理学の基礎をきずいた。彼は自身の説を展開する際に彼以前の哲学者の説を紹介･批判することが多いが，彼の創始した多数の用語･概念は，その場合にも威力を発揮する。…
… 上の規則が知識ベースに蓄えられていて，さらに〈肉がある〉〈タマネギがある〉〈ジャガイモがある〉〈ニンジンがある〉〈カレー粉がある〉という事実が知識ベースに書かれていれば,〈カレーができる〉ということが推論できる。 これは，三段論法と呼ばれる以下の推論規則 前提1 AならばBである 前提2 Aである ──────────── 結論 Bであるを用いた結論の導出であり，いつでも正しい結論が得られることが論理的に保証されている。 さらに変数や関数を含んだ関係を表すことのできる一階述語論理や，可能性を表現することのできる様相論理と呼ばれる論理もある。…
…〈必然的〉〈可能的〉といった様相概念を形式的に取り扱う論理学。様相三段論法という形において，アリストテレスがすでに様相論理学の研究に手をそめていたことは注目に値する。その後，西洋古代，中世においても様相論理学はアリストテレスの伝統に基づいて，散発的ではあるが，研究されてきた。…
…第2次大戦後はダブリンで研究。多値論理を含む命題論理，三段論法の現代的定式化，さらにそれと密接に結びついている論理学史の分野で多くの先駆的業績を残した。主著に《数学的論理学要説》(1929)，《現代形式論理学の観点より見たアリストテレスの三段論法》(1951)がある。…
…例えば，集合に含まれる〈もの〉を顧慮しないで，集合相互の関係を考察する論理学は集合算と呼ばれる。アリストテレスが樹立した無様相三段論法の体系は，集合算のなかに吸収される。〈もの〉として命題だけを考え，命題が属する2種類の集合――真な命題の集合と偽な命題の集合――を考え，その間の関係を考察する論理学は命題論理学と呼ばれる。…
※「三段論法」について言及している用語解説の一部を掲載しています。
出典｜株式会社平凡社「世界大百科事典（旧版）」
血液中の脂質（トリグリセリド、コレステロールなど）濃度が基準値の範囲内にない状態（脂質異常症）に対し用いられる薬剤。スタチン（HMG-CoA還元酵素阻害薬）、PCSK9阻害薬、MTP阻害薬、レジン（陰...
4/12 日本大百科全書(ニッポニカ)を更新
4/12 デジタル大辞泉を更新
4/12 デジタル大辞泉プラスを更新
3/11 日本大百科全書(ニッポニカ)を更新
2/13 日本大百科全書(ニッポニカ)を更新
