可能世界语义学

作品数：59被引量：273H指数：6
导出分析报告
相关领域：哲学宗教更多>>
相关作者：张家龙余俊伟潘天群刘新文冯棉更多>>
相关机构：中国社会科学院哲学研究所南京大学中国人民大学华东师范大学更多>>
相关期刊：《晋阳学刊》《外语教学与研究》《自然辩证法研究》《西北大学学报（哲学社会科学版）》更多>>
相关基金：国家社会科学基金河北省社会科学基金教育部人文社会科学研究重大课题攻关项目教育部人文社会科学重点研究基地度重大研究项目更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-10
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
数学初始公理严格性的实在论辩护
《自然辩证法通讯》2024年第8期25-33,共9页刘伟伟 刘晓红 
教育部青年基金项目“诠释学视域下数学证明的构造机理研究”(项目编号:22YJC720008)。
基于实在论的立场,数学概念所指称数学对象的实在性构成了数学初始公理严格性的前提和基础;数学初始公理的语义空间中蕴含着作为认识主体的数学家们对于具有实在性的数学对象之可能世界的一种真理性的认识论选择;可能世界语义学能够在...
关键词：数学初始公理 实在论 严格性 可能世界语义学 诠释学 
如何从E□M◇O-3广义模态三段论推导出其他20个有效的广义模态三段论
《贵州工程应用技术学院学报》2023年第5期70-76,共7页卫龙 张晓君 
国家社科基金重大招标项目“形式语义学的汉语研究与形式语义学理论创新”,项目编号:22&ZD295。
首先根据集合论和可能世界语义学给出直言命题和模态直言命题的真值定义,证明广义模态三段论E□M◇O-3的有效性;然后,在广义量词理论和模态逻辑的基础上,充分利用广义量词的内否定与外否定、亚氏量词some与no的对称性、必然模态词□与...
关键词：广义模态三段论 可化归性 真值定义 可能世界语义学 
可能世界语义学的体认整合解读被引量：1
《当代外语研究》2023年第2期135-143,共9页王天翼 
2018年国家社科基金重大招标项目“地名用字搜集整理、形音义研究与基础信息平台建设”(编号18ZDA294);2017年重庆市社会科学规划项目“认知语言学的本土化研究——基于EMI模型的汉语拷贝构式分析”(编号2017QNYY34);2021年四川外国语大学哲学社会科学研究重大招标项目“认知语言学本土化研究”(编号sisuzd 202101)的阶段性研究成果。
“可能世界语义学”作为内涵语义学的核心内容,大大拓展了哲学家的视野,受到学界的普遍关注,但克里普克并没有说明其认知成因。本文在体认语言学视野下,尝试将语言的体认观与概念整合论相结合,期望对其成因做出理论解释。概念整合论原...
关键词：可能世界语义学 体认语言学 概念整合论 
情境语义学变革性之实证探析
《中国社会科学文摘》2023年第4期9-10,共2页罗龙祥 刘叶涛 
情境语义学是美国哲学家、逻辑学家J.巴威斯和J.佩里在20世纪80年代创建的一种语义学理论,它是在形式语义学和可能世界语义学基础上的一种变革;其变革性的一个重要表现就是遵循“语义质朴性”原则。当我们运用语言来交谈时,如果能够顺...
关键词：语义学理论 情境语义学 变革性 形式语义学 逻辑学家 可能世界语义学 美国哲学家 质朴性 
模态语境下的指称暧昧问题及其解决
《北京印刷学院学报》2021年第7期101-104,共4页王力钢 
词项的指称在模态语境下会发生游移,蒯因称之为“指称暧昧”,具体表现为模态命题中会出现单独词项同一替换原理失效和表达式量化存在概括原则失效,并认为模态逻辑无法解决该问题,因此质疑其合法性。蒯因把指称暧昧视作无解难题,源于其...
关键词：蒯因 克里普克 模态逻辑 指称暧昧 可能世界语义学 逻辑观 
虚构真假和反事实条件句
《自然辩证法研究》2020年第9期13-18,共6页邢锟 
反事实条件句等句子经常谈论虚构事实,即现实世界中未发生的事实。20世纪中期以来,理解虚构事实的主流理论是可能世界语义学。该语义学将虚构事实理解为与现实世界不同的可能世界中发生的事实。然而,这种理解在有些情况下并不合适。恰...
关键词：虚构事实 虚构真假 反事实条件句 可能世界语义学 
托马斯·马丁的语言文论与可能世界理论被引量：1
《文学评论》2020年第4期65-72,共8页张瑜 
国家社科基金后期资助项目“可能世界理论与文学理论”(项目编号18FZW036)的阶段性研究成果。
托马斯·马丁运用可能世界语义学对文学定义、文学意义等问题做出新的阐释和探索,为我们展现了21世纪语言文论发展的新的可能图景。他采用辛迪卡关于语言的两种观点——“语言作为普遍媒介”和“语言作为微积分”,分别对20世纪占据支配...
关键词：可能世界语义学 语言文论 模态 逻辑语义 
人类思维的逻辑工具:雅科·亨迪卡的学术贡献
《河南社会科学》2019年第7期94-100,共7页伊尔卡·尼尼罗托 徐召清 
国家社科基金重大项目“当代逻辑哲学重大前沿问题研究”(17ZDA024);国家留学基金委公派访问学者项目(201806245025)
亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范式、模型集、可能世界语义学、认知逻辑、信念逻辑、...
关键词：认知逻辑 博弈语义学 独立友好逻辑 归纳逻辑 探究的询问模型 可能世界语义学 
亚里士多德模态三段论逻辑的形式化公理系统探讨被引量：1
《湖南科技大学学报（社会科学版）》2019年第1期31-37,共7页张晓君 袁娇娇 
国家社会科学基金项目(16BZX081)
利用广义量词理论、可能世界语义学和集合论,可以简洁明了地对亚里士多德模态三段论进行形式化和有效性的证明。根据有效的亚里士多德模态三段论应该遵守的基本规则,可以从6 656个亚里士多德模态三段论中,筛选出有效的384个模态三段论...
关键词：亚里士多德模态三段论 可能世界语义学 形式化 公理化 
三种逻辑理论的哲学背景分析被引量：4
《哲学动态》2018年第9期88-94,共7页余俊伟 
国家社会科学基金重大项目"当代逻辑哲学重大前沿问题研究"(17ZDA024)资助;中国人民大学2018年度"中央高校建设世界一流大学(学科)和特色发展引导专项资金"支持
三段论、一阶逻辑和现代模态逻辑的技术背后都有相应的哲学理论背景。前两种逻辑形态与各自的哲学是契合的,其哲学基础也是一脉相承的。虽然模态逻辑是一阶逻辑的扩张,前者的形式语义学是后者的膨胀,但是,克里普克的语言哲学突出了亚里...
关键词：逻辑哲学 可能世界语义学 名称理论 
全选清除导出
共6页<123456>
检索报告 对象比较 聚类工具 使用帮助 返回顶部