こう‐てい【肯定】
［名］(スル) １ そのとおりであると認めること。また、積極的に意義を認めること。「現世を—する」⇔否定。 ２ 論理学で、ある命題の主語と述語の関係が成立すること。また、その関係を承認すること。...
こう‐り【公理】
１ 一般に通用する道理。 ２ 数学で、論証がなくても自明の真理として承認され、他の命題の前提となる根本命題。 ３ 自明であると否とを問わず、ある理論の前提となる仮定。
しき【式】
１ ある定まったやり方やかたち。方式。形式。型。「—に従う」 ２ 一定の作法にのっとって行う、あらたまった行事。儀式。「—を挙げる」 ３ 数学その他の科学で、文字や数を演算記号で結びつけ、ある関...
しゅう【宗】
１ 教説の中心となる根本的な趣旨。宗旨。 ２ ある教義を奉じている信者の一団。宗門。宗派。 ３ 仏教の論理学である因明(いんみょう)で、命題。主張。
しゅう‐えん【周延】
形式論理学で、命題がそこに含まれる概念の外延全部に主張されていること。例えば、「すべての人は動物である」において、「人」は周延されているが「動物」は周延されていない。また、「すべての人は植物では...
しゅ‐ご【主語】
１ 文の成分の一。文において、述語の示す動作・作用・属性などの主体を表す部分。「鳥が鳴く」「山が高い」「彼は学生だ」という文で、「何が」に当たる部分をいう。日本語では、主語がなくても文として成立...
しょう‐めい【証明】
［名］(スル) １ ある物事や判断の真偽を、証拠を挙げて明らかにすること。「身の潔白を—する」「本人であることを—する書類」「身分—」「印鑑—」 ２ 数学および論理学で、真であると認められている...
しん【真】
１ うそや偽りでないこと。にせものでないこと。本当。真実。ほんもの。「—の芸術」「—の勇気」 ２ まじりけがないこと。本来の意味どおりであること。「—の紅」「—の正方形」 ３ 道理として正しいこ...
しん‐そく‐り【心即理】
中国哲学で、心そのものを道徳的行為の原則（理）とみる学説。陽明学の主要な命題。朱熹(しゅき)が心を性と情の2要素に分け、性を理としたのに対し、心と性とを峻別(しゅんべつ)せず、心そのものが理に合...
しんり‐ち【真理値】
論理学で、命題のとりうる真・偽のこと。多値論理学では、例えば真・偽・真偽不明のような三値、またはそれ以上の値がありうる。
