检索结果-南通市图书馆

大庆师专学报 1991年第4期 32-35页

作者：郑忠智

维普期刊数据库评论

在线全文

维普期刊数据库

学校读者我要写书评

暂无评论

悖论研究观点述评

安徽大学学报（哲学社会科学版） 1992年第1期16卷 107-112页

作者：鲁林宜春

悖论是一个古老而又年轻的问题,也是困扰科学和人类思维的难题之一。把悖论作为一个相对独立的范畴进行深入的研究,是现代悖论学说史上的一个重要课题。如果从“罗素悖论”的发现算起,那么,至今在西方学术界的悖论研究已有90年的历史了... 详细信息

悖论是一个古老而又年轻的问题,也是困扰科学和人类思维的难题之一。把悖论作为一个相对独立的范畴进行深入的研究,是现代悖论学说史上的一个重要课题。如果从“罗素悖论”的发现算起,那么,至今在西方学术界的悖论研究已有90年的历史了。近年来我国学术界不少人越来越关注悖论的研究,其中有一部分学者还就悖论问题专门进行了深入的思考或重新探讨,出版了几本悖论研究的专著和发表了数十篇论文。现将其中的一些主要观点作一简述和评析。

关键词：辩证矛盾相对独立语义悖论罗素悖论逻辑悖论学术界矛盾命题主要观点制约逻辑说谎者悖论

在线全文

学校读者我要写书评

暂无评论

用CERLEL方法表达知识

贵州大学学报（自然科学版） 1990年第4期7卷 222-231页

作者：蒋学锋贵州大学计算机科学系

本文简单介绍了ER模型(美国数据库专家***教授的实体—关系模型),强调了用它描述客观世界,尤其是面向结构对象知识的可行性。接着阐述了知识表示中用我国杰出的逻辑学家林邦谨的制约逻辑(简称LEL)取代正统数理逻辑的必要性和可能性。最... 详细信息

本文简单介绍了ER模型(美国数据库专家***教授的实体—关系模型),强调了用它描述客观世界,尤其是面向结构对象知识的可行性。接着阐述了知识表示中用我国杰出的逻辑学家林邦谨的制约逻辑(简称LEL)取代正统数理逻辑的必要性和可能性。最后作者提出了一种通用的知识表示模式——CERLEL方法(实体—关系模型和制约逻辑相结合的方法)。提出CERLEL方法的目的是为知识库系统的设计提供一种通用工具。

关键词：制约逻辑实体关系模型知识表示

在线全文

学校读者我要写书评

暂无评论

客观世界的原子事件

贵州大学学报（自然科学版） 1991年第1期8卷 59-64页

作者：龚启蒙贵州大学哲学系贵阳550025

本文给出了原子命题的详细而又符合客观实际的制约逻辑语义学解释。所谓原子命题就是关于客观世界的原子事件的思考;原子事件分闭原子事件和开原子事件两大类。论文深入剖析了原子事件的逻辑结构和逻辑规律。

关键词：客观世界原子事件制约逻辑

在线全文

学校读者我要写书评

暂无评论

C_m命题演算的定理机器证明系统

辽宁大学学报（自然科学版） 2019年第1期46卷 31-37页

作者：张伟东北大学计算机科学与工程学院辽宁沈阳110169

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定... 详细信息

C_m系统是制约逻辑的命题演算系统,但是其推导定理的过程可否由图灵(计算机)算法完成尚未得到明确的结论.研究证明了C_m的公式集是递归可枚举集,并且给出了一个递归枚举算法,该算法能够对任一给定的实际可证的C_m式在有限的步骤内判定它属于C_m可证公式集.并给出了C_m命题演算系统的一个定理机器证明系统.因此证明了C_m系统至少是半可判定的.

关键词： Cm系统制约逻辑可计算性定理机器证明

在线全文

学校读者我要写书评

暂无评论

管窥充分条件假言命题

重庆工学院学报（社会科学版） 2009年第3期23卷 33-35页

作者：马赛胡红贵州大学人文学院贵阳550025

数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑... 详细信息

数理逻辑干扰了传统逻辑,传统逻辑中的充分条件假言命题受此影响也发生了变化,特别是真值表的引入,改变了充分条件假言命题的真假的判断标准,还影响到它的定义。而数理逻辑中的充分条件假言命题实际上是实质蕴涵命题,而只有到了制约逻辑,充分条件假言命题才得以刻画清楚。

关键词：充分条件关系假言命题形式逻辑数理逻辑制约逻辑

在线全文

学校读者我要写书评

暂无评论

所谓“1=0”等结论的证明

所谓“1=0”等结论的证明

制约关系“两独”在刑事案件事实认定中的运用

贵州制约逻辑学会2013年“获取新知”专题研讨会——弘扬获取新知的思想开发振兴贵州的智慧

作者：盛作国贵阳学院华东师范大学

制约逻辑曾为一部分人所误解。批评者认为:制约逻辑不可能定义"必然"、"可能"这类概念;制约逻辑名词演算Cn系统可以证明"可能"与"必然"互制;制约系统包含"怪论";关于初等数论的形式系统N可以证明1=0,而N的第一条公理就是1≠0,所以N是不... 详细信息

制约逻辑曾为一部分人所误解。批评者认为:制约逻辑不可能定义"必然"、"可能"这类概念;制约逻辑名词演算Cn系统可以证明"可能"与"必然"互制;制约系统包含"怪论";关于初等数论的形式系统N可以证明1=0,而N的第一条公理就是1≠0,所以N是不一致的(即矛盾的)。为澄清事实、消除误解,特撰此文,以正视听。

关键词：制约逻辑名词演算系统Cn 关于初等数论的形式系统N 数学归纳公理正统数理逻辑

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

制约关系“两独”在刑事案件事实认定中的运用

贵州制约逻辑学会2005年学术年会暨首届全国性逻辑系统专题研讨会

作者：葛宇宁张四化贵州大学人文学院

对于案件事实的正确认定是我们适用法律形成判决的基石。然而,在案件事实认定中,传统形式逻辑的充分条件假言推理这一逻辑工具存在着固有的缺陷,需要我们用制约逻辑对制约关系两个独立性的刻划来完善它,从而使我们的法官正确顺利地完成... 详细信息

对于案件事实的正确认定是我们适用法律形成判决的基石。然而,在案件事实认定中,传统形式逻辑的充分条件假言推理这一逻辑工具存在着固有的缺陷,需要我们用制约逻辑对制约关系两个独立性的刻划来完善它,从而使我们的法官正确顺利地完成案件事实认定工作,为正确判决的生成打下基础。

关键词：案件事实认定制约逻辑两个独立性

来源： cnki会议评论

在线全文

cnki会议

学校读者我要写书评

暂无评论

宇宙智能、人类智能、人工智能

贵州大学学报（自然科学版） 2002年第1期19卷 59-63页

作者：龚启荣林邦瑾贵州大学信息管理系贵州贵阳550025 中国制约逻辑学会北京100050

在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制 ,这便是“宇宙智能” ,人认识后便是从已知进入新知这客... 详细信息

在半个世纪内先后出现的“认知模拟”、“人机合一”都不是真正的“人工智能”正确的指导方针宇宙具有按一定的逻辑结构、逻辑规律由已有事件向新事件必然过渡的逻辑运演机制 ,这便是“宇宙智能” ,人认识后便是从已知进入新知这客观的必然过渡就是客观的“制约关系” 人类、机器按各自能实现的方式去摹写、模拟宇宙智能 ,便分别是“人类智能”、“人工智能” 人工智能的基础装置是基于制约逻辑的内涵智能机 ,其硬件的核心元件是能模拟客观的制约关系的“制约门”

关键词：宇宙智能人类智能人工智能制约关系制约逻辑内涵智能机制约运演机制

在线全文

学校读者我要写书评

暂无评论

浅析说谎者悖论

中共贵州省委党校学报 2011年第1期 106-107页

作者：李国富中共贵州省委党校贵州贵阳550028

说谎者悖论是一个古老的悖论。本文以制约逻辑为工具,先定义事件和命题,在此基础上分析语句与命题和事件的关系,从而证明说谎者悖论的实质只是含有空词的不指谓事件的空话。

关键词：制约逻辑事件命题悖论