布尔代数主题列表

概要

学术领域

基础概念

审辩式思维和非形式逻辑	分析歧义性论证信仰偏见公信力证据解释解释力事实谬论探究（英语：Inquiry）意见奥卡姆剃刀前提政治宣传审慎推理关联修辞学严谨含糊
演绎推理	结构主义双面真理说虚构主义（英语：Fictionalism）有限主义形式主义直觉主义逻辑原子论逻辑主义唯名论实用主义唯实论柏拉圖實在論

元逻辑（英语：metalogic）和元数学
康托尔定理可判定性邱奇-图灵论题一致性有效方法（英语：Effective method）数学基础哥德尔完备性定理哥德尔不完备定理可靠性完备性可判定性解释勒文海姆–斯科伦定理元定理可满足性独立性类型-记号区别使用-提及区别

非传统逻辑

模态逻辑	真性逻辑价值逻辑道义逻辑信念逻辑（英语：Doxastic logic）认识逻辑时间逻辑
直觉主义	直觉主义逻辑结构分析 Heyting算术（英语：Heyting arithmetic）直觉类型论建構式集合論（英语：Constructive set theory）
模糊逻辑	真实性程度（英语：Degree of truth）模糊规则模糊集模糊有限元素模糊集合運算（英语：Fuzzy set operations）
亚结构逻辑	结构规则相干逻辑线性逻辑
次协调逻辑	双面真理说
描述逻辑	本体论本体语言

列表

主题	逻辑概要（英语：Outline of logic）数理逻辑（英语：List of mathematical logic topics）布尔代数集合论（英语：List of set theory topics）
其它	逻辑学家推理规则（英语：List of rules of inference）悖论谬论逻辑符号

常见逻辑符号
& ∨ ¬ ~ → ⊃ ≡ \| ∀ ∃ ⊤ ⊥ ⊢ ⊨ ∴ ∵

参见：哲学主题
分类