奎因对模态逻辑的批评包括：(i)因为模态语境是指称不透明的，所以对其量化纳入没有意义；(ii)一些关于必然真理的经验知识与关于必然性的语言学理论不相容；(iii)模态语境中的量化纳入承诺了“亚里士多德式的本质主义”。丘奇，克里普克和福雷斯达尔对奎因提出了批评。他们提出，模态构造应该是外延上不透明但指称上透明的。奎因式诉诸于模态环境指称不透明的批评，在不采用单称词项的模态逻辑中不成立。他对本质主义的批评引入了一种必然性，但这种必然性没有办法用语言陈述词项进行解释。通过对语言中名称使用的讨论，我们可以看出，有关包含名称的同一性陈述的真值的经验知识，和卡苏洛称之为“一般模态地位”的先验知识是相容的。既然奎因论证了真同一性陈述的必然真是逻辑真，而且所有逻辑真都遵循戴维森式的意义理论（另文讨论），那么我们可以给出一个关于包含名称的同一性的真陈述的模态地位的先验知识的语言学理论。