蒙塔古算子观点

蒙塔古算子观点（Montague’s operator view），哲学-哲学-逻辑学-逻辑，由R.蒙塔古提出的一种关于解决认知悖论的观点。通过把“知道”“相信”等命题态度词由语句谓词转换为语句形成算子，即可构造出类似于为真势模态算子必然可能所建构的相容的模态逻辑系统，从而避免悖论。1960年蒙塔古与D.卡普兰共同构建了严格的知道者悖论。1963年蒙塔古认识到，一个用语句谓词（或类语句指代结构的谓词）表示知识或其他命题态度的东西时是不相容的理论，在用相应的语句形成算子置换这些谓词之后，该理论会变为相容的。换言之，每一个像知道者悖论这样的基于哥德尔对角线引理的认知悖论，都对应一种相容的模态逻辑。因此，我们可以把知识对象刻画成可能世界的集合，用标准的模态逻辑去考虑有关认知公理之间的蕴涵、等价和独立关系，同时把悖论拒之门外。这个观点通称“蒙塔古算子观点”。蒙塔古算子观点对蒙塔古建构其一般内涵逻辑起了重要的启发作用。但是，依据RZH解悖标准衡量，作为认知悖论的一个解决方案，它在形式技术和哲学说明两方面都有许多严重的困难。盖夫曼－孔斯悖论的严格建构，则在形式技术上构成了对它的一个反驳。