論理学

Fields this one connects toConnected fields

• 哲学Uses its methods議論の妥当性を検討する哲学の作法は、論理学を共通言語にしている。
• AIUses its methods記号推論や検証など、AIの基礎には論理学由来の道具が組み込まれている。
• 数学Closely related fields数学の証明を支えるのは論理学。20世紀には数学基礎論として合流した。
• 計算機科学Easier if learned first計算機は論理学の産物。プログラムの正しさの検証も論理で行われる。
• 科学哲学Uses its methods反証可能性も説明の構造も、論理学の道具で分析される。