真值函数与非真值函数的等值变换——一元算符逻辑理论五探
一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系.作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对“非真值函数与真值函数的等值变换”原理的发现与严密的经典定义.它不断借用了量子力学中对“不确定”的确定性的认识,所揭示的非真值函数在句法与语义上的两大特征分别有助于模态逻辑中的等值代换难题、多值逻辑中的非二值性难题等哲学逻辑与逻辑哲学中的非经典性问题回归其经典本性.
二真值、非真值函数、一元算符、狭义函数相对论(STRF)
14
B815.1(逻辑学(论理学))
国家社会科学基金项目"量子信息的哲学问题研究"2007zxc33;华中科技大学基金项目"一元算符理论研究"RWZD1213
2013-05-27(万方平台首次上网日期,不代表论文的发表时间)
共11页
1-10,20