云南高校图书馆联盟文献共享服务平台- 克里普克

克里普克: 作品数：255被引量：321H指数：9; 导出分析报告; 相关领域：哲学宗教更多>>; 相关作者：刘叶涛陈波龙小平聂大海蒉益民更多>>; 相关机构：北京大学燕山大学南京大学中国社会科学院哲学研究所更多>>; 相关期刊：更多>>; 相关基金：国家社会科学基金教育部人文社会科学研究基金中央高校基本科研业务费专项资金湖南省哲学社会科学基金更多>>

不寻常的尺——杜尚、维特根斯坦与克里普克论巴黎标准尺: 《社会科学研究》2025年第2期156-165,228,共11页李大强张之洞; 在《哲学研究》中,维特根斯坦提出,我们既不能说巴黎标准尺是一米长,也不能说它不是一米长。克里普克认为,我们可以说“巴黎标准尺是一米长”,而且,这是一个先天偶然命题。二者的分歧不在于观点不同,而在于关注点不同,更根本地说,二者...; 关键词：维特根斯坦克里普克巴黎标准尺语法命题哲学病

接受一种逻辑,接受一种理论: 《社会科学战线》2024年第11期1-15,281,共16页唐瑞雪(译); 文章回应了索尔·克里普克对采用择代逻辑想法的批评,捍卫一种反逻辑例外论。根据这种观点,接受一种新逻辑是接受一种新科学理论的特殊情况。关于量化模态逻辑的争论详细地说明了这一观点。民间逻辑与科学逻辑的区分以民间物理学与科学...; 关键词：模态逻辑直觉主义逻辑择代逻辑克里普克蒯因达米特普特南

对《基于生存情态差异的广义论证》一文的审查报告: 《江海学刊》2024年第3期36-36,共1页王克喜; 美国哲学家马蒂尼奇在其所著《语言哲学》的中译本序言中指出:“本世纪最伟大的英美哲学家奥斯汀、戴维森、格莱斯、克里普克、蒯因、罗素、塞尔、斯特劳森和维特根斯坦均以其对理解语言性质的贡献而著称于世。……除了极少的例外,他们...; 关键词：语言哲学格莱斯审查报告奥斯汀戴维森维特根斯坦克里普克斯特劳森

模态计数逻辑ML(#)在不同框架类下的可判定性: 《逻辑学研究》2024年第3期86-101,共16页付小轩赵之光; supported by Tsinghua University Initiative Scientific Research Program;supported by Taishan Young Scholars Program of the Government of Shandong Province,China(No.tsqn201909151);Shandong Provincial Natural Science Foundation,China(No.ZR2023QF021);Support Plan on Science and Technology for Youth Innovation of Universities in Shandong Province(No.2021KJ086)。; 在本文中,我们给出模态计数逻辑ML(#)在不同框架类下的可满足性的判定过程。我们使用两种方法,一种是通过修改ML(#)相对于全部克里普克框架的可满足性的判定算法,另一种是将ML(#)的可判定性归约到基本模态逻辑。我们还证明了分次模态计...; 关键词：可满足性模态逻辑可判定性归约克里普克判定算法框架类判定过程

为摹状词主义一辩——回应克里普克的挑战: 《哲学动态》2024年第5期81-90,共10页刘畅; 上海市哲学社会科学规划青年课题(编号2022EZX001);上海交通大学文科青年人才培育计划(编号2023QN021);上海交通大学双一流建设项目科研启动费(编号WH220509001)的阶段性成果。; 专名的摹状词主义认为,“亚里士多德”这样的专名其实是摹状词(如“亚历山大的老师”)的缩写。克里普克的论证经常被认为是对墓状词主义的决定性挑战,例如:状词主义将导致“亚里士多德教过亚历山大”成为必然真理。对此,我们可以从两个...; 关键词：专名摹状词克里普克唐奈兰语言哲学

涵义与指称:从弗雷格到克里普克: 《湖北社会科学》2023年第12期103-111,共9页李月坤; 不论是从弗雷格之谜到信念之谜,还是从间接指称理论到直接指称理论,涵义与指称理论都贯穿其中。为解决同一关系中的认知价值问题以及指称问题,弗雷格引入涵义概念,将其与指称明确区分。由此形成的间接指称理论认为,一个表达式的意义由...; 关键词：涵义指称弗雷格克里普克分析哲学

带关系量化的模态逻辑的萨奎斯特对应理论: 《逻辑学研究》2023年第6期39-57,共19页梁飞赵之光; supported by the Chinese Ministry of Education of Humanities and Social Science Project (23YJC72040003);the Key Project of Chinese Ministry of Education (22JJD720021);the Young Scholars Program of Shandong University (11090089964225);the International Scientific Cooperation Seed Fund of Shandong University (11090089395416);supported by the Taishan Young Scholars Program of the Government of Shandong Province,China (No.tsqn201909151)。; Lehtinen(2008)引入了新的关于模态公式的有效性概念,其中允许对所谓的“helper modalities”所对应的二元关系进行量化,并且其中的“boss modalities”类似于模态逻辑中的普通模态词,即被解释为克里普克(S.Kripke)框架中确定的二元关...; 关键词：克里普克模态逻辑二元关系模态词奎斯特量化

心智行动视域下的矛盾信念: 《中国社会科学文摘》2023年第9期50-51,共2页雒自新; 在描述论和指称论之间的“战争”中,弗雷格之谜扮演着枢纽性的重要角色。一方面,弗雷格通过提出该谜题表明,在含有“知道”“相信”这样的命题态度报道句中,单称词项的认知价值与其普通指称必须是不同的,而自己提出的描述理论可以合理...; 关键词：认知价值克里普克命题态度弗雷格描述论枢纽性指称论视域下

莱布尼茨主义、先验哲学与判断之根据: 《中国社会科学文摘》2023年第6期43-44,共2页谢裕伟; 《世界哲学》2023年1期,18000字康德关于分析判断与综合判断的区分历来备受争议。自19世纪以来,波尔扎诺、前因和克里普克都先后对这一区分作过批评。而实际上,早在康德时代,这个区分就引起了其对手的不满,特别是以埃伯哈特为代表的莱...; 关键词：先验哲学克里普克莱布尼茨综合判断康德分析判断埃伯哈特 19世纪

心智行动视域下的矛盾信念——克里普克信念之谜新探被引量：1: 《浙江大学学报（人文社会科学版）》2023年第4期49-59,共11页雒自新; 国家社会科学基金一般项目(21BZX04); 克里普克信念之谜不仅是一个名称在信念语境中的指称难题,而且是关于信念归属的任意理论都必须面对的问题。从克里普克提出的引号原则的不同版本出发可以推导出不同的结论,进而可以区分两种不同形式的矛盾信念。该区分表明,持有隐性矛...; 关键词：克里普克信念之谜去引号原则经验事实矛盾信念情境心智行动

克里普克