形式本体论逻辑与本体论的完美结合.docVIP

形式本体论：逻辑与本体论的完美结合? 宋 荣 （华中师范大学哲学系，湖北武汉，430079） 内容摘要 本体论在哲学中具有悠久的历史。西方哲学史上，哲学家所建立的本体论体系并 不是整齐划一的。中国哲学界对本体论也有不同的理解。哲学界对本体论一词的理解也是五花八门， 对本体论研究的问题和方法也不尽相同。那么，当代本体论研究有没有新的研究视角？如果有，会 是什么样的呢？ 关 键 词 本体论；形式本体论；概念实在论 逻辑让哲学走向严格和精确。尽管经常说逻辑是一门纯粹的形式学科，对于这门特殊的哲学分 支学科来说，它缺少任何内容，但是，事实上谓词概念、对象属性概念（它们由标准一阶逻辑所预 设）对于陈述许多传统的本体论问题是充分的。一个对象拥有一个属性的概念被拓展来提供一个对 象存在的一个内涵定义，并作为该对象拥有一个最大限度地一致属性组合，对于任何属性或它的补 集来说，通过被指出的定义，非存在对象就是那些或者缺少某个属性及其补集、或者拥有包括在它 相应的属性组合中的一个属性及其补集。当逻辑有助于回答为时甚久的形而上学问题时，通过回答 这样的问题：如说某物存在，这意味着什么？为什么存在某物而不是无任何东西存在？并且为什么 现实地存在一个逻辑上可能的现实世界。 逻辑能够揭示重要的东西。经典逻辑体现了一组概念和哲学承诺，这些承诺是关于对于某物存 在，这意味着的什么东西能够被从逻辑的表达能力中得以恢复。本体论的基本问题由符号逻辑含蓄 地解释。除去在现实世界中任何可能地存在实体现实地存在，符号逻辑主要关注于演绎有效推理的 形式要求，并不蕴涵任何给定种类的现实推理遵循它的真之条件。逻辑，奉献正确的推理形式的规 则，我们焦点关注于逻辑系统的演绎机制似乎会使本体论研究更加精细。从经典逻辑、亚里士多德 三段论理论、布尔代数、或现代符号一阶谓词逻辑的表达能力中，纯粹哲学本体论能够学到更多东 西。这种逻辑要求的形而上学预设包含最困难的本体论问题的解决方案。49这样，当逻辑语法形式和 逻辑原理被用来形成表述不同的 being 范畴和与其相关的规律这样的观念的时候，即当本体论的和 逻辑的范畴被联系在一个统一的框架下的时候，结果就是，一个广泛而全面的演绎学科，也就是形 式本体论所述的内容，这门学科在逻辑的和本体论的结构中是优先于其他学科的。另外，它通过提 供逻辑框架的一致性使我们能够显示：直观的本体论框架是一致的。 一、形式本体论及其主要特征 形式本体论是一个学科，其中数理逻辑的形式方法与直观的、哲学的分析和本体论原理相关联， 即通过我们所意味的 being 本身的本体论研究和分析，包括 being 的不同范畴，以及这些范畴如何 与语言、思维和实在中的谓词关联相联系。形式本体论的目的就是一方面体现逻辑分析的清晰精确 和方法论，另一方面体现本体论分析的哲学重要性。它试图给予某些实体的属性和关系精确的数学 公式描述。这些理论通常提出关于所讨论的这些实体的公理和定理，并且基于某种形式逻辑系统以 某种形式语言表达出来。 形式本体论的目标就是纠正传统本体论研究中的不足之处，通过形式地重构一个直观的、非形 式的本体论主题作为一个形式本体论，使我们能更好地决定那个主题的一致性和充分性；并且通过 ?本文系国家社科基金青年项目“当代西方心灵哲学中的心理内容研究”（11CZX051）、国家社科基金一般项目“迈农 主义的有无之辩及其本体论意义研究”（10BZX053）的阶段性成果之一。 49 Dale Jacquette, “Crossroad of Logic and Ontology: A Modal-combinatorial Analysis of Why There is something Rather Than Nothing”, In Essays in Logic and Ontology, 2006, pp.17-18. 比较彼此不同的被重构主题作为形式本体论，我们能更好地评价赞成或反对它们的论证，并且得到 结论：哪个体系是最佳被选方案。 短语“形式本体论”首先在胡塞尔的《形式和先验逻辑》（1929）一书中被使用。在胡塞尔看来， 一个形式本体论被假定作为一种逻辑体系，当作科学的一种普遍理论，并且特别是作为科学的一种 证明学科。但是，与真正构建一个形式本体论相反，胡塞尔转向研究他所提出的用来证明这样一种 逻辑的超主体性的范畴结构。这不是在此所要研究的内容。短语“形式本体论”再次被运用是在 1969 年印第安纳大学一次纪念罗素的大会上。后来，在 1972 年有关形式本体论的一次会议在加拿大维多 利亚大学举行。今天，形式本体论的对象已经逐渐被广泛讨论，特别是在欧洲，被许多哲学家、逻 辑学家、从事知识表征的认知和计算机科学家所讨论。 第一，形式本体论的观念来源于莱