真值函数与非真值函数的等值变换——一元算符逻辑理论五探  

Equivalent Transformation between Truth-Function and Non-Truth-Function——the Fifth Exploration to Unary Operator Theory

作　　者：万小龙[1] 陈明益[1] 冉奎[1] 

机构地区：[1]华中科技大学哲学系,湖北武汉430074

出　　处：《山东科技大学学报（社会科学版）》2012年第6期1-10,20,共11页Journal of Shandong University of Science and Technology(Social Sciences)

基　　金：国家社会科学基金项目"量子信息的哲学问题研究"(2007zxc33);华中科技大学基金项目"一元算符理论研究"(RWZD1213)

摘　　要：一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非真值函数与真值函数的等值变换"原理的发现与严密的经典定义。它不断借用了量子力学中对"不确定"的确定性的认识,所揭示的非真值函数在句法与语义上的两大特征分别有助于模态逻辑中的等值代换难题、多值逻辑中的非二值性难题等哲学逻辑与逻辑哲学中的非经典性问题回归其经典本性。Unary Operator Theory aims to explore the relationship between classical logics and non-classical logics in general methodological level. Based on relativity of nowtruth-function,the elementary Special Theory of Relativity of Function （STRF） mainly focuses on the transformative relation between unary non truth-functional connectives and binary truth-functional con- nectives in bivalent propositional logics. This paper attempts to provide a strict definition of this relation,and then to propose a new idea concerning some problems of non-classicalness in philosophical logic and philosophy of logic.

关 键 词：二真值 非真值函数 一元算符 狭义函数相对论(STRF) 

分 类 号：B815.1[哲学宗教—逻辑学]