可知性悖论及其解决方案探析

Research on Knowability Paradox and Its Solution

可知性悖论是指,从反实在论接受的前提——可知性原则KP出发,能推出反实在论不能接受的结论——全知原则OMN。该悖论对反实在论提出严峻的挑战。可知性悖论产生于Fitch-系统FS,其解决方案是通过弱化KP为RKP,建立推不出OMN的系统RKP。

Knowability paradox means that deducing omniscient principle（ OMN） ： the anti-renlism cannot accept from knowability principle（ KP） ： precondition of accepting anti-realism,which poses a severe challenge to anti-realism. This paradox arises in Fitch system FS. In order to solve it,we modified knowability principle to a new principle which was called RKP,so that a new system RKP will be built. It was proved that RKP will not deduce omniscient principle.