教育部人文社会科学重点研究基地度重大研究项目(12JJD72001011JJD720001)
- 作品数：2 被引量：1H指数：1
- 相关作者：周北海傅庆芳邢滔滔更多>>
- 相关机构：北京大学更多>>
- 发文基金：教育部人文社会科学重点研究基地度重大研究项目国家社会科学基金更多>>
- 相关领域：哲学宗教更多>>
- 一个关于专名指称存在预设的形式刻画被引量：1
- 2014年
- 目前关于预设的真值语义学研究主要是各种三值语义。这看起来有自然的一面,但其实有一个严重的误区,将"无定义"也看成一个与预设原句真值处于同一层面的真值,混淆了对象语言与元语言的区分。预设句与原句是不同层次的句子。本文试以专名指称存在预设为例,通过部分模型以及在此之上的同底扩张模型方法构造了复合模型,给出了一个既保证不同语言层次的区分又可以跨层次统一谈论原句和预设句关系的形式语义。通过这个语义,揭示了预设句与原句的2//[2]+[0]式的真值结构,使得通常情况下关于预设的默认得到形式上的刻画和呈现。
- 周北海傅庆芳
- 关键词：预设专名形式语义
- 上帝—概念与本体论证明
- 2013年
- 一个关于宗教语言的规范性论题的讨论试图表明,对于本体论证明的一种内涵式的弱解读,可以回应K-H(Kaufman-Hick)论题:因为上帝(假设其存在)是无限的,超越的,所以我们不能用任何语言思考中的概念描述他或指称他,即不能把握他。究其本义,K-H论题的核心观点为:任何上帝—谓词即使有内涵,其外延也是空的。在关于这一问题的探讨中,普兰丁格的当代证明,可以看作自安瑟伦以来的各种本体论证明版本的综合,既保存了其关键前提与结论,又避免了其中的各种困难。普兰丁格证明的弱版本:第一,定义了一个普通的上帝—谓词G;第二,仅由某种模态逻辑得到结论:如果G有内涵,则G的外延非空。这个结论,直接反驳了K-H论题,在一种较强的意义上提供了一个成功的反例。
- 邢滔滔
- 关键词：本体论证明安瑟伦
