悖论的定义及其形式化

Definition of Paradox and it's Formalization

"什么是悖论"其实就是悖论定义问题,始终是悖论研究的一个重要问题,对这个问题的回答在某种程度上决定了研究的方向和深度。以张建军的"三要素"表征的悖论定义是现有研究成果的典型代表,国内的一些著名逻辑学者都在这个问题上发表了各自的看法。通过对这些看法的比较研究,提出一个更合理的悖论定义,并予以形式化。

The issue of ＂what is paradox＂, an issue of Parodox＇s definition, is an important issue all the time. The answer to this question is related to the direction and the depth of study on paradox. The paradox＇s definition by Zhang Jianjun, which is characterized by its ＂Three Factors＂, is typical representative in present research. Some famous scholars in China expounded their opinions on the issue. Through comparing all these views, we present a more suitable definition of paradox and formalize it.