しょうはんたい‐たいとう【小反対対当】
論理学で、対当関係の一。主語と述語は同じであるが質（肯定・否定）を異にする二つの特称判断の真偽関係。
しょう‐めい【証明】
［名］(スル) １ ある物事や判断の真偽を、証拠を挙げて明らかにすること。「身の潔白を—する」「本人であることを—する書類」「身分—」「印鑑—」 ２ 数学および論理学で、真であると認められている...
しん【真】
１ うそや偽りでないこと。にせものでないこと。本当。真実。ほんもの。「—の芸術」「—の勇気」 ２ まじりけがないこと。本来の意味どおりであること。「—の紅」「—の正方形」 ３ 道理として正しいこ...
しん‐カントがくは【新カント学派】
《(ドイツ)Neukantianer》カント批判哲学の復興を目指した哲学の一派。19世紀後半、ドイツでリープマンの「カントに帰れ」の呼びかけに始まった。認識批判を主要課題としながらも、論理主義的...
シンタックス【syntax】
１ 言語学で、単語など意味をもつ単位を組み合わせて文を作る文法的規則の総体。統語法。統辞法。 ２ ⇒統語論 ３ 論理学で、ある言語の文を記号を用いて表し、意味と指示対象は無視して記号配列の関係だ...
しん‐ちょく【真直】
［名・形動］まっすぐなこと。また、そのさま。「兄さんの言葉は如何にも論理的に終始を貫いて—に見えます」〈漱石・行人〉
しんり‐しゅぎ【心理主義】
哲学の基礎を心理学に求める立場。特に、論理学や認識論上の諸問題を心理的な経験や過程に還元し、解明しようとする立場。⇔論理主義。
しんり‐ち【真理値】
論理学で、命題のとりうる真・偽のこと。多値論理学では、例えば真・偽・真偽不明のような三値、またはそれ以上の値がありうる。
しんりち‐ひょう【真理値表】
数学や論理学で、いくつかの命題を論理演算子で合成して新しい命題を作ったとき、もとの命題と合成された命題の真偽の関係を示す表。真理表。真偽表。
じ‐あたま【地頭】
１ 大学などでの教育で与えられたのでない、その人本来の頭のよさ。一般に知識の多寡でなく、論理的思考力やコミュニケーション能力などをいう。「—がいい」「—を鍛える」 ２ かつらなどをかぶらない、そ...
