變更

'''本体论'''（Ontology），又译'''存在论'''、'''存有论'''，是[[形而上学]]的基本分支，本体论主要探讨[[存在|存有]]本身，即一切现实事物的基本特征。

1870年代，日本学者[[西周 (启蒙家)|西周]]将它汉译为理体学，之后又出现了实体学、本体论、实有论、存在论等译名。之后这些译名传入中国。1930年代之后，日本学界通常使用存在论这个译名。

== 基本问题 ==

本体论的根本问题是：“存有的最初分类是什么？”不同流派的哲学家对这个问题有不同的解释。

但到了20世纪，当数理哲学、[[科学哲学]]和基本粒子[[物理学]]的新发现，将以前许多物质的所谓界限都打破了，人们不再满足于神学的说法。

在20世纪各个不同时期存在着形而上学的主观主义学派、客观主义学派、相对论学派等不同流派，后现代主义的实体哲学家们力图通过在不同环境下的哲学行动来重新定义上述的各个问题，主要依赖于[[生物学]]、[[生态学]]和认知科学的最新研究成果，了解[[动物]]在[[自然]]和人工提供的环境中的认知情况。

命题相对于不同环境的变化，使得存在更难定义。如果人们说：“A是B”，“A必定是B”或“A曾经是B”究竟有什么含义？有的哲学家主张去掉[[英语]]中的“是”一词，改用以免造成容易混淆的抽象含义；另一些哲学家力图了解词汇中的深层含义和使用方式；[[马丁·海德格尔]]想区分开“存在”和“物体”的意义。

[[存在主义]]者认为“存在”是最基本的概念，好多事物都可以说“是”，[[动词]]“是”有许多种用法，因此是易于混淆的，所以有许多种存在。

通俗地讲，“存在”即是事物固有的属性集合，人们可能用不同的词汇、不同的语句、甚至是不同的语言来描述同一事物，但该事物不会因为人们的不同描述而改变。信息工程中，经常研究词汇之间的相关性，就是要找出人们对同一事物的不同描述，或者从含有相关词汇的语句中，找出他们共同描述的事物。

*[[哥德尔本体论证明]]

* [http://www.ontology.co 存在论（英文）]

* [http://www.ontology.co/being-qua-being.htm 亚里士多德的论述（英文）]