一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑
- 期刊名字:华中科技大学学报(社会科学版)
- 文件大小:
- 论文作者:万小龙
- 作者单位:华中科技大学哲学系
- 更新时间:2022-05-05
- 下载次数:次
论文简介
狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数.由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数.其他的二真值一元非函数由且仅由这16个一元算符叠置所形成.那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究.模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质.任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个“□”,使得形成一组经典定理.
论文截图
版权:如无特殊注明,文章转载自网络,侵权请联系cnmhg168#163.com删除!文件均为网友上传,仅供研究和学习使用,务必24小时内删除。
热门推荐
-
C4烯烃制丙烯催化剂 2022-05-05
-
煤基聚乙醇酸技术进展 2022-05-05
-
生物质能的应用工程 2022-05-05
-
我国甲醇工业现状 2022-05-05
-
JB/T 11699-2013 高处作业吊篮安装、拆卸、使用技术规程 2022-05-05
-
石油化工设备腐蚀与防护参考书十本免费下载,绝版珍藏 2022-05-05
-
四喷嘴水煤浆气化炉工业应用情况简介 2022-05-05
-
Lurgi和ICI低压甲醇合成工艺比较 2022-05-05
-
甲醇制芳烃研究进展 2022-05-05
-
精甲醇及MTO级甲醇精馏工艺技术进展 2022-05-05