国家留学基金(200635015)
- 作品数：5 被引量：9H指数：3
- 相关作者：万小龙李福勇田雪兰智高陈明益更多>>
- 相关机构：华中科技大学黄冈师范学院更多>>
- 发文基金：国家社会科学基金国家留学基金更多>>
- 相关领域：哲学宗教自然科学总论更多>>
- 经典逻辑反真值函数初探——一元逻辑算符是否可能穷尽?
- 仿照相对论,狭义的经典反真值函数逻辑是形式化辩证逻辑,在形式化辩证逻辑体系中有两个基本公理:矛盾关系转换中一切概念的性质属性的不变性;否定之否定的'蕴涵为真'形式不变性。广义的经典反真值函数逻辑是一元算符逻辑。一元算符逻...
- 万小龙
- 一元算符逻辑理论四探——毕克霍夫-冯·诺依曼量子逻辑存疑被引量：2
- 2013年
- 冯.诺依曼和毕克霍夫创立的量子逻辑是关于量子力学的测量语言的逻辑,它被认为揭示了弱于经典否定关系的正交补关系、经典逻辑的分配律不再适用的量子析取性和二值逻辑不再够用的偏序性,并由此发展出跨学科的一个研究传统和几个学派。文章基于"一元算符逻辑理论"而认为:量子逻辑至少在运用格论表示其量子析取的非分配性时不自洽,但认为量子逻辑仍是一个十分重要的学术尝试。
- 万小龙兰智高陈明益
- 关键词：量子逻辑
- 一元算符逻辑理论三探——狭义函数相对论视野下的现代模态逻辑被引量：3
- 2012年
- 狭义函数相对论基本原理:对于任意二真值的逻辑变量p和由任意一元算符H与p所形成的二真值变量Hp,无论Hp是否为p的真值函数,它总会等值于p和独立于p的另一二真值变量q所形成的一个真值函数。由于有且仅有16个二真值二元函数式和有且仅有16个相应的基本二真值二元函数,所以有且仅有16个一元算符和有且仅有16个相应的基本二真值一元非函数。其他的二真值一元非函数由且仅由这16个一元算符叠置所形成。那么可进一步认为现代模态逻辑公理其实是按一阶逻辑对经典二真值函数做分类研究。模态命题逻辑中任一可能世界集W仅对应一组二元真值函数,相应的可能世界间的关系R就是这组函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数(式)按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。
- 万小龙
- 经典逻辑命题联结词的泛函分析初探——一元算符是否可能穷尽?被引量：4
- 2011年
- 如果视"一元算符"为"二元函数为真的反真值函数式",那么可以从原子命题递归地得到16个一元算符;如果视"蕴涵为真"等价于一种"推理有效",那么由于{┑,→}的函数完全性,可以从"蕴涵为真的反真值函数"定义相应的其他15个直观的算符并且{┑,∧,H4}是完全集。尽管完备的一元算符理论还有待进一步探索,但至少说明作为泛函的反真值函数并非不可能用真值表判定,而且已经能尝试地判定一些问题。
- 万小龙
- 关键词：量子逻辑
- 一元算符逻辑理论二探——一元算符完全性视野下的道义逻辑研究被引量：4
- 2012年
- 如果视"一元算符真值表"已经穷尽了所有的经典与非经典一元算符,或者视{﹁,→,H4}是完全集,并且结合人文科学中广泛存在的关于价值判断的两种不同表述和自然语言的相应特点,那么,道义逻辑应该包括关于道德"善"的逻辑和具有自然语法局限性的关于义务"规范"的逻辑。前者的关键道德命题是"应该A即A不可能不善",后者的关键规范命题是"义务A即非A不可能合规范"。道义逻辑就可以完美地还原为一元算符逻辑,而且能够消除一些典型的道义悖论。
- 万小龙李福勇田雪
- 关键词：道义悖论禁止
- 现代模态逻辑的形式分析初步——魔态羽翼的跨世界逃逸与“刑师”分析下的在劫难逃
- 2012年
- 现代模态逻辑其实是按一阶逻辑公理和规则对经典真值函数做分类研究。模态命题逻辑中任一个可能世界集W仅表示与某一公理模式相应的一组二真值函数,相应的可能世界间的关系R就是这组真值函数共有的一种集合性质。任一公理模式在一框架内有效,就是将属于W的每个真值函数式按K-2分别依次代入该公理模式中的每一个"□",使得形成一组经典定理。
- 万小龙
