しんり【真理】 (１)正しい道理。だれも否定することのできない，普遍的で妥当性のある法則や事実。「不変の―」 (２)〔哲〕（価値を慮外にして）事態の真相。真。その基準については諸説ある。思想と事物の一致，すなわち判断や命題が存在と正確に対応すること（対応説）。ある命題（思想）が他の諸命題と矛盾せず整合性があること（整合説）。プラグマティズムでは，ある思想が有効な働きや結果を示すこと。⇔偽

しんりじょうけん【真理条件】 〔truth condition〕 〔論〕 ある文が真であるために，世界が満たすべき必要にして十分な条件をいう。フレーゲ以降の現代論理学では，一般に文の意味と真理条件とが同一視されている。

しんりじょうけんてきいみろん【真理条件的意味論】 真偽いずれの真理値をとるかを指定する条件（真理条件）を文の意味とみなす意味論の総称。フレーゲに始まり，今日ではデービッドソンの意味論が代表的。

しんりち【真理値】 〔論〕命題のとる値のこと。通常の論理学では真偽二値をとるが，多値論理学では三つ以上の真理値をとりうる。

しんりひょう【真理表】 〔論〕〔truth table〕 記号論理学において，要素命題の真偽と，否定・選言・連言などの論理結合記号によって合成された複合命題の真偽との対応関係を示す表。