奎因认为，要考察某一理论或思想中的本体论承诺，即探究该理论或思想中承诺了哪类对象是存在的，我们可以将这种理论或思想先进行谓词逻辑的处理，将其语句进行量化，确定该理论或思想中哪些量词式是真的（即确定哪些量词式是该理论中的定理），其次，这些数额如果你想表达的是真实的，总是 存在量词式的约束变项该取什么值。这些存在量词式的约束变项所取的值便是该理论或思想所认可的存在物。奎因的本体论承诺适用“”， ”，可以认为，在现代逻辑中，一个逻辑系统的本体论承诺只取决于该系统的语义解释，可以说，不同的语义解释就有不同的本体论承诺，因此，从这个意义上讲，逻辑的现代和传统的逻辑，不像 它与事实本体论在内容上没有直接联系。当然，由于逻辑系统最终是由逻辑学家构建的，构建逻辑系统的逻辑学家总是有自己的本体论观点的，这种不同的本体论观点，系统必然是一个不同的逻辑，本体论承诺Ridouiru 所以，从这个意义上来说，现代逻辑与本体论又是有不可分割的间接联系的。比如，逻辑上的实在论者与反实在论者的不同，就会导致逻辑系统的构建者不同的逻辑观，这样，影响在逻辑上的语义指向，并导致本体论的承诺，理解和最终系统： 实在论者认为，世界具有独立于有关它的任何知识或经验的特征，世界中的事物的存在状况使得述说世界的任意语句必定为真或为假。因此，辩称， 语句或命题的真假取决于客观实在，逻辑真理是客观的，逻辑是一种发现而不是发明，逻辑是关于真理的科学，从这一点出发，实在论者必然认为系统中的本体论承诺是有客观基础的，反映了客观现实。 反实在论者则认为，逻辑真理没有客观基础，只是我们的一种约定，因此，逻辑是发明而不是发现，它是关于推理的科学。从这个角度来看，必须考虑反实在论的本体论承诺制度“，”设计 与客观存在无关。
又比如，如果在本体论上属于前面所说的具体主义，那么，在其逻辑语义学中则一般不会承认个体以外的其他“抽象实体”的存在，因此，高阶逻辑，等等，不是建立 反之，如果是柏拉图主义者，则对系统中存在之物会取宽容的态度，对高阶逻辑等的存在也不会采取排斥态度。


相关链接:

粗略了解一下澳大利亚的经济

我们得到的赞扬就是我们的工薪

新旧道德观的激烈冲突

南风法则与竹子定律

困境中也能开出美丽的花朵

服饰是构成人类日常生活的物质文化

应利用别人的经验可以弥补个人直接经验的狭隘性

政府都对两者实行斯巴达式的严格控制

windows media video to zen converter

握手要有诚意

神是精气和一切生命活动的主宰

应从10个方面来加以改善不良的生活方式