
【法】 vindicability
approve; but; can; may; need; yet
prove; certify; argue; demonstrate; justify; manifest; testify; vouch
【计】 proofness; proving
【化】 proofing
【医】 certificate; certify; proof
【经】 attest; attestation; authenticated; authentication; certification
certify; testimony
在汉英词典视角下,“可证明性”(Provability)指某命题或陈述能够通过逻辑推理、证据展示或数学验证等方式被证实为真实或成立的性质。其核心含义包含以下三层:
名词性抽象概念
指“能够被证明的状态或特性”,英文对应名词为Provability。该词强调通过有效证据或严密逻辑推导使结论具备可信度的内在属性,常见于数学逻辑与哲学领域。
示例:数学定理的可证明性是其被学界接受的基础。
形容词性描述
作为形容词时译为Provable,描述“可被验证的”或“能被证实的”。例如:“可证明的结论”(a provable conclusion)指可通过实验或演算验证的论断。
逻辑学与数学
指形式系统中语句在公理和规则下能被推导出的性质。例如:哥德尔不完备定理揭示了某些数学命题在系统内具有不可证明性(Unprovability)。
法律与实证科学
强调证据的客观可验证性。如“主张需具备可证明性”指诉讼主张需有可呈堂的证据支撑(Legally provable claims require admissible evidence)。
中文语境 | 英文对应表达 | 应用领域 |
---|---|---|
可证明性理论 | Provability theory | 数理逻辑 |
可证明的安全协议 | Provably secure protocol | 密码学 |
司法可证明性要求 | Judicial provability requirement | 法律实务 |
权威参考来源:
- 牛津高阶英汉双解词典(第10版)对 "provable" 的释义为 "that can be shown to be true"(可被证实为真实的)。
- 韦氏法律词典定义 "provability" 为 "the quality of being capable of proof in a court of law"(在法庭上可被证明的特质)。
- 斯坦福哲学百科全书指出:形式系统中的可证明性需满足特定公理系统的推导规则(参见 Formal Systems and Provability 条目)。
(注:因未搜索到可验证的在线词典链接,此处采用经典工具书及学术文献作为概念依据,实际引用时建议优先选用权威出版社的纸质或官方电子版词典。)
“可证明性”是一个涉及逻辑学、哲学和科学方法论的术语,其核心含义指某命题或理论能够通过证据、逻辑推理或实验验证被证实为真的特性。以下是具体解析:
可证明性不仅是逻辑推理的基础,也反映了人类认知中对“确定性”的追求。需注意,在科学哲学中,其局限性促使了可证伪性概念的兴起。
熬制法爆压计腹腔镜检查复位键辅助工程供电子团公理化模型工作簿冠剪固定读写头磁盘鼓式塑形机合成砂黄花甲烯绿基干即时监视硫脲硫氢乙酸慢性带菌者美国松脂铭牌粘液逆去离子作用膨胀不能入港税删除记载实得额树木化石拖欠定货