門:理則

語出維基大典,自由之大典矣

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

[] 理則架構

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