数学悖论 [ shù xué bèi lùn ]
数学悖论“……古往今来，为数众多的悖论为逻辑思想的发展提供了食粮。” ——N·布尔巴基
逻辑悖论 [ luó ji bèi lùn ]
合逻辑 [ hé luó jí ]
一个论证在逻辑的推理形式上是正确的，称为「合逻辑」。
断按 [ duàn àn ]
形式逻辑三段论法中的结论。
分层理论 [ fēn céng lǐ lùn ]
数理逻辑中递归论的一部分。
价值逻辑 [ jià zhí luó jí ]
关于善恶与美丑的价值问题，向来思想家皆认为非逻辑问题，故实证论及行为主义乃有所谓价值中立或价值免谈之论。五十年代初期…
断案 [ duàn àn ]
（一）、审判诉讼案 件。（二）、逻辑中三段论式中的结论。
辩学 [ biàn xué ]
（一）、关于辩论的学问。（二）、逻辑学的旧称。
思辨化 [ sī biàn huà ]
指运用逻辑推导而进行纯理论，纯概念的思考。
布尔（george boo [ bù ěr ]
人名。（公元1815～1864）英国有名的数学家和逻辑学家，终身致力于近代符号逻辑的建立，是近代逻辑代数的开拓者。公…
不能推出 [ bù néng tuī chū ]
亦称“推不出”。证明中论据和论题之间没有必然联系的逻辑错误。
三段论式 [ sān duàn lùn shì ]
逻辑名词。也叫三段论、三段论法。形式逻辑间接推理的基本形式，由大前提、小前提、结论三部分组成，故称。如：“凡金属都能…
虚假论据 [ xū jiǎ lùn jù ]
在证明或反驳中把虚假的判断当作论据的逻辑错误。
命题演算 [ mìng tí yǎn suàn ]
符号逻辑的一种系统，以命题为单位，藉逻辑连接词予以结合，且逐步推论以决定命题的真假值。亦探讨逻辑连接词的性质、命题公…
性本恶 [ xìng běn è ]
荀子论述“人性本恶”，相对孟子的“人性本善”，是一个进步。既有逻辑，又有论证。
因明 [ yīn míng ]
古代印度研究推理论证的科学。即关于逻辑推理的学说。
小项 [ xiǎo xiàng ]
逻辑学名词。三段论中结论的主概念。通常出现在小前提和结论中。英文翻译1.minterm; minor term
辨说 [ biàn shuō ]
（一）、辨析论述。（二）、论辩。辨，通“辩”。（三）、辩解，分辩。辨，通“辩”。（四）、中国古代逻辑名词。指推理和论…
循环论证 [ xún huán lùn zhèng ]
逻辑学上指由前提甲推出结论乙，又拿乙做前提来证明甲，这样的论证叫循环论证，是不能成立的。
逻辑 [ luó ji ]
一门研究思维和论证有效性的规范和准则的科学,传统上包括定义、分类和正确使用词项的原则,正确云谓的原则,以及推理和论证…
推导 [ tuī dǎo ]
根据已知的公理、定义、定理、定律等，经过演算和逻辑推理而得出新的结论。
悖论 [ bèi lùn ]
逻辑学指可以同时推导或证明两个互相矛盾的命题的命题或理论体系。
不合逻辑 [ bù hé luó jí ]
词典附录修订本参考资料：一个论证在推理形式下为错误者，称为不合逻辑。
思辨 [ sī biàn ]
（一）、哲学上指运用逻辑推导而进行纯理论、纯概念的思考。（二）、思考辨析：思辨能力。
思辨力 [ sī biàn lì ]
（一）、哲学上指运用逻辑推导而进行纯理论、纯概念的思考力；（二）、思考辨析的能力。