邏輯詞彙表
本文旨在提供一份儘可能完整的有關邏輯學主題的術語列表，按條目對應的英文詞組排序。
 |
A
[編輯]- 先驗與後驗
- 溯因推理——從一個觀察開始，尋找最簡單和最可能的解釋的一種邏輯推理形式
- 抽象對象
- 抽象化——泛化的過程
- 人身攻擊——帶有貶義的意思，要侮辱人的話
- 訴諸無知——邏輯謬誤
- 肯定後件
- 分析
- 回指
- 前件
- 反對稱關係
- 先驗與後驗
- 論證——試圖說服，或確定，一個論點的真假
- 亞里斯多德邏輯
- 元數——函數或運算中自變量或算子的數量
- 邏輯斷言
- 結合律
- 不對稱
- 自動機
- 自同構
- 公理——看作真實的命題
B
[編輯]- 貝葉斯定理——概率論中的定理
- 循環論證——論證方式
- 偏差 (統計學)
- 邏輯雙條件——if and only if
- 雙射
- 二元關係——任何一組有序對; （在甲組上）甲的有序元素對的集合，即甲×甲的子集; （在兩組甲和乙之間）有序對的集合，其中甲中的第一個元素和乙中的第二個元素
- 布爾代數 (邏輯代數)——代數結構
- 邊界案例
- 因明學
C
[編輯]- 範疇論——研究範疇、函子和自然變換的數學分支
- 範疇 (數學)
- 範疇論——研究範疇、函子和自然變換的數學分支
- 時間邏輯
- 可判定性
- 經典邏輯
- 組合邏輯——邏輯電路
- 交換律
- 緊緻性定理——若可滿足一族一階句子的任意有限條，則可全部滿足
- 複雜性類——基於資源的複雜性相關的計算複雜性理論中的一系列問題
- 計算複雜性理論——數學理論
- 函數複合
- 可計算函數
- 計算
- 概念——可被不同方式理解的語意單位，比如心智表徵、能力、或抽象物體（哲學）
- 抽象與具體
- 因果關係——原因與結果之間互相依存的關係
- 條件概率——機率論名詞
- 條件證明
- 同構關係
- 聯結
- 後果——原因與結果之間互相依存的關係
- 保守擴展
- 常數函數
- 構造性邏輯
- 構造性數學
- 構造性證明
- 語境主義
- 偶然性——一件事情在未來既可能發生，也可能不發生的隨機狀態
- 結構規則
- 矛盾——兩個或多個命題之間的邏輯不兼容
- 逆命題
- 逆否命題
- 反事實條件
- 共指
- 推論
- 反例
- 柯里悖論
D
[編輯]- 決定性問題
- 從言與從實
- 演繹定理
- 定義項
- 定義——揭示概念內涵或外延的確切、簡明語句
- 證明
- 指稱
- 可數——具有與自然數集的子集相同的勢的集合
- 否定前件
- 限定詞
- 對角線引理
- 兩難
- 弱化
- 析取
- 析取三段論
- 除法——運算
- 論域
- 雙重否定
- 對偶——修辭手法
E
[編輯]- 初等等價
- 蘊含
- 等價
- 等價關係——傳遞的自反對稱關係
- 歧義
- 演繹邏輯——邏輯上可以理解為前提的推理方法可以得出邏輯上的某些結論
- 排中律——傳統邏輯基本規律之一，即認定對於每個命題，要麼其為真，要麼其為假
- 存在概括
- 存在量詞
- 解釋——對事物的現象、過程、狀態、道理等進行描述
- 明確定義
- 爆炸原理——理論
- 外延
F
[編輯]- 謬誤——廣義的謬誤指的是錯誤的認識；狹義的謬誤指的是錯誤的論證
- 可謬論
- 分割謬誤
- 有限主義
- 一階邏輯——使用於數學、哲學、語言學及電腦科學中的一種形式系統
- 不動點
- 形式謬誤
- 形式語言——用數學方法，藉助標記和符號研究自然語言和人工語言生成和轉換機制與規則的語言
- 形式邏輯——對有效推論的哲學研究
- 形式證明
- 邏輯語義學
- 形式系統
- 合式公式
- 框架語義學
- 自由邏輯
- 函數 (數學)——數學二元關係，輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素
- 模糊邏輯
G
[編輯]H
[編輯]I
[編輯]- 冪等性
- 同一性——區別個人的品質
- 恆等函數
- iff——if and only if
- 直接推理
- 命令式
- 不完備定理
- 矛盾——兩個或多個命題之間的邏輯不兼容
- 獨立——國家領土的一種完全脫離原國家自治的狀態
- 個體——具相對獨立的結構和明確的物理邊界、自主行使功能，能對外部刺激發生反應的生命單元
- 歸納論證
- 推理——從已知或假定為真的前提得出邏輯結論的行為或過程
- 推理規則——把相關領域的專家知識形式化地描述出來，形成系統規則的過程
- 無窮小
- 非形式謬誤
- 單射函數
- 內部模型
- 實例化——軟體開發中對象（類）的具體表現
- 預期解釋
- 中間邏輯
- 解釋 (邏輯)
- 直覺主義——一種強調直覺或直觀在認識中的作用的思潮和學說
- 直覺主義邏輯
- 有效性——邏輯學術語
- 逆函數——對一個定函數做逆運算的函數
- 對合
- 迭代
J
[編輯]K
[編輯]L
[編輯]- λ演算
- 語言——溝通系統，人類表達意義的主要方式
- 同一律——傳統邏輯基本規律之一，即認定每件事物都與其自身相同
- 矛盾律——傳統邏輯基本規律之一，即認定相矛盾的命題在同一時間同一意義上不可能同時成立
- 引理 ——用於證明更複雜的定理的定理
- 說謊者悖論
- 線性邏輯
- 文字 (數理邏輯)
- 邏輯——對有效推論的哲學研究
- 邏輯閘
- 邏輯蘊含
- 邏輯等價
- 邏輯蘊含
- 邏輯運算符
- 邏輯真理
- 有效性——邏輯學術語
- 邏輯等價
- 邏輯原子論——哲學理論
- 邏輯實證主義——以確證主義為核心的西方哲學運動的思想主義
- 邏輯主義
- LP——哲學邏輯有關弗協調理論的的一個分支
M
[編輯]- 多值邏輯——真值大於2的邏輯運算
- 邏輯雙條件——if and only if
- 數學歸納法——一種數學證明方法
- 數學邏輯
- 矩陣——由若干行和列元素排列成的矩形陣列
- 分體論 (邏輯學)
- 元語言
- 元數學
- 元定理
- 元理論
- 極簡主義
- 模態邏輯——非古典邏輯的一個分支，研究「必然」「可能」及其相關概念的邏輯性質和涉及這些情態概念的推理
- 模型論——從數理邏輯的角度對數學結構的一類研究
- 模型論——從數理邏輯的角度對數學結構的一類研究
- 一元論
- 單調性——保留或反轉給定有序的有序集之間的函數
- 情態
- 多值邏輯——真值大於2的邏輯運算
N
[編輯]- 元數——函數或運算中自變量或算子的數量
- 關係 (數學)
- 自然演繹
- 自然語言
- 自然數——自然數集合中的數字（澄清是否包含零，使用Q28920044或Q28920052）
- 否定——運算
- 新基礎
- 非經典邏輯
- 非標準模型
- 正規模態邏輯
- NP完全性——複雜度類別
O
[編輯]P
[編輯]- 配對函數
- 悖論——一種導致矛盾的命題
- 參數 (數學)——輔助變量或任意常數，用於描述系統或特定函數族中的數學函數
- 皮亞諾算術——公理系統
- 排列——數學概念
- 說服性定義
- 循環論證——論證方式
- 哲學邏輯——各種非經典邏輯分支的統稱
- 哲學剃刀——哲學原則
- 多元論
- 波蘭記法
- 實證主義——研究方法
- 可能性——數學基本概念
- 可能世界
- 語用學
- 謂詞 (邏輯)
- 前提——邏輯學術語
- 概率邏輯——運用數理邏輯和其他數學工具，對概然（不確定）推理進行數量化、公理化和形式化研究的邏輯理論
- 概率論——數學理論
- 形式證明
- 性質 (哲學)——客體的特性，表徵存在物、事物、現象等並且區分一個存在物與另一個存在物、一物與另一物的主要特徵
- 命題——抽象思維的基本形式之一，用陳述語句的真值（真或假）判斷對錯
- 命題變量
- 命題邏輯——邏輯系統
- 標點符號——書面上用於標明句讀和語氣的符號
Q
[編輯]- 質量——用來描述物理學中物質的絕對量
- 量化 (數理邏輯)——邏輯運算符，限定論域中滿足公式的個體數量
- 數量——中存在財產範圍的大小或眾多;屬性,可以作為一個大小或存在許多
- Q.E.D.
- 引號——標點符號
R
[編輯]- 遞歸
- 遞歸定理
- 遞歸定義
- 遞歸函數
- 遞歸關係
- 紅鯡魚
- 歸謬法
- 還原主義
- 相干邏輯
- 指稱
- 自反關係——集合中每個元素都和自身相關的二元關係
- 反駁——辯論術語
- 關係語義
- 推理規則——把相關領域的專家知識形式化地描述出來，形成系統規則的過程
- 羅素悖論——英國哲學家羅素提出的悖論
S
[編輯]- 模式
- 達納·斯科特——美國科學家
- 二階邏輯
- 矛盾——兩個或多個命題之間的邏輯不兼容
- 自我引用
- 符號學——主要研究符號的本質、符號的發展變化規律、符號的各種意義以及符號與人類多種活動之間關係的學術領域
- 命題演算——邏輯系統
- 字元集 (數理邏輯)
- 滑坡論證
- 詭辯
- 詭辯術
- 正確性——政府、官員和法律的權威為民眾所認可的程度
- 規定性定義
- 陳述 (邏輯)
- 稻草人論證——非正式謬誤的類型
- 嚴格條件
- 結構規則
- 直接推理
- 子語言
- 亞結構邏輯
- 後繼函數
- 滿射函數
- 三段論
- 對稱性——二元關係類型
- 語法
T
[編輯]- 溫度悖論
- 三元運算
- 定理——基於既定陳述之上所證明出的陳述
- 理論——沉思和理性的抽像或概括思維，或這種思維的結果
- 三值邏輯
- 波浪號——附加符號
- 容忍
- 拓撲斯
- 全函數——數學二元關係，輸入值集合中的每項元素皆能對應唯一一項輸出值集合中的元素
- 傳遞閉包
- 傳遞關係
- 翻譯——把一種語言的文字或話語等資訊轉變成另一種語言
- 逆否命題
- 三分律
- 真理——符合事實或現實的東西
- 真值表
- 真值
- 真值連結
- T-模式
- 圖靈機——抽象計算模型
- 類型和個例的區別——區分概念與概念的特定實例的對象的區別
- 類型論
U
[編輯]- 一元運算——從操作數產生結果的數學過程; 從零個或多個輸入值（稱為操作數）到輸出值的計算。 操作數的數量是操作的元數
- 一元關係
- 全稱量化——邏輯學術語
- 論域
- 可靠性定理——邏輯術語，表示參數有效且其前提是真實的
V
[編輯]W
[編輯]Z
[編輯]- 芝諾悖論——一個哲學悖論
參見
[編輯]| 概論 | ||
|---|---|---|
| 經典邏輯 |  | |
| 原理 | ||
| 規則 | ||
| 人物 | ||
| 著作 | ||
