奎因本体论承诺理论所要解决的问题主要包括以下两个方面:语词意义依赖于其所指称对象的怪论以及科学与本体论之间的关系。在通过本体论承诺方法解决上述理论问题的过程中,奎因发现命名行为并不意味着对命名对象做出本体论承诺,名词和谓词都不具有本体论承诺的功能。量词理论是奎因构建本体论承诺理论的主要方法,为奎因本体论承诺理论的建立提供基本依据。在继承弗雷格量词理论的基础上,奎因量词理论得以建立和应用。因此,要准确理解奎因本体论承诺理论,就要充分理解弗雷格量词理论。通过将量化方法引入到本体论承诺理论的研究中,奎因确立了“存在就是成为约束变元的值”这一本体论承诺的标准。奎因认为,量化表达式中的约束变元是本体论承诺的逻辑装置。当一个理论中的量化表达式为真时,约束变元的取值就是该理论所承诺存在的实体。但是,并非所有的对象都能成为约束变元的值,进而成为理论所承诺存在的实体。奎因将同一性概念引入到本体论承诺理论中,并以外延的同一性对本体论承诺做出限定。最终,奎因确立起“没有同一性就没有实体”的本体论承诺的检验标准。只有满足外延同一性要求的对象才能成为约束变元的值,进而成为理论所承诺存在的实体。在通常状况下,科学理论主要由自然语言进行表达。按照奎因本体论承诺理论,如果要获知某种理论做出的本体论承诺,就要将其改写成具有明显量化形式的语言。在对原有理论的改写过程中,相对于背景理论、翻译手册、量词解释,本体论承诺理论表现出相对性特征。此外,“没有同一性就没有实体”的本体论承诺的检验标准导致其具有明显的外延主义特性。奎因将外延的同一性作为检验本体论承诺的必要条件,进而否认内涵实体和抽象实体的本体论地位。在逻辑实证主义时期,由于不能得到经验的证实,本体论问题被视为无意义的哲学问题而遭到逻辑实证主义者的拒斥。通过语义上溯的方式,奎因将本体论问题的研究限定在语言框架之内,因而抑制了传统本体论研究的“超验性”。语义上溯就是通过谈论语词的意义和所指、语句的真假、语句系统的意义及其相互间的关系,来间接谈论现实世界对象的实在性,从而避免由于直接谈论外部客观世界而产生的争论。奎因本体论承诺理论恢复了本体论研究在分析哲学中的地位,改善了传统形而上学的理论形象,对形而上学研究产生了深远的影响。此外,基于本体论承诺理论,奎因质疑模态逻辑的合法性。奎因认为,模态算子“可能地”、“必然地”会造成指称暧昧性结构,进而导致同一替换规则和存在概括规则的失效。模态逻辑一旦进入到量化理论时,就会对内涵性实体做出本体论承诺,进而产生对象增殖的问题。基于本体论承诺的检验标准,奎因否认意义之间的同义性关系。奎因认为,除了约定型定义之外,定义方法不能创造意义之间的同义性关系,定义不是同义性的来源。保全真值替代方法不能保证意义之间的同义性。证实说和还原论不能成为判断意义同义性的依据。奎因本体论承诺理论对其意义理论、指称理论和模态逻辑观的形成产生了影响。在奎因哲学体系中,奎因本体论承诺理论处于基础性理论地位。奎因本体论承诺理论具有重要的理论价值和意义。奎因本体论承诺理论的合理性主要体现在以下方面:其一,奎因本体论承诺理论对于语词意义和指称的严格区分。其二,在本体论问题研究方面,奎因本体论承诺理论体现出清晰性和简洁性。其三,奎因本体论承诺理论抑制了传统本体论研究的“超验性”。