一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑

• 作 者: 万小龙
• 机 构: 华中科技大学哲学系
• 出 处: 华中科技大学学报：社会科学版
• 发表日期: 2012年3期
• 关键词: 狭义一元算符 经典二元真值函数 K-1 K-2 non-truth-function modal axiom schemas K - 1 K - 2
• 基金项目: 国家留学基金（学号200635015）项目, 国家社科基金项目（2007zxc49）

狭义函数相对论基本原理：对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二