あい‐ことな・る【相異なる】
［動ラ五（四）］互いに違っている。「—・る意見」「—・る二つの命題」
あくま‐の‐しょうめい【悪魔の証明】
１ ローマ法において、所有権の帰属を証明することが困難であることを比喩的に表現した語。ローマ法の原則に従うと、現に他人が占有しているものの所有権が自分にあることを証明するには、最初の所有者までさ...
いん【因】
１ 物事の原因。もと。「失敗の—をなす」 ２ 仏語。直接の原因。⇔果。 ３ 古代インドの論理学で、論証しようとする命題（宗）の理由を述べる部分。
いんが‐せい【因果性】
現象はすべて原因から生じる結果とみる場合に成立する両者の関係。事実間に成立する実在的なものと、命題間の理由と帰結という論理的なものとがある。因果関係。原因性。→結果 →原因
いん‐みょう【因明】
《(梵)hetu-vidyāの訳》古代インドの論理学。五明(ごみょう)の一。物事の正邪・真偽を論証する法。宗(しゅう)（命題）・因（立論の根拠）・喩(ゆ)（例証）の三段からなる論式。
エピメニデス‐の‐パラドックス
古代ギリシャ七賢人の一人、エピメニデスにまつわる論理的逆説。クレタ島出身のエピメニデスが「クレタ人はみな嘘つきだ」と述べたという命題の真偽を問う際、クレタ人であるエピメニデスが真実を述べていると...
えん‐えき【演繹】
［名］(スル) １ 一つの事柄から他の事柄へ押しひろめて述べること。「身近な事象からすべてを—する」 ２ 与えられた命題から、論理的形式に頼って推論を重ね、結論を導き出すこと。一般的な理論によっ...
か‐てい【仮定】
［名］(スル) １ 未定のこと、不確かなことを仮にこうと定めること。また、仮に定めた事柄。「今ここにコップがあると—してみよう」「—の上に立って物を言う」 ２ 論理学などで、ある命題を導き出す推...
かのう‐せい【可能性】
１ 物事が実現できる見込み。「成功の—が高い」 ２ 事実がそうである見込み。「生存している—もある」 ３ 潜在的な発展性。「無限の—を秘める」 ４ 認識論で、ある命題が論理的に矛盾を含んでいない...
がん‐い【含意】
［名］(スル) １ 表面に現れない意味を含みもつこと。また、その意味。「—を読みとる」 ２ 論理学で、任意の命題p・qについて、pが真であれば常にqも真であるとき、pはqを含意するという。
