加载中…
由于现代逻辑的形式化特点，它的研究内容与事实本体论即事实上何物存在以及以什么方式存在的问题完全脱离了关系，而转向了形式本体论---在某一逻辑系统的语义学中认为何物存在以及以何种方式存在。因此，“本体论与现代逻辑和现代逻辑的本体论承诺”问题。
当代美国著名哲学家、逻辑学家奎因认为，在本体论问题上，要区分两类问题。一是事实问题，即事实上有什么东西存在的问题，这是本体论问题，是事实;
一是承诺问题。
所谓承诺问题，就是“当我探求某个学说或一套理论的本体论承诺时，我所问的是，按照那个理论有什么东西存在。”
“一个理论的本体论承诺问题，现行规定是多么的理论。 ” 在这里，奎因把本体论问题
变成了一个语言问题，并用现代逻辑的观点解答如下：在一个理论或系统中，该理论中的单称词项或名字并没有本体论承诺，这些奇异，或变更是在外观和除名条款最终解释，可以被替换
所以，“事实上，名字对于本体本体论问题是无关重要的。”
本体论承诺也不依赖于其中所使用的谓词，因为谓词根本不是名词，本身不是一个特殊的宣传声称的实体类型
只是对于某些对象是适用的，对于某些对象则不适用。或者换句话说，把它们用在某些对象上得到真句子，用在另一些对象上则得到假句子。然后，在理论与系统
是什么东西负载着其本体论承诺呢？奎因认为，只有约束变项或量化变项才与存在问题相关，一经使用约束变项，我们就卷入了本体论承诺，因此，“存在就是成为约束变项的值”。奎因说：“假设它的存在，
纯粹只是被看做一个变项的值。……
我们的整个本体论，不管它可能是什么样的本体论，都在‘有个东西’、‘一切东西’这些量化变元所涉及的范围之内；我们只有使我们的秩序的决心，如果属实，
我们必须把所谓被假定的东西看做是在我们的变项所涉及的范围之内。”、“为了使一个理论所作的断定是真的，这个理论的约束变项必须能够指称那些东西，它只是致力于这一理论。
”、“一般地说，某给定种类的实体为一理论所假定，当且仅当其中某些实体必须算做变元的值，才能使该理论中所肯定的那些陈述为真。”
些实体必须算做变元的值，才能使该理论中所肯定的那些陈述为真。”
相关链接:
Convert DVD Video to Iriver windows vista
成功和失败往往是评价和比较一个人成就的标准
团队已成为组织提高运行效率的可行方式
波兰交通运输状况如何
诚信是一种情感的表达
人的寿命是自然现象
领导者也要态度谦虚，谨言慎行
婴儿是不是都要吃钙片
不必处处争“老大”
形而上学不是理论
嗜饮不发酵绿茶的人的特点
顶