定義ABCの概念

一般的に言えば、推論は 控除 あるものから別のものへ.
推論は純粋にそして排他的に 私たちの心の産物、それは 評価 これらの式の間でこれを実行します 言語 決定され、知的方法で相互に関連すると、アイデアに到達することができます 論理. このように、いくつかの表現が提案する真実または虚偽から始めて、他のいくつかの真実または虚偽を推測することができます。
その間、前述の手順から仮説が浮かび上がります。

論理的に 伝統的な、有名なギリシャの哲学者によって初めて策定されたため、一般にアリストテレスとして知られています アリストテレス、次の推論の形式は、 三段論法. これは一種です 演繹的推論 前提としての2つの命題と 結論、後者は他の2つからすでに推論として進んでいます。

3つのタイプの推論を見つけることができます。 インクルード 控除、 引数 演繹は、前提と結論の共存を規定するタイプであり、後者が前提で表されることを保証します。たとえば、次のようになります。 このバッグのすべての風船は赤です。これらの風船はこのバッグに属しているため、これらの風船は赤です。; インクルード 誘導、帰納的議論は、前提と結論の可能性のある共存を認め、後者がおそらく前提に反映されることを保証します。たとえば、次のようになります。 風船はこのバッグのもので、風船は赤いので、このバッグの中のすべての風船は赤いです; そしてその 拉致、アブダクション型の議論は、前提と結論の間の可能な共存を提案します、 後者が前述の前提で潜在的に表されていることを確認します。例： このバッグの中のすべての風船は赤です、これらの風船は赤いので、これらの風船はこのバッグに対応しています.