典型文献
卢卡锡维茨Ł3系统的最低限度隐变量解释
文献摘要：
一般认为卢卡锡维茨?3系统中的排中律与(不)矛盾律都不成立,对此有许多不同解释.按照STRF理论的简化、等值与增力的"三合一"极致原则,在完全接受?3句法和维持其已有语义的前提下,更深层次上"第三真值"这个逻辑常量其实是一个严格等价隐变量,也即"1/2"真其实是"真与并非真"的一种组合,但同一组合有不同排列,甚至同一个真值度存在不同的真值分布.显然由此可计算出?3中的排中律与(不)矛盾律仍然都是定理,?3当然是完全的,不过就是没被彻底认识的经典命题逻辑系统CP.
文献关键词：
Ł3系统;排中律;(不)矛盾律;最低限度语义隐变量
中图分类号：
作者姓名：
万小龙;徐亮
作者机构：
电子科技大学马克思主义学院 四川 成都611731;华中科技大学哲学学院 湖北武汉 430074
文献出处：
引用格式：
[1]万小龙;徐亮-.卢卡锡维茨Ł3系统的最低限度隐变量解释)[J].安徽大学学报（哲学社会科学版）,2022(05):32-40
A类：
STRF,最低限度语义隐变量
B类：
卢卡,维茨,排中律,矛盾律,等值,三合一,极致,句法,真值,常量,实是,等价,同排,同一个,值分布,可计算,命题逻辑,逻辑系统,CP
AB值：
0.34275
相似文献
机标中图分类号，由域田数据科技根据网络公开资料自动分析生成，仅供学习研究参考。
