記号論理学とは？

デジタル大辞泉

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

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

精選版 日本国語大辞典

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

〔名〕 概念、命題などを人工的な記号で表わし、論理的思考を数学的演算に類する操作で行なう論理学。アリストテレス以来の古典論理学に対するもので、現代論理学と同名に用いられる。数理論理学。数学的論理学。記号的論理学。記号論理。

OR事典

記号論理学

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

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

「OR事典」の他の用語

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

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

ウィキペディア

数理論理学

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2021/09/12 04:15 UTC 版)

数理論理学（すうりろんりがく、英 : Mathematical logic）は数学の分野であって、形式論理の数学への応用の探求ないし数学的な解析を主な目的とする。数理論理学は超数学、数学基礎論、理論計算機科学などと密接に関係している。 数理論理学の共通な課題としては形式的体系の表現力や形式証明系の演繹の能力の研究が含まれる。