形式論理体系

ウィキペディア小見出し辞書

形式論理体系

出典: フリー百科事典『ウィキペディア（Wikipedia）』 (2022/08/08 05:41 UTC 版)

「数理論理学」の記事における「形式論理体系」の解説

数理論理学の中心では形式論理体系を用いて表現された数学の概念を取り扱う。それらの体系は、多くの細部の差異はあるが、固定した形式言語で記述されるという共通の性質がある。命題論理と一階述語論理の体系は今日では最も広く研究されている。それは数学基礎論への応用可能性とそれらの望ましい証明論的な性質の故である。より強い古典論理、例えば二階述語論理や無限論理もまた直観主義論理とともに研究されている。