命题的模态不同于对象的模态
中世纪著名神学家托马斯•阿奎那第一次在两者之间作出区分。模态词(必然或可能)可以加在命题上,也可以附属于对象,但两者之间有极大差别。下面例子取自阿奎那的《反异教徒大全》:假定上帝看到亚里士多德正在坐着,由于上帝所认识的存在必然是真实的,是不会虚假而必然存在的,因此命题“被看到正在坐着的人必然地正在坐着”是真实的。但这个命题中的模态是被理解为关于命题的模态,它等同于下一句话:“凡是被看到正在坐着的人正在坐着是必然的。”若将模态理解为关于对象的模态,即下面的这句话:“凡是被看到正在坐着的人都在本质上或必然地具有坐这一种特性.”则这个命题就变为假的了.这样,对模态的不同理解将导致不同的真值.它们两者的区别可以总结如下:一个表达关于命题的模态的命题是断言某个另外的命题具有一种模态的命题,而一个表达关于对象的模态的命题则是说一种特性必然地或在本质上属于一种对象。
我来说一句