潜力语义学:一种新颖的模态语义学

1

作者 姚从军 索鑫钊 邹崇理 《学术研究》 北大核心 2025年第12期27-34,共8页

学界一般使用可能世界工具对模态词进行解释,而维特通过对潜力的研究,把涉及主体能力或倾向的模态词与潜力相关联,给出模态词的潜力语义学解释方案。有别于休谟及其追随者的反事实条件句分析法,潜力语义学分析法把模态现实作为解释工具... 学界一般使用可能世界工具对模态词进行解释,而维特通过对潜力的研究,把涉及主体能力或倾向的模态词与潜力相关联,给出模态词的潜力语义学解释方案。有别于休谟及其追随者的反事实条件句分析法,潜力语义学分析法把模态现实作为解释工具,而不是将其“外包”给可能世界。这是一种新颖的研究路径,有助于精确刻画自然语言中模态词的语义。 展开更多

关键词 潜力语义学 动态模态 从物解读

在线阅读 下载PDF 职称材料

“可能世界”概念的基本涵义 被引量：20

2

作者 冯棉 《华东师范大学学报（哲学社会科学版）》 CSSCI 1995年第6期31-37,共7页

在现代逻辑的研究中,克里普克(S.A.Kripke)等人所建立的“可能世界语义学”堪称一座丰碑。它不仅严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段,而且为其它的非经典逻辑、自然语言逻辑、逻辑哲... 在现代逻辑的研究中,克里普克(S.A.Kripke)等人所建立的“可能世界语义学”堪称一座丰碑。它不仅严密而清晰地揭示了多种模态公理系统的直观背景,使模态逻辑的研究进入了一个崭新的阶段,而且为其它的非经典逻辑、自然语言逻辑、逻辑哲学和语言哲学的深入研究开辟了道路。如今,“可能世界”这一术语在逻辑学。 展开更多

关键词 可能世界 克里普克 现实世界 基本涵义 刘易斯 可能世界语义学 非真实 莱布尼兹 逻辑一致性 模态逻辑

在线阅读 下载PDF 职称材料

逻辑模态与符号模态的关系及其哲学意义探析 被引量：6

3

作者 吴新民 《北京师范大学学报（社会科学版）》 CSSCI 北大核心 2010年第4期82-87,共6页

模态是事物或认识的必然性和可能性等这类性质。模态在人们思维中的反映表现为一定的认识或观念,它也被称为模态概念。通常,模态分为主观的和客观的,客观模态又分为逻辑模态和非逻辑模态。长期以来,模态与认知、符号功能与逻辑语义等问... 模态是事物或认识的必然性和可能性等这类性质。模态在人们思维中的反映表现为一定的认识或观念,它也被称为模态概念。通常,模态分为主观的和客观的,客观模态又分为逻辑模态和非逻辑模态。长期以来,模态与认知、符号功能与逻辑语义等问题一直为哲学认知所关注,由此,探析逻辑模态与符号模态的关系以及它们的哲学意义,就显得尤为重要。 展开更多

关键词 模态 符号 语义 功能涵项

在线阅读 下载PDF 职称材料

“爱好数学的骑车人悖论”探析——模态逻辑中的一个本质主义个案研究 被引量：1

4

作者 张力锋 邓生庆 《社会科学研究》 CSSCI 北大核心 2007年第5期136-140,共5页

"爱好数学的骑车人悖论"是蒯因反对模态逻辑研究、拒斥本质主义学说的一个重要论证。严密的逻辑分析表明,该悖论的前提是有歧义的,当对前提做正确的本质主义理解时,不会产生悖论;另外,蒯因提出该悖论的深层原因在于他用de di... "爱好数学的骑车人悖论"是蒯因反对模态逻辑研究、拒斥本质主义学说的一个重要论证。严密的逻辑分析表明,该悖论的前提是有歧义的,当对前提做正确的本质主义理解时,不会产生悖论;另外,蒯因提出该悖论的深层原因在于他用de dicto模态去理解de re模态。最后,从语义上消除蒯因式悖论的方案乃是真正的单称词项或严格指示词理论。 展开更多

关键词 “爱好数学的骑车人悖论” DE re模态 DE dicto模态 真正的单称词项

在线阅读 下载PDF 职称材料

模态逻辑可能世界与情境 被引量：5

5

作者 贾国恒 《学术研究》 CSSCI 北大核心 2007年第2期40-44,共5页

模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性,而情境则除了排斥性,还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质,分别对最大的可能世界类或可能世界模型W进行理想化限制,就可以得到这两类可能世界。而... 模态逻辑可能世界具有穷尽可能性、排斥性、层次性和绝对良构性,而情境则除了排斥性,还突显时空性、主体性、部分性和非绝对良构性。利用这两组性质,分别对最大的可能世界类或可能世界模型W进行理想化限制,就可以得到这两类可能世界。而且,按照数学的排列组合观念,这两类可能世界的深层关系就清晰可见。 展开更多

关键词 模态逻辑可能世界 情境语义学 绝对良构性 排列组合

在线阅读 下载PDF 职称材料

模态逻辑中的反本质主义 被引量：4

6

作者 胡浩 《华南师范大学学报（社会科学版）》 CSSCI 2002年第2期8-12,共5页

模态逻辑中的本质主义者克里普克和反本质主义者刘易斯和奎因就可能个体的同一性及存在性问题有着直接的争论。

关键词 模态逻辑 反本质主义 可能个体 固有性质 固定函数

在线阅读 下载PDF 职称材料

一个刻画理解的认知逻辑 被引量：1

7

作者 李小五 何纯秀 《西南大学学报（社会科学版）》 CSSCI 北大核心 2009年第5期66-70,共5页

通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一... 通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。 展开更多

关键词 理解 知道 认知逻辑

在线阅读 下载PDF 职称材料

论模态逻辑的合法性——对蒯因式模态词解读的批判考察 被引量：2

8

作者 张力锋 《学术研究》 CSSCI 北大核心 2006年第9期83-86,共4页

全面考察蒯因式的模态词解读,可以发现这种解读是狭隘的,它过分地依赖于逻辑、语言之外的内容上的联系,不利于从外延角度来对模态词做一般的、形式化的研究;同时蒯因反驳第三等级的模态词的使用,这也是错误的,模态谓词逻辑是合法的。

关键词 模态逻辑 模态词 分析性 模态包含

在线阅读 下载PDF 职称材料

现代模态逻辑的多元视野 被引量：2

9

作者 周祯祥 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2006年第5期7-11,共5页

模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及... 模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及模态逻辑如何付诸运用的期待。 展开更多

关键词 模态 模态语义学 计算机科学

在线阅读 下载PDF 职称材料

同构、P-态射、互模拟与模态等价性 被引量：1

10

作者 姚从军 《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第2期64-69,共6页

结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,... 结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的。 展开更多

关键词 同构 P-态射 互模拟 模态等价 结构 框架

在线阅读 下载PDF 职称材料

论反事实推演和模态知识 被引量：1

11

作者 张力锋 《学术界》 CSSCI 北大核心 2023年第3期162-169,共8页

作为知识获取的一种方式,反事实推演要求认知者具有相当娴熟、准确的概念运用技能,经验要素在其中扮演着不同于促进和直接证据的角色;即令先验认识也需经验要素的促进作用,方能理解知识内容,进而判定其为真,后验认识则需要当下或过往的... 作为知识获取的一种方式,反事实推演要求认知者具有相当娴熟、准确的概念运用技能,经验要素在其中扮演着不同于促进和直接证据的角色;即令先验认识也需经验要素的促进作用,方能理解知识内容,进而判定其为真,后验认识则需要当下或过往的感知经验作为直接证据,以判定知识内容的真实性。鉴于此,反事实推演被视作扶手椅知识的典型获取方式。可以在语义上证明一个模态语句逻辑等价于另一个以虚拟条件句为主要部件的语句,所谓的反可能条件句反例不构成逻辑还原的障碍;但模态知识不能因此就归结为以反事实推演为主体的认识过程,反事实条件命题的必然性分析表明它们的认识必须诉诸某些先验模态原则,因而反事实推演的模态认识论方案并未获得彻底胜利。 展开更多

关键词 反事实推演 扶手椅知识 模态知识 虚拟条件句 模态还原

在线阅读 下载PDF 职称材料

论蒯因对模态谓词逻辑的批评 被引量：1

12

作者 杨红玉 《中州学刊》 CSSCI 北大核心 2016年第8期109-114,共6页

现代模态逻辑的建立和迅猛发展,是20世纪逻辑发展史上的里程碑事件,但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为模态谓词逻辑存在着三大理论困境,模态逻辑的倡导者们提出了三种对应的解决方案,而这些方案引发了新的问题... 现代模态逻辑的建立和迅猛发展,是20世纪逻辑发展史上的里程碑事件,但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为模态谓词逻辑存在着三大理论困境,模态逻辑的倡导者们提出了三种对应的解决方案,而这些方案引发了新的问题。对模态谓词逻辑的反思不仅是一个逻辑问题,更是一个哲学问题,它对当下模态高阶逻辑的进一步发展和语言哲学的深入发展,都具有重要的启迪意义和参考价值。 展开更多

关键词 蒯因 克里普克 指称不明 本质主义

在线阅读 下载PDF 职称材料

后悔的逻辑结构 被引量：1

13

作者 潘天群 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第5期36-40,共5页

后悔是人的一种心智状态。与相信、知道一样后悔是心智模态,其对象是某个与行动者的行动有关的命题或事态。某人后悔是因为他做过某个事情、而对这样的事情他现在认为他"不应当"做。借助于可能世界语义学,一个极小的后悔心智... 后悔是人的一种心智状态。与相信、知道一样后悔是心智模态,其对象是某个与行动者的行动有关的命题或事态。某人后悔是因为他做过某个事情、而对这样的事情他现在认为他"不应当"做。借助于可能世界语义学,一个极小的后悔心智逻辑得到构建。该系统是完全且可靠的非标准模态逻辑系统。该系统刻画了合理的后悔关系。研究后悔的逻辑构造有助于对因后悔而造成的思想病症进行思想分析或治疗。 展开更多

关键词 心智逻辑 后悔 非标准模态逻辑 可能世界语义学 思想分析

在线阅读 下载PDF 职称材料

以目的与背景知识为双条件的逻辑AKC 被引量：1

14

作者 李小五 《西南大学学报（社会科学版）》 CSSCI 北大核心 2007年第3期95-101,共7页

首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也... 首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。 展开更多

关键词 条件句系统 有序邻域语义 框架可靠性 框架完全性

在线阅读 下载PDF 职称材料

论可能世界语义学的影响 被引量：2

15

作者 陈伟 《重庆社会科学》 2000年第4期41-45,共5页

可能世界语义学的建立和发展,受到了哲学家、逻辑学家以及语言学家们的极大关注,并不仅仅因为可能世界在形而上学上是一个很振奋人心的观念,更因为可以精确地表述它,并且,它是一种全新的分析工具和方法——无论对哲学,还是对逻辑学,甚... 可能世界语义学的建立和发展,受到了哲学家、逻辑学家以及语言学家们的极大关注,并不仅仅因为可能世界在形而上学上是一个很振奋人心的观念,更因为可以精确地表述它,并且,它是一种全新的分析工具和方法——无论对哲学,还是对逻辑学,甚至对语言学来讲——这一点都是无可争议的。此外,可能世界语义学对我们的思维方式也产生了具有深远意义的影响。 展开更多

关键词 可能世界语义学 逻辑语义学 逻辑思维适用论域

在线阅读 下载PDF 职称材料

模态逻辑两个定理的基于向前向后方法的证明 被引量：1

16

作者 潘孝铭 《北京工商大学学报（自然科学版）》 CAS 2002年第4期62-64,共3页

向前向后方法是模型论及其应用研究中的一个新的工具 .本文使用向前向后方法 ,对模态逻辑的两个定理构造了一种简单的证明 .

关键词 模态逻辑 向前向后方法 模态内插定理 VanBenthem定理 模态等价公式

在线阅读 下载PDF 职称材料

一个适于更新语义的涉景条件句逻辑

17

作者 李小五 郭向阳 徐秋华 《暨南大学学报（自然科学与医学版）》 CAS CSCD 北大核心 2008年第3期243-248,共6页

传统条件句逻辑研究的条件句没有明显提述条件句的背景.本文提出了一种明显提述背景的条件句逻辑BCS,并证明了该系统相对于Veltman提出的更新语义的模型可靠性和模型完全性.

关键词 涉景条件句逻辑 更新语义 模型可靠性 模型完全性

在线阅读 下载PDF 职称材料

描述教学世界的一个模态公理系统

18

作者 何向东 刘邦凡 《西南师范大学学报（人文社会科学版）》 CSSCI 北大核心 2003年第5期17-21,共5页

以命题逻辑公理系统P和模态逻辑公理系统K、T或D为支撑,建构了一个包含"教、学、教和学"三个系统的模态公理系统,试图去描述教学世界的可能性和必然性、现实性和理性、逻辑性和知识性,希望能从一个新的角度探索教学世界的哲... 以命题逻辑公理系统P和模态逻辑公理系统K、T或D为支撑,建构了一个包含"教、学、教和学"三个系统的模态公理系统,试图去描述教学世界的可能性和必然性、现实性和理性、逻辑性和知识性,希望能从一个新的角度探索教学世界的哲学意义和知识意义。 展开更多

关键词 教 学 教学 逻辑 模态 系统

在线阅读 下载PDF 职称材料

自由模态逻辑及其表列系统

19

作者 胡泽洪 邓雄雁 《学术研究》 CSSCI 北大核心 2017年第8期18-22,共5页

"空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象... "空词项"在语形、语义两方面都给模态谓词逻辑带来了难以克服的困难。于是,产生了旨在克服"空词项"的模态谓词逻辑,即自由模态逻辑。自由模态逻辑由于其复杂性,若用公理系统加以刻画,难以展现其全貌。相对于纯对象语言的公理系统而言,表列系统同时涵盖对象语言和元语言,并且其完全性定理的证明更为简洁。因而,表列系统用来刻画自由模态逻辑更具优势。 展开更多

关键词 表列系统 自由逻辑 模态逻辑 空词项

在线阅读 下载PDF 职称材料

论模态逻辑中的嵌入问题

20

作者 张晓君 《西南大学学报（社会科学版）》 CSSCI 北大核心 2011年第1期61-66,共6页

目前在模态逻辑中,主要存在两种嵌入方法:一种是"坍塌嵌入",一种是"翻译嵌入";用周北海和A.Chagrov和M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现:虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻... 目前在模态逻辑中,主要存在两种嵌入方法:一种是"坍塌嵌入",一种是"翻译嵌入";用周北海和A.Chagrov和M.Zakharyaschev对这两种嵌入方法进行有针对性的论述,可以发现:虽然正规模态逻辑系统S5不可坍塌嵌入经典命题逻辑P,但是"S5可以翻译嵌入P中",因此,通过定义翻译嵌入映射Tr4,从而证明了S5可翻译嵌入P;最终我们提出并证明了这样的定理:"翻译嵌入映射Tr4可以使得S5的所有子系统K、D、T、S4和B,以及系统KDc与KTc都能够翻译嵌入系统P中"。 展开更多

关键词 模态逻辑 能行的翻译函数 坍塌嵌入 翻译嵌入 翻译嵌入映射

在线阅读 下载PDF 职称材料