热门问题
时间线
聊天
视角
邏輯詞彙表
来自维基百科，自由的百科全书
Remove ads
本文旨在提供一份儘可能完整的有關邏輯學主題的術語列表，按條目對應的英文詞組排序。
 |
A
B
C
- 範疇論——研究範疇、函子和自然變換的數學分支
- 範疇 (數學)
- 範疇論——研究範疇、函子和自然變換的數學分支
- 時間邏輯
- 可判定性
- 經典邏輯
- 組合邏輯——邏輯電路
- 交換律
- 緊緻性定理——若可滿足一族一階句子的任意有限條，則可全部滿足
- 複雜性類——基於資源的複雜性相關的計算複雜性理論中的一系列問題
- 計算複雜性理論——數學理論
- 函數複合
- 可計算函數
- 計算
- 概念——可被不同方式理解的語意單位，比如心智表徵、能力、或抽象物體（哲學）
- 抽象與具體
- 因果關係——原因與結果之間互相依存的關係
- 條件概率——機率論名詞
- 條件證明
- 同構關係
- 聯結
- 後果——原因與結果之間互相依存的關係
- 保守擴展
- 常數函數
- 構造性邏輯
- 構造性數學
- 構造性證明
- 語境主義
- 偶然性——一件事情在未來既可能發生，也可能不發生的隨機狀態
- 矛盾——兩個或多個命題之間的邏輯不兼容
- 逆命題
- 逆否命題
- 反事實條件
- 共指
- 推論
- 反例
- 柯里悖論
D
E
F
G
H
I
- 冪等性
- 同一性——區別個人的品質
- 恆等函數
- iff——if and only if
- 直接推理
- 命令式
- 不完備定理
- 獨立——國家領土的一種完全脫離原國家自治的狀態
- 個體——具相對獨立的結構和明確的物理邊界、自主行使功能，能對外部刺激發生反應的生命單元
- 歸納論證
- 推理——從已知或假定為真的前提得出邏輯結論的行為或過程
- 推理規則——把相關領域的專家知識形式化地描述出來，形成系統規則的過程
- 無窮小
- 非形式謬誤
- 單射函數
- 內部模型
- 實例化——軟體開發中對象（類）的具體表現
- 預期解釋
- 中間邏輯
- 解釋 (邏輯)
- 直覺主義——一種強調直覺或直觀在認識中的作用的思潮和學說
- 直覺主義邏輯
- 逆函數——對一個定函數做逆運算的函數
- 對合
- 迭代
J
K
L
M
N
O
P
- 配對函數
- 悖論——一種導致矛盾的命題
- 參數 (數學)——輔助變量或任意常數，用於描述系統或特定函數族中的數學函數
- 皮亞諾算術——公理系統
- 排列——數學概念
- 說服性定義
- 循環論證——論證方式
- 哲學邏輯——各種非經典邏輯分支的統稱
- 哲學剃刀——哲學原則
- 多元論
- 波蘭記法
- 實證主義——研究方法
- 可能性——數學基本概念
- 可能世界
- 語用學
- 謂詞 (邏輯)
- 前提——邏輯學術語
- 概率邏輯——運用數理邏輯和其他數學工具，對概然（不確定）推理進行數量化、公理化和形式化研究的邏輯理論
- 概率論——數學理論
- 性質 (哲學)——客體的特性，表徵存在物、事物、現象等並且區分一個存在物與另一個存在物、一物與另一物的主要特徵
- 命題——抽象思維的基本形式之一，用陳述語句的真值（真或假）判斷對錯
- 命題變量
- 命題邏輯——邏輯系統
- 標點符號——書面上用於標明句讀和語氣的符號
Q
R
S
T
U
V
W
Z
- 芝諾悖論——一個哲學悖論
參見
Wikiwand - on
Seamless Wikipedia browsing. On steroids.
Remove ads