タグ

inferenceとreasoningに関するnabinnoのブックマーク (2)

  • 充足理由律 - Wikipedia

    充足理由律(じゅうそくりゆうりつ、英: Principle of sufficient reason[注釈 1])とは、「どんな出来事にも、そうであるためには十分な理由がなくてはならない」という原理[1]。すなわちどんな事実であっても、それに対して「なぜ」と問うたなら、必ず「なぜならば」という形の説明があるはずだ、という原理のこと。なお、充足理由律とは「すべての真なる思考は根拠づけられているべきであるという法則である」とする見解もある。[2] 哲学の一分野である認識論や形而上学の領域で主に用いられる概念。理由律、根拠律、充足律、理由の原理などとも言われる。 「充足理由律」という名称を与えたのは17世紀のドイツの哲学者ゴットフリート・ライプニッツである。ライプニッツは充足理由律という名称を作り、それを事実の真理を保障する為には充分な理由がなければならないとする原理とし、推理の真理を保障する矛

  • 推論 - Wikipedia

    推論(すいろん、英語: inference)とは、既知の事柄を元にして未知の事柄について予想し、論じる事である。 概要[編集] 推論の正しさを妥当性という。あらゆる事柄は言語において表現されるのであるから、妥当な推論には、その推論が指し示す事柄が妥当であること(意味論)、その推論が行われた状況において妥当であること(語用論)、その推論の構文が妥当であること(構文論)、が考えられる。 論理学の古典論理では、ある言語によって表現された文章内容が「真偽を問えるもの」であった場合、それを命題と呼び、ある命題から他の命題を導くことを推論という。このとき、導かれる元の命題を前提または仮定といい、導かれた命題を結論という。 命題には、その内容と独立に常に真であるような命題が存在し、これをトートロジー(恒真式)という。このトートロジーを推論に利用すれば、妥当な推論であるといえることになる。トートロジーを利

  • 1