きごうろんりがく

デジタル大辞泉

きごう‐ろんりがく〔キガウ‐〕【記号論理学】

読み方：きごうろんりがく

命題・概念・推論などを、その要素と関係に還元して記号で表記し、論理的展開を数学的演算の形で明らかにする論理学の一分野。哲学・数学などに応用される。数学的論理学。数理論理学。→論理学

OR事典

記号論理学

読み方：きごうろんりがく
【英】：symbolic logic

伝統的論理学においては言語表現による三段論法などを使って推論を行っていたが, さらなる厳密性や形式性を実現すべく, 数学的表現が開発され, ブール代数の開発や集合論の発達, さらにホワイトヘッドやラッセルなどにより記号論理学が完成された. 限定記号(任意記号や存在記号)の取り扱いが可能になり命題の分析が数学的に厳密に行われるようになった. 記号論理の1つである一階述語論理は知識工学の分野で頻繁に用いられる.

「OR事典」の他の用語

近似・知能・感覚的手法：

知識獲得  知識表現  縮約  記号論理学  論理プログラミング  論理推論  識別不能性