論理学とは、妥当な推論を研究する学問です。論理学は、何から何が導き出されるかを問います。妥当な議論とは、前提が真であれば結論も必ず真となる議論のことです。論理学は、優れた議論とそうでない議論を区別するための手段を提供します。アリストテレスは三段論法によって論理学を体系化しました。中世の論理学者たちはそれを洗練させました。フレーゲとラッセルは、形式言語を用いて議論を表現し、推論規則を用いて結論を導き出す現代の記号論理学を開発しました。論理学は、数学、コンピュータ科学、言語学、哲学など、幅広い分野で用いられています。

論理学は心理学とは異なります。論理学は規範的な原理を研究するものであり、人々が実際にどのように考えるかを研究するものではありません。人々はしばしば非論理的な推論をしますが、それは妥当性に求められるものを変えるものではありません。論理学は修辞学とも異なります。修辞学は説得を目的とし、論理学は証明を目的とします。両者は重なり合うこともありますが、明確に区別されます。論理学には、命題論理、述語論理、様相論理、時間論理、多値論理など、多くの分野があります。それぞれの分野には独自の記号、規則、意味論があります。論理学は幾何学のような形式科学であり、厳密な推論を必要とするあらゆる分野に応用できます。

論理の種類

• 命題的。 命題全体と接続詞を扱います。
• 述語。 オブジェクト、プロパティ、および量化子を扱います。
• Modal. 可能性と必要性​​を扱います。
• 非公式。 自然言語での推論を扱います。

論理学は世界についての知識体系ではない。それは、何から何が導き出されるかについての知識体系である。