Uninterpreted
释义 Definition
uninterpreted（形容词）：未被解释的；未被阐释的；（符号/数据/文本）未经解读的。常用于学术或技术语境，尤其是逻辑、数学、语言学与计算机领域，表示“只给出形式/符号，但尚未赋予意义或说明”。
发音 Pronunciation
/nntprtd/
例句 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
文学与名著用例 Literary Works
- Douglas R. Hofstadter Gdel, 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”（未解释的函数/谓词/符号）的用法。
Select Language