实用逻辑学 共有 733 个词条内容

    违反“定义必须清楚确切”这项定义规则所犯的逻辑错误。定义不清是指用内涵和外延不明确的概念或用含混难懂的语言下定义。例如,“生命就是具有活性的物质现象”。这里的“活性”是比较含混的语言,内涵和外延都不明确,这...[继续阅读]

    德国古典哲学家康德提出的范畴。指人的一种认识能力或阶段。康德认为人的认识能力有感性、悟性、理性三个环节,我们的一切知识都是由感性开始的,然后转到悟性,最后达到理性。感性和悟性的认识只涉及客观事物的“现象”,而...[继续阅读]

    亦称“道义逻辑”或“义务逻辑”,一种非标准的模态逻辑。它是关于“必须”或“应当”、“允许”或“可以”、“禁止”等规范词的逻辑性质以及由这些规范词构成的规范命题及其系统的逻辑理论。对道义逻辑的深入研究,是从...[继续阅读]

    指所立之宗被立敌双方共许的过失。例如,“人皆有死”是众所周知的事实,任何人都不会有异议,若以此为宗,就违反了违他顺自的原则,犯了相符极成的过失。...[继续阅读]

    东汉会稽上虞(今浙江上虞县)人。杰出的唯物主义思想家,在与宗教神学、谶讳迷信的斗争中发展了论证逻辑,主要著作有《论衡》。他指出论证的作用是辨是非(“论说辨然否”)。论题都是经过摆论据、通过论证才确立的(“论莫定于...[继续阅读]

    亦称“虚假论据”或“基本错误”。违反充足理由律要求而犯的逻辑错误之一,指由于用来作为理由的判断与客观实际不符或违背科学原理而导致的逻辑错误。例如改革过程中某些单位依据若干条诽谤之言或因传导失误形成的不实之...[继续阅读]

    谓词演算自然推理系统的一个组成部分,规定从什么前提可推出什么结论,或规定在某个(某些)推理关系成立的条件下,另一推理关系也成立的规则。不同的数理逻辑著作在论及谓词演算的自然推理系统时,对其推演规则有不同的选择和...[继续阅读]

    不包含任何逻辑联结词的命题。例如,“李商隐是诗人”,“亚洲的面积大于欧洲”,都是简单命题。数理逻辑理解的简单命题(或称原子命题)不同于普通逻辑的简单判断。例如,“李商隐不是宋朝人”在普通逻辑中是单称否定判断,属于...[继续阅读]

    亦称“命题演算推演的语法规则”。根据已证的命题演算的定理(包括公理)和变形规则引入的简化推演步骤的规则。例如,根据已证定理(p∨q)→(q∨p)和代入规则、变形规则,可引入析取交换规则:从⊢A∨B,可得⊢B∨A。(A、B是表示...[继续阅读]

    谓词逻辑中表示命题形式的符号序列。最基本的谓词逻辑的公式是由谓词变元和个体变元(以及个体常元)构成的公式(如F(x)、G(y)、H(x,y)等)以及单个命题变元(如p、q、r等)。在这些公式的基础上,通过添加量词或用联结词联结,可组成各...[继续阅读]