obversion是什么意思,obversion的意思翻译、用法、同义词、例句
obversion英标
英:/'ɒb'vɜːʒən/ 美:/'ɑb'vɜːrʃən/
常用词典
n. 转向;形成对立;换质法
同义词
n.|turning;转向;形成对立;换质法
专业解析
在逻辑学中,obversion(换质法) 是一种直接推理形式,用于转换直言命题(Categorical Proposition)。其核心操作是同时改变命题的质(肯定或否定)和谓词(Predicate)的否定状态,从而得到一个逻辑上等价的新命题。
详细解释:
-
操作步骤:
- 改变命题的质: 将原命题的肯定形式(A 或 I)改为否定形式(E 或 O),或将否定形式(E 或 O)改为肯定形式(A 或 I)。
- 否定谓词: 将原命题的谓词(P)替换为其逻辑补集(非 P)。
- 主词(Subject)保持不变。
- 新命题的量(Quantity,全称或特称)保持不变。
-
结果:
- 经过换质法操作得到的新命题与原命题在逻辑上是等值的(Logically Equivalent)。这意味着它们在任何情况下都具有相同的真值:如果一个为真,另一个也为真;如果一个为假,另一个也为假。
-
四种直言命题的换质法:
- A 命题(全称肯定): 所有 S 是 P。 →换质为 E 命题: 所有 S 不是非 P。
例如: “所有猫都是哺乳动物。” → “所有猫都不是非哺乳动物。”
- E 命题(全称否定): 所有 S 不是 P。 →换质为 A 命题: 所有 S 是非 P。
例如: “没有猫是狗。” → “所有猫都是非狗。”
- I 命题(特称肯定): 有些 S 是 P。 →换质为 O 命题: 有些 S 不是非 P。
例如: “有些水果是苹果。” → “有些水果不是非苹果。”
- O 命题(特称否定): 有些 S 不是 P。 →换质为 I 命题: 有些 S 是非 P。
例如: “有些水果不是苹果。” → “有些水果是非苹果。”
-
目的与应用:
- 换质法的主要目的是在不改变命题核心含义的前提下,改变其表述形式。
- 在逻辑推理中,换质法常用于:
- 简化命题的表达。
- 为后续的推理步骤(如换位法 Conversion)做准备。换质法得到的命题有时更容易进行换位操作。
- 揭示命题之间的逻辑关系。
Obversion(换质法)是逻辑学中转换直言命题的一种有效方法,通过改变命题的质并否定其谓词,得到一个逻辑等值的新命题。它保持了原命题的主词和量项不变,是传统逻辑推理中的基本操作之一。
参考来源:
- Stanford Encyclopedia of Philosophy (SEP) - Categorical Logic (关于直言命题及其操作,包括换质法的权威解释)
- Internet Encyclopedia of Philosophy (IEP) - Traditional Square of Opposition (讨论直言命题间的关系,涉及换质等推理形式)
网络扩展资料
Obversion 是一个多领域术语,主要含义如下:
1.逻辑学中的核心定义
在逻辑学中,obversion 指通过改变命题的质(肯定/否定)和谓项,推导出与原命题等价的命题。例如,将“所有A是B”转换为“没有A是非B”,这一过程称为换质法。它是传统逻辑中直接推理的重要方法。
2.一般语义与工程应用
在非专业语境中,obversion 可表示“将表面反过来”或“转向”,例如在机械工程中描述翻转油缸的操作(如液压系统平衡阀设计)。
3.发音与词源
- 音标:英音 [ɒb'vɜ:ʃən],美音 [ɒb'vɜ:ʃən]。
- 词源:源自拉丁语 obversio(转向对立面),与动词 obvert(反转)相关。
4.注意事项
- 逻辑学中的换质法需保持原命题的真值,仅改变质和谓项。
- 工程领域的用法更偏向物理操作,需结合具体语境理解。
如需更多例句或技术细节,可参考来源网页。
别人正在浏览的英文单词...
【别人正在浏览】