可拓策略存在性  

Study on the existence of extension strategy

作　　者：杜国平[1] 

机构地区：[1]南京大学现代逻辑与逻辑应用研究所

出　　处：《哈尔滨工业大学学报》2006年第7期1091-1093,1107,共4页Journal of Harbin Institute of Technology

基　　金：国家社会科学基金(02CZX008).

摘　　要：对于∑和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.

关 键 词：矛盾问题 变换 可拓变换 解悖变换 

分 类 号：TP1[自动化与计算机技术—控制理论与控制工程] O14[自动化与计算机技术—控制科学与工程]