Uninterpreted

释义 Definition

uninterpreted（形容词）：未被解释的；未被阐释的；（符号/数据/文本）未经解读的。常用于学术或技术语境，尤其是逻辑、数学、语言学与计算机领域，表示“只给出形式/符号，但尚未赋予意义或说明”。

发音 Pronunciation

/ˌʌnɪnˈtɝːprɪtɪd/

例句 Examples

The chart was left uninterpreted in the report.
这张图表在报告中没有被解读说明。

In formal logic, an uninterpreted symbol has no meaning until we assign it one in a model.
在形式逻辑中，未解释的符号本身没有意义，直到我们在某个模型里给它指定含义。

词源 Etymology

由前缀 un-（表示否定，“不、未”）+ interpreted（interpret 的过去分词，“被解释的”）构成，字面意思就是“未被解释的”。interpret 源自拉丁语 interpretari，意为“解释、阐明、翻译”。

相关词 Related Words

• Interpreted
• Unexplained
• Undefined
• Untranslated
• Ambiguous
• Implicit
• Explicit
• Symbolic

文学与名著用例 Literary Works

• Douglas R. Hofstadter — Gödel, Escher, Bach: An Eternal Golden Braid（《哥德尔、艾舍尔、巴赫》）：讨论形式系统与意义时，常涉及“未解释的符号/形式系统（uninterpreted symbols/system）”的表述。
• Alfred Tarski — Introduction to Logic and to the Methodology of Deductive Sciences（《逻辑导论》）：在语义学与形式化论证中，会用到“uninterpreted”来区分“纯形式”与“已赋义的解释”。
• Elliott Mendelson — Introduction to Mathematical Logic（《数理逻辑导论》）：模型论/形式语言章节中常出现“uninterpreted function/predicate/symbol”（未解释的函数/谓词/符号）的用法。