はいちゅう‐げんり【排中原理】
論理学で、思考の原理の一。相互に矛盾する二命題のうちのいずれかに真理があり、第3のものはありえないことをいう。「AはAでも非Aでもないものではない」または「AはBでも非Bでもないものではない」と...
はい‐り【背理／悖理】
道理にそむくこと。論理に反していること。「—の論法」
ハスケル【Haskell】
プログラミング言語の一。1990年に、関数型言語の標準化を進める研究者などによって開発された。関数型言語の教育や研究においてよく利用される。名称は、同分野の基礎理論研究で知られる米国の数学者・論...
はんかさん‐き【半加算器】
二進数の加算を行う論理回路の一。下位の桁からの繰り上げを考慮せず、単に二つのビット列の同じ桁の値の加算を実行する。二つのビットがどちらも0ならば0、0と1ならば1、どちらも1ならば0で、桁上がり...
はんたい‐がいねん【反対概念】
論理学で、同一の類概念に属する概念のうち、その内包上最も対立度ないし差異の大きな概念。例えば、白と黒の関係。両者の間に灰色という中間の概念が介在する点が矛盾概念と異なる。
はんたい‐たいとう【反対対当】
論理学で、対当関係の一。主語と述語は同じであるが質（肯定・否定）を異にする二つの全称判断の真偽関係。→対当関係
はん‐だん【判断】
［名］(スル) １ 物事の真偽・善悪などを見極め、それについて自分の考えを定めること。「適切な—を下す」「なかなか—がつかない」「君の—にまかせる」「状況を—する」 ２ 吉凶を見分けること。占い...
はん‐めい【判明】
［名］(スル) １ 明らかになること。はっきりとわかること。「事実が—する」「身元が—する」 ２ 論理学で、概念の内包が明確なこと。
はんり‐ろん【汎理論】
⇒汎論理主義
はんろんり‐しゅぎ【汎論理主義】
《(ドイツ)Panlogismus》哲学で、真に実在するものをロゴス（論理的、理性的なるもの）ととらえ、宇宙や自然などの一切のものをその自己展開したものとみなす立場。典型はヘーゲル哲学。汎理論。
