タグ

logicとdeductive-reasoningに関するnabinnoのブックマーク (4)

  • Validity - Wikipedia

  • アブダクション - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "アブダクション" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL(2023年3月) アブダクション(逆行推論)(古代ギリシア語: ἀπαγωγή[注釈 1]、英: abduction, retroduction)とは、演繹法が前提となる事象に規則を適用して結論を得るのに対し、結論となる事象に規則を適用して前提を推論する方法である。論理的には後件肯定と呼ばれる誤謬であるが、帰納法と並び仮説形成に重要な役割を演じている。なお、アブダクションの語は誘拐の意味に使われるので、英語圏ではレトロダクションという言い換えが使われることが多い。 概要[編集

  • 演繹 - Wikipedia

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

  • 妥当性 - Wikipedia

    この記事は検証可能な参考文献や出典が全く示されていないか、不十分です。 出典を追加して記事の信頼性向上にご協力ください。(このテンプレートの使い方) 出典検索?: "妥当性" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL (2023年9月) ある論証が、前提が全て真であれば結論も必ず真となるような形になっている時、その論証を妥当(だとう、英: validity)であるという。より厳密に表現すると、『全ての前提が真である』ことと『結論が偽である』ことが決して両立しない論証を妥当であるという。 論証が妥当であるか否かはその形によってのみ決まり、個々の文の真理値は問わない。論証の妥当性は結論が真であることを保証しない(妥当な論証でも前提に偽があれば結論も偽になりうる)し、妥当でない論証(「不当; inva

  • 1