Definability

Definition / 定义

definability（可定义性）：指某个概念、对象、性质或集合能够被清晰定义的程度或性质。常用于逻辑、数学与语言哲学中，特指“能否在某种形式语言或理论体系内被表达/刻画”。

Pronunciation / 发音

/dɪˌfaɪnəˈbɪləti/

Examples / 例句

Definability matters in logic.
可定义性在逻辑学中很重要。

The paper studies the definability of certain relations within first-order logic, showing which properties can be captured by a given formal language.
这篇论文研究了某些关系在一阶逻辑中的可定义性，说明哪些性质可以被特定的形式语言刻画。

Etymology / 词源

由 definable（可定义的）+ 后缀 -ity（表示“性质、状态”）构成。define 源自拉丁语 dēfīnīre，意为“界定、划定界限”，因此 definability 字面义就是“可被界定的性质”。

Related Words / 相关词

• Definable
• Define
• Definition
• Undecidable
• Expressibility
• Formalism
• Predicate

Literary Works / 文学作品

• W. V. O. Quine, Word and Object（常讨论语言与逻辑中的可表达性/可定义性问题）
• Saul A. Kripke, Naming and Necessity（涉及定义、指称与哲学语言分析语境下的相关术语）
• Alfred Tarski, Introduction to Logic and to the Methodology of Deductive Sciences（逻辑学中关于形式化定义与可定义性的典型语境）