限悖论逻辑Lpm的命题演算

来源 :中山大学学报论丛 | 被引量 : 0次 | 上传用户:jayslacker
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
限悖论逻辑(有时简称为悖论逻辑)Lpm是一种对悖论中的矛盾进行限制的逻辑。其中L表示逻辑,P表示悖论,而m表示极小化,极小化意味着限制。这里,限制矛盾的基本手法是次协调逻辑。我们说,限悖论逻辑Lpm建立的目的,正是为了消解布尔、弗雷格(BF)的经典逻辑BF中引入矛盾命题后,可以推出任意命题(这称为句法的无意义化或平庸化)这样一个难题,同时又保持BF逻辑中对联词的原有相互定义方式(这种方式受到很多人的欢迎)。Lpm由Priest首先提出语义模型,它对证明论的经典形式曾作为挑战性问题而存在。就限悖论逻辑Lpm
其他文献
冷战结束后 ,中国政府根据国际国内局势的变化 ,对国家利益和对外目标进行了及时的、全面的调整 ,对中国的发展有利的国际环境的努力已经形成。
《仁峰文集》记载了明中叶徽州社会的政治、经济和社会生活等方面的丰富内容。政治方面体现在赋役制度的改革和保甲制度的建立;经济方面表现为徽商的发展与儒商的兴起;社会生活
比较分析了户籍改革的二元制度模式、一元制度模式、流动户口制度模式,认为一元制度模式既有实施的必要性又有操作的可行性。基于我国户籍改革的现实困境,提出实现户籍一元化
从各校的情况来看,商法学课程存在着教学时数相对不足、课程体系松散庞杂、教材建设缺乏统一性等特点,同时,商法学课程教学内容具有独特性。应当本着注重学生法律思维和实务
论述了信息检索技术的含义和特点,以现阶段高校图书馆的任务和作用为基础,分析了高校图书馆对于信息检索技术的需求,提出了当前信息检索技术在高校图书馆的几种主要应用方向
2009年4月19日~20日.贵阳勘测设计研究院“索风营水电站狭窄河谷RCC重力坝筑坝技术研究”及“索风营水电站地下厂房结构新技术研究及应用”两项科研成果.通过由表及里贵州省科技
从国际航空公约规定、司法实践看,国际航空货物运输期间的主要判断标准是承运人对货物的掌管;在实践中,应考察当事人的约定、承运人对货物的控制等两方面因素,综合判断承运人
自19世纪中叶以来,中国传统的儒家伦理文化受到巨大的冲击和挑战,表现出和社会变革的极大不协调和不适应性。在实现社会现代化的今天,儒家伦理文化既是我们的资源,也更是我们的负
形成于20世纪20年代的美国自然主义体育思想是一种融人性化、自然化、生活化和科学化为一体的崭新的体育思想,对"五四新文化运动"后我国近代学校体育产生过巨大的影响,对新时
高等学校系级办公室是综合性管理机构,担负着行政、教学、科研、后勤等管理工作,是连接学校和各职能部门、基层单位以及广大师生的枢纽。学校及各级领导的决策能否落实,取决于办