タグ

Wikipediaと演繹に関するitoppi802のブックマーク (1)

  • 演繹 - Wikipedia

    演繹(えんえき、英: deduction)は、一般的・普遍的な前提から、より個別的・特殊的な結論を得る論理的推論の方法である。 帰納に於ける前提と結論の導出関係が「蓋然的」に正しいとされるのみであるのに対し、演繹の導出関係は、その前提を認めるなら、「絶対的」「必然的」に正しい。したがって理論上は、前提が間違っていたり適切でない前提が用いられたりした場合には、誤った結論が導き出されることになる。近代では、演繹法とは記号論理学によって記述できる論法の事を指す。 例えば、物体が落下するとき、重いものほど速く落ちるというのがかつての常識であった。これに対してガリレオ・ガリレイは、詳しい実験から物体の落下時間が質量に比例するものではないことを示した。これは帰納的な判断である。また、ここから彼は物体の落下速度は質量にかかわらず一定だろうと判断した。これはアブダクション(仮説形成)である。 その後、様々

  • 1