论可能世界语义学的主要哲学问题 被引量：4

1

作者 陈伟 刘晓红 《社会科学辑刊》 CSSCI 北大核心 1998年第6期13-17,共5页

自从刘易斯（Ｃ．Ｉ．Ｌｅｗｉｓ）创立第一个现代模态逻辑系统以来，模态逻辑发展迅速，在逻辑学界、哲学界已经倍受青睐。但是，早期创建的现代模态逻辑系统有一个共同的特征，那就是：“逻辑学家都是根据模态概念的某种直观的理解和... 自从刘易斯（Ｃ．Ｉ．Ｌｅｗｉｓ）创立第一个现代模态逻辑系统以来，模态逻辑发展迅速，在逻辑学界、哲学界已经倍受青睐。但是，早期创建的现代模态逻辑系统有一个共同的特征，那就是：“逻辑学家都是根据模态概念的某种直观的理解和把握，提出一些公理、推理规则，推导... 展开更多

关键词 可能世界语义学 现实世界 模态逻辑 跨界同一性 克里普克 哲学问题 逻辑学家 形式语义学 本质属性 实在论

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

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

3

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

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

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

在线阅读 下载PDF 职称材料

论“可能世界”

4

作者 柴生秦 《西北大学学报（哲学社会科学版）》 CSSCI 1991年第3期48-54,共7页

“可能世界”是模态逻辑语义学的一个重要概念。这一概念的提出被认为是现代逻辑的一项伟大成就。利用这一概念,逻辑学家和哲学家们终于能够合乎直觉地解释必然真的命题和可能真的命题,从而确立了模态逻辑在逻辑学和哲学中的地位。尽管... “可能世界”是模态逻辑语义学的一个重要概念。这一概念的提出被认为是现代逻辑的一项伟大成就。利用这一概念,逻辑学家和哲学家们终于能够合乎直觉地解释必然真的命题和可能真的命题,从而确立了模态逻辑在逻辑学和哲学中的地位。尽管如此,“可能世界”概念的一些基本问题,如究竟什么是一个可能世界,如何识别不同可能世界中的对象等问题,至今仍未解决。本文在评述关于解决这些问题的有代表性的观点的同时,也提出自己的某些看法。 展开更多

关键词 可能世界语义学 模态逻辑语义学 克里普克 初始概念 莱布尼茨 形式语义学 逻辑学家 谓词逻辑 现代逻辑 命题逻辑

在线阅读 下载PDF 职称材料

转喻为什么可能——“转喻与逻辑”研究之二:“内涵外延传承”说对转喻的解释 被引量：75

5

作者 徐盛桓 《上海交通大学学报（哲学社会科学版）》 CSSCI 2008年第1期69-77,共9页

转喻是在表达中借一事物指代另一事物,而这两事物应具有部分-整体或在同一整体内部分-部分的关系。认知语言学将转喻所涉及的两事物的指代通常称作"映射"(mapping),本文将这种现象看作是这两事物间的内涵和外延的传承。这一... 转喻是在表达中借一事物指代另一事物,而这两事物应具有部分-整体或在同一整体内部分-部分的关系。认知语言学将转喻所涉及的两事物的指代通常称作"映射"(mapping),本文将这种现象看作是这两事物间的内涵和外延的传承。这一分析也许还可能扩展到对隐喻的映射作出说明。 展开更多

关键词 转喻 类层级结构 内涵和外延的传承 可能世界语义学

在线阅读 下载PDF 职称材料

认知命题的逻辑语义特征分析

6

作者 唐晓嘉 《西南师范大学学报（哲学社会科学版）》 CSSCI 1999年第4期38-43,共6页

建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。但是逻辑全能悖论说明认知世界不同于逻辑可能世界,为描述其逻辑特征我们需要“瓮”模型。此外对认知命题来说,名称—对象关系总是相对于认知主体而定... 建立模型是对认知表达式进行逻辑语义分析的前提,可能世界语义学为此提供了有效工具。但是逻辑全能悖论说明认知世界不同于逻辑可能世界,为描述其逻辑特征我们需要“瓮”模型。此外对认知命题来说,名称—对象关系总是相对于认知主体而定,因此在对其逻辑分析中涉及到量词的信息独立等问题。这些都说明,我们对认知逻辑进行语义学和语形学方面的研究时。 展开更多

关键词 认知命题 可能世界语义学 “瓮”模型 真值条件

在线阅读 下载PDF 职称材料

BTreeU-Topk:基于二叉树的不确定数据上的Top-k查询算法 被引量：2

7

作者 张慧 郑吉平 韩秋廷 《计算机研究与发展》 EI CSCD 北大核心 2012年第10期2095-2105,共11页

应用需求的发展衍生各种查询类型,Top-k查询是交互环境下一种重要查询类型.由于数据的不确定性,传统数据上的Top-k查询技术和方法不能直接应用于不确定数据查询.在已有不确定数据上Top-k查询算法的基础上,提出基于二叉树的不确定数据上T... 应用需求的发展衍生各种查询类型,Top-k查询是交互环境下一种重要查询类型.由于数据的不确定性,传统数据上的Top-k查询技术和方法不能直接应用于不确定数据查询.在已有不确定数据上Top-k查询算法的基础上,提出基于二叉树的不确定数据上Top-k查询算法BTreeU-Topk;为了提高算法执行效率,对二叉树进行修剪操作进而提出BTreeOPTU-Topk和BTreePU-Topk算法.实验结果表明,BTreeU-Topk,BTreeOPTU-Topk以及BTreePU-Topk算法在不同数据分布以及k值增长时均优于现有算法. 展开更多

关键词 不确定数据 可能世界语义 二叉树 Top—k BTreeU—Topk U—Topk

在线阅读 下载PDF 职称材料

纤维逻辑 被引量：1

8

作者 邱莉榕 杨柳 史忠植 《计算机科学》 CSCD 北大核心 2006年第1期1-3,共3页

形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但... 形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。但是在主体环境下,已有逻辑的复杂性仍然不能有效刻画主体复杂的心智。有一些人工智能研究者根据主体心智的多重性,在模态逻辑中引入多种模态算子,并借此对主体加以刻画。但是原来的可能世界语义却难以容纳如此复杂的语法,出现了很多不合理的地方。本文首先介绍了新近出现的纤维逻辑(fibring logics),然后归纳了目前将此理论应用在主体 BDI 建模的研究现状,最后分析纤维逻辑的不足之处,讨论了其他可能的应用,并对今后的工作做了展望。 展开更多

关键词 形式逻辑 BDI逻辑 多模态逻辑 纤维逻辑 模态逻辑 纤维 可能世界语义 命题逻辑 人工智能 复杂性

在线阅读 下载PDF 职称材料

集体目标的形式规范 被引量：1

9

作者 程显毅 石纯一 《计算机研究与发展》 EI CSCD 北大核心 2001年第11期1310-1314,共5页

在多 Agent系统中协调是系统效率的瓶颈 ,目前常用的协调机制有组织结构、交换元级信息、多 Agent规划、集体目标等 ,而集体目标具有最低协调成本的功效 .在没有一个标准逻辑描述集体目标的今天 ,在某些约束下 ,给出集体目标的形式规范... 在多 Agent系统中协调是系统效率的瓶颈 ,目前常用的协调机制有组织结构、交换元级信息、多 Agent规划、集体目标等 ,而集体目标具有最低协调成本的功效 .在没有一个标准逻辑描述集体目标的今天 ,在某些约束下 ,给出集体目标的形式规范是可行的 .首先给出了动态可能世界语义学 ,在此基础上证明 Sandu给出的集体目标约束条件过强 ,并回答了 Sandu没有解决的问题 :集体成员如何相互相信各自同时实现集体目标 . 展开更多

关键词 集体目标 动态可能世界语义 AGENT 意图 人工智能

在线阅读 下载PDF 职称材料

逻辑全知佯谬 被引量：1

10

作者 李金厚 蒋静坪 《浙江大学学报（工学版）》 EI CAS CSCD 北大核心 2005年第10期1496-1500,共5页

从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是... 从模态逻辑用于agent和多agent系统研究的实际意义出发,通过对一些学者得出逻辑全知结论所依据的两个基本前提进行仔细分析和严格逻辑论证后发现,逻辑全知论断是不能成立的.在此基础上,通过严格的逻辑推理得出了与之不同的结论,那就是模态逻辑用于agent形式化研究并不会带来所谓的逻辑全知问题.得出这一不同结论的意义主要在于,它彻底排除了影响模态逻辑用于agent或多agent系统形式化研究的一个重大理论障碍.另外还得出,忽视将逻辑理论用于agent研究的实现意义、忽视意识系统和单纯逻辑系统之间的差异,以及忽视逻辑推理操作实现的过程意义,是上述不可靠结论的三个最主要的原因. 展开更多

关键词 模态逻辑 AGENT研究 意识系统 逻辑全知问题 可能世界语义

在线阅读 下载PDF 职称材料

基于莱布尼兹偶然真理概念的逻辑 被引量：2

11

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

事实的真理是偶然的,它们的反面是可能的。基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理,LC被扩张到不同系统;这些系统(... 事实的真理是偶然的,它们的反面是可能的。基于莱布尼兹的这种偶然真概念,一个刻画偶真命题的极小非标准逻辑系统LC被给出。基于典范模型,LC被证明在任意克里普克框架下是可靠且完全的。通过增加不同公理,LC被扩张到不同系统;这些系统(包括不足道系统)在相应的"弱框架"下是可靠的且完全的。偶真的逻辑是关于事实真理的逻辑,这些逻辑有形而上学价值,同时它们可用来处理"不可证真理"等一类哲学问题。 展开更多

关键词 莱布尼兹 偶然性 事实真理 偶真 可能世界语义学

在线阅读 下载PDF 职称材料

语境建模三大进路之哲学预设探微 被引量：1

12

作者 徐英瑾 《上海交通大学学报（哲学社会科学版）》 CSSCI 北大核心 2015年第2期17-26,34,共11页

语境建模乃是最近在人工智能领域内方兴未艾的一个新研究分支,其任务是用计算机建模的方式来展现那些具有语境敏感性的认知进程。由于在这个分支内出现的不同建模思路都预设了这样或那样的关于"语境"的定义,因此,对于相关预... 语境建模乃是最近在人工智能领域内方兴未艾的一个新研究分支,其任务是用计算机建模的方式来展现那些具有语境敏感性的认知进程。由于在这个分支内出现的不同建模思路都预设了这样或那样的关于"语境"的定义,因此,对于相关预设的哲学反思,也就成为对于这些工作的概念性辩护的题中应有之义。具体而言,有这样三种关于语境的哲学预设,分别引导了业内专家提出了与之相应的建模思路:(1)"语境"乃是外在于认知主体的外部对象,需要通过某些假定的形而上学对象(特别是可能世界语义学所承诺的那些对象)来加以界定;(2)在特定语境中成立的判断也好,跨语境的推理规则也好,都可以被视为对于既存人类常识的近似化表征;(3)所谓"语境敏感性",无非就是外部输入与内部模块之间互动之随机性特征所具有的另一种表达而已。这三种思路都各有短长,而一种更为上佳的语境建模思路则既要容纳某种一般推理机制以便通过某种整合的方式来应对常识之多样性,又必须得同时具有某种"非公理化"的特征以展现出最起码的灵活性。 展开更多

关键词 语境 语境建模 外在主义 可能世界语义学 制限方法 提升公式 酶性计算

在线阅读 下载PDF 职称材料

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

13

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

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

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

在线阅读 下载PDF 职称材料

主体通信的主题

14

作者 朱 娟 刘玉树 《计算机工程与设计》 CSCD 2002年第7期15-17,78,共4页

主体间通信对主体信念的影响应从两个方面考虑:一是对信念本身的影响,一是对信念可信度的影响。为了解决这两个问题,首先构造了对其它主体的评价性模型,维护本主体对其它主体在可靠性、友好性以及相互理解性方面的度量,并在该模型中构... 主体间通信对主体信念的影响应从两个方面考虑:一是对信念本身的影响,一是对信念可信度的影响。为了解决这两个问题,首先构造了对其它主体的评价性模型,维护本主体对其它主体在可靠性、友好性以及相互理解性方面的度量,并在该模型中构造了主体权威性主题集。权威性主题决定通信中受影响的信念范围,可靠性、友好性、相互理解性以及主题的权威性度量结合在一起影响信念的可信度,给出了基于模态逻辑的语法和基于可能世界语义解释,提出的方法在主题的处理上更具针对性,并将对其他主体的评价有效地融入主体信念的可信度中。 展开更多

关键词 主题 主体通信 权威性主题集 可能世界语义 言语行为理论 通信协议 人工智能

在线阅读 下载PDF 职称材料

不确定场境下近似Skyline查询处理算法

15

作者 王永阁 郑吉平 王海翔 《小型微型计算机系统》 CSCD 北大核心 2016年第4期670-675,共6页

近年来,不确定Skyline查询成为当前不确定数据查询研究的一个重要方面.Skyline查询结果通常与用户的偏好相关,而用户的偏好往往受当前场境的影响,并且现实中的场境往往来源于感知设备,具有不确定性.首次提出了不确定场境偏好可能世界语... 近年来,不确定Skyline查询成为当前不确定数据查询研究的一个重要方面.Skyline查询结果通常与用户的偏好相关,而用户的偏好往往受当前场境的影响,并且现实中的场境往往来源于感知设备,具有不确定性.首次提出了不确定场境偏好可能世界语义建模下启发式算法和基于Monte Carlo思想的近似Skyline查询算法.首先,采用可能世界语义模型对不确定场境下偏好进行建模,并提出不确定场境下Skyline查询语义;其次,由于不确定场境下偏好构成的可能世界实例过于庞大,精确Skyline算法ESA是#P问题,提出LHSA和C&T两种启发式Skyline算法,从而大量裁减不满足最终结果的可能世界实例;进而,为了在保证用户指定精度的基础上提高Skyline查询效率提出了两种Monte Carlo近似算法:两阶段Monte Carlo近似算法PMA和改进的两阶段Monte Carlo近似算法MPMA;最后,通过实验对比5种算法,表明LHSA和C&T可以裁减大量可能世界实例,同时在确保精度的前提下,PMA和MPMA比启发式算法更有效,并且MPMA算法优于PMA算法. 展开更多

关键词 Skyline概率 不确定场境 定量偏好 可能世界语义 MONTE Carlo近似

在线阅读 下载PDF 职称材料

关于系统Z的一些意见 被引量：6

16

作者 张清宇 《武汉大学学报（人文科学版）》 1993年第5期49-55,共7页

本刊1992年第6期刊发了张金成同志的《辩证逻辑形式化的研究》一文后,陆续收到了一些稿件,对张文展开了讨论。我们本着“百花齐放,百家争鸣”的宗旨,已在本刊第4期及本期发表了部分来稿。至此,对该文讨论暂告一段落。

关键词 命题逻辑 模态系统 逻辑系统 可能世界语义 克里普克 公理模式 形式系统 辩证逻辑 推理规则 模态逻辑

在线阅读 下载PDF 职称材料

辩证逻辑形式化的新进展——对张金成系统Z的评价与补证 被引量：9

17

作者 陈晓平 桂起权 《武汉大学学报（人文科学版）》 1992年第6期12-18,23,共8页

本文从系统Z与传统辩证法、经典逻辑、次协调逻辑的相互关系着手(特别从句法和语义角度加以考虑),评价系统Z对辩证逻辑形式化的开拓性作用。还给出了系统Z原先所缺少的语义完全性的证明。

关键词 非经典逻辑 次协调逻辑 形式系统 辩证矛盾 永真式 对立统一律 可能世界语义学 相互关系 合取范式 辩证逻辑

在线阅读 下载PDF 职称材料

人类思维的逻辑工具:雅科·亨迪卡的学术贡献

18

作者 伊尔卡·尼尼罗托 徐召清 《河南社会科学》 CSSCI 北大核心 2019年第7期94-100,共7页

亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范式、模型集、可能世界语义学、认知逻辑、信念逻辑、... 亨迪卡的众多研究项目之一名为“人类思维的逻辑工具及其历史”,这实际上是对这位逻辑学大师一生工作的恰当总结。他开创了数理逻辑和哲学逻辑中的几种新方法和新系统,其中包括分配范式、模型集、可能世界语义学、认知逻辑、信念逻辑、归纳逻辑、语义信息、博弈语义学、探究的询问方法和独立友好逻辑。他将其用于研究语言哲学、形式认识论和科学哲学的问题。他将系统性的工作与对亚里士多德、莱布尼茨、康德、皮尔士和维特根斯坦等重要历史人物的全新解释相结合。亨迪卡是被引用次数最多的分析哲学家之一,他对逻辑和哲学的影响,还在于他是一位成功的教师和期刊《综合》(Synthese)的长期主编。 展开更多

关键词 认知逻辑 博弈语义学 独立友好逻辑 归纳逻辑 探究的询问模型 可能世界语义学

在线阅读 下载PDF 职称材料

量子力学等科学给本体论的启示

19

作者 高新民 李艳鸽 《学术界》 CSSCI 北大核心 2012年第6期239-240,共2页

高新民、李艳鸽撰文《科学对“无”的“思入”及其本体论意义》指出：19世纪末以来，非存在或“无”已成了虚构哲学、模态逻辑、可能世界语义学和本体论等领域中的一个重要问题。科学对非存在的恩人既是必然的，又是有用的。人的科学认... 高新民、李艳鸽撰文《科学对“无”的“思入”及其本体论意义》指出：19世纪末以来，非存在或“无”已成了虚构哲学、模态逻辑、可能世界语义学和本体论等领域中的一个重要问题。科学对非存在的恩人既是必然的，又是有用的。人的科学认识过程是一个有化与无化、去蔽与遮蔽的一体化过程。 展开更多

关键词 人的科学 本体论 量子力学 可能世界语义学 19世纪末 一体化过程 模态逻辑 认识过程

在线阅读 下载PDF 职称材料

偶然命题的逻辑分析

20

作者 刘天喜 《江汉论坛》 CSSCI 北大核心 1998年第4期52-54,共3页

关键词 亚里士多德 逻辑分析 模态逻辑 反对关系 莱布尼茨 可能世界语义学 偶然性 可能世界为真 模态命题 逻辑学家

在线阅读 下载PDF 职称材料