邏輯真理是逻辑学的一个基础概念，它指的是无须借助于感性经验，仅依靠一定的逻辑推理即可判定其必然为真的真理。逻辑真理虽不直接与经验相联系，但这并不意味着它与经验徹底无关。 所有的哲学逻辑 以及逻辑推论都可以被看作是对逻辑真理的阐述。 逻辑真理通常被认为是必然的真理...

逻辑所支配的主词-谓词分析不能处理的那些种类，尽管对词项逻辑的兴趣正在复兴，尝试找到符合亚里士多德三段论精神并且使用基于量词的现代逻辑一般性的演算。 形式语言的主要现代方式如下: 模型论语义是 Alfred Tarski 的真理的语义理论的原型，基于了他的...

双面真理说（Dialetheism）（也称为双面真理论）是指存在双面真理（dialetheia），即命题P和~P同为真的命题。 也就是说，在同一时间和同一意义上同时是“真”和“假”的悖论被称为双面真理。 这一学说反对基于亚里士多德的无矛盾律（有时又称为矛盾律），即P∧~P必然为假的传统逻辑观。 根据Graham...

對於"我在屋里"和與它否定的"我不在屋里"的邏輯辨證，無矛盾律認為「站在門口的人並非完全在屋內，故只屬於"我不在屋里"且不屬於"我在屋里"」；雙面真理說則同時支持"我在屋里"和"我不在屋里"為真。可以看出，相對於無矛盾律的嚴格前提相信邏輯函數單射；雙面真理說則相信邏輯命題屬於四值概念（見相干邏輯...

《語言，真理與邏輯》（英文：Language, Truth, and Logic），是一本邏輯實證主義之分析哲學書，由艾耳於1936年完成。此書將德語世界的維也納學派的邏輯實證主義，引起英語世界注意。 在這本書中，艾耳定義並闡述，檢證原則（verificationism，有時也被稱為意義標準，criterion...

非经典邏輯（英語：Non-classical logic），也称为替代逻辑（英語：alternative logics），概括了在经典邏輯體系之外的各種形式系統，這些系統在命題及謂詞等方面，與经典邏輯不同。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。...

逻辑实证主义（英語：logical positivism），后称逻辑经验主义，此二者一同被认为是新實證主義，也被稱為科学经验主义，是以確證主義（英语：Verificationism）為核心的西方哲學運動。1920年代後期開始，一群哲學觀點相似的哲學家、科學家和數學家等組成维也纳学派，發展出邏輯實證主義。...

真理融貫論（英語：Coherentism）是某些哲學家對命題是非的看法，真理融貫論主要認為一道命題的是非，決定於那命題是否與我們所接納的其他命題相互衝突。 真理融貫論是真理符應論後最廣泛被接納的理論。 一致性 (邏輯) 辩证法 双环学习（英语：Double-loop learning） 物极必反（英语：Enantiodromia）...

中间逻辑 直觉类型论 多值逻辑 三值逻辑 模糊逻辑 概率逻辑 亚结构逻辑（子结构逻辑） 线性逻辑 相干逻辑 非单调逻辑 缺省逻辑 自动认识逻辑 可废止逻辑 模态逻辑 真势模态逻辑 认识逻辑 道义逻辑 时间逻辑（时态逻辑） 动态逻辑 可证明性逻辑 可解释性逻辑 哲学逻辑 次协调逻辑（弗协调逻辑） 自由逻辑...

真理作为他关于哲学逻辑的书的主要主题。 哲学逻辑被理解为包含并专注于非经典逻辑，尽管该术语还有其他含义。 非经典逻辑是对传统的经典逻辑的扩展和替代, 其介绍可见于 约翰·P·伯吉斯（英语：John P. Burgess） 的《哲学逻辑》。 该著作描述非经典逻辑的五个中心分支（时间逻辑、模态逻辑...

在邏輯和哲學中，论证是由前提及其的一个结论组成的一系列命题。 论证分为演绎论证和归纳论证，演繹論證必为有效或无效，可以是可靠的：在有效的演绎論證中，即使一個或多個前提為假且結論為假，前提必須得出結論；在一個合理的論證中，真實的前提需要一個真實的結論。相比之下，歸納論證可以具有不同程度的邏輯...