本体论（），又译存在论、存有论，是形而上学的基本分支，本体论主要探讨存有本身，即一切现实事物的基本特征。有的哲学家，如柏拉图学派认为：任何一个名词都对应着一个实际存在；另外一些哲学家则主张有一些名词并不代表存在的实体，而只代表一种集合的概念，包括事物或事件，也有抽象的，由人类思维产生的事物。例如“社团”就代表一群具有同一性质的人组成的集合；“几何”就代表一种特殊知识的集合等。本体论就是「研究到底哪些名词代表真实的存在实体，哪些名词只是代表一种概念」。所以本体论成为某些哲学分支的基础。近年来，人工智慧