Logical necessity, physical necessity, ethics, and quantifiers
Logical necessity, physical necessity, ethics, and quantifiers
复制标题
逻辑必然性、物理必然性、伦理学和量词
DOI：
10.1080/00201746008601312
复制
发表时间：
1960
期刊：
影响因子：
--
通讯作者：
R. Montague
中科院分区：
文献类型：
--
作者：
R. Montague
一些哲学家，如奎因，怀疑联合使用模式和量化的可能性。然而，简单的模型理论考虑导致量词与诸如逻辑、物理和伦理必要性等模态概念的调和，并提出了这些模态的实例的一般类别。一个简单的公理系统，类似于刘易斯系统S1 -S5，被考虑与这类模态有关。该系统被证明是完备的，并且它的一类定理是可判定的。
Some philosophers, for example Quine, doubt the possibility of jointly using modalities and quantification. Simple model‐theoretic considerations, however, lead to a reconciliation of quantifiers with such modal concepts as logical, physical, and ethical necessity, and suggest a general class of modalities of which these are instances. A simple axiom system, analogous to the Lewis systems S1 —S5, is considered in connection with this class of modalities. The system proves to be complete, and its class of theorems decidable.