世界大百科事典(旧版)内の演繹推論の言及
【機械推論】より
…そのような知識や情報の操作を行う機構のことを推論エンジンと呼び,この二つを用いて機械推論が行われる。
[演繹推論]
論理的に必ず正しい結論を導く推論は,演繹推論と呼ばれ,古くはアリストテレスの時代から研究されてきている。そのような正しい結論を導く推論の体系は論理と呼ばれている。…
※「演繹推論」について言及している用語解説の一部を掲載しています。
出典|株式会社平凡社「世界大百科事典(旧版)」
ローマ法王ともいう。ラテン語 Papaの称号はカトリック教会首長としてのローマ司教 (教皇) 以外の司教らにも適用されていたが,1073年以後教皇専用となった。使徒ペテロの後継者としてキリスト自身の定...