国家社会科学基金(04BZX047)

作品数：7被引量：10H指数：3
导出分析报告
相关作者：李娜郝旭东魏燕侠张莉敏更多>>
相关机构：南开大学更多>>
相关期刊：《自然辩证法研究》《现代哲学》《学术论坛》《逻辑学研究》更多>>
相关主题：次协调逻辑矛盾律逻辑哲学模态逻辑布尔值模型更多>>
相关领域：哲学宗教理学更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-7
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
一个含有原子的自然模型∑(A)
《逻辑学研究》2008年第3期41-50,共10页李娜 
国家社会科学基金项目(04BZX047)
1989年A.Blass和A.Scedrov构造了含有原子的模型V(A)(A是所有原子的集合,参见文献)并证明了V(A)是ZFA(ZFA=ZF+A,公理A断言:存在所有原子的集合)的模型。由于集合论的公理系统GB是ZF的一个保守扩充,因此,集合论的公理系统GBA(GBA=GB+A,其...
关键词：原子 公理系统ZFA 公里系统GBA 模型V(A) 模型∑(A) 
国内模态逻辑哲学问题研究述评被引量：3
《自然辩证法研究》2007年第11期20-24,共5页李娜 魏燕侠 
国家哲学社会科学基金项目(04BZX047)
针对模态逻辑哲学的主要研究内容——模态逻辑和哲学的关系、模态逻辑的合法性论争、可能世界问题以及模态语境问题等,本文述评了国内学者陈波、张家龙等人的观点。笔者认为随着一些模态逻辑技术为国内学者所掌握,更多的模态逻辑哲学问...
关键词：模态逻辑 模态逻辑哲学 
试论“真矛盾”及次协调逻辑的哲学价值被引量：4
《现代哲学》2006年第6期73-76,共4页李娜 郝旭东 
国家哲学社会科学基金项目(04BZX047)阶段性成果。
二十世纪后期以来,再也没有哪一种逻辑像次协调逻辑那样,在取得丰富研究成果的同时,也领略到了极为尖锐的批判,仿佛其本身就是一种意味深长的“矛盾”。依照次协调逻辑“真矛盾”的观点所构建的次协调逻辑系统,夷非所思地试图要容纳我...
关键词：次协调逻辑 辩证法 矛盾律 逻辑哲学 
次协调逻辑及其带来的逻辑哲学问题被引量：3
《学术论坛》2005年第10期18-21,共4页李娜 郝旭东 
国家哲学社会科学基金项目(04BZX047)
次协调逻辑在人工智能领域的应用卓有成效。它可以在系统中容忍不平庸的矛盾,同时又限制这种矛盾使之不会在系统中扩散,从而使得“矛盾可以推出一切”的后果不会在系统内发生。这个目标是依靠弱化否定词的经典含义和削弱矛盾律的作用,...
关键词：否定词 矛盾律 次协调逻辑 逻辑哲学 
模态系统P_1的协调性
《信阳师范学院学报（哲学社会科学版）》2005年第3期15-19,共5页李娜 
国家哲学社会科学基金项目(04BZX047)
本文证明模态系统P1的协调性。为此,首先证明严格蕴涵系统S1的协调性(用布尔值模型方法);其次证明模态系统P和严格蕴涵系统S等价。
关键词：严格蕴涵系统 协调性 布尔值模型 等价性 
论奎因对模态逻辑的批判
《贵州师范大学学报（社会科学版）》2005年第1期16-19,共4页张莉敏 
国家社科基金项目(04BZX047)
模态逻辑一经产生,就遭到奎因的质疑。奎因认为,模态概念无论在逻辑上还是在哲学上其正确性都值得怀疑。他甚至认为模态逻辑是多余的,应予以抛弃。通过对奎因批判模态逻辑的背景和理论进行分析,文章认为奎因对模态逻辑的批评在观念上和...
关键词：奎因 模态逻辑 批判 
模态系统S4.1的协调性
《苏州科技学院学报（自然科学版）》2004年第2期13-16,共4页李娜 
国家社会科学基金(04BZX047);天津市"十五"社科研究规划2003年度项目(TJ03-ZX009)
文献眼7演证明了严格蕴涵系统S4的协调性,本文证明在严格蕴涵系统S4的基础上增加公理M所得到的系统S4.1的协调性。
关键词：严格蕴涵系统 协调性 布尔值模型 等价性 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部