出处：哲学卷 • 逻 辑 学 • 现代形式逻辑
| 词条 | 蕴涵怪论 |
| 释义 | 蕴涵怪论 蕴涵怪论 亦称“蕴涵悖论”。现代形式逻辑中一类与人们的直观不相符合的含有蕴涵符号的逻辑定理。对于这些用形式语言表示的逻辑定理,当人们对其作出解释,并把其中的蕴涵符号解读为反映充分条件关系的联结词“如果……,那么……”的时候,难以从直观上认同它们的逻辑真理性,这类逻辑定理因而被称为“蕴涵怪论”。例如,经典命题逻辑系统中有“实质蕴涵怪论”,模态命题逻辑系统中有“严格蕴涵怪论”。 出处：哲学卷 • 逻 辑 学 • 现代形式逻辑 蕴涵怪论 亦称“蕴涵悖论”。某些现代逻辑分支中,有一些含有蕴涵符号的定理,在对它们做出解释,并把其中的蕴涵符号解读为反映推理关系的联结词“如果……,那么……”的时候,却难以从直观上认同它们的逻辑真理性,这些逻辑定理就被称为“蕴涵怪论”。例如,经典命题逻辑系统中有“实质蕴涵怪论”,模态命题逻辑系统中则有“严格蕴涵怪论”。最典型的“实质蕴涵怪论”是如下的一些重言式:①p→(q→p),②7p→(p→q),③q→(p∨7p),④(p∧7p)→q,⑤(p→q)∨(q→p)。①意味着:如果p是真的,那么任何命题q都可以推出这个真命题;②意味着:如果p是假的,那么这个假命题可以推出任何命题q;③意味着:任何命题q都可以推出永真命题“p或者非p”;④意味着:矛盾命题“p并且非p”可以推出任何命题q;⑤意味着:任何两个命题p、q之间,不是前者推出后者,就是后者推出前者。这些“实质蕴涵怪论”的出现,表明实质蕴涵“→”与自然语言条件句中反映推理关系的联结词“如果……那么……”的含意存在着距离。 出处：数理化力学卷 • 数 学 • 数理逻辑 • 数学基础 |
| 随便看 |
百科全书收录258893条中英文百科知识，基本涵盖了大多数领域的百科知识，是一部内容开放、自由的电子版百科全书。