期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
共找到116篇文章
< 1 2 … 6 >
每页显示 20 50 100
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
显示方式：
潜力语义学:一种新颖的模态语义学
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
模态逻辑与哲学 被引量：5
6
作者 周北海 《北京航空航天大学学报（社会科学版）》 2000年第3期32-36,共5页
模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本... 模态逻辑是关于必然性与可能性的逻辑,因此也就涉及到必然与可能相关的一些哲学问题。除语义学方面的问题外,模态逻辑自身也存在与哲学相关的问题,如本质主义问题、抽象实体的存在性问题等。模态逻辑也引发一些哲学问题,如可能世界的本体论问题,可能个体的跨界同一和识别问题等。模态逻辑的研究成果对当代哲学的发展也具有重要的意义。当代马克思主义哲学的研究也应该结合与考察现代逻辑的研究成果。 展开更多
关键词 模态逻辑 本质主义 哲学 抽象实体 现代逻辑
在线阅读 下载PDF
模态逻辑中的反本质主义 被引量：4
7
作者 胡浩 《华南师范大学学报（社会科学版）》 CSSCI 2002年第2期8-12,共5页
模态逻辑中的本质主义者克里普克和反本质主义者刘易斯和奎因就可能个体的同一性及存在性问题有着直接的争论。
关键词 模态逻辑 反本质主义 可能个体 固有性质 固定函数
在线阅读 下载PDF
一个刻画理解的认知逻辑 被引量：1
8
作者 李小五 何纯秀 《西南大学学报（社会科学版）》 CSSCI 北大核心 2009年第5期66-70,共5页
通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一... 通过两次问卷调查可以发现,绝大多数调查对象直观上都认为:理解一个命题就是知道它的意义。然后我们认为,在认知逻辑中,理解,作为一个模态算子,可以在一个较弱的意义上用知道算子来刻画:理解一个命题就是知道它的真假。由此,我们给出一个刻画理解的认知逻辑来揭示理解与知道之间的联系与区别。 展开更多
关键词 理解 知道 认知逻辑
在线阅读 下载PDF
真值函数与非真值函数的等值变换——一元算符逻辑理论五探 被引量：1
9
作者 万小龙 陈明益 冉奎 《山东科技大学学报（社会科学版）》 2012年第6期1-10,20,共11页
一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非... 一元算符逻辑理论从一般方法论层面探寻非经典逻辑与经典逻辑的关系。作为其初步的狭义函数相对论(STRF)基于函数相对性而提出专门针对二真值命题逻辑系统中一元非真值函数联结词与二元真值函数联结词的变换关系,其核心就是对"非真值函数与真值函数的等值变换"原理的发现与严密的经典定义。它不断借用了量子力学中对"不确定"的确定性的认识,所揭示的非真值函数在句法与语义上的两大特征分别有助于模态逻辑中的等值代换难题、多值逻辑中的非二值性难题等哲学逻辑与逻辑哲学中的非经典性问题回归其经典本性。 展开更多
关键词 二真值 非真值函数 一元算符 狭义函数相对论(STRF)
在线阅读 下载PDF
当代西方的模态哲学研究 被引量：2
10
作者 张力锋 《南京社会科学》 CSSCI 北大核心 2005年第8期11-18,共8页
通过全面介绍模态哲学研究的历史及现状,文章指出,当代西方的模态哲学研究进一步推动了模态逻辑各个分支的成熟,乃至渗透入当代哲学的方方面面,对当代哲学的发展产生了重要的影响。
关键词 模态 本质主义 可能世界 模态逻辑 当代哲学
在线阅读 下载PDF
论模态逻辑的合法性——对蒯因式模态词解读的批判考察 被引量：2
11
作者 张力锋 《学术研究》 CSSCI 北大核心 2006年第9期83-86,共4页
全面考察蒯因式的模态词解读,可以发现这种解读是狭隘的,它过分地依赖于逻辑、语言之外的内容上的联系,不利于从外延角度来对模态词做一般的、形式化的研究;同时蒯因反驳第三等级的模态词的使用,这也是错误的,模态谓词逻辑是合法的。
关键词 模态逻辑 模态词 分析性 模态包含
在线阅读 下载PDF
现代模态逻辑的多元视野 被引量：2
12
作者 周祯祥 《华南师范大学学报（社会科学版）》 CSSCI 北大核心 2006年第5期7-11,共5页
模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及... 模态逻辑作为一个新兴的逻辑学科,产生了非常之多的模态系统,这些系统的起源是多元的;模态逻辑的历史发展经历了语形时期、经典时期和现代时期;在模态逻辑的现代时期,计算机科学的发展从根本上改变了人们对模态逻辑能够用来干什么以及模态逻辑如何付诸运用的期待。 展开更多
关键词 模态 模态语义学 计算机科学
在线阅读 下载PDF
关于模态形而上学的几点思考 被引量：3
13
作者 余俊伟 《逻辑学研究》 CSSCI 2017年第3期58-74,共17页
模态逻辑的"原罪"除了奎因指出的混淆了使用与提及外,还包括误以为在命题层面可以揭示概念间的必然联系。必然涉及内涵特性,单纯地从外延角度、在命题层面考察必然,有无法克服的缺陷。克里普克通过语言分析解决必然的内涵特... 模态逻辑的"原罪"除了奎因指出的混淆了使用与提及外,还包括误以为在命题层面可以揭示概念间的必然联系。必然涉及内涵特性,单纯地从外延角度、在命题层面考察必然,有无法克服的缺陷。克里普克通过语言分析解决必然的内涵特性所带来的问题掩盖了问题的实质,无法触及必然的普遍规律性之本质。这是可能世界语义学的"原罪"。尽管有后天必然真,但克里普克的晨星之例并不属于此类。而他的米尺之例也难以称得上是先天偶然真。这些都是"原罪"的反映。 展开更多
关键词 模态逻辑 先天偶然与后天必然 可能世界语义学
在线阅读 下载PDF
同构、P-态射、互模拟与模态等价性 被引量：1
14
作者 姚从军 《西南大学学报（社会科学版）》 CSSCI 北大核心 2010年第2期64-69,共6页
结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,... 结构的模态等价性是指这些结构上有效性的模态公式恰好相同。本文比较了模型之间的三类关系:同构、P-态射、互模拟,从而得出互模拟关系概括了最大范围的模态等价性,因为模型之间的互模拟关系包含它们之间的同构关系和P-态射关系。同时,对框架等价性也给予了一定的研究,得出结论是:同构的框架一定是模态等价的,但具有另外两种关系的框架不一定是模态等价的。 展开更多
关键词 同构 P-态射 互模拟 模态等价 结构 框架
在线阅读 下载PDF
论反事实推演和模态知识 被引量：1
15
作者 张力锋 《学术界》 CSSCI 北大核心 2023年第3期162-169,共8页
作为知识获取的一种方式,反事实推演要求认知者具有相当娴熟、准确的概念运用技能,经验要素在其中扮演着不同于促进和直接证据的角色;即令先验认识也需经验要素的促进作用,方能理解知识内容,进而判定其为真,后验认识则需要当下或过往的... 作为知识获取的一种方式,反事实推演要求认知者具有相当娴熟、准确的概念运用技能,经验要素在其中扮演着不同于促进和直接证据的角色;即令先验认识也需经验要素的促进作用,方能理解知识内容,进而判定其为真,后验认识则需要当下或过往的感知经验作为直接证据,以判定知识内容的真实性。鉴于此,反事实推演被视作扶手椅知识的典型获取方式。可以在语义上证明一个模态语句逻辑等价于另一个以虚拟条件句为主要部件的语句,所谓的反可能条件句反例不构成逻辑还原的障碍;但模态知识不能因此就归结为以反事实推演为主体的认识过程,反事实条件命题的必然性分析表明它们的认识必须诉诸某些先验模态原则,因而反事实推演的模态认识论方案并未获得彻底胜利。 展开更多
关键词 反事实推演 扶手椅知识 模态知识 虚拟条件句 模态还原
在线阅读 下载PDF
论蒯因对模态谓词逻辑的批评 被引量：1
16
作者 杨红玉 《中州学刊》 CSSCI 北大核心 2016年第8期109-114,共6页
现代模态逻辑的建立和迅猛发展,是20世纪逻辑发展史上的里程碑事件,但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为模态谓词逻辑存在着三大理论困境,模态逻辑的倡导者们提出了三种对应的解决方案,而这些方案引发了新的问题... 现代模态逻辑的建立和迅猛发展,是20世纪逻辑发展史上的里程碑事件,但蒯因对模态谓词逻辑一直持激烈的质疑和批评态度。蒯因认为模态谓词逻辑存在着三大理论困境,模态逻辑的倡导者们提出了三种对应的解决方案,而这些方案引发了新的问题。对模态谓词逻辑的反思不仅是一个逻辑问题,更是一个哲学问题,它对当下模态高阶逻辑的进一步发展和语言哲学的深入发展,都具有重要的启迪意义和参考价值。 展开更多
关键词 蒯因 克里普克 指称不明 本质主义
在线阅读 下载PDF
后悔的逻辑结构 被引量：1
17
作者 潘天群 《安徽大学学报（哲学社会科学版）》 CSSCI 北大核心 2013年第5期36-40,共5页
后悔是人的一种心智状态。与相信、知道一样后悔是心智模态,其对象是某个与行动者的行动有关的命题或事态。某人后悔是因为他做过某个事情、而对这样的事情他现在认为他"不应当"做。借助于可能世界语义学,一个极小的后悔心智... 后悔是人的一种心智状态。与相信、知道一样后悔是心智模态,其对象是某个与行动者的行动有关的命题或事态。某人后悔是因为他做过某个事情、而对这样的事情他现在认为他"不应当"做。借助于可能世界语义学,一个极小的后悔心智逻辑得到构建。该系统是完全且可靠的非标准模态逻辑系统。该系统刻画了合理的后悔关系。研究后悔的逻辑构造有助于对因后悔而造成的思想病症进行思想分析或治疗。 展开更多
关键词 心智逻辑 后悔 非标准模态逻辑 可能世界语义学 思想分析
在线阅读 下载PDF
以目的与背景知识为双条件的逻辑AKC 被引量：1
18
作者 李小五 《西南大学学报（社会科学版）》 CSSCI 北大核心 2007年第3期95-101,共7页
首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也... 首先,我们构造以目的和背景知识为双条件的条件句系统AKC,给出它的一些证明论结果。其次,我们引入有序邻域语义,给出描述AKC的特征公理和推理规则的框架条件,证明AKC相对这些框架条件是框架可靠的。最后,我们证明AKC相对这些框架条件也是框架完全的。 展开更多
关键词 条件句系统 有序邻域语义 框架可靠性 框架完全性
在线阅读 下载PDF
论可能世界语义学的影响 被引量：2
19
作者 陈伟 《重庆社会科学》 2000年第4期41-45,共5页
可能世界语义学的建立和发展,受到了哲学家、逻辑学家以及语言学家们的极大关注,并不仅仅因为可能世界在形而上学上是一个很振奋人心的观念,更因为可以精确地表述它,并且,它是一种全新的分析工具和方法——无论对哲学,还是对逻辑学,甚... 可能世界语义学的建立和发展,受到了哲学家、逻辑学家以及语言学家们的极大关注,并不仅仅因为可能世界在形而上学上是一个很振奋人心的观念,更因为可以精确地表述它,并且,它是一种全新的分析工具和方法——无论对哲学,还是对逻辑学,甚至对语言学来讲——这一点都是无可争议的。此外,可能世界语义学对我们的思维方式也产生了具有深远意义的影响。 展开更多
关键词 可能世界语义学 逻辑语义学 逻辑思维适用论域
在线阅读 下载PDF
基于破坏性表列的模态公理系统 被引量：1
20
作者 唐芳芳 《湖南科技大学学报（社会科学版）》 北大核心 2009年第1期41-45,共5页
表列适于作为模态定理机器证明的基础。在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础。沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模... 表列适于作为模态定理机器证明的基础。在破坏性模态表列的基础上,构造分析性模态公理系统,这种公理系统的定理很容易证明,因此也适于作为模态定理机器证明的基础。沿着安德森等人开创的方向,将分析性公理系统的应用从经典逻辑推广到模态逻辑。称一个公理系统是分析的,即它的每一推理规则的前提和结论中的命题变元相同。为了便于表述这种系统中的公理,可以先定义一种广义谢弗竖[;],给出模态表达式的一种新记法,以此改进现有的破坏性模态表列,并以这种改进的结果为基础构造分析性模态公理系统。 展开更多
关键词 语义表列 模态逻辑 完全性 证明理论 谢弗竖
在线阅读 下载PDF
已选择0条
导出题录 引用分析
参考文献
引证文献
 统计分析
检索结果
已选文献
上一页 1 2 … 6 下一页 到第 页
使用帮助 返回顶部