教育部人文社会科学重点研究基地度重大研究项目(07JJD720045)

作品数：19被引量：42H指数：3
导出分析报告
相关作者：王健平胡泽洪熊明周祯祥晋荣东更多>>
相关机构：华南师范大学中山大学华东师范大学燕山大学更多>>
相关期刊：《华东师范大学学报（哲学社会科学版）》《湖南科技大学学报（社会科学版）》《世界哲学》《哲学研究》更多>>
相关主题：逻辑说谎者悖论指称模态逻辑冗余更多>>
相关领域：哲学宗教自然科学总论政治法律经济管理更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
论模态谓词逻辑的“非指称”问题——基于自由逻辑的考察被引量：3
《哲学研究》2011年第1期101-106,共6页胡泽洪 邓雄雁 
教育部人文社会科学重点研究基地重大项目"现代逻辑背景下的逻辑哲学问题研究"(编号07JJD720045)的阶段性成果
关键词：模态逻辑 谓词逻辑 自由 指称 命题逻辑 一阶逻辑 逻辑学家 
亚里士多德分析理论的现代启迪
《自然辩证法研究》2011年第1期1-6,共6页王健平 
教育部人文社会科学规划项目<指称问题研究>(08JA72040001)的阶段成果;教育部人文社会科学重点研究基地重大项目<现代逻辑背景下的逻辑哲学研究>(07JJD720045)的资助
对语言意义的分析古希腊就已开始。亚里士多德用"分析能力"表示自己的主张,其分析的初始环节是语词分析。《范畴篇》通篇讨论语词的涵义与指称。作为命题主词,亚氏的"第一实体"与弗雷格的"对象"表面类似,实质不同。亚氏关于第二实体可...
关键词：分析 指称 存在 
斯穆里安合并记法的一种变形
《华南师范大学学报（社会科学版）》2010年第3期107-111,共5页熊明 
广东省优秀青年创新人才培育项目(WYM08064);教育部人文社会科学重点研究基地重大项目"现代逻辑背景下的逻辑哲学问题研究"(07JJD720045)
公式按照其语义特征可被合并为实质蕴涵型公式和荒谬蕴涵型公式,由此任何一个公式都可被分解为前件和后件两个部分。这一合并简化了斯穆里安著名的合并记法。就这一新的合并记法,提出了两种结构归纳证明,建立了一个希尔伯特型古典逻辑系...
关键词：公式 斯穆里安合并记法 结构归纳法 实质蕴涵 荒谬蕴涵 
真之收缩论述评被引量：2
《世界哲学》2010年第3期129-137,共9页彭媚娟 胡泽洪 
2007年度教育部重点研究基地重大项目"现代逻辑背景下的逻辑哲学问题研究"(07JJD720045)的资助
真之收缩论是关于"真的收缩处理的理论",其目的在于降低对传统真理论的高期望,主要包括冗余论、代语句理论、极小主义理论等。它们的共同点在于认为真是没有本质的,但在对真的具体解释上则存在不同的角度和方法。收缩论者并非认为"真的...
关键词：真 收缩论 冗余论 代语句理论 极小主义理论 
试论非经典逻辑在人工智能中的应用
《燕山大学学报（哲学社会科学版）》2010年第2期139-141,共3页张汉生 陈国亮 
教育部人文社会科学重点研究基地2007年度重大项目"现代逻辑背景下的逻辑哲学研究"(07JJD720045)资助
目前计算机科学以惊人的速度不断发展,作为其核心分支的人工智能研究也取得了很大的突破。在成就的背后,逻辑学是推动其前进的主要动力。本文重点探讨非经典逻辑在人工智能中的具体应用。
关键词：非经典逻辑 人工智能 应用 
论语句真之所指
《学术研究》2010年第2期36-42,共7页王健平 
教育部人文社会科学规划项目"指称问题研究"(08JA72040001);教育部人文社会科学重点研究基地重大项目"现代逻辑背景下的逻辑哲学研究"(07JJD720045)的阶段性成果
塔尔斯基的语义性真理定义标准仅用一个被指称的语句来说明名称语句之真,(T)公式虽然在语言范围内反映了"X"与"p"的不同层次,但并不能说明语句的真假。按照弗雷格的观点,"X是真的"和"p"实际是同一个东西。类似于"p当且仅当p"这样的分析...
关键词：语句 真 事实 
从言模态和从物模态的联系、区别及其哲学意义
《云南师范大学学报（哲学社会科学版）》2010年第1期59-62,共4页张家龙 
教育部人文社会科学重点研究基地重大项目<现代逻辑背景下的逻辑哲学研究>(项目批准号07JJD720045)的阶段性成果
从言模态和从物模态是模态逻辑中一个重要的理论问题,本文从亚里士多德的模态理论开始直到现代模态谓词逻辑进行了考察,阐明了从言模态和从物模态的联系、区别及其哲学意义,揭示了模态逻辑是一种本质主义的逻辑。
关键词：从言模态 从物模态 模态逻辑 本质主义 
塔斯基定理的一种推广被引量：3
《逻辑学研究》2010年第1期73-88,共16页熊明 
广东省优秀青年创新人才培育项目(育苗工程项目;编号:WYM08064);教育部人文社会科学重点研究基地重大项目(批准号:07JJD720045)
当把塔斯基对真概念提出的T-模式拓展到有向图上,塔斯基定理成立与否取决于归谬过程中使用的悖论及有向图的特征。本文证明了在使用说谎者悖论证明塔斯基定理时,在并且仅在有向图中含有奇循环时,说谎者悖论才会导致矛盾;在使用佐丹卡片...
关键词：有向图 佐丹卡片悖论 说谎者悖论 塔斯基定理 T-模式 
对辩证思维方法的逻辑考察被引量：3
《华南师范大学学报（社会科学版）》2009年第4期15-20,共6页王健平 
教育部人文社会科学规划项目"指称问题研究"(批准号:08JA72040001);教育部人文社会科学重点研究基地重大项目"现代逻辑背景下的逻辑哲学研究"(批准号:07JJD720045)
表述辩证法与辩证思维方法的语言应该具有清晰的涵义和明确的指称。辩证的分析和综合集中体现了辩证思维的特点,其主要目的是从事实出发分析和综合事物的矛盾。抽象上升到具体、逻辑和历史统一的主要目的是进行概念的辩证推演。这种推...
关键词：辩证思维方法 矛盾 逻辑推演 
逻辑的经验性与先验性——从蒯因到冯契被引量：2
《华东师范大学学报（哲学社会科学版）》2009年第2期21-26,共6页晋荣东 
教育部人文社会科学重点研究基地重大项目(编号为07JJD720045);上海市哲学社会科学规划课题(编号为2007BZX002)
蒯因经验论的逻辑观既没有阐明逻辑与经验发生联系的具体途径,也没有解释最小伤害准则何以造成了逻辑的先验性。基于概念摹写与规范现实的双重作用,冯契对此进行了更为全面和深入的考察,主要表现在:区分了"逻辑"所包含的思维逻辑、逻辑...
关键词：逻辑 经验性 先验性 蒯因 冯契 
全选清除导出
共2页<12>
检索报告 对象比较 聚类工具 使用帮助 返回顶部