Loading article…
論理学は理性を用いる形式科学 であり、哲学と数学、そして程度は低いもののコンピュータ科学の一分野とみなされている。論理学は、形式的な推論体系の研究と自然言語における議論の研究の両方を通して、命題と議論の構造を調査し分類する。したがって、論理学の範囲は非常に広く、誤謬やパラドックスの研究といった中心的なトピックから、確率、正しい推論、因果関係を含む議論といった推論の専門的な分析まで。論理学の目的の一つは、正しい（または妥当な）推論と間違った（または誤謬の）推論を識別することである。論理学者は議論を評価するための基準を研究する。
モデル理論―形式体系の解釈に関する研究。
計算可能性理論は、 1930年代に計算可能な関数とチューリング次数の研究から始まった数理論理学の一分野です。この分野は、一般化された計算可能性と定義可能性の研究を含むまでに発展しました。再帰理論が扱う基本的な問いは、「自然数から自然数自身への関数が計算可能であるとはどういう意味か？」と「計算不可能な関数を、その非計算可能性のレベルに基づいて階層的に分類するにはどうすればよいか？」です。これらの問いへの答えは、現在も活発に研究されている豊かな理論へとつながっています。