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

发布时间：2018-01-15 19:28

  本文关键词：一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑　出处：《华中科技大学学报(社会科学版)》2012年03期 　论文类型：期刊论文

  更多相关文章： 狭义一元算符 经典二元真值函数 K- K-

【摘要】：狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。
[Abstract]:The basic principle of special function relativity: for the logical variable p of arbitrary binary truth value and the binary truth variable HP formed by any univariate operator H and p, whether HP is a true function of p or not. It is always equivalent to a truth function formed by p and the other binary truth variable Q independent of p, because there are and only 16 binary binary functions with binary binary values and only 16 corresponding binary functions with basic binary values. Therefore, there are only 16 unary operators and only 16 basic binary value unary functions. The other binary value unary functions are formed by and only by the superposition of these 16 unary operators. It is considered that the axiom of modern modal logic is to classify classical two-truth functions according to first-order logic, and that any set of possible worlds W in modal propositional logic only corresponds to a set of binary truth functions. The corresponding relation between the possible worlds R is a set property shared by this set of functions. Any axiomatic model is valid within a framework. That is to put each truth function (formula) belonging to W into each "-" of the axiom pattern according to K-2, so as to form a set of classical theorems.
【作者单位】： 华中科技大学哲学系;
【基金】：国家留学基金(学号200635015)项目 国家社科基金项目(2007zxc49)
【分类号】：B815.1
【正文快照】： 本文仅研究二真值的非函数,而把非二真值的非函数留在“3+N探”讨论。类比爱因斯坦提出“同时性的相对性原理”,本文先提出狭义函数相对论的基本原理“对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的

【参考文献】

中国期刊全文数据库 前2条

1 万小龙;;经典逻辑命题联结词的泛函分析初探——一元算符是否可能穷尽?[J];安徽大学学报(哲学社会科学版);2011年06期

2 莫绍揆;多值函数新论[J];南京大学学报(自然科学版);1998年01期

【共引文献】

中国期刊全文数据库 前4条

1 万小龙;李福勇;田雪;;一元算符逻辑理论二探——一元算符完全性视野下的道义逻辑研究[J];安徽大学学报(哲学社会科学版);2012年03期

2 万小龙;李福勇;;量子逻辑、量子悖论与量子疑难[J];湖北大学学报(哲学社会科学版);2012年05期

3 万小龙;;现代模态逻辑的形式分析初步——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃[J];淮阴师范学院学报(哲学社会科学版);2012年03期

4 M.斯托克霍夫;马明辉;;意义的体系——维特根斯坦的《逻辑哲学论》与形式语义学[J];世界哲学;2009年02期

中国重要会议论文全文数据库 前2条

1 万小龙;陈明益;;“魔态”语义的跨世界逃逸与“刑师”分析下的在劫难逃——狭义函数相对论视野下的现代模态逻辑[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

2 田雪;万小龙;陈明益;;狭义函数相对论视野下的道义逻辑与道义悖论解析[A];第八届全国分析哲学研讨会论文集（上）[C];2012年

【二级参考文献】

中国期刊全文数据库 前5条

1 杜国平;;哲思逻辑——一个形而上学内容的公理体系[J];东南大学学报(哲学社会科学版);2007年04期

2 莫绍揆;多值函数与复变函数[J];工科数学;1988年03期

3 陈晓平;;辩证逻辑与形而上学——兼析形式系统Z的辩证法含义[J];华南师范大学学报(社会科学版);2005年05期

4 杜国平;;经典逻辑视野中的弗协调逻辑[J];华南师范大学学报(社会科学版);2007年05期

5 桂起权,陈晓平;辩证逻辑形式化的研究纲领[J];云南社会科学;1992年05期

，

本文编号：1429739