可拓策略存在性

Study on the existence of extension strategy

对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能性,最后证明了使用变换解决矛盾问题的三种策略的逻辑存在性．

The non-compatible contradiction problem between Z and A cannot be solved in the fields of classical proposition logic, but it is possibly resolved under the frame of extension logic. So we firstly define some concepts such as transformation, extension transformation and paradox-resolved transformation extension transformation, etc. And then we prove the possibility turning the contradiction problems into the compatible ones by adding increasing transformation, implication transformation and decreasing transformation. Finally, we prove the existence of logic involving three strategies on setting the contradiction problems with the help of transformations.