門:理則

文出維基大典

理則者，思辯之道，格致之本也。此乃大典理則類之門。

[纂] 理則架構

• 經典理則
  • 三段論（傳統邏輯，詞項邏輯）
  • 布林邏輯
  • 命題邏輯
  • 一階邏輯（謂詞邏輯）
• 數理邏輯（符號邏輯）
  • 布林代數
  • 模型論
  • 證明論
    • 自然演繹
    • 相繼式演算
    • Curry-Howard同構
  • 遞迴論
    • λ演算
    • 組合子邏輯
  • 公理化集合論
  • 二階邏輯
  • 哥德爾不完備定理
• 直覺邏輯（構造性邏輯）
  • Heyting代數
  • 中間邏輯
  • 直覺類型論
• 多值邏輯
  • 多值代數
  • 模糊邏輯
  • 概率邏輯
• 亞結構邏輯（子結構邏輯）
  • 線性邏輯
  • 相干邏輯
• 非單調邏輯
  • 缺省邏輯
  • 自動認識邏輯
  • 可廢止邏輯
• 模態邏輯
  • 真勢模態邏輯
  • 認識邏輯
  • 道義邏輯
  • 時間邏輯（時態邏輯）
  • 動態邏輯
  • 可證明性邏輯
  • 可解釋性邏輯
• 哲學邏輯
  • 次協調邏輯（弗協調邏輯）
  • 自由邏輯
• 辯證法（辯證邏輯）
• 非形式邏輯
• 邏輯推理
  • 演繹推理
  • 歸納推理
  • 溯因推理（設因推理，假設推理）
  • 可廢止推理
• 邏輯史
  • 工具論（古希臘）亞裏士多德
  • 思維規律研究（英國）喬治·布林
  • 概念文字（德國）弗雷格
  • 數學原理（英國）羅素
• 邏輯學應用
  • 數學基礎
  • 量子邏輯
  • 分析哲學
  • 電腦邏輯
  • 人工智慧
  • 法律邏輯學