达米特论逻辑与元逻辑的关系
相比之下,直觉主义逻辑的贝斯或克里普克语义学在结构上是非谐音的,它甚至将经典的元逻辑投射到对象语言的直觉主义逻辑。达米特的论证适用于所有可翻译成谐音理论的语义理论,而不仅仅适用于谐音理论本身,因为它们都将可互译元逻辑投射到给定对象语言的相同逻辑。然而,基本的考虑表明,任何语义理论都应该可以翻译成谐音理论...
胡扬: 论元哲学辩护——以语境论为例|美学|方法论|逻辑学|相对...
面对一些经典的哲学工作,有人会说:“克里普克的语义模型是漂亮的”“柏拉图主义是高贵的”“塔斯基的T约定是简洁的”,等等。笔者认为,此类表述不仅是对相关哲学工作的评价和偏好,也暗示了一种严肃的辩护策略,可被称为“元哲学辩护”。所谓“元哲学辩护”,即辩护者借助其“理论美学”判断,将某些“理论元性质”赋予...
今天是世界逻辑日|张建军:极简逻辑史话
第一个运用形式系统方法研究模态逻辑学,构造现代模态逻辑系统的是美国学者克拉伦斯·欧文·刘易斯,其方法是在经典逻辑的基础上引入“必然”“可能”这两个模态算子和关于它们的公理与规则,来建构各种模态逻辑形式系统;到20世纪中期,美国学者索尔·克里普克等人创建了“可能世界语义学”,使现代模态逻辑学得以确立。这些成果...
实验语言哲学研究二十年:回顾与展望
2004年,美国哲学家爱德华??麦希瑞(EdouardMachery)等人在Cognition期刊上发表了《语义学:跨文化风格》一文,通过运用实证研究方法对人们关于专名指称直觉判断进行探究,发现普通大众并不广泛分享克里普克在哥德尔思想实验中有关“哥德尔”这个名字的指称对象的直觉判断,且普通大众的语义直觉呈现出系统的跨文化与文化内差异:...
大众性与科学性:实验哲学的跨学科特征
第二种是命名的因果历史理论,克里普克认为名字的意义不是那些描述,而是指称对象本身。所有那些描述在被描述的对象身上可能不会被发现。“程广云”可以不是“首师大哲学系的第一任系主任”“一位马克思主义哲学学者”“一个浪漫主义的诗人”,但“程广云”还是程广云本人。正是利用这样一种直觉,克里普克批判了命名的描述...
最重要的在世哲学家逝世!高中时期就写出“非常优秀的博士论文”
克里普克在哲学领域建树颇多,包括克里普克语义、克里普克真值理论等(www.e993.com)2024年10月23日。他对维特根斯坦的解读也影响较大。克里普克发表于1972年的《命名与必然性》(NamingandNecessity)一书,乃是由作者在普林斯顿大学的三次演讲汇编而成,直接挑战了罗素和弗雷格的逻辑理论,对于当代逻辑学的发展产生了深远影响。
纪念克里普克:涂纪亮 |《命名与必然性》中译本序
克里普克(SaulAaronKripke)于2022年9月15日去世克里普克(SaulAaronKripke,1940-2022),当代著名哲学家、逻辑学家,模态逻辑语义学创始人之一,被誉为20世纪最有影响力的分析哲学家之一,生前为普林斯顿大学荣休教授、纽约城市大学研究生中心杰出哲学教授。克里普克的研究领域包括数理逻辑、语言哲学、形而上学、知识论...
语义规范性的理论进路和张力
意义的规范性与语义学反规范论由上文可知,克里普克认为语言表达式的正确运用方式要求符合其内在意义。这意味着说话者在进行语言表述时负有一种“应该”如何的义务。如果说话者没有将某一表达式应用于它的恰当对象上,那么就违反了表达式意义的规范性要求。这一立场遭到了语义学反规范论者的反对。他们认为,说话者“正...
意义与规范性当代语义学的重要论题
一般认为,“规范性”论题可以追溯到以康德为代表的义务论伦理学,但它在当代语义学领域中的影响则很大程度上应归于克里普克对规则遵循问题的解读。规则遵循问题源自维特根斯坦的《哲学研究》,克里普克对其进行了系统阐释并提出怀疑论解决方案。从某种意义上讲,正是由于克里普克广受争议的阐释及诸多哲学家由此展开的相关...
哲学家克里普克在北大举行公开讲演
他在模态逻辑语义学方面做出了非常原创性的贡献,同时也是关于名称的因果历史指称论的首倡者之一,其影响范围包括逻辑学、语言哲学、形而上学、认识论和心灵哲学等领域。克里普克被誉为20世纪后半期最伟大的逻辑学家和分析哲学家之一。在西方哲学家中最近进行的一项民意调查中,他位列过去200年间最重要哲学家的第七位,...