“归谬法”与“强化谎者”——略评《透视“说谎者”怪圈》

Reductio ad Absurdum and Strenghtened Liar Paradox——brief comment on "Seeing through the Liar Paradox"

张铁声自认对包括“说谎者悖论”在内的“典型语义悖论”提供了非特设性的统一解。但事实上,其解悖方案不过是跟“变值派”的方案“不谋而合”:只消解“变值弱例”,回避“矛盾强例”;而且在证明过程中,所使用的归谬法值得商榷。

Zhang Tiesheng thinks that he has produced a general solution to ＂typical semantic paradox＂ including liar paradox and there is no speciality. As a matter of fact, the paradox-solving program happens to coincide with ＂Change Value Style＂ and there is speciality： just to solve ＂Value Changing Weak Instance＂ and avoid ＂Contradiction Strong Instance＂. In his proof, he has misused the reduction ad absurdum.