
【法】 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 條目)。
(注:因未搜索到可驗證的線上詞典鍊接,此處采用經典工具書及學術文獻作為概念依據,實際引用時建議優先選用權威出版社的紙質或官方電子版詞典。)
“可證明性”是一個涉及邏輯學、哲學和科學方法論的術語,其核心含義指某命題或理論能夠通過證據、邏輯推理或實驗驗證被證實為真的特性。以下是具體解析:
可證明性不僅是邏輯推理的基礎,也反映了人類認知中對“确定性”的追求。需注意,在科學哲學中,其局限性促使了可證僞性概念的興起。
吡啶代噻唑磺胺藏書标籤詞法加工程式單元常數得天獨厚的第八斷言數據庫分配渠道負熵附着渦甘願更新的管箱蓋可作為辯護理由的命名參數萘胲年恤金弄成鋸齒狀平篩鋪床期望支付全硫錫酸全失效的繞射表實現程式時運不濟的絲狀導管酸性磨紅他治微時計