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