国家社会科学基金(02CZX008)

作品数：5被引量：13H指数：1
导出分析报告
相关作者：杜国平更多>>
相关机构：南京大学南京航空航天大学更多>>
相关期刊：《自然辩证法研究》《哲学研究》《哈尔滨工业大学学报》《逻辑学研究》更多>>
相关主题：形式语义信息挖掘经典逻辑逻辑系统逻辑规律更多>>
相关领域：哲学宗教理学自动化与计算机技术更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-5
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
知识蕴涵逻辑系统被引量：7
《逻辑学研究》2008年第2期80-98,共19页杜国平 
国家社会科学基金项目(02CZX008);国家自然科学基金项目(No.60575038)
使用经典逻辑对海量知识系统进行分析处理和信息挖掘需要解决的关键问题之一就是司各脱法则问题。司各脱定理表明,矛盾蕴涵一切,如果一个知识系统包含着相互矛盾的信息,那么任何命题都将成为这个系统的推论。基于对蕴涵的一般认识,可以...
关键词：知识系统 逻辑系统 信息挖掘 经典逻辑 问题提出 逻辑规律 形式语义 
可拓策略存在性被引量：2
《哈尔滨工业大学学报》2006年第7期1091-1093,1107,共4页杜国平 
国家社会科学基金(02CZX008).
对于∑和A不相容之矛盾问题的解决在经典命题逻辑的范围内是无法实现的,而在可拓逻辑的框架下这是可能的．首先定义了变换、可拓变换、解悖变换等概念,在此基础上,证明了增加型变换、蕴涵型变换和删减型变换化矛盾问题为相容问题的可能...
关键词：矛盾问题 变换 可拓变换 解悖变换 
反证法与归谬法的现代分析被引量：3
《自然辩证法研究》2005年第3期48-51,共4页杜国平 
国家社科基金项目(02CZX008);南京大学引进人才基金项目;南京大学川青年教育基金项目。
本文以现代命题逻辑为分析工具,证明了:在正命题逻辑系统的基础上,反证法的证明能力强于归谬法,它们之间相差一个双重否定律;归谬律与不矛盾律加上充分条件否定后件律相等价;反证律与不矛盾律、排中律、充分条件否定后件律加上选言推理...
关键词：反证法 归谬法 正命题逻辑系统 排中律 不矛盾律 
显示法证明分析被引量：2
《哲学研究》2004年第6期91-95,共5页杜国平 
国家社科基金(02CZX008);南京大学引进人才基金;南京大学笹川青年教育基金
亚里士多德在建立三段论理论系统的过程中，明确提出了三种证明方法：化归法(换位法)、归谬法和显示法(王路)。其中，化归法和归谬法在三段论证明中的作用已世所公认，但是对显示法证明(proofs by exposition)的作用，长期以来人们一直...
关键词：显示法 亚里士多德 三段论理论 逻辑思维 
命题逻辑语法完全性问题
《浙江社会科学》2004年第1期156-160,共5页杜国平 
国家社科基金项目 ( 0 2CZX0 0 8);南京大学引进人才基金项目;南京大学笹川青年教育基金项目
本文对学界普遍认可的命题逻辑语法完全性问题重新进行分析 ,认为 :命题逻辑的语法完全性在逻辑上是一个关于形式系统和语义模型之间关系的二元谓词 ,是与具体的命题逻辑形式系统联系在一起的 ;指出 :公理数有限、有代入规则的命题逻辑...
关键词：命题逻辑 语法完全性 形式系统 公理模式 分离规则 代入规则 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部