数理論理学 (Mathematical logic) または記号論理学 (Symbolic logic) は、数学の推論や証明の方法、構造、正当性に関する学問である[1]。
種類
論理学とはいえ、論理学が使用している言語によって、その論理の名称は異なる。一口に言っても、命題論理、述語論理、自然演繹法、直観主義論理、様相論理などに分かれる。
数理論理学 (Mathematical logic) または記号論理学 (Symbolic logic) は、数学の推論や証明の方法、構造、正当性に関する学問である[1]。
論理学とはいえ、論理学が使用している言語によって、その論理の名称は異なる。一口に言っても、命題論理、述語論理、自然演繹法、直観主義論理、様相論理などに分かれる。