搜索筛选:
搜索耗时3.7540秒,为你在为你在102,285,761篇论文里面共找到 6 篇相符的论文内容
发布年度:
[期刊论文] 作者:胡泽洪,邓雄雁,,
来源:华南师范大学学报(社会科学版) 年份:2014
知识理论与真之理论紧密联系在一起,康德的先验逻辑关于知识说了很多,关于真却说得很少。康德的真之理论既不能简单地认为是符合论,也不能简单地划归于融贯论。引入当代逻辑哲学......
[期刊论文] 作者:胡泽洪;邓雄雁,
来源:学术研究 年份:2017
"空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元......
[期刊论文] 作者:胡泽洪,邓雄雁,
来源:逻辑学研究 年份:2014
莱曼(S. Lehmann)的1994年的论文从三值逻辑角度处理语言中的空词项。弗雷格认为句子的所指是真值,包含空词项的句子缺乏所指,而只有涵义,那么这样的句子不真也不假。莱曼的文章刻......
[期刊论文] 作者:胡泽洪,邓雄雁,,
来源:华南师范大学学报(社会科学版) 年份:2016
FML是以自由逻辑为基础构建起来的一个三值模态谓词逻辑表列系统。若一个词项无所指(空词项)则包含该词项的简单句子无所指(即无真值),FML的偏函数语义模型体现了这一思想。通过借......
[期刊论文] 作者:胡泽洪,邓雄雁,,
来源:世界哲学 年份:2017
经典逻辑与自由逻辑都涉及空词项问题.经典逻辑对空词项采取的是一种否定的态度,它要求命题的“主词非空”,在逻辑中排斥带有空词项的命题,从而导致经典逻辑与存在问题缠绕在...
[期刊论文] 作者:胡泽洪;邓雄雁,
来源:哲学研究 年份:2011
一般地说,一阶模态逻辑就是指经典一阶逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。自由模态逻辑则是由自由逻辑和基本模态命题逻辑组合而成的模态谓词逻辑。大多数逻辑学家所讨论的模态谓词逻辑其实是一阶模态逻辑。......
相关搜索: