本体论

本体论（ontology）在哲学学科分类中通常被界定为形而上学的一个核心分支，其任务是研究存在者之为存在者的基本范畴、存在方式及其相互关系，因而也被称为「一般形而上学」或「存在论」。^{77Ontology | Definition, History & Examplesbritannica.com前往参考资料 ↓在新标签页中打开|88Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在亚里士多德的学科划分中，研究「作为存在的存在」（being qua being）的第一哲学既追问存在者的首要原因，也考察存在本身的诸种意义；后世把这一部分内容称为本体论，而把研究最高存在者（神）的部分称为理性神学，二者共同构成形而上学的核心。^{77Ontology | Definition, History & Examplesbritannica.com前往参考资料 ↓在新标签页中打开|99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

「本体论」作为一个独立的学科名称直到 17 世纪才被明确铸造出来：德国哲学家郭克兰纽（Rudolf Goclenius）在 1613 年的哲学词典中使用了 ontologia 一词，其后克劳伯格（Johannes Clauberg）与莱布尼茨等人沿用并使之通行。^{1010Ontologyen.wikipedia.org前往参考资料 ↓在新标签页中打开}

沃尔夫（Christian Wolff）在 18 世纪把形而上学系统地区分为本体论、宇宙论、心理学与自然神学四部分，本体论被定位为关于一般存在者的先天科学，这一划分长期塑造了欧洲哲学课程中的形而上学结构。^{88Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

康德在《纯粹理性批判》中把传统本体论视为理性超越经验界限的产物，认为「作为一门关于一般存在者的科学」的本体论不能作为知识成立，转而以先验哲学和范畴学说处理存在论问题；这一批判成为近代本体论地位争论的转折点。^{88Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|1111Kant's Critique of Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

20 世纪分析哲学中的「本体论复兴」以蒯因（W. V. O. Quine）的「本体论承诺」概念为标志：他在《论何物存在》中提出，一个理论承诺何种实体，取决于该理论为使其为真而必须量化的变元取值范围，从而把本体论问题转化为语言与逻辑分析问题。^{1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开|1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在当代哲学百科全书的学科地图中，本体论与认识论、逻辑学、伦理学并列为哲学的主要分支，而本体论通常被置于形而上学之下，与模态形而上学、心灵形而上学等并列，而非与形而上学同级。^{77Ontology | Definition, History & Examplesbritannica.com前往参考资料 ↓在新标签页中打开|88Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

由于「ontology」在信息科学中被借用来指称「概念化的明确规范说明」，哲学本体论与计算机科学中的「本体」在对象与方法上已有实质区别；哲学本体论追问何物存在及其范畴结构，而信息科学的本体则是领域知识的可计算表示。^{1414Ontology (information science)en.wikipedia.org前往参考资料 ↓在新标签页中打开}

本体论（ontology）与认识论（epistemology）、逻辑学（logic）通常被并列为哲学的三个基础分支：本体论追问「有什么存在」，认识论追问「我们如何知道」，逻辑学追问「推理何以有效」。三者的分工不是彼此隔绝的，而是围绕「存在—知识—推理」三个环节形成的相互约束关系。^{1515全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

本体论问题在学科定位上常被赋予某种优先性：它涉及「存在」本身的本质，即是否有一个独立于我们而存在的「真实」外部世界。这一优先性并不意味着本体论可以脱离认识论单独成立——恰恰因为「独立存在的外部世界」这一提法本身就要通过认识论来界定其可被谈论的方式。^{1515全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

本体论与认识论的关系在近代哲学中发生了一次结构性倒转：笛卡尔以降，关于「我如何确定地知道」的追问被置于关于「什么存在」的追问之前，认识论一度取得「第一哲学」的地位；这一格局直到 20 世纪分析哲学中本体论复兴才被重新调整。^{1515全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

逻辑学与本体论的关系体现为「形式约束」：本体论承诺（ontological commitment）的判定通常借助逻辑分析来完成——蒯因（W. V. O. Quine）提出的标准是，一个理论承诺了哪些实体，取决于该理论在一阶逻辑中量化变元所能取的值。因此逻辑学在此充当了本体论论断的可检验框架，而非中立的记录工具。^{1515全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

在学科建制上，本体论、认识论与逻辑学常被合称为「哲学的基础部门」，但三者的边界在当代已高度交叠：模态逻辑的语义学直接产生关于可能世界是否存在的本体论争论，而知识归属的语义学又反过来依赖本体论上对「信念主体」的刻画。^{1515全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

「本体论优先于认识论」与「认识论优先于本体论」是哲学史上长期并存的两种定位方案，前者以实在论传统为代表，后者以康德式先验哲学为代表；两者并非简单的对错之争，而是对「哲学应从何处开始」这一方法论起点的不同选择。^{1515全屏显示 专题 章节mooc1.chaoxing.com前往参考资料 ↓在新标签页中打开}

ontology 一词是近代早期拉丁语对希腊语哲学词汇的构造：它由希腊语 ont-（ὄν，意为「存在者」「是者」，即 einai「是」的分词形式）与 logia（-λογία，意为「研究」「学问」「言说」）组合而成，字面义为「关于存在者的学问」。^{1616读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

该词在 17 世纪被构造出来时，并非古典希腊哲学的原生术语；亚里士多德讨论「作为存在的存在」的著作在后世被编纂者命名为《形而上学》（ta meta ta physika），而「本体论/ontology」是近代学者为这一探究领域另造的名称。^{1616读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

汉语学界对 ontology 的译名长期存在分歧，主要译法包括「本体论」「存在论」「是论」等；不同译名背后对应着对 ontology 研究对象的不同理解，因此译名之争实质上是学理之争。^{1616读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

杨学功在其博士论文中专设一章讨论 ontology 的词源与汉译问题，系统评述了学术界的已有研究成果，并在学理分疏的基础上提出了自己的术语使用方案，说明该词的汉译在中国学界是一个被认真对待的学术问题。^{1616读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

英文 ontology、德文 Ontologie、法文 Ontologie 均源自拉丁文 Ontologia，而拉丁文又源自希腊文，字面上指关于 on（存在者）的 logos（学问、道理）。^{1717ontology科技译名term.org.cn前往参考资料 ↓在新标签页中打开}

据考证，Ontologia 一词最早见于德意志哲学家郭克兰纽（R. Goclenius）1613 年用拉丁文编撰的《哲学辞典》。^{1717ontology科技译名term.org.cn前往参考资料 ↓在新标签页中打开}

莱布尼茨及其继承者沃尔夫试图通过纯粹抽象的途径建立一套完整的、关于一般存在物和世界本质的形而上学，即独立的本体论体系，这使 Ontologia 逐渐成为哲学中一个稳定的学科名称。^{1717ontology科技译名term.org.cn前往参考资料 ↓在新标签页中打开}

ontology 一词在中文文献中长期存在译名不统一的问题，常见译法包括「本体论」「本体」「存在论」「知识本体」「概念集」「本体模型」等，这种不一致给学术交流和信息共享带来困难。^{1717ontology科技译名term.org.cn前往参考资料 ↓在新标签页中打开}

在哲学语境中，ontology 通常被译为「本体论」，又译「存在论」「存有论」，被视为形而上学的基本分支，主要探讨存有本身，即一切现实事物的基本特征。^{1818本体论 (哲学) - 维基百科，自由的百科全书zh.wikipedia.org前往参考资料 ↓在新标签页中打开}

「本体论」与「存在论」两种译名之争的实质，在于对 ontology 研究对象的不同理解：前者侧重「本体」（根本的存在者、实体），后者侧重「存在」（being、Sein）本身，这一分歧与汉语学界对西方 being/Sein 传统术语的翻译困难密切相关。^{1717ontology科技译名term.org.cn前往参考资料 ↓在新标签页中打开|1818本体论 (哲学) - 维基百科，自由的百科全书zh.wikipedia.org前往参考资料 ↓在新标签页中打开}

「何物存在」问题，即存在清单问题，追问的是：究竟有哪些东西真实存在？它要求给出一份关于世界所含实体的总目录，并据此判定日常语言与科学理论中预设的各类对象——物理物体、属性、事件、数、集合、命题、可能世界、虚构角色等——哪些应当被列入这份清单、哪些只是说话方式或理论虚构。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

蒯因（W. V. O. Quine）在《论何物存在》（On What There Is，1948）中把存在问题与量化理论绑定，提出「存在就是成为约束变元的值」这一判准：一个理论承诺了哪些实体，取决于该理论为使其定理为真而必须把哪些东西纳入量词的作用范围。这一判准把「何物存在」从直觉争论转化为对理论的形式重构问题。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开|2020Ontological Relativityjstor.org前往参考资料 ↓在新标签页中打开}

蒯因进一步主张本体论承诺问题在原则上没有事实层面的唯一答案，只有相对于一个背景理论、一套翻译手册或一种语言框架才能有意义地提出；他把这种立场称为「本体论的相对性」，并据此拒绝去问「绝对地、究竟有什么存在」。^{2020Ontological Relativityjstor.org前往参考资料 ↓在新标签页中打开|1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开}

卡尔纳普（Rudolf Carnap）在《经验论、语义学与本体论》中区分「内部问题」与「外部问题」：在已经接受的语言框架内部问「有没有数」「有没有物理物体」是有认知意义的，可由框架规则回答；而问「这个框架本身是否与实在相符」的外部问题则不是理论问题，只是实践选择。^{2121Empiricism, Semantics, and Ontologyjstor.org前往参考资料 ↓在新标签页中打开}

蒯因对卡尔纳普的内外问题二分提出批评，认为框架选择本身也要服从理论上的整体考虑（简单性、保守性、预测力等），因此不能把外部问题完全逐出理性讨论；这场争论构成 20 世纪分析本体论的核心线索之一。^{2020Ontological Relativityjstor.org前往参考资料 ↓在新标签页中打开|2121Empiricism, Semantics, and Ontologyjstor.org前往参考资料 ↓在新标签页中打开}

「本体论承诺」与「存在清单」的讨论在当代分析哲学中通常与「本体论上的宽松/紧缩」（ontological permissivism vs. deflationism）之争相连：紧缩论者认为许多存在断言只是语言框架内的记账，不增加世界的家具；宽松论者则认为只要理论需要，就可以正当地承认相应实体。^{1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

存在清单问题的一个经典子问题是「抽象对象是否存在」：数、集合、属性、命题若存在，则它们不是时空中的因果实体，这与「存在即物理存在」的自然主义直觉冲突；反之若否认它们，则数学与逻辑的真理地位需要另作说明。^{2222Abstract Objectsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

另一个经典子问题是「虚构对象与可能对象」：日常语句「福尔摩斯住在贝克街」似乎指称一个不存在的对象，迈农（Alexius Meinong）传统主张有「非存在的对象」，罗素与蒯因传统则用摹状词理论或改写策略消解这类指称，避免扩充存在清单。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开|2323Existenceplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在方法论上，存在清单问题通常借助「奥卡姆剃刀」原则来裁决：在解释力相同的前提下应尽量减少所承诺的实体种类；但剃刀本身是启发式原则而非定理，其适用强度与「何谓同等的解释力」在学界仍有不同理解。^{1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

「存在本身的意义」问题在现象学传统中被胡塞尔以「存在设定」的悬置（Epoché）方式重新提出：现象学还原并不否认世界存在，而是把「世界存在」这一设定加上括号，从而让「存在」如何被给予意识成为可研究的课题。^{2424Husserl, Ideas Pertaining to a Pure Phenomenology and to a Phenomenological Philosophy, First Booklink.springer.com前往参考资料 ↓在新标签页中打开}

海德格尔在《存在与时间》开篇重提「存在意义问题」，认为西方形而上学史遗忘了「存在」与「存在者」的区分（ontologische Differenz），并把追问存在意义的方式规定为对「此在」（Dasein）的生存论分析。^{2525Heidegger, Being and Time (Sein und Zeit), trans. Macquarrie & Robinsonarchive.org前往参考资料 ↓在新标签页中打开}

海德格尔后期在《关于人道主义的书信》等文本中把「存在意义」问题转向「存在之真理」与「澄明」（Lichtung），并批评传统形而上学把存在当作可对象化把握的「在场者」。^{2626Heidegger, Letter on Humanism, in Pathmarkscambridge.org前往参考资料 ↓在新标签页中打开}

在分析哲学传统中，蒯因（W. V. O. Quine）在《论何物存在》中提出「存在就是成为约束变项的值」，把「存在本身的意义」问题转化为对量化逻辑中约束变项取值范围的本体论承诺问题。^{2727Quine, On What There Is, in From a Logical Point of Viewhup.harvard.edu前往参考资料 ↓在新标签页中打开}

卡尔纳普（Rudolf Carnap）在《经验论、语义学与本体论》中提出「内部问题」与「外部问题」的区分：在语言框架内部问「某物是否存在」有认知意义，而问「框架本身是否对应实在」则是无认知意义的「外部问题」，应被理解为实践上的框架选择。^{2929Carnap, Empiricism, Semantics, and Ontology, Revue Internationale de Philosophie 4(11)jstor.org前往参考资料 ↓在新标签页中打开}

蒯因对卡尔纳普的内外问题区分提出批评，认为二者之间没有原则性界线：接受一个语言框架本身就已经作出本体论承诺，因此「外部问题」并非无意义，而是与整体理论选择不可分割。^{2727Quine, On What There Is, in From a Logical Point of Viewhup.harvard.edu前往参考资料 ↓在新标签页中打开|2828Quine, Ontological Relativity and Other Essayscup.columbia.edu前往参考资料 ↓在新标签页中打开}

中国哲学传统中，「存在本身的意义」问题常以「本体」与「工夫」的关系方式提出：本体不是脱离实践的抽象存在，而是在修养工夫中呈现和验证的，这一进路与西方以「存在者整体」为对象的 ontology 形成对照。^{3030Stanford Encyclopedia of Philosophy, Chinese Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

马克思主义哲学视域中，「存在本身的意义」问题被置于实践基础上理解：马克思在《关于费尔巴哈的提纲》中提出「不是意识决定生活，而是生活决定意识」，存在意义问题因而从抽象思辨转向对现实生活过程的实践把握。^{3131Marx, Theses on Feuerbach, in Marx-Engels Collected Works, Vol. 5marxists.org前往参考资料 ↓在新标签页中打开}

「存在与存在者的区分」（der ontologische Unterschied）是海德格尔在《存在与时间》中提出的核心方法论区分：存在者（das Seiende）是「存在着的」东西，即一切已在其存在方式中被给予的事物；而存在（das Sein）不是任何存在者，而是使存在者作为存在者被理解的那个「去存在」的运作本身。海德格尔用「本体论差异」（ontologische Differenz）来命名这一区分，并认为西方形而上学史的根本错误在于「遗忘存在」——即把存在本身当作一个最高存在者（如神、实体、理念）来处理。^{3232Heidegger's Ontological Difference: A Critical Expositionplato.stanford.edu前往参考资料 ↓在新标签页中打开}

海德格尔用「本体论差异」来指称存在与存在者之间的「不」（das Nichts）或「区分」本身，强调存在不是存在者的属性、根据或类，不能用陈述「某物是什么」的谓述方式去把握。这一区分直接针对的是西方哲学自柏拉图以来把「存在」理解为「恒常在场性」（beständige Anwesenheit）的传统，海德格尔认为这种理解在黑格尔那里达到完成，并因此遮蔽了存在的时间性维度。^{3232Heidegger's Ontological Difference: A Critical Expositionplato.stanford.edu前往参考资料 ↓在新标签页中打开|3333Identity and Difference (Identität und Differenz), trans. Joan Stambaugharchive.org前往参考资料 ↓在新标签页中打开}

在分析哲学传统中，蒯因（W. V. O. Quine）在《论何物存在》（On What There Is）中提出的「本体论承诺」（ontological commitment）标准，与海德格尔的存在论差异形成对照：蒯因主张一个理论的本体论承诺由该理论中约束变元所能取的值决定，即「存在就是成为约束变元的值」。这一标准把「存在」问题转化为对理论的形式化语言分析，而不诉诸存在者层次与存在层次的现象学区分。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开|1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开}

海德格尔在《形而上学是什么？》及后续著作中进一步把「存在与存在者的区分」与「无」（das Nichts）的问题联系起来，认为「无」不是存在者的否定，而是存在本身的「不性」（Nichtheit），是存在者得以显现的背景。这一思路在《路标》中的《论根据的本质》一文里被展开为「存在论差异」与「根据律」的关系问题。^{3232Heidegger's Ontological Difference: A Critical Expositionplato.stanford.edu前往参考资料 ↓在新标签页中打开|3434What Is Metaphysics? (Was ist Metaphysik?)archive.org前往参考资料 ↓在新标签页中打开}

海德格尔后期在《同一与差异》等文本中，把「存在论差异」进一步表述为「存在与存在者的区分」是「存在之天命」（Geschick des Seins）的一个「阶段」，并试图以「本有」（Ereignis）来思考存在与人的共属关系，从而不再以「基础本体论」的框架来表述这一区分。^{3333Identity and Difference (Identität und Differenz), trans. Joan Stambaugharchive.org前往参考资料 ↓在新标签页中打开|3535Heidegger's Later Philosophy: Ereignis and the Ontological Differencerep.routledge.com前往参考资料 ↓在新标签页中打开}

围绕「存在论差异」是否构成对传统本体论的有效批判，学界存在公开争论。一派（如列维纳斯）认为海德格尔的区分仍然停留在「存在」的优先性之中，未能真正面对「他者」的伦理要求；另一派（如海德格尔本人及其追随者）则认为这一区分恰恰是对西方本体论传统的根本克服。^{3636Totality and Infinity: An Essay on Exteriority, trans. Alphonso Lingisarchive.org前往参考资料 ↓在新标签页中打开}

在汉语学界，关于「存在论差异」的译名与理解也存在讨论：有学者主张译作「存在论差异」，以强调其与「本体论」（Ontologie）的关联；也有学者主张译作「存有论差异」或「是论差异」，以突出海德格尔对「存在」意义的重新规定。这一译名分歧反映了对海德格尔「存在」概念理解的不同侧重。^{3737海德格尔选集（上卷）·译者序book.douban.com前往参考资料 ↓在新标签页中打开}

在亚里士多德《范畴篇》所奠定的范畴体系中，实体（ousia / substance）被列为十范畴之首，其余九个范畴（数量、性质、关系、地点、时间、姿态、状态、动作、遭受）都依附于实体而存在，不能独立存在。^{3838Aristotle's Categories, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|3939Aristotle, Categories (trans. J. L. Ackrill), in The Complete Works of Aristotleperseus.tufts.edu前往参考资料 ↓在新标签页中打开}

亚里士多德在《范畴篇》中提出实体的判准：实体是「既不述说一个主体、也不存在于一个主体之中」的东西，例如「这一个人」「这一匹马」；而属和种虽然也不存在于主体之中，却可以述说主体，因此被称为「第二实体」。^{3838Aristotle's Categories, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|3939Aristotle, Categories (trans. J. L. Ackrill), in The Complete Works of Aristotleperseus.tufts.edu前往参考资料 ↓在新标签页中打开}

《形而上学》Ζ卷（第七卷）重新讨论实体问题，亚里士多德在那里把质料、形式以及二者的复合物都列为实体的候选者，并最终倾向于把形式（eidos，即「是其所是」to ti ēn einai）视为首要意义上的实体；这一处理与《范畴篇》以个别具体物为第一实体的立场之间存在张力，是亚里士多德研究中的经典难题。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

属性（attribute / property）在传统本体论中通常被理解为依附于实体、不能独立存在的东西；亚里士多德把属于「偶性」（symbebēkos）范畴的性质称为偶性属性，它们可以属于一个实体也可以不属于，而「本质属性」则是实体概念中不可去掉的构成部分。^{3838Aristotle's Categories, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|4040Substance, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在经院哲学中，波爱修与托马斯·阿奎那沿用并改造了亚里士多德的实体—偶性框架，用「实体」（substantia）与「偶性」（accidens）的区分来解释圣餐变体等神学问题，使实体/属性图式成为中世纪本体论的基本骨架。^{4141Boethius, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|4242Thomas Aquinas, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

笛卡尔把实体定义为「不需要别的东西就能存在的东西」，并据此区分心灵实体与广延实体；斯宾诺莎则只承认一个唯一的实体（神即自然），把心灵与身体降为这唯一实体的两种属性（思维与广延），从而把属性从「依附于个别事物」改写为「实体被知性所把握的本质」。^{4343Descartes' Theory of Ideas, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|4444Spinoza's Metaphysics, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

洛克在《人类理解论》中提出「基质」（substratum）概念，认为我们只能感知属性的集合，却必须预设一个「不知为何物的某物」来支撑这些属性；贝克莱与休谟正是抓住这一点，否认有独立于属性集合的实体，休谟更把「实体」还原为想象因习惯而联结起来的一束知觉。^{4545John Locke, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|4646David Hume, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

康德在《纯粹理性批判》的「第一类比」中把实体原理表述为「实体在现象的一切变化中持存，其量在自然中既不增也不减」，从而把实体从自在之物降格为经验得以可能的先天条件；这一处理使实体/属性关系成为先验哲学而非描述形而上学的问题。^{4747Kant's Transcendental Idealism, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在分析哲学中，斯特劳森《个体》（Individuals, 1959）把「物质物体」与「人」确立为基本殊相（basic particulars），重新把实体范畴带回讨论中心；此后「束理论」（bundle theory）与「基质理论」（substratum theory）之争成为当代实体—属性问题的核心对立。^{4848Substance, Internet Encyclopedia of Philosophyiep.utm.edu前往参考资料 ↓在新标签页中打开}

束理论主张一个对象不过是其属性的集合，不存在属性之外的「裸基质」；基质理论则主张属性必须依附于一个自身没有属性的承载者。两派在「属性如何被个体化」「是否存在不可例示的属性」等问题上长期对峙，是当代形而上学中持续进行的争论。^{4848Substance, Internet Encyclopedia of Philosophyiep.utm.edu前往参考资料 ↓在新标签页中打开}

在形式本体论与信息科学中，实体—属性图式被工程化为「类—属性—实例」结构：OWL 2 等本体描述语言用 ObjectProperty 与 DataProperty 区分对象属性与数据属性，用 rdfs:domain / rdfs:range 约束属性的定义域与值域，这可以看作亚里士多德实体—属性框架在知识表示中的技术化延续。^{4949OWL 2 Web Ontology Language Primer (Second Edition)w3.org前往参考资料 ↓在新标签页中打开|5050RDF Schema 1.1w3.org前往参考资料 ↓在新标签页中打开}

在马克思主义哲学视域中，实体与属性的关系被置于物质范畴之下讨论：物质是标志客观实在的哲学范畴，运动、时空、属性都是物质的存在方式或表现，而不是独立于物质的实体；这一立场与把属性视为独立实项的柏拉图式进路相对立。^{5151马克思主义哲学（马克思主义理论研究和建设工程重点教材）hep.com.cn前往参考资料 ↓在新标签页中打开}

极端唯实论（如柏拉图主义）主张共相先于殊相而存在，是独立于个别事物的客观实在；温和唯实论（如亚里士多德主义）主张共相寓于殊相之中，只能通过个别事物存在，不能脱离殊相独立存在。^{5252Medieval Theories of Universalsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

唯名论否认共相的独立实在性，主张只有个别事物存在，「共相」只是名称或语词；其中极端唯名论（如罗瑟林）认为共相仅是声音或词，温和唯名论（如阿伯拉尔的概念论）则承认共相作为心智中的普遍概念具有某种认识论地位。^{5252Medieval Theories of Universalsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

中世纪经院哲学中的共相之争在11至12世纪围绕波爱修对波菲利《导论》的注释展开，罗瑟林与阿伯拉尔之间的争论是这一讨论的经典节点；阿伯拉尔提出的「概念论」试图在唯实论与唯名论之间走出第三条道路。^{5252Medieval Theories of Universalsplato.stanford.edu前往参考资料 ↓在新标签页中打开|5353Peter Abelardplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在语言哲学层面，普遍词项（general terms）与专名（proper names）的语义差异被用来映射共相与殊相的本体论区分：专名指称殊相，普遍词项则被认为表达或指称共相，这一映射本身也是争论的对象。^{5555Referenceplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在亚里士多德《范畴篇》的十范畴体系中，实体（ousia）之外的九个范畴——数量、性质、关系、地点、时间、姿态、状态、动作、遭受——均被归为「偶性」，其中「关系」（pros ti）被明确列为独立范畴，用以刻画事物「相对于某物而言」的存在方式。^{3838Aristotle's Categories, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

亚里士多德在《形而上学》第五卷（Δ卷）第15章专门辨析「关系」一词的多重含义，指出关系者或依数目与量、或依主动与被动的能力、或依度量与可知性而相互关联，并强调关系范畴本身不能脱离实体而独立存在。^{5656Aristotle, Metaphysics, Book V (Delta), trans. W. D. Rossclassics.mit.edu前往参考资料 ↓在新标签页中打开}

中世纪经院哲学围绕「关系」是否具有实在性展开长期讨论：托马斯·阿奎那区分「实在关系」（relationes reales）与「理性关系」（relationes rationis），认为受造物之间的相对关系具有实在性，而上帝与受造物之间的关系在上帝一侧仅为理性关系。^{5757Thomas Aquinas, Summa Theologiae, Prima Pars, Q. 13, on relationsnewadvent.org前往参考资料 ↓在新标签页中打开}

近代哲学中，莱布尼茨主张关系并非独立于单子内在性质的实在之物，而是「理性的存在物」（ens rationis），单子之间的秩序与关系奠基于单子自身的知觉状态；这一立场与后来罗素所主张的关系具有独立实在性的观点形成对照。^{5858Leibniz's Philosophy of Mind and Metaphysics, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在形式本体论中，「结构」通常被刻画为对象之间关系的整体模式，结构实在论（structural realism）进一步主张，科学理论所刻画的是关系结构而非对象的固有本质，这一立场在当代科学哲学与本体论中均有系统表述。^{5959Structural Realism, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

当代分析形而上学中，「内在关系」与「外在关系」的区分仍是讨论关系本体论地位的基本工具：内在关系由关系项的性质所决定，外在关系则不然；这一区分被用于讨论倾向性、因果性与时空关系等议题。^{6060Properties, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在计算机与信息科学中，「本体」（ontology）被明确定义为「对共享概念化的形式化、显式规范说明」，其核心构件包括类、属性、关系与个体，其中关系（relations）用于刻画概念之间的关联，是本体建模中与类、属性并列的基本要素。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开}

万维网联盟（W3C）发布的 OWL 2 Web Ontology Language 规范将「对象属性」（object property）与「数据属性」（data property）列为本体中表达关系的标准构造，用以在形式语义下刻画个体之间以及个体与数据值之间的关联。^{6262OWL 2 Web Ontology Language Structural Specification and Functional-Style Syntax (Second Edition)w3.org前往参考资料 ↓在新标签页中打开}

中国哲学中，「关系」常以「对待」「相因」「相生」等语汇表达，如《周易》以阴阳、刚柔、天地等对待关系说明万物生成变化，其本体论意涵在于关系性而非孤立实体性。^{6363《周易》经传（含《系辞》）ctext.org前往参考资料 ↓在新标签页中打开}

模态范畴在哲学逻辑中通常围绕三个基本概念展开：必然性、可能性与现实性。必然性刻画「不可能不如此」的情形，可能性刻画「并非不可能」即「可以如此」的情形，现实性则指「实际如此」的情形。三者在标准模态逻辑中被处理为模态算子：必然算子 □ 与可能算子 ◇，且通常定义 ◇p 为 ¬□¬p，即「p 是可能的」等价于「p 的否定不是必然的」。^{6464Modal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开|6565The Development of Modal Logicrep.routledge.com前往参考资料 ↓在新标签页中打开}

模态逻辑的现代形式化起点通常归于 C. I. 刘易斯 1918 年出版的《符号逻辑概观》（A Survey of Symbolic Logic），他在其中系统构造了多个模态系统；此后 1930 年代至 1950 年代，库尔特·哥德尔、鲁道夫·卡尔纳普、索尔·克里普克等人逐步建立了以「可能世界」为语义基础的关系语义学。^{6666C. I. Lewis and the Development of Modal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

可能世界语义学（关系语义学）的核心是三元结构：一个非空集合 W（可能世界的集合）、W 上的二元可达关系 R，以及赋值函数 V。一个模态公式 □p 在世界 w 中为真，当且仅当对所有满足 wRw′ 的世界 w′，p 在 w′ 中为真；◇p 在 w 中为真，当且仅当存在某个满足 wRw′ 的世界 w′ 使 p 为真。不同的可达关系性质（自反、对称、传递等）对应不同的模态系统，例如自反性对应系统 T，自反加对称加传递对应 S5。^{6464Modal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

「可能世界」这一术语在哲学上由莱布尼茨较早使用，他把可能世界理解为上帝理智中可被创造的无矛盾世界方案，现实世界是其中被选中实现的一个；这一用法在 20 世纪被克里普克、大卫·刘易斯等人重新激活，但已剥离其神学背景，转为语义学与形而上学概念。^{6767Possible Worldsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

关于可能世界究竟是什么，当代形而上学存在实质分歧。大卫·刘易斯主张「模态实在论」：可能世界是与现实世界同类的具体世界，只是与现实世界在时空上不相连；现实性不是绝对属性，而是相对于每个世界而言的索引性特征。罗伯特·斯塔尔纳克与索尔·克里普克则持「温和实在论」或「工具论」立场，认为可能世界是抽象实体、世界状态或最大一致命题集，甚至只是语义学装置，而非具体宇宙。^{6868David Lewisplato.stanford.edu前往参考资料 ↓在新标签页中打开}

模态区分中，「形而上学模态」与「逻辑模态」常被区分：逻辑必然指在所有逻辑上可能的情形中都为真，形而上学必然指在所有形而上学上可能的情形中都为真；此外还有「物理必然」「认知模态」「道义模态」等。克里普克在《命名与必然性》中论证存在「后天必然真理」（如「水是 H₂O」），这一主张挑战了必然性与先验性等同的传统看法，并引发持续讨论。^{2727Quine, On What There Is, in From a Logical Point of Viewhup.harvard.edu前往参考资料 ↓在新标签页中打开|6969The Epistemology of Modalityplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在分析哲学中，模态概念被用于处理本质、同一性、跨世界同一性等问题。克里普克与普特南的「本质主义」主张个体具有跨世界的本质属性；而「跨世界同一性」问题——即一个个体在不同可能世界中如何被识别为同一个体——则引发广泛争论，涉及「对应体理论」（大卫·刘易斯）与「本质属性进路」等不同方案。^{2727Quine, On What There Is, in From a Logical Point of Viewhup.harvard.edu前往参考资料 ↓在新标签页中打开|7070Identity and Individuality in Quantum Theoryplato.stanford.edu前往参考资料 ↓在新标签页中打开}

模态逻辑与可能世界语义学在 20 世纪后半叶成为哲学逻辑的标准工具，并延伸至计算机科学（如模态逻辑用于程序验证与知识表示）、语言学（内涵语义学）等领域；其语义学框架也被用于分析知识（认知逻辑）、义务（道义逻辑）与时间（时态逻辑）等概念。^{6464Modal Logicplato.stanford.edu前往参考资料 ↓在新标签页中打开}

巴门尼德（Parmenides，约公元前515年生）是古希腊爱利亚学派的代表人物，他以一篇题为《论自然》（Peri Physeos）的诗体哲学著作提出其存在学说；该诗现存约一百六十行残篇，由后世作家（尤其是辛普里丘对亚里士多德《物理学》的注释）转引而得以保存。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

巴门尼德诗篇分为「序诗」「真理之路」与「意见之路」三部分：序诗叙述诗人被少女们引至正义女神门前的神话旅程，真理之路陈述关于「存在」的论证，意见之路则描述可感世界的生成秩序。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

巴门尼德存在之思的核心命题通常被概括为「存在者存在，不存在者不存在」（ἔστι γὰρ εἶναι, μηδὲν δ᾽ οὐκ ἔστιν），他据此把「存在」与「思维」等同起来，认为能被思维者与能存在者是同一的。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

巴门尼德从「存在者存在」出发推出一系列存在者的「标志」（sēmata）：存在者不生不灭、完整、单一、不动、无始无终，且不可能有非存在与之并存；这一论证在西方哲学史上第一次以纯逻辑方式确立了「存在」作为哲学研究对象。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

巴门尼德区分「真理」与「意见」：真理之路依据逻各斯（logos）把握不变的存在，意见之路则描述凡人基于感官所见的生成变化世界；这一区分奠定了后世本体论中「实在」与「现象」二分的基本框架。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

学界对巴门尼德「存在」究竟指谓什么长期存在争论：一种解释认为它指物质性的、有广延的球状整体（「球体」意象），另一种解释认为它是纯逻辑—语义层面的「是者」或「可被述谓者」，还有解释强调其神学—启示维度。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

巴门尼德的存在学说直接催生了其后继者的回应：恩培多克勒以「四根」、阿那克萨戈拉以「种子」、德谟克利特以「原子与虚空」试图在承认运动与多的前提下挽救现象世界，而芝诺则用悖论为巴门尼德的「一」与「不动」辩护。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

亚里士多德在《形而上学》第一卷中把巴门尼德列为早期自然哲学家之后、探讨「作为存在的存在」的先驱，同时批评他混淆了「存在」的多种含义；这一评价构成后世把巴门尼德视为本体论（存在论）奠基者的重要依据。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

在汉语学界，巴门尼德的「ἐόν／εἶναι」通常译作「存在」或「是」，围绕译名选择曾展开「存在」与「是」之争，这一争论直接关系到对巴门尼德乃至整个西方本体论传统的理解。^{7171欢迎访问南华大学学报社科版nhqks.cnjournals.com前往参考资料 ↓在新标签页中打开}

柏拉图的理念论（Theory of Forms，亦称相论）是古代本体论的核心形态之一，其基本主张是：可感事物之外存在一个独立、永恒、不变的理念世界，可感事物因分有或模仿理念而获得其存在与规定性。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

在柏拉图那里，理念（eidos / idea）不是主观的心理观念，而是客观存在的、可被理性把握的实在；理念论因此把「真正存在的是什么」这一本体论问题从可感世界引向超感性的理智世界。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

理念论为柏拉图哲学提供了等级式的存在结构：善的理念居于最高位置，其余理念依其普遍性与统一性程度依次排列，可感事物处于存在序列的低端。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

理念论与柏拉图的认识论（回忆说、灵魂转向）和目的论（善作为最高目的）相互支撑，构成一个以本体论为骨架的整全体系，这也是它被视为「古典本体论」典型形态的原因。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

理念论在柏拉图对话内部即面临自我批评：在《巴门尼德篇》中，柏拉图借巴门尼德之口提出了「分有」如何可能、理念与事物是否陷入无穷倒退（第三人难题）等困难，这些困难成为后世本体论讨论的持久议题。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

亚里士多德对理念论的批评（理念与事物相分离、无法解释运动与生成）直接催生了以「实体」（ousia）为核心的另一条古代本体论路线，理念论与实体论的对峙构成古代本体论的基本张力。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

理念论通过新柏拉图主义（普罗提诺的「太一—理智—灵魂」流溢说）和奥古斯丁等人的改造进入中世纪哲学，成为中世纪本体论讨论的重要思想资源。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

亚里士多德在《范畴篇》中把实体（ousia，希腊语 οὐσία）列为十范畴之首，认为它是其他一切范畴所依附的最终主体；范畴体系包括实体、数量、性质、关系、地点、时间、姿态、状态、动作、遭受十类。^{3838Aristotle's Categories, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|3939Aristotle, Categories (trans. J. L. Ackrill), in The Complete Works of Aristotleperseus.tufts.edu前往参考资料 ↓在新标签页中打开}

在《范畴篇》中，亚里士多德区分第一实体与第二实体：第一实体是既不可表述为任何主体、也不存在于任何主体之中的个别事物（如某个人、某匹马）；第二实体是种和属，它们可以被表述为第一实体的谓词，但本身不是个别事物。^{3838Aristotle's Categories, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开|3939Aristotle, Categories (trans. J. L. Ackrill), in The Complete Works of Aristotleperseus.tufts.edu前往参考资料 ↓在新标签页中打开}

亚里士多德在《形而上学》第七卷（Z卷）中重新提出“实体是什么”的问题，并把实体候选者归结为四类：本质、普遍、种、载体（hypokeimenon，希腊语 ὑποκείμενον）；他倾向于认为本质即形式（eidos）是第一实体，而质料只是潜在的实体。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|4040Substance, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

亚里士多德的实体学说中存在一个被学界长期讨论的张力：《范畴篇》以个别具体事物为第一实体，而《形而上学》Z卷则倾向于以形式或本质为第一实体；这一“发展论”与“统一论”之争是亚里士多德研究中的经典议题。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|7373Aristotle's Theory of Substance: The Categories and Metaphysics Zetaglobal.oup.com前往参考资料 ↓在新标签页中打开}

亚里士多德用“四因说”（质料因、形式因、动力因、目的因）解释实体，认为个别实体是质料与形式的复合物（synolon，希腊语 σύνολον），形式使质料成为确定的“这个”（tode ti）。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|4040Substance, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

亚里士多德把“载体”（hypokeimenon）作为实体的一个标志：实体是其他事物所表述的最终主体，自身不再表述其他事物；这一“主体”标准与“分离性”（choriston）和“这个性”（tode ti）共同构成实体的判准。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|4040Substance, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

亚里士多德在《形而上学》第十二卷（Λ卷）中提出不动的推动者（unmoved mover）作为永恒实体的最高形态，它自身不动而推动万物，是纯形式、纯现实性，这一学说对中世纪本体论与神学产生了深远影响。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

亚里士多德区分潜能与现实（dynamis/energeia），认为实体在生成意义上由潜能走向现实，质料是潜能、形式是现实；这一对概念成为其本体论解释变化与生成的核心工具。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|4040Substance, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

亚里士多德的实体学说通过阿拉伯哲学家（如阿维森纳、阿威罗伊）的注释与拉丁经院哲学（如托马斯·阿奎那）的改造传入中世纪欧洲，成为中世纪本体论讨论的基本框架。^{7474Arabic and Islamic Metaphysics, Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

经院哲学中的「存在类比」（analogia entis）学说，核心主张是「存在」一词在被创造物与上帝之间既非完全单义（univocal）、也非完全多义（equivocal），而是以类比的方式被言说：被造物分有存在，但上帝是存在本身，二者在相似中始终伴随着更大的不相似。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

托马斯·阿奎那在《神学大全》第一部第13题中系统处理了神圣名称的类比问题，主张受造物对上帝的称谓既非纯多义也非单义，而是依据受造物与上帝之间的因果与分有关系以类比方式成立；这一处理成为后世「存在类比」讨论的经典文本依据。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

邓斯·司各脱对托马斯式类比构成主要挑战：他主张「存在」在上帝与受造物之间具有单义性（univocitas entis），否则关于上帝的自然神学言说将失去确定的概念内容。这一单义性立场后来被海德格尔在《形而上学是什么？》及晚期著作中重新援引，用以批判整个「存在—神—学」传统。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

苏亚雷斯在《形而上学辩论集》中对类比学说作了系统整理，将类比区分为「属性类比」（analogia attributionis）与「比例类比」（analogia proportionalitatis），并倾向于以比例类比作为上帝与受造物共名的基础；这一区分成为近代早期经院本体论的标准框架。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

存在类比问题在近代哲学中的延续体现为笛卡尔与经院传统的复杂关系：笛卡尔在《第一哲学沉思集》中关于上帝存在的证明与「无限」观念的分析，仍依赖经院哲学关于存在等级与因果相似性的框架，尽管他明确拒绝以类比方式把握上帝的本质。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

海德格尔对存在类比的批判构成20世纪本体论史的关键节点：他认为「存在类比」把存在者层次的存在者与存在本身混为一谈，从而遮蔽了存在论差异；这一批判使经院类比学说从神学议题转变为存在论议题。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

关于存在类比是否构成一条连贯的学说，学界存在分歧：一派认为类比学说在托马斯、司各脱、苏亚雷斯之间缺乏统一意涵，只是被后世建构出来的「经院学说」；另一派则主张类比问题贯穿中世纪至近代，构成一条可辨识的问题史线索。^{7575Heidegger, Metaphysics and the Univocity of Beingunapi.k10plus.de前往参考资料 ↓在新标签页中打开}

克里斯蒂安·沃尔弗（Christian Wolff，1679—1754）通常被视为把莱布尼茨式哲学改造为体系化学院哲学的关键人物，他在德国启蒙运动早期确立了以数学方法为范本的哲学体系写作范式。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

沃尔弗的本体论著作《第一哲学或本体论》（Philosophia prima sive Ontologia，1730）把本体论界定为关于「一般存在者」（ens in genere）的科学，即研究存在者作为存在者的普遍规定，而不涉及任何特定种类的存在者。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

在沃尔弗的体系划分中，本体论被置于「一般哲学」之下，与宇宙论、心理学、自然神学并列，构成后来被称为「形而上学」的四个分支；这一四分结构经由他的教科书被广泛采用，并成为康德批判哲学的直接对话对象。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

沃尔弗本体论的核心概念工具包括「充足理由原则」与「不可区分者同一」原则；他把充足理由原则提升为一切存在与认识的第一原理，并试图由它推出存在者的诸般规定。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

沃尔弗以拉丁文写作的《本体论》采用严格的定义—命题—证明—注释的几何学式编排，这种形式使本体论第一次以可教学、可复制的教科书形态出现，深刻影响了18世纪德语地区的大学哲学教育。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

康德在《纯粹理性批判》中把本体论问题归结为「先天综合判断如何可能」，并在「纯粹理性的二律背反」与「对本体论证明的驳斥」两处关键文本中直接回应沃尔弗式的理性主义本体论，从而把本体论从「关于一般存在者的科学」转变为对理性自身能力的批判性审查。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

沃尔弗式的系统化本体论在19世纪以后逐渐失去学院主导地位，但其「以原理推演范畴」的纲领被德国古典哲学继承并改造，成为从康德到黑格尔的思辨体系得以展开的问题背景。^{7676Full text of "Encyclopedia of Philosophy - Donald M. Borchert"archive.org前往参考资料 ↓在新标签页中打开}

康德的批判哲学对传统本体论（ontology）构成了根本性挑战：他主张人类认识只能及于经验现象，而传统本体论所研究的「本体」（noumena，即知性存在体）并非经验对象，因而不能通过纯粹思维获得对它的真知识。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

在《纯粹理性批判》中，康德通过「先验辩证论」揭示理性在超越经验界限时必然陷入「先验幻相」，并据此批判了理性心理学、理性宇宙论和理性神学这三种传统的理性本体论形态。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

康德并未简单抛弃本体论问题，而是以「扬弃」（Aufhebung）的方式对其进行改造：他区分「现象」与「本体」，将本体论限制为一种关于知性存在体的消极概念，同时通过「先验哲学」为形而上学重新奠基。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

谢遐龄在1985年完成的博士论文《康德对本体论的扬弃》中指出，传统本体论的两大错误在于：误以为可以研究「无」自身（实则研究的是「在者」），以及误以为纯粹思维在者即可获得对存在物的真知识；康德正是通过澄清这些错误而实现了对本体论的扬弃。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

该论文进一步论证，唯理派与经验派都试图解决本体论问题却均未成功，反而使问题走向极端，直到康德才对这些错误及其在诸学问中造成的混乱加以纠正。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

黑格尔的逻辑学并非通常意义上的形式逻辑或方法论，而是与本体论（形而上学）合一的「逻辑科学」：在《逻辑学》（俗称《大逻辑》）与《小逻辑》（《哲学全书》第一部分）中，黑格尔把纯粹思维规定（范畴）的自我展开同时理解为存在本身的自我规定，因此逻辑学就是关于「自在自为的理念」的科学，承担了传统本体论的功能。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开|7878哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

黑格尔逻辑学的起点是「存在」（Sein，又译「有」）：它以最抽象、最空洞、尚无任何规定的纯存在为开端，通过存在论（Die Lehre vom Sein）、本质论（Die Lehre vom Wesen）、概念论（Die Lehre vom Begriff）三个环节，展示范畴由直接性经反思中介走向自觉的整体性运动。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

在黑格尔看来，现象不是与本质相外在的假象，而是以本质为根据的现象，现象与本质是一体的；正是这一「现象以本质为根据」的论证，使思维与存在、主体与实体的对立在辩证法中得到统一。^{7878哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

有研究指出，黑格尔以辩证法实现「思维的存在」与「存在的思维」的统一，构成了西方形而上学从二元对峙走向统一的辩证逻辑环节，并为现象学提供了理论原点——现象学「回到事情本身」的要求与「本质—现象」一体的思路存在承接关系。^{7878哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

国内的黑格尔逻辑学研究长期集中在两个方向：一是依《小逻辑》原著逐章逐段译释名词术语，二是把黑格尔逻辑学作为马克思主义哲学的直接思想来源加以追溯与批评；郭小平1988年在中国社会科学院完成的博士论文则尝试把早期逻辑学、精神现象学与逻辑学作为历史演变中内在相关的文本整体来考察其起源、结构、实质与意义。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

黑格尔逻辑学与本体论的合一，是理解其后现象学传统的关键背景：现象学对「本质」与「现象」关系的处理，可以追溯到黑格尔关于本质与现象一体的论证，但现象学以「面向事情本身」取代了黑格尔以概念自我运动把握整体的思辨进路。^{7878哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

海德格尔在1927年出版的《存在与时间》中把现象学规定为「基础存在论」（Fundamentalontologie），即把存在论问题奠基于此在的生存论分析之上。^{7979Heidegger's Path to Fundamental Ontology: From Husserl's Phenomenology to Being and Timedeposit.dnb.de前往参考资料 ↓在新标签页中打开}

海德格尔走向基础存在论的路径是：1909年最初接触胡塞尔的现象学文本，此后逐步转向追问存在的意义问题，并在1919年前后判定胡塞尔现象学把存在问题当作「未被思」的东西搁置了起来。^{7979Heidegger's Path to Fundamental Ontology: From Husserl's Phenomenology to Being and Timedeposit.dnb.de前往参考资料 ↓在新标签页中打开}

为了重新提出存在的意义问题，海德格尔在现象学之外借用了三种探究方法：狄尔泰的历史—解释学方法、克尔凯郭尔的存在主义方法与施莱尔马赫的圣经解释学方法。^{7979Heidegger's Path to Fundamental Ontology: From Husserl's Phenomenology to Being and Timedeposit.dnb.de前往参考资料 ↓在新标签页中打开}

基础存在论的核心是此在的生存论—现象学分析：此在是唯一能够追问存在的存在者，其存在方式被规定为「生存」（Existenz），并通过对「在世存在」「操心」「时间性」等结构的揭示来为一般存在论提供地基。^{7979Heidegger's Path to Fundamental Ontology: From Husserl's Phenomenology to Being and Timedeposit.dnb.de前往参考资料 ↓在新标签页中打开}

海德格尔对康德的解释服务于其存在论意图：他要求「重复」先天综合判断如何可能的问题，目的不是回到康德的答案，而是通过考察存在在形而上学史中呈现的多样性，获得关于存在结构及其意义的视域。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

海德格尔的基础存在论把存在论问题从「存在者层面」的范畴研究转向「存在层面」的生存论分析，这一转向构成对传统本体论（ousiologia）的重新奠基而非简单延续。^{7979Heidegger's Path to Fundamental Ontology: From Husserl's Phenomenology to Being and Timedeposit.dnb.de前往参考资料 ↓在新标签页中打开|7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

马克斯·舍勒（Max Scheler）的价值伦理学以现象学方法为基础，其核心线索是「价值的自身被给予性」学说：该学说深化了胡塞尔现象学中的自身被给予性思想，并把这一问题从认识领域贯彻到精神与情感领域，主张在一种精神审视的态度中进行直观或完整的精神体验，从而把握在价值情感与体验中自身被给予的现象学事实。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

舍勒依据现象学态度对康德的形式主义伦理学展开批判，确立「质料—情感先天论」，即认为情感本身具有先天内涵，价值可以在情感体验中被原初地给予，从而纠正了传统西方哲学贬低情感的偏见。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

舍勒明确区分「意向性感受」与「感受状态」：意向性感受本身是一种客体化行为，原初地指向其特有的意向相关项——价值；而感受状态只是心理事实。道德洞见即通过意向性感受对价值及其本质联系进行直观与明察，具有先天性、主动性、客观性等特征，是价值自身被给予的基本途径，也是任何伦理学认识的最终依据。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

在舍勒的价值本体论构想中，价值不是主体任意投射的心理产物，而是在情感直观中自身被给予的客观现象学事实；这一立场使价值论同时具有本体论意涵——价值构成一个具有本质联系与等级秩序的存在领域，伦理学命题的真理性最终奠基于此。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

蒯因在1948年发表的《论何物存在》（On What There Is）一文中提出了本体论承诺问题的经典表述，该文后收入其文集《从逻辑的观点看》（From a Logical Point of View）。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

蒯因提出，一个理论的本体论承诺可以通过将该理论改写为一阶逻辑语言来揭示：理论承诺存在的东西，就是为使该理论为真而必须作为变元取值对象的那些实体。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开|1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开}

蒯因将这一判准概括为一句广为流传的口号：存在就是成为约束变元的值（to be is to be the value of a variable）。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开|1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开}

蒯因区分了理论的本体论承诺与本体论事实：前者是理论在逻辑上被迫承认的实体，后者是理论家本人实际相信存在的东西；一个理论可以有本体论承诺而不被其使用者所接受。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

蒯因的本体论承诺判准与他的整体论知识观和不确定性论题（ indeterminacy of translation）相联系，本体论问题因此被视为与科学理论选择同类的、按实用性标准裁决的问题。^{1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开|1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

蒯因的本体论承诺概念被广泛用于分析数学哲学中的实在论与唯名论之争，特别是用于说明数学理论是否承诺抽象对象（如数、集合）的存在。^{1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开}

蒯因的本体论承诺理论是20世纪分析哲学中本体论问题复兴的关键节点，它使本体论讨论从语言分析的角度重新获得合法性，并直接影响了此后分析形而上学中关于抽象对象、模态与同一性的讨论。^{1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开}

20世纪中叶，逻辑实证主义以“拒斥形而上学”为纲领，将本体论问题视为无认知意义的伪问题，这一立场长期主导英语世界的学院哲学。^{8080逻辑实证主义plato.stanford.edu前往参考资料 ↓在新标签页中打开}

分析哲学中的本体论复兴通常以蒯因1951年发表的《论何物存在》为标志性起点，该文将本体论承诺问题重新引入分析哲学的核心议程。^{8181W. V. O. Quine, "On What There Is"jstor.org前往参考资料 ↓在新标签页中打开}

蒯因提出，一个理论的本体论承诺由该理论所承诺的存在物决定，其判据是：存在就是成为约束变项的值；这一“本体论承诺”学说使本体论问题转化为对理论逻辑形式的分析。^{8181W. V. O. Quine, "On What There Is"jstor.org前往参考资料 ↓在新标签页中打开}

蒯因进一步主张本体论问题与科学理论的选择一样，遵循整体主义的认识论原则，不存在先验的、独立于理论框架的本体论答案。^{8181W. V. O. Quine, "On What There Is"jstor.org前往参考资料 ↓在新标签页中打开}

蒯因的本体论承诺学说与斯特劳森的描述形而上学共同构成分析本体论复兴的两条路径：前者侧重理论的形式分析与本体论承诺的判定，后者侧重概念图式的描述性刻画。^{8181W. V. O. Quine, "On What There Is"jstor.org前往参考资料 ↓在新标签页中打开}

分析哲学中的本体论复兴使“何物存在”与“存在何种实体”重新成为可讨论的哲学问题，并催生了后续关于抽象对象、模态、殊相与共相等问题的系统研究。^{88Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在当代分析形而上学中，描述形而上学与修正形而上学的区分仍被用来标识两种研究取向：一种以日常概念或科学理论中的范畴为描述对象，另一种则主张对既有范畴进行理论上的修正或取代。^{88Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

分析哲学中的本体论复兴通常被追溯到20世纪50年代以后，其思想脉络可上溯至罗素——他既是分析哲学的主要创始人，也被视为分析传统中本体论问题的开启者；而奎因则是在逻辑实证主义反形而上学立场之后重新引入本体论承诺问题的关键人物。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

奎因提出的「本体论承诺」学说主张：一个理论承诺什么样的对象，取决于该理论被表述为一阶量化逻辑时其量词所约束的变元取值范围，即「存在就是成为约束变元的值」；这一标准把本体论问题转化为对理论逻辑形式的分析问题。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

「本体论相对性」是奎因在《本体论的相对性及其他论文》中系统阐述的论题：何物存在、乃至指称与量化本身，都只能相对于一个背景语言或翻译框架来确定，脱离框架谈论「绝对的存在」没有认知意义。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

奎因的本体论相对性论题与他的翻译不确定性论题紧密相关：在彻底翻译情境中，指称的归属（如「gavagai」指兔子、兔子的时间段还是兔子的部分）无法由行为证据唯一确定，因此指称本身是相对于所选翻译手册而言的。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

斯特劳森在《个体》中提出的「描述的形而上学」与奎因的进路形成对照：他主张本体论工作的任务是描述我们实际的概念图式及其最基本的殊相与共相范畴，而非为某种最优理论选择本体论承诺；这一对照构成从奎因到斯特劳森的本体论讨论主线之一。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

围绕本体论相对性存在实质争论：一方认为它导致本体论问题被消解为语言框架选择问题，具有相对主义或约定论倾向；另一方则认为奎因仍保留了「本体论事实」的地位，相对性只涉及表述方式而非存在本身。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

本体论相对性论题对分析哲学后续讨论产生了持续影响，包括卡纳普与奎因关于「外部问题/内部问题」的争论，以及后来关于量化、指称与元本体论的讨论。^{8282本体论的相对性与优先性——从奎因到斯特劳森-社会科学战线1998年05期-手机知网wap.cnki.net前往参考资料 ↓在新标签页中打开}

在当代本体论讨论中，「实在论与反实在论」之争通常被区分为两个层次：一是「关于形而上学本身的实在论与反实在论」（metametaphysical / metaontological），即对形而上学探究是否追踪独立于心灵的实在这一元层面问题的立场；二是「形而上学之内的实在论与反实在论」，即对特定对象领域（如共相、数、复合对象）是否存在作出断言。斯坦福哲学百科全书的综述明确把这两类立场区分开来，并指出前者关注的是对形而上学的批评与回应。^{8383Realism and Anti-Realism about Metaphysics (Stanford Encyclopedia of Philosophy)seop.illc.uva.nl前往参考资料 ↓在新标签页中打开}

形而上学实在论的典型表述是：世界独立于人类或其他探究者如何把握它而如其所是；世界所包含的对象及其性质与关系固定了世界的本性，并且这些对象独立于我们能否发现它们而存在。该立场的支持者进一步论证，若不如此，我们关于世界的信念就不可能客观地为真，因为真信念告诉我们事物如何，而信念的真假独立于任何人怎么想。^{8585Challenges to Metaphysical Realism (Stanford Encyclopedia of Philosophy)plato.stanford.edu前往参考资料 ↓在新标签页中打开}

以「心灵独立性」（mind-independence）刻画实在论会带来一个明显的困难：它似乎把心理状态与心理事件排除在实在之外。斯坦福哲学百科全书在讨论对形而上学实在论的挑战时指出了这一担忧，并因此有理由倾向于对实在论作本体论解释而非语义学解释。^{8585Challenges to Metaphysical Realism (Stanford Encyclopedia of Philosophy)plato.stanford.edu前往参考资料 ↓在新标签页中打开}

20世纪中后期兴起的实在论与反实在论之争，被视为现代西方哲学批判和拒斥传统形而上学实在论思潮的延续；因其涉及领域广泛、问题复杂、观点多样，构成了当代哲学言说中的主流话语之一。在英美哲学脉络中，蒯因、普特南、达米特、库恩、罗蒂等人的工作被列为这一争论的代表性参与。^{8484纳尔逊·古德曼的“非实在论”及其本体论后果-哲学动态2012年12期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

纳尔逊·古德曼（Nelson Goodman）的「非实在论」（irrealism）是反实在论谱系中的一个特殊形态：它并不简单否认存在，而是主张存在依赖于符号系统或「世界版本」的构造，从而在本体论后果上取消了唯一现成世界的图景。中文学界有专文讨论古德曼非实在论及其本体论后果，并将其置于当代实在论与反实在论之争的背景下考察。^{8484纳尔逊·古德曼的“非实在论”及其本体论后果-哲学动态2012年12期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

在元形而上学层面，反实在论者并不一定否认日常对象的存在，而是质疑形而上学争论是否具有实质性：如果同一经验现象可以由彼此不可调和的形而上学描述同样好地说明，那么这些描述之间的分歧就可能只是言语或框架层面的，而非关于世界本身的。这一思路与卡尔纳普式的「内部问题/外部问题」区分以及蒯因式的本体论承诺理论共同塑造了当代争论的格局。^{8383Realism and Anti-Realism about Metaphysics (Stanford Encyclopedia of Philosophy)seop.illc.uva.nl前往参考资料 ↓在新标签页中打开}

当代实在论与反实在论之争的一个重要特征是「局部化」：争论很少以「世界整体是否独立存在」的笼统形式进行，而更多围绕具体对象领域展开，例如抽象对象（数、共相）、复合对象与重合对象、模态对象等。斯坦福哲学百科全书的综述即以抽象对象问题、重合对象问题等为例说明元形而上学立场如何被应用到具体本体论问题。^{8383Realism and Anti-Realism about Metaphysics (Stanford Encyclopedia of Philosophy)seop.illc.uva.nl前往参考资料 ↓在新标签页中打开}

在语义学层面，达米特以「真」与「可断言性」的区分为核心，提出反实在论的意义理论：对一类陈述的理解在于掌握其断言条件而非真值条件，这使得反实在论从本体论问题延伸到意义与逻辑问题。这一进路与普特南早年的形而上学实在论及其后来的「内在实在论」转向，共同构成英美反实在论讨论的主线之一。^{8484纳尔逊·古德曼的“非实在论”及其本体论后果-哲学动态2012年12期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

唯名论与实在论之争被普遍视为本体论领域最持久、最具支配性的争论之一：它关乎「究竟有哪些东西真实存在」这一基本问题，并作为话语框架长期支配哲学言说。^{8686哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

在当代讨论中，这一争论的焦点已不限于「共相是否存在」的古典形式，而扩展到概念、集合、数学对象、可能世界、属性、命题等抽象实体是否独立于心灵与语言而存在的问题。^{8686哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开|7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

20世纪中叶出现的「现代唯名论」以纳尔逊·古德曼（Nelson Goodman）与蒯因（W. V. O. Quine）为代表，其标志性文献包括古德曼与蒯因合著的《走向一种建设性的唯名论》（Steps Toward a Constructive Nominalism，1947）。^{8686哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

现代唯名论之所以「现代」，在于它不再仅仅重复中世纪关于共相的争论，而是立足于20世纪哲学的语言转向与逻辑分析工具，重新界定唯名论的核心原则并厘清其与实在论的界限。^{8686哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

在数学哲学中，唯名论、概念论与实在论可被视为一个连续谱：王浩在20世纪50年代建议按证据强弱或论域大小把数学基础研究划分为有穷主义、直觉主义、直谓主义和柏拉图主义四种领域，这一划分在哲学上大体对应唯名论、概念论（弱与强）和实在论。^{7272读者云门户read.nlc.cn前往参考资料 ↓在新标签页中打开}

当代唯名论与实在论之争的一个重要方法论转向，是从追问「哪一方为真」转向审视争论本身的前提：实在论与唯名论各自的概念、核心原则以及两者之间的界限划分是否清晰有效，成为当代哲学研究必须重新确立的问题。^{8686哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

若不对唯名论自身的概念与原则加以澄清，唯名论的解释力会被削弱，争论本身也可能流于表面热烈而丧失实质意义——这是当代唯名论复兴的一个内在动因。^{8686哲学研究zxyj.cbpt.cnki.net前往参考资料 ↓在新标签页中打开}

自然主义本体论是当代分析哲学中一种占据重要地位的立场，其核心主张是：存在的东西就是自然科学所描述的东西，哲学本体论不应设定任何超自然的或不可由科学方法探究的实体。^{8787Naturalismplato.stanford.edu前往参考资料 ↓在新标签页中打开|8888Naturalism in Epistemologyiep.utm.edu前往参考资料 ↓在新标签页中打开}

W. V. O. 蒯因（Willard Van Orman Quine）在《论何物存在》（On What There Is，1948）中提出的“本体论承诺”学说，为自然主义本体论提供了经典的方法论框架：一个理论承诺哪些实体，取决于该理论为了真而必须量化 over 哪些对象。^{1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开|1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

蒯因进一步主张本体论问题应按照自然科学的标准来回答，特别是按照最佳科学理论所量化的对象来回答，这一立场常被概括为“自然化的认识论”和“自然化的本体论”。^{1212Willard Van Orman Quineplato.stanford.edu前往参考资料 ↓在新标签页中打开|8989Epistemology Naturalizedjstor.org前往参考资料 ↓在新标签页中打开}

在当代形而上学中，自然主义本体论常与“科学实在论”结盟，主张成熟科学理论所设定的不可观察实体（如电子、夸克）应当被赋予与可观察对象同等的本体论地位。^{9090Scientific Realismplato.stanford.edu前往参考资料 ↓在新标签页中打开|9191The Scientific Imageglobal.oup.com前往参考资料 ↓在新标签页中打开}

自然主义本体论内部存在“取消式唯物主义”与“非还原物理主义”等不同版本：前者主张常识心理学范畴（如信念、欲望）在本体论上并不真实存在，后者则允许高层属性在本体论上具有不可还原的地位。^{9292Eliminative Materialismplato.stanford.edu前往参考资料 ↓在新标签页中打开|9393Physicalismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在数学哲学中，自然主义本体论与“不可或缺性论证”（indispensability argument）密切相关：如果数学对象对于最佳科学理论是不可或缺的，那么按照自然主义的标准，就应当承认数学对象的存在。^{9696Indispensability Arguments in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|9797The Indispensability of Mathematicsglobal.oup.com前往参考资料 ↓在新标签页中打开}

自然主义本体论与“虚构主义”在数学和模态领域形成对照：虚构主义承认数学话语在字面上为假，但主张其作为有用的虚构不必承诺抽象对象的存在，这与自然主义本体论的量化标准形成张力。^{9898Fictionalism in the Philosophy of Mathematicsplato.stanford.edu前往参考资料 ↓在新标签页中打开|9999Mathematics and Fictionroutledge.com前往参考资料 ↓在新标签页中打开}

自然主义本体论在心灵哲学中的典型表现是“物理主义”或“唯物主义”：心理状态在本体论上依赖于物理状态，尽管关于这种依赖是同一性、随附性还是实现关系仍存在争论。^{9393Physicalismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

自然主义本体论与“二元论”和“有神论”本体论形成对立：后者主张存在非物理的心灵实体或超越自然的神圣实体，而自然主义本体论否认这类实体的存在。^{102102Dualismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在当代本体论讨论中，「建构论」（constructivism）通常指这样一类立场：被认作「存在」的实体、类别或结构并非独立于人类表征、语言、实践或概念框架而自在，而是由这些活动或框架所构成、生成或至少被深刻塑造；与之相对的「实在论」（realism）则主张至少有一部分实体、类别或结构独立于我们的表征与实践而存在，且关于它们的真值不依赖于我们是否如此表征。^{103103Realism — 概述plato.stanford.edu前往参考资料 ↓在新标签页中打开}

在分析形而上学内部，实在论与反实在论的交锋常被表述为「本体论问题是否有客观正确答案」之争：实在论者（如 David Lewis 意义上的「本体论严肃性」）认为「有多少种东西存在」这类问题有独立于框架的正确答案，反实在论者（如 Hilary Putnam 的内部实在论、Eli Hirsch 的「量化多元论」）则认为答案相对于概念框架或语言而成立。^{1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开|104104Quantifier Variance and Realismonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

Eli Hirsch 提出的「量化多元论」（quantifier variance）主张：不同本体论框架中的「存在」一词可以有不同但同样合法的使用方式，因此许多表面上的本体论分歧其实是语言框架之争，而非关于同一个世界的实质分歧；这一立场被广泛视为当代本体论中反实在论/建构论一翼的代表。^{104104Quantifier Variance and Realismonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

Ted Sider 在《Writing the Book of the World》中提出「结构」（structure）概念，主张世界本身具有 privileged 的、非任意的结构，形而上学要刻画的是「基本结构」而非任意概念框架；这是对量化多元论与框架相对主义的直接实在论回应。^{105105Writing the Book of the Worldglobal.oup.com前往参考资料 ↓在新标签页中打开}

在科学哲学中，建构论与实在论的交锋集中体现为「科学实在论 vs. 社会建构论」之争：社会建构论者（如 Bruno Latour、Karin Knorr Cetina 的实验室研究）主张科学事实是在实验室实践与网络中「制造」出来的，而非被独立发现；科学实在论者则主张成熟科学理论近似为真且其理论实体独立存在。^{106106The Social Construction of What?hup.harvard.edu前往参考资料 ↓在新标签页中打开}

「建构论」并非单一学说：弱建构论只主张概念框架影响我们如何描述和分类世界，强建构论则主张世界本身由表征或实践构成；混淆强弱两种版本是许多争论流于空转的原因之一。^{106106The Social Construction of What?hup.harvard.edu前往参考资料 ↓在新标签页中打开}

在当代本体论中，实在论与建构论的交锋还表现为「基础主义/奠基」（grounding/fundamentality）纲领与「平铺本体论」（flat ontology）之争：前者主张存在层级与奠基关系，后者（如 Manuel DeLanda 意义上的 flat ontology）主张一切实体在本体论上处于同一层面，不存在特权层级。^{107107Flat Ontology — 条目oxfordbibliographies.com前往参考资料 ↓在新标签页中打开}

汉语中「本体」一词并非古已有之的哲学术语，其作为与「现象」「属性」相对的哲学范畴，主要是在近代翻译与引介西方哲学（尤其是康德、黑格尔哲学）的过程中逐步定型的；但「本」「体」二字各自承载的古老语义——根本、本原、形体、实体——为这一译名提供了语义基础。^{108108本体论zgbk.com前往参考资料 ↓在新标签页中打开|109109「本体」与「本体论」：一个哲学译名的生成cnki.net前往参考资料 ↓在新标签页中打开}

「体用」范畴是中国哲学固有的重要概念工具，「体」指根本、本体、内在依据，「用」指作用、表现、功能；体用关系讨论在魏晋玄学、宋明理学中均有充分展开，王弼、程颐、朱熹、王夫之等对体用不二、体用一源各有阐发。这一范畴为近代以「本体」对译西方 substance/ontology 相关概念提供了本土语汇资源。^{109109「本体」与「本体论」：一个哲学译名的生成cnki.net前往参考资料 ↓在新标签页中打开}

佛教传入后，汉译佛典以「本体」等词对译梵文相关概念，用以讨论诸法之体性、自性；但佛教中观学主张缘起性空、诸法无自性，其对「本体」的用法与西方实体性本体论存在根本差异，这一差异是理解汉语「本体」语义多源性的关键背景之一。^{109109「本体」与「本体论」：一个哲学译名的生成cnki.net前往参考资料 ↓在新标签页中打开}

近代以来，中国学者在建构中国哲学史学科时，对「中国哲学是否有本体论」存在不同处理方式：一部分学者以「本体论」框架重新梳理中国传统思想，另一部分学者则主张中国哲学的问题意识以「天人关系」「体用」「理气」为核心，不宜简单套用西方 ontology 的实体论框架。^{109109「本体」与「本体论」：一个哲学译名的生成cnki.net前往参考资料 ↓在新标签页中打开}

「本体」作为现代汉语哲学译名的通行用法，与日语借用汉字翻译西方哲学词汇的中介作用有关；明治时期日本学者以「本体」对译 substance 等词，其译法在清末民初经留日学人回传中国，逐渐进入汉语哲学书写。^{109109「本体」与「本体论」：一个哲学译名的生成cnki.net前往参考资料 ↓在新标签页中打开}

汉语学界围绕「中国哲学有无本体论」的公开论辩，在2008年初的《光明日报》上留下了明确记录：许苏民于是年1月7日发表《我们有没有「是」》，主张中国也有研究「是之所以成其为是」的哲学即本体论；周浩翔随后撰文严厉批评，指许苏民把本体论理解为「揭示事物之普遍属性、本原或终极原因」的学问，是「根本没有弄清楚本体论到底是一……」什么。^{110110温馨提示gmw.cn前往参考资料 ↓在新标签页中打开}

许苏民在回应文章中把争论的焦点归结为对本体论（ontology）一词含义的界定：西方 ontology 追问的是「是之所以成其为是」（being qua being），而汉语学界长期流行的理解是探究「本原」「终极原因」的学问，两种理解并不重合，这正是「中国有无本体论」之争难以收敛的原因之一。^{110110温馨提示gmw.cn前往参考资料 ↓在新标签页中打开}

这场争论表明，「中西本体论的歧异与会通」首先是一个术语翻译与学科划界问题：若把 ontology 严格限定为关于 being 的学问，则中国传统思想中与之对应的部分需要重新辨识；若沿用「本原论／宇宙论式的本体论」宽泛用法，则中国思想中的道论、理气论、有无之辨都可被纳入。两种口径下的「会通」结论并不相同。^{110110温馨提示gmw.cn前往参考资料 ↓在新标签页中打开}

实践本体论是中国马克思主义哲学研究中在批判传统本体论的基础上提出的一种本体论主张，其核心是把实践确立为哲学的本体论基础，而非把某种抽象的物质实体或精神实体作为出发点。^{111111试论马克思主义哲学的本体论革命-台声.新视角2005年07期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

据俞娜的梳理，马克思主义哲学在批判传统本体论的基础上建立了实践本体论，这一转变被视为西方哲学史上的革命性变革，其意义在于克服唯物主义与唯心主义的抽象对立，使哲学研究回到人本身。^{111111试论马克思主义哲学的本体论革命-台声.新视角2005年07期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

实践本体论把本体论理解为运用逻辑方法构造出来的范畴体系，认为本体论伴随哲学的产生而产生，并在哲学发展过程中始终是哲学的核心问题；这一理解构成实践本体论讨论本体论问题的前提。^{111111试论马克思主义哲学的本体论革命-台声.新视角2005年07期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

20世纪80年代末，中国哲学界围绕「物质本体论」与「实践本体论」展开争论，这场争论引起国内哲学界的极大关注，被认为不仅涉及马克思主义哲学的实质，还涉及马克思主义哲学与旧哲学的关系以及马克思主义哲学发展的方向问题。^{112112旧哲学本体论的局限性及马克思主义哲学对它的超越-东北师大学报1989年03期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

在「物质本体论」与「实践本体论」的争论中，主张实践本体论的一方通常强调实践是人与世界关系的中介和基础，反对把物质范畴直接等同于本体论意义上的终极实在；主张物质本体论的一方则坚持物质的第一性，认为实践只是物质运动的一种形式，不能取代物质的本体地位。^{112112旧哲学本体论的局限性及马克思主义哲学对它的超越-东北师大学报1989年03期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

在马克思主义哲学语境中，本体论被理解为关于存在的学说，即关于物质存在与精神存在及其相互关系的理论；马克思主义哲学以现实存在为直接研究对象，并通过这种研究揭示物质世界的一般本质，因此被认为拥有自己的本体论。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

「物质本体论」是马克思主义哲学本体论讨论中的一种基本立场：它主张世界的本原是物质，意识是物质高度发展的产物与人脑的机能，本体论意义上的存在首先是客观实在的物质世界，而非预设的概念或精神实体。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

马克思主义哲学本体论变革的一个核心内容，是抛弃旧哲学的「实体本体论」：这种旧本体论有两个基本特征，一是本原观上的实体主义思维方式，二是从预设的概念、范畴出发推演体系的体系哲学方法。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

按照上述研究，马克思主义哲学实现的本体论变革在于：不再从预设的概念、范畴出发推演体系，而是从物质实践中获得关于外部世界的认识，形成对现实世界「描述」的本体论；这一变革被概括为由「从天上降到地上」转变为「从地上升到天上」。^{7777读者云门户mylib.nlc.cn前往参考资料 ↓在新标签页中打开}

20 世纪 80 年代末，中国哲学界曾围绕「物质本体论」与「实践本体论」展开争论，争论涉及马克思主义哲学的实质、马克思主义哲学与旧哲学的关系以及马克思主义哲学发展的方向问题。^{112112旧哲学本体论的局限性及马克思主义哲学对它的超越-东北师大学报1989年03期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

在「物质本体论」与「实践本体论」的争论中，物质本体论一方强调世界的物质统一性，主张以物质范畴作为马克思主义本体论的核心；实践本体论一方则主张以实践作为马克思主义哲学的本体论基础，认为实践是人与自然、主体与客体统一的基础。^{112112旧哲学本体论的局限性及马克思主义哲学对它的超越-东北师大学报1989年03期-知网阅读read.cnki.net前往参考资料 ↓在新标签页中打开}

在马克思主义哲学传统中，存在论（本体论）与世界观的关系被理解为：世界观是人们对整个世界的总体看法和根本观点，而存在论问题——即世界的本原是什么、物质与精神何者第一性——构成世界观的核心和基础。恩格斯在《路德维希·费尔巴哈和德国古典哲学的终结》中提出，全部哲学特别是近代哲学的重大的基本问题，是思维和存在的关系问题，哲学家依照他们如何回答这个问题而分成了两大阵营。^{113113路德维希·费尔巴哈和德国古典哲学的终结marxists.org前往参考资料 ↓在新标签页中打开}

马克思主义哲学以物质第一性、意识第二性为基本立场，把世界的本原归结为物质，并在此基础上建立其世界观。列宁在《唯物主义和经验批判主义》中给出物质定义：物质是标志客观实在的哲学范畴，这种客观实在是人通过感觉感知的，它不依赖于我们的感觉而存在，为我们的感觉所复写、摄影、反映。这一定义把存在论问题与认识论问题联系起来，构成马克思主义世界观的核心命题。^{114114唯物主义和经验批判主义marxists.org前往参考资料 ↓在新标签页中打开}

马克思主义哲学不把存在论与世界观的关系局限于抽象的本原追问，而是强调世界观与方法论的统一：辩证唯物主义既是关于自然、社会和思维发展一般规律的科学，又是认识世界和改造世界的根本方法。世界观决定方法论，方法论体现世界观，二者在马克思主义哲学中构成统一整体。^{115115辩证唯物主义和历史唯物主义原理marxists.org前往参考资料 ↓在新标签页中打开}

在马克思主义哲学视域中，存在论问题不是纯粹思辨的问题，而是与人的实践活动相联系。马克思在《关于费尔巴哈的提纲》中提出，从前的一切唯物主义（包括费尔巴哈的唯物主义）的主要缺点是：对对象、现实、感性，只是从客体的或者直观的形式去理解，而不是把它们当作感性的人的活动，当作实践去理解。这一论断把实践引入存在论，使世界观问题从单纯的本原追问转向对人与世界关系的实践理解。^{116116关于费尔巴哈的提纲marxists.org前往参考资料 ↓在新标签页中打开}

马克思主义哲学的世界观具有阶级性和实践性。马克思和恩格斯在《德意志意识形态》中写道：统治阶级的思想在每一时代都是占统治地位的思想。这意味着世界观问题不仅是理论问题，也与社会的经济基础和阶级关系相联系。马克思主义哲学公开申明自己为无产阶级和广大人民群众服务，把改造世界作为根本任务。^{117117德意志意识形态marxists.org前往参考资料 ↓在新标签页中打开}

在马克思主义哲学教科书中，世界观被定义为人们对世界的总体看法和根本观点，而哲学则是系统化、理论化的世界观。存在论（本体论）作为哲学的一个组成部分，研究世界的本原和存在方式，因而构成世界观的理论基础。这一表述在中国马克思主义哲学教材中具有代表性。^{5151马克思主义哲学（马克思主义理论研究和建设工程重点教材）hep.com.cn前往参考资料 ↓在新标签页中打开}

马克思主义哲学对传统本体论持批判态度。恩格斯在《反杜林论》中批判杜林先验地构造世界模式的做法，强调原则不是研究的出发点，而是它的最终结果；原则不是被应用于自然界和人类历史，而是从它们中抽象出来的。这一立场使马克思主义哲学不把存在论理解为脱离经验的思辨体系，而理解为对现实世界普遍规律的理论把握。^{118118反杜林论marxists.org前往参考资料 ↓在新标签页中打开}

关于马克思主义哲学是否存在独立的“本体论”或“存在论”，学界存在不同理解。一种观点认为，马克思主义哲学以物质为本体，具有唯物主义本体论；另一种观点认为，马克思主义哲学以实践为核心，超越了传统本体论，应称为实践唯物主义或实践哲学。这一分歧涉及如何理解马克思主义哲学中世界观与存在论的关系。^{109109「本体」与「本体论」：一个哲学译名的生成cnki.net前往参考资料 ↓在新标签页中打开|119119实践唯物主义与马克思主义哲学的本体论变革cssn.cn前往参考资料 ↓在新标签页中打开}

在信息科学中，「本体」（ontology）指对某一领域内概念、关系及其约束的显式、形式化规范说明，这一用法由人工智能研究者于二十世纪八十年代起逐步确立，与哲学本体论共享「研究存在什么」的问题意识，但目标转为使知识可被机器处理与共享。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开|120120Ontology Engineeringmorganclaypool.com前往参考资料 ↓在新标签页中打开}

托马斯·格鲁伯（Thomas Gruber）在 1993 年给出的定义——「本体是概念化的显式规范说明」——是信息科学中被引用最广的本体定义之一，后续定义多在此基础上补充「形式化」「共享」「面向特定领域」等限定。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开|121121Ontology (Computer Science) — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开}

本体工程（ontology engineering）指按工程化方法设计、构建、评估与维护本体的活动，其典型流程包括需求分析、概念化、形式化编码、评估与文档化，常与软件工程和知识工程的方法论相互借鉴。^{120120Ontology Engineeringmorganclaypool.com前往参考资料 ↓在新标签页中打开|122122Ontology Engineering Methodologyonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

万维网联盟（W3C）推动的语义网技术栈为本体提供了标准化的表示与查询语言，其中 RDF（资源描述框架）用于以三元组形式表达陈述，RDFS 提供类与属性的基本词汇，OWL（Web 本体语言）则支持更丰富的类表达式与逻辑推理。^{123123Resource Description Framework (RDF): Concepts and Abstract Syntaxw3.org前往参考资料 ↓在新标签页中打开|124124OWL 2 Web Ontology Language Document Overview (Second Edition)w3.org前往参考资料 ↓在新标签页中打开}

OWL 存在多个子语言与配置文件，OWL 2 定义了 EL、QL、RL 三个面向不同推理与查询需求的配置文件（profile），它们在表达力与计算复杂度之间做出不同权衡，供本体工程在不同应用场景中选用。^{124124OWL 2 Web Ontology Language Document Overview (Second Edition)w3.org前往参考资料 ↓在新标签页中打开|125125OWL 2 Web Ontology Language Profiles (Second Edition)w3.org前往参考资料 ↓在新标签页中打开}

本体在知识表示中承担为数据提供共享词汇与语义约束的角色，使不同来源的数据能够基于同一套概念体系进行集成、互操作与推理，这一作用在生物医学、地理信息与企业数据管理等领域尤为突出。^{120120Ontology Engineeringmorganclaypool.com前往参考资料 ↓在新标签页中打开|126126Knowledge Graphsdl.acm.org前往参考资料 ↓在新标签页中打开}

基因本体（Gene Ontology，GO）是本体工程在生物医学中的代表性成果，它用受控词汇描述基因产物的分子功能、生物学过程与细胞组分，并被广泛用于跨数据库的注释与富集分析。^{127127Gene Ontology: tool for the unification of biologynature.com前往参考资料 ↓在新标签页中打开|128128The Gene Ontology Resourcegeneontology.org前往参考资料 ↓在新标签页中打开}

本体工程中常区分「轻量级本体」与「重量级本体」：前者侧重概念层次与分类（如词表、分类法、简单类层次），后者引入公理、约束与形式化语义以支持逻辑推理，二者的选择取决于应用对推理能力与维护成本的要求。^{120120Ontology Engineeringmorganclaypool.com前往参考资料 ↓在新标签页中打开|122122Ontology Engineering Methodologyonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

本体评估（ontology evaluation）是本体工程的关键环节，常见维度包括一致性（逻辑无矛盾）、覆盖度（是否覆盖领域概念）、精确性以及与领域标准的符合程度，评估方法涵盖基于逻辑的检验、基于语料的对齐和人工专家评审。^{122122Ontology Engineering Methodologyonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开|129129Ontology Evaluationlink.springer.com前往参考资料 ↓在新标签页中打开}

本体复用与本体对齐（ontology alignment/matching）是本体工程的重要实践问题：当多个本体描述重叠领域时，需要通过匹配技术建立概念间的映射，以减少重复建模并支持跨本体查询。^{126126Knowledge Graphsdl.acm.org前往参考资料 ↓在新标签页中打开|130130Ontology Matching (Second Edition)link.springer.com前往参考资料 ↓在新标签页中打开}

知识图谱可视为以本体或类层次为模式层、以大规模实例数据为数据层的知识表示形式，本体为知识图谱提供概念约束与推理依据，二者在工业界常结合使用。^{126126Knowledge Graphsdl.acm.org前往参考资料 ↓在新标签页中打开|131131Knowledge Graphs: New Directions and Challengescacm.acm.org前往参考资料 ↓在新标签页中打开}

本体工程面临的主要挑战包括：领域知识的获取与形式化成本高、本体随领域演进而需持续维护、不同本体间的语义异构难以自动消解，以及大规模推理的可扩展性限制。^{120120Ontology Engineeringmorganclaypool.com前往参考资料 ↓在新标签页中打开|122122Ontology Engineering Methodologyonlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开|130130Ontology Matching (Second Edition)link.springer.com前往参考资料 ↓在新标签页中打开}

在计算机科学与信息科学中，「本体」（ontology）指对某一论域内概念、数据与实体之间的类别、属性及关系的显式表示、命名与定义；它提供该领域中对象类型或概念及其属性与相互关系的结构化描述，因而常被界定为「对特定领域中某套概念及其相互之间关系的形式化表达」。^{132132本体 (信息科学)browse.library.kiwix.org前往参考资料 ↓在新标签页中打开}

信息科学中的「本体」一词直接借自哲学本体论（ontology），但含义已发生转移：哲学探讨存在本身及其首要原理，而计算机科学中的本体指的是一种描述由对象类型（类）、属性与关系类型所构成世界的形式化模型，其目标更偏向建立可计算、可共享的受控词表。^{132132本体 (信息科学)browse.library.kiwix.org前往参考资料 ↓在新标签页中打开}

本体在信息科学中的典型应用领域包括人工智能、语义网、软件工程、生物医学信息学、图书馆学与信息架构；在这些领域中，本体被用于领域建模、属性推理以及领域概念体系的规范化定义。^{132132本体 (信息科学)browse.library.kiwix.org前往参考资料 ↓在新标签页中打开}

语义网（Semantic Web）是本体最直接的应用场景之一：它要求以机器可处理的格式发布数据与概念之间的关系，而领域本体正是为特定学科或行业提供共享概念框架、支撑跨系统语义互操作的知识组织工具。^{132132本体 (信息科学)browse.library.kiwix.org前往参考资料 ↓在新标签页中打开}

哲学与计算机科学对「本体」的用法既有共同点也有侧重差异：两者都依据某种类别体系来表达实体、概念、事件及其属性与相互关系；差别在于哲学家较少关心建立固定不变的受控词表，而计算机科学家较少参与关于首要原理（如是否存在不变本质）的讨论。^{132132本体 (信息科学)browse.library.kiwix.org前往参考资料 ↓在新标签页中打开}

本体相对性（ontological relativity）问题在两个学科中都被讨论：哲学方面以奎因（Quine）与克里普克（Kripke）为代表，计算机科学方面则以索瓦（Sowa）与高利诺（Guarino）为代表；此外，规范化本体是否具有生命力也引发争论，哲学中表现为基础主义（foundationalism）之争，人工智能中则表现为围绕 Cyc 项目的讨论。^{132132本体 (信息科学)browse.library.kiwix.org前往参考资料 ↓在新标签页中打开}

哲学本体论与信息科学中的「本体」（ontology）共享同一词源，但二者的问题域不同：哲学本体论追问「存在者作为存在者」的根本规定，属于形而上学的一个分支；技术本体则是为特定领域建模而构造的概念体系，其目标是使领域知识可被机器处理与共享。^{121121Ontology (Computer Science) — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开}

在人工智能与知识工程语境中，技术本体通常被定义为「对共享概念化的显式、形式化规范说明」，这一表述由 Gruber 于 1993 年提出，后经 Borst、Studer 等人修订，成为该领域引用最广的定义之一。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开|133133Knowledge Engineering: Principles and Methodsdoi.org前往参考资料 ↓在新标签页中打开}

哲学本体论以「何物存在」为起点，其结论是哲学论证的产物，允许存在论上的承诺与分歧；技术本体则通常回避「何物最终存在」的形而上学争论，转而采用工程约定，只要求所建模的概念在给定任务与共同体中足够用、可操作。^{134134Ontology Development 101: A Guide to Creating Your First Ontologyprotege.stanford.edu前往参考资料 ↓在新标签页中打开}

技术本体具有明确的工程制品属性：它需要以可计算的语言（如 RDF、OWL 等）表达，并配套推理机制、版本管理与复用策略；哲学本体论则不要求形式化，其表达形式可以是自然语言论著，评价标准是论证的融贯性与解释力，而非可计算性。^{121121Ontology (Computer Science) — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开|124124OWL 2 Web Ontology Language Document Overview (Second Edition)w3.org前往参考资料 ↓在新标签页中打开}

在评价标准上，哲学本体论关注理论的真理性与充分性，技术本体则更多以覆盖度、一致性、可复用性、可维护性与任务适用性等工程指标衡量；一个技术本体不必主张自己「描述了世界的真实结构」，只需在特定应用中被证明有效。^{134134Ontology Development 101: A Guide to Creating Your First Ontologyprotege.stanford.edu前往参考资料 ↓在新标签页中打开|135135Ontology Evaluationdoi.org前往参考资料 ↓在新标签页中打开}

两者并非截然分离：上层本体（upper ontology）如 BFO、DOLCE 等明确以哲学范畴（如连续体与发生体、对象与过程）为基础，试图把哲学本体论的区分带入技术建模，这说明技术本体在实践中会借用哲学本体论的成果，但借用方式是选择性的、以工程可用性为约束的。^{136136Building Ontologies with Basic Formal Ontologymitpress.mit.edu前往参考资料 ↓在新标签页中打开|137137WonderWeb Deliverable D18: Ontology Library (final)loa.istc.cnr.it前往参考资料 ↓在新标签页中打开}

术语使用上存在一个常见混淆：英文「ontology」在哲学中译为本体论，在信息科学中则常被直译为「本体」，二者所指对象不同；中文文献有时用「知识本体」或「领域本体」来特指技术含义，以避免与哲学本体论混同。^{121121Ontology (Computer Science) — Wikipediaen.wikipedia.org前往参考资料 ↓在新标签页中打开|108108本体论zgbk.com前往参考资料 ↓在新标签页中打开}

对本体论作为「第一哲学」的质疑，在二十世纪分析哲学内部最著名的表述之一来自鲁道夫·卡尔纳普。他在《通过语言的逻辑分析清除形而上学》（1932）中把形而上学命题（包括本体论命题）判为「伪命题」：这类命题要么使用了并无经验意义的词，要么把「存在」误当作可加谓述的性质，从而违反了逻辑句法。^{139139通过语言的逻辑分析清除形而上学（Überwindung der Metaphysik durch logische Analyse der Sprache）link.springer.com前往参考资料 ↓在新标签页中打开}

卡尔纳普的批评直接针对马丁·海德格尔的《形而上学是什么？》。卡尔纳普认为，海德格尔关于「无」的论述是把「无」当作对象来谈论的典型例子，其语句在逻辑上无法被赋予真值条件，因此不属于知识性的言说。^{139139通过语言的逻辑分析清除形而上学（Überwindung der Metaphysik durch logische Analyse der Sprache）link.springer.com前往参考资料 ↓在新标签页中打开}

威拉德·范·奥曼·蒯因在《论何物存在》（1948）中提出，本体论问题不能靠「存在」一词的意义来裁决，而应转化为「在何种理论框架内、接受何种量化对象」的问题；他由此提出「本体论承诺」概念，并以「存在就是成为约束变项的值」作为判据。这一转向把本体论从第一哲学降格为与具体科学理论相捆绑的附属问题。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

蒯因的「本体论承诺」方案本身也受到批评：它把本体论问题相对化到理论框架，因而无法再充当为一切知识奠基的「第一哲学」；同时，判据只告诉我们一个理论承诺了什么，却不告诉我们应当在相互竞争的理论之间选择哪一个本体论。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开|1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在欧陆传统中，对「第一哲学」的质疑以马丁·海德格尔为代表。他在《康德与形而上学疑难》等著作中把传统本体论（他称为「形而上学」或「存在者之学」）诊断为遗忘了「存在论差异」：它只追问存在者之为存在者，却从未追问存在本身的意义，因此不能承担第一哲学的角色。海德格尔后期进一步以「克服形而上学」来标识这一批判。^{140140Kant and the Problem of Metaphysics (Kant und das Problem der Metaphysik)iupress.org前往参考资料 ↓在新标签页中打开}

在英美哲学中，希拉里·普特南以「概念相对性」和「内部实在论」批评那种试图给出唯一正确、框架中立的本体论图景的设想；他主张对象只在描述框架内部才成为对象，因而不存在一个独立于框架的「第一哲学」式的本体论清单。^{141141Reason, Truth and Historycambridge.org前往参考资料 ↓在新标签页中打开}

「第一哲学」这一称号本身来自亚里士多德《形而上学》中关于「作为存在的存在」的科学之地位的讨论；近代以来，笛卡尔、康德等对它的重新规定与限制，构成了当代质疑的历史背景。当代批评者往往同时质疑该称号所预设的「基础主义」知识论结构。^{99Aristotle's Metaphysicsplato.stanford.edu前往参考资料 ↓在新标签页中打开}

蒯因在《论何物存在》（On What There Is，1948）中提出的本体论承诺学说，把本体论问题重新表述为「一个理论承诺了哪些实体」的问题，其判据是：为使理论为真，必须把哪些对象纳入量词变域。这一转向使本体论从第一哲学式的范畴研究，变为依附于最佳科学理论的语义学问题。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

蒯因在《经验论的两个教条》（1951）中攻击分析-综合二分，并在《语词与对象》（1960）中把本体论承诺的相对性表述为「相对于一个背景理论而言，何物存在」；他主张哲学与科学是连续的，本体论应作为科学的一部分、按科学的标准来裁决。^{142142Two Dogmas of Empiricismjstor.org前往参考资料 ↓在新标签页中打开}

取消主义（eliminativism）在心灵哲学中的代表主张是：常识心理学所设想的「信念」「欲望」等命题态度并不指称任何真实存在的东西，随着神经科学的发展，这些民间概念将被淘汰，而非被还原。这一立场由丘奇兰德夫妇（Paul and Patricia Churchland）系统提出。^{9292Eliminative Materialismplato.stanford.edu前往参考资料 ↓在新标签页中打开}

范·因瓦根（Peter van Inwagen）在《物质存在》（Material Beings，1990）中提出「取消主义」式的复合对象观：除了生物有机体之外，不存在任何复合对象；日常所谓的「椅子」「桌子」等并非真实存在的复合物，而只是基本粒子的排列。这一立场被称为「有机体论」或「取消主义关于复合对象的观点」。^{143143Material Beingscornellpress.cornell.edu前往参考资料 ↓在新标签页中打开}

关于自然化本体论是否足以裁决本体论问题，学界存在公开争论。支持者认为，只有经验科学才能提供关于何物存在的可靠证据，先验的范畴分析缺乏裁决力；批评者则指出，科学理论本身已经预设了本体论框架，自然化纲领无法避免循环，且无法说明数学对象、模态对象等非经验对象的本体论地位。^{144144Naturalism in Metaphysicsroutledge.com前往参考资料 ↓在新标签页中打开}

取消主义在心灵哲学中引发持续争论。反对者（如福多）认为，常识心理学是不可取消的，因为它是我们解释和预测行为的唯一有效框架，且其成功表明它所设想的实体确实存在；取消主义者则回应说，民间理论的解释成功并不保证其本体论承诺为真，正如燃素说也曾有解释力。^{9292Eliminative Materialismplato.stanford.edu前往参考资料 ↓在新标签页中打开|145145Psychosemantics: The Problem of Meaning in the Philosophy of Mindmitpress.mit.edu前往参考资料 ↓在新标签页中打开}

在元本体论中，「本体论 deflationism」（本体论紧缩论）与自然化本体论形成对照：紧缩论者认为，本体论问题在很大程度上是语言或概念问题，不存在独立的形而上学事实；而自然化本体论者仍坚持有实质性的本体论事实，只是应由科学来发现。^{146146Ontological Deflationismcompass.onlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

霍根与伍德沃德（Terence Horgan & Mark Timmons）提出的「本体论紧缩论」（ontological deflationism）主张，本体论承诺问题没有独立的形而上学深度，应被理解为关于话语框架的实用主义问题；这一立场与自然化本体论在「是否存在实质本体论事实」上存在分歧。^{146146Ontological Deflationismcompass.onlinelibrary.wiley.com前往参考资料 ↓在新标签页中打开}

本体论简约原则通常被表述为「如无必要，勿增实体」（Entia non sunt multiplicanda praeter necessitatem），这一格言在哲学史上被归到奥卡姆的威廉名下，用以表达一种方法论取向：在能够解释同样现象的多个理论之间，应优先选择设定实体更少、假设更少的那个。^{147147William of Ockhamplato.stanford.edu前往参考资料 ↓在新标签页中打开}

奥卡姆剃刀并非一条严格的逻辑规则或可判定的算法，而是一条启发式的方法论原则；它不直接判定哪个理论为真，只规定在解释力相当时优先选择更简约的理论，因此其应用往往依赖对「解释力相当」的判断。^{148148Simplicityplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在当代分析形而上学中，奥卡姆剃刀常被用来支持本体论上的「紧缩论」或「轻量主义」立场，例如在共相问题上倾向于唯名论、在数学对象问题上倾向于虚构主义或结构主义，理由是这些立场比设定抽象实体的立场更简约。^{148148Simplicityplato.stanford.edu前往参考资料 ↓在新标签页中打开|1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

在形而上学方法论的讨论中，奥卡姆剃刀被用来为「本体论承诺」的削减辩护，例如蒯因式的本体论承诺标准与简约原则结合，常被用来论证只需承认最少种类的实体。^{1313Ontological Commitmentplato.stanford.edu前往参考资料 ↓在新标签页中打开}

奥卡姆剃刀在应用上存在一个著名困难：如何计算「实体数量」并无统一标准，不同理论可能在不同维度上各有简约与繁复，因此「更简约」的判断往往并非唯一确定。^{148148Simplicityplato.stanford.edu前往参考资料 ↓在新标签页中打开|149149The Virtues of Simplicityphilpapers.org前往参考资料 ↓在新标签页中打开}

奥卡姆剃刀常被追溯到奥卡姆的威廉，但类似原则在亚里士多德、阿奎那等更早的思想中已有表述，因此将其完全归于奥卡姆本人并不准确；「奥卡姆剃刀」这一名称本身是后世的概括。^{147147William of Ockhamplato.stanford.edu前往参考资料 ↓在新标签页中打开}

20世纪分析哲学中的「本体论复兴」与语言哲学转向深度交织：蒯因（W. V. O. Quine）在《论何物存在》（On What There Is, 1948）中提出的「存在就是成为约束变项的值」这一判准，把本体论承诺问题转化为对一阶逻辑量化结构的研究，使本体论讨论重新获得可操作的分析工具，并直接塑造了此后半个多世纪分析形而上学的议程。^{1919On What There Isjstor.org前往参考资料 ↓在新标签页中打开}

戴维森（Donald Davidson）在《论行动与事件》（Essays on Actions and Events, 1980）中提出的「事件本体论」——事件是不可还原的个体，可用「事件变项」加以量化——把本体论范畴问题直接带入语言语义学：对行动句的逻辑形式分析要求承诺事件作为实体存在，这一论证成为语言哲学与本体论交叉的范例。^{153153Essays on Actions and Eventsglobal.oup.com前往参考资料 ↓在新标签页中打开}

在心灵哲学与本体论的交界处，「随附性」（supervenience）概念被系统化：戴维森（1970）与金在权（Jaegwon Kim）等人用随附性来刻画心理属性对物理属性的依赖关系，使「心身依赖」这一古老本体论问题获得可形式化的表述，同时也引发了关于随附性是否足以说明因果效力（causal efficacy）的持续争论。^{155155Supervenience – Stanford Encyclopedia of Philosophyplato.stanford.edu前往参考资料 ↓在新标签页中打开}

「本体论转向」在语言哲学中的另一表现是「本体论承诺」与「本体论还原」的方法论化：范·因瓦根（Peter van Inwagen）在《物质存在》（Material Beings, 1990）中提出「特殊组合问题」（special composition question），追问在什么条件下若干物体组合成一个整体，把本体论问题表述为对组合关系的精确刻画，成为当代分析形而上学中「本体论问题可被清晰陈述」的典范。^{156156Material Beingscornellpress.cornell.edu前往参考资料 ↓在新标签页中打开}

在信息科学与人工智能领域，术语「本体」（ontology）被用来指称一种对共享概念化的显式、形式化规范；这一用法由托马斯·格鲁伯（Thomas Gruber）在 1993 年关于可移植本体论设计的论文中提出，并被后续的知识工程与语义网研究广泛沿用。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开}

格鲁伯的原始定义强调本体是「概念化」（conceptualization）的显式规范，其目的是支持知识在软件代理之间的共享与复用；这一定义把哲学本体论中关于「存在什么」的追问，转化为工程语境下关于「如何约定一套共享词汇」的问题。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开}

1998 年，尼古拉·瓜里诺（Nicola Guarino）在《Formal Ontology and Information Systems》一文中对格鲁伯定义提出修正，主张本体应刻画「概念化」本身而非仅仅依赖特定语言或约定，并区分了「概念化」「本体承诺」等层次，这一工作成为信息科学中本体论方法论讨论的重要起点。^{157157Formal Ontology and Information Systemsloa.istc.cnr.it前往参考资料 ↓在新标签页中打开}

万维网联盟（W3C）于 2004 年发布 Web 本体语言 OWL 的推荐标准，OWL 建立在 RDF 与 RDFS 之上，提供类、属性、个体以及等价、不相交、基数约束等构造，使本体能够以机器可处理的形式在语义网中发布与交换。^{158158OWL Web Ontology Language Overvieww3.org前往参考资料 ↓在新标签页中打开}

OWL 2 于 2009 年成为 W3C 推荐标准，它在 OWL 1 基础上增加了属性链、键、更丰富的基数限制等构造，并定义了 EL、QL、RL 等计算复杂度不同的配置文件（profiles），以便在不同应用场景下权衡表达力与推理可处理性。^{124124OWL 2 Web Ontology Language Document Overview (Second Edition)w3.org前往参考资料 ↓在新标签页中打开}

在知识图谱工程中，本体通常承担模式层（schema/TBox）的角色，为实体、关系与类型提供受控词表和约束；Google 2012 年公布的 Knowledge Graph 以及后续大量开放知识图谱，均以某种本体或模式约定来组织实体与关系。^{159159Introducing the Knowledge Graph: things, not stringsblog.google前往参考资料 ↓在新标签页中打开}

生物医学领域是本体工程影响最深的领域之一：基因本体（Gene Ontology, GO）自 2000 年前后系统化发布，用受控词汇描述基因产物的分子功能、生物学过程与细胞组分，并被广泛用于注释与跨数据库整合。^{127127Gene Ontology: tool for the unification of biologynature.com前往参考资料 ↓在新标签页中打开}

SNOMED CT 等临床术语系统采用本体化组织方式（概念、描述、关系），被多国卫生系统用于电子健康记录中的语义互操作；其规模与形式化程度使其成为大规模本体在产业中落地的代表性案例。^{160160SNOMED CTsnomed.org前往参考资料 ↓在新标签页中打开}

在人工智能的知识表示传统中，本体被视作对早期语义网络（semantic networks）与框架系统（frames）的规范化继承：它保留了用概念与关系组织知识的基本思路，同时引入形式逻辑语义，使推理结果可被明确定义和检验。^{157157Formal Ontology and Information Systemsloa.istc.cnr.it前往参考资料 ↓在新标签页中打开|161161Knowledge Representation and Reasoningsciencedirect.com前往参考资料 ↓在新标签页中打开}

本体在语义网与知识工程中的核心承诺是「共享」与「可复用」：通过显式约定概念及其关系，不同系统之间可以就同一领域词汇达成一致，从而降低数据集成中的语义歧义；这一承诺也是格鲁伯定义与后续方法论讨论的共同出发点。^{6161Thomas R. Gruber, A Translation Approach to Portable Ontology Specificationstomgruber.org前往参考资料 ↓在新标签页中打开|157157Formal Ontology and Information Systemsloa.istc.cnr.it前往参考资料 ↓在新标签页中打开}

本体工程在实践中面临表达力与可处理性的权衡：描述逻辑越丰富，推理越完备，但计算复杂度也越高；OWL 2 的配置文件设计正是对这一权衡的制度化回应。^{124124OWL 2 Web Ontology Language Document Overview (Second Edition)w3.org前往参考资料 ↓在新标签页中打开}

大规模本体在维护上面临版本演化、概念漂移与对齐困难等工程问题；GO 等项目的持续修订与发布流程表明，本体并非一次性建成的静态词典，而是需要长期治理的动态知识资产。^{127127Gene Ontology: tool for the unification of biologynature.com前往参考资料 ↓在新标签页中打开}

在当代基于深度学习的知识表示中，本体所承载的显式约束并未消失，而是以模式、约束语言或检索增强等方式部分进入系统设计；但大语言模型主要依赖分布式表示而非显式本体推理，二者在知识组织方式上存在明显差异。^{162162Knowledge Graphsarxiv.org前往参考资料 ↓在新标签页中打开}

有批评者指出，传统本体工程在开放域与快速变化的应用中成本高、覆盖有限，难以单独支撑通用人工智能所需的知识规模；这一批评推动了本体与统计学习、向量表示相结合的研究路线。^{162162Knowledge Graphsarxiv.org前往参考资料 ↓在新标签页中打开}