じょうい‐がいねん【上位概念】
論理学で、二つの概念が外延に関して包括・被包括の関係にあるとき、包括するほうの概念。例えば、動物や植物に対する生物。高級概念。⇔下位概念。
じょうけん‐しき【条件式】
プログラミング言語やデータベースソフトの検索などで用いられる条件指定のための論理式。数値の大小、文字列の一致・不一致を判断する演算子で構成される。
じょうご‐ほう【冗語法】
論理的には不必要な語句を付け加える表現法。無意識によるものと、強調その他修辞的効果のためのものとがある。
じょうしき‐てつがく【常識哲学】
18世紀、スコットランドに興ったイギリス啓蒙(けいもう)哲学の一派。バークリーの主観的観念論やヒュームの懐疑論に反対し、数学・論理学の公理、因果法則、外界の実在、自我の存在、善悪の区別などを人間...
ジレンマ【dilemma】
《「ディレンマ」とも》 １ 二つの相反する事柄の板挟みになること。「—に陥る」 ２ 論理学で、二つの仮言的判断を大前提とし、その判断を小前提で選言的に肯定または否定して結論を導き出す三段論法。例...
すい‐り【推理】
［名］(スル) １ ある事実をもとにして、まだ知られていない事柄をおしはかること。「いくつかの条件から問題を—する」 ２ 論理学で、前提から結論を導き出す思考作用。前提が一つのものを直接推理、二...
すいり‐しょうせつ【推理小説】
主として犯罪に関係する秘密が、論理的に解明されていく過程の興味に主眼をおいた小説。ポーの「モルグ街の殺人」に始まるとされる。探偵小説。ミステリー。
すうがく‐きそろん【数学基礎論】
数学の基礎に関する理論。19世紀に導入された集合論が逆理（逆説）を派生させたが、その反省から生まれた、数学とはいかなるものであるべきかの理論。20世紀初頭に成立。記号論理学を用いる。
すうがくてき‐ろんりがく【数学的論理学】
⇒記号論理学
すうり‐ろんりがく【数理論理学】
⇒記号論理学
