論理学

メインページ > 論理学

ここでは、論理学の教科書群を収める。

初等・中等教育

• 高等学校数学I/集合と論理

高等教育・一般

• アリストテレス論理学
• 古典論理
  • 命題論理
  • 一階述語論理

• 拡充論理
  • 様相論理
  • 時相論理
  • 高階述語論理

• 逸脱論理
  • 直観主義論理
  • 多値論理
  • 矛盾許容論理

• 非形式論理学

融合分野

• 哲学的論理学
• メタ論理学
• 数理論理学
• 計算論理学
• 形式意味論
• ブール論理
  • ブール代数