# Ontological Commitment

> 【EN】Ontology , as etymology suggests, is the study of being, of what there is. The ontologist asks: What entities or kinds of entity exist? Are there abstract entities, such as sets or numbers, in addition to concrete entities, such as people and puddles and protons? Are there properties or universals in addition to (or instead of) the particular entities that, as we say, instantiate them? Questions such as these have divided philosophers down the ages, and divide them no less to this day. Meta -ontology concerns itself with the nature and methodology of ontology, with the interpretation and significance of ontological questions such as those exhibited above. The problem of ontological commitment is a problem in meta-ontology rather than ontology proper. … 【中】本体论是关于存在的研究：除人、水坑这类具体实体外，是否还有集合或数这类抽象实体？除殊相之外是否还有属性或共相？这类问题自古至今一直分裂着哲学家；元本体论则关注本体论的本性与方法论。词条涵盖本体论承诺的所涉项、奎因标准的外延与元语言版本、模态量词标准、替换量化与对象量化，以及实在论与还原。

- ID: m13268
- Category: culture
- Domain: 哲学

## Definition

本体论按词源即关于存在、关于有什么的研究。本体论者问：存在哪些实体或哪类实体？除具体的人与水坑之外，是否还有集合、数这类抽象实体？除个别事物之外是否还有属性或共相？ 脚手架作用：- 存在清点：追问一套理论为真必须承认有哪些东西存在 - 言辞穿透：区分理论自称在谈论什么与实际量化了什么 - 理论比较：以承诺实体的多少作为取舍理论的一项考量

## How it works

关键想法是：一个理论承诺了什么，不取决于它自称在谈论什么，而取决于使它为真所必需的存在量化域。奎因的口号“存在就是成为约束变元的值”把本体论承诺锚定在最佳理论的形式化上：先把理论整理为规范的一阶语言，再看量词必须涵盖哪些东西它才为真。

## Practice

1) 把待考察的理论或话语整理成规范形式；2) 识别其中的存在量词及其变元域；3) 检查能否用替换量化、改写或还原消去某些承诺；4) 在相互竞争的形式化之间比较理论整体的优劣。

## Use

- 存在清点：追问一套理论为真必须承认有哪些东西存在 - 言辞穿透：区分理论自称在谈论什么与实际量化了什么 - 理论比较：以承诺实体的多少作为取舍理论的一项考量

[Read the web page](https://thinkingmodels.site/en/entries/detail/m13268)