国家社会科学基金(13BZX068)

作品数：6被引量：2H指数：1
导出分析报告
相关作者：胡泽洪邓雄雁秦波更多>>
相关机构：华南师范大学贵州师范大学更多>>
相关期刊：《世界哲学》《学术研究》《华南师范大学学报（社会科学版）》《逻辑学研究》更多>>
相关主题：词项模态逻辑自由逻辑弗雷格模态更多>>
相关领域：哲学宗教更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-6
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
自由模态逻辑及其表列系统
《学术研究》2017年第8期18-22,共5页胡泽洪 邓雄雁 
国家社会科学基金项目"自由逻辑及其相关哲学问题研究"(13BZX068)的研究成果
"空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,...
关键词：表列系统 自由逻辑 模态逻辑 空词项 
经典逻辑、自由逻辑与空词项
《世界哲学》2017年第3期153-159,共7页胡泽洪 邓雄雁 
国家社会科学基金项目"自由逻辑及其相关哲学问题研究"(项目编号:13BZX068)的成果
经典逻辑与自由逻辑都涉及空词项问题。经典逻辑对空词项采取的是一种否定的态度,它要求命题的"主词非空",在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在一起。自由逻辑把空词项视为合法的逻辑词项,允许含有空词项的...
关键词：经典逻辑 自由逻辑 空词项 存在问题 
三值自由模态逻辑FML被引量：1
《华南师范大学学报（社会科学版）》2016年第1期176-181,192,共6页胡泽洪 邓雄雁 
国家社会科学基金项目"自由逻辑及其相关哲学问题研究"(13BZX068)
FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指(空词项)则包含该词项的简单句子无所指(即无真值),FML的偏函数语义模型体现了这一思想。通过借鉴普利斯特的一度衍推系统和菲汀的抽象谓词思想,FML系...
关键词：空词项 一度衍推 抽象谓词 模态逻辑 
谓词抽象和“弗雷格之谜”
《学术研究》2014年第10期23-28,159,共6页邓雄雁 秦波 胡泽洪 
国家社会科学基金项目"自由逻辑及其相关哲学问题研究"(13BZX068)的阶段性成果
弗雷格认为"相等"问题需要考虑涵义和意谓两个因素,这个问题包含相等的必然性、同一保真替换有效性和空词项三方面的问题。这些之所以成为问题,原因在于缺乏一个有效手段对"相等"的从言和从物形式进行区分,并误认为内涵和外延是截然对...
关键词：弗雷格 相等 从言模态 从物模态 谓词抽象 
谓词抽象和模态谓词逻辑的合法性被引量：1
《世界哲学》2014年第2期139-145,共7页邓雄雁 胡泽洪 
国家社会科学基金项目"自由逻辑及其相关哲学问题研究"(13BZX068);广东省哲学社会科学规划学科共建项目"现代逻辑视野中的当代真理论"(GD11XZX01);广东省优长学科;特色学科建设专项资助课题"现代逻辑背景下的真理论研究"(2013YCTS10)资助
奎因对模态谓词逻辑的合法性持怀疑态度,他从逻辑角度论证了模态语境是指称不明的,同一替换原理和存在概括规则在模态语境中都是无效的,他的批评影响很大。但是,若在模态谓词逻辑中引入谓词抽象,它可以表达所有模态从言和从物命题,还能...
关键词：模态逻辑 谓词抽象 从言模态 从物模态 严格指示词 
非严格弗雷格自由逻辑被引量：2
《逻辑学研究》2014年第1期45-61,共17页胡泽洪 邓雄雁 
国家社会科学基金项目<自由逻辑及其相关哲学问题研究>(13BZX068)
莱曼(S.Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻画了弗雷格这一思想,但有两点不尽人意之处:其一、对量词...
关键词：自由逻辑 空词项 表列系统 中性语义 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部