论同一性的模态逻辑

1

作者 张力锋 黄佳颖 《河南社会科学》 北大核心 2025年第12期113-120,共8页

必然同一论认为,同一性陈述若为真,则必然为真。我们沿着形式证明与非形式证明两条路径,详细考察这一论题的多项理论支撑。基于准确阐释相关理论工具,驳斥一个较具代表性的偶然同一论认识,面对质疑莱布尼茨律和必然同一之为性质的论证,... 必然同一论认为,同一性陈述若为真,则必然为真。我们沿着形式证明与非形式证明两条路径,详细考察这一论题的多项理论支撑。基于准确阐释相关理论工具,驳斥一个较具代表性的偶然同一论认识,面对质疑莱布尼茨律和必然同一之为性质的论证,援引多种资源予以回应,从而捍卫必然同一性的模态逻辑。 展开更多

关键词 专名 同一性 必然 模态 严格指示词

在线阅读 下载PDF 职称材料

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

2

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

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

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

在线阅读 下载PDF 职称材料

索引词理论:一个哲学逻辑视角 被引量：3

3

作者 张力锋 《学海》 CSSCI 北大核心 2023年第2期198-206,共9页

当代索引词理论以特征/内容、使用语境/赋值情形两对区分为方法论基础,建立以直接指称理论为核心的索引词语义,使得索引词等直接指称词项的语义内容摆脱认识论纠缠,令认知含义和真值条件各安其所。虽然单称命题遭遇较严重的本体论挑战,... 当代索引词理论以特征/内容、使用语境/赋值情形两对区分为方法论基础,建立以直接指称理论为核心的索引词语义,使得索引词等直接指称词项的语义内容摆脱认识论纠缠,令认知含义和真值条件各安其所。虽然单称命题遭遇较严重的本体论挑战,但完全可以从曲全论、必然论以及指称和存在的语言哲学区分等不同方向从容应对。在此基础上,可为索引性语句构造扩张版可能世界语义。 展开更多

关键词 索引词 使用语境 赋值情形 直接指称

在线阅读 下载PDF 职称材料

模态逻辑的哲学归宿 被引量：2

4

作者 张力锋 《四川大学学报（哲学社会科学版）》 CSSCI 北大核心 2004年第2期46-52,共7页

通过分析模态逻辑发展过程中所遭受到的来自技术及哲学方面的挑战,指出这一系列问题的产生归根结底在于:模态逻辑,特别是量化模态逻辑,在哲学上承诺了本质主义,本质主义是模态逻辑的最终哲学归宿。

关键词 模态逻辑 本质主义 从物模态 量词 哲学

在线阅读 下载PDF 职称材料

逻辑宿命论辩谬 被引量：2

5

作者 张力锋 《人文杂志》 CSSCI 北大核心 2017年第10期22-27,共6页

标准的逻辑宿命论论证ALF在形式结构上是具有效性的,但在语用层面存在着严重的说理谬误,即窃题;此外,ALF主要前提之一的真实性也未得到确保,无论其自身还是它转而依赖的结论都缺乏充足的理由,因此单纯逻辑视角下日常的宿命论观念站不住... 标准的逻辑宿命论论证ALF在形式结构上是具有效性的,但在语用层面存在着严重的说理谬误,即窃题;此外,ALF主要前提之一的真实性也未得到确保,无论其自身还是它转而依赖的结论都缺乏充足的理由,因此单纯逻辑视角下日常的宿命论观念站不住脚,预见真理与行动者自由意志并非逻辑地不相容。 展开更多

关键词 逻辑宿命论 自由意志 行动 窃题

在线阅读 下载PDF 职称材料

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

6

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

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

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

在线阅读 下载PDF 职称材料

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

7

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

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

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

在线阅读 下载PDF 职称材料

从物模态的还原:一个逻辑哲学探究 被引量：1

8

作者 张力锋 《学术研究》 CSSCI 北大核心 2015年第8期16-19,159,共4页

作为还原从物模态的限定条件,语句集Σ无需有非从物性句法要求,而应主要在语义上不可出现基于个体量化的实质模态使用。按照这一还原方案,唯有模型结构具有程度不同的齐次性,在模态语境下消解个体或有意识模糊个体的同一性及相互之间的... 作为还原从物模态的限定条件,语句集Σ无需有非从物性句法要求,而应主要在语义上不可出现基于个体量化的实质模态使用。按照这一还原方案,唯有模型结构具有程度不同的齐次性,在模态语境下消解个体或有意识模糊个体的同一性及相互之间的分别,坚持反基质主义准则,不约定数个可能世界间个体的同一或差异的模态理论,才能达成初衷;但这样的模态理论背离从物模态的基本语义,没有多少成效。 展开更多

关键词 从物模态 从言模态 个体 模型结构

在线阅读 下载PDF 职称材料

相对主义论争及其理据——与威廉森教授商榷

9

作者 张力锋 《学术研究》 CSSCI 北大核心 2021年第3期17-21,27,共6页

自然主义与其他先验论或神秘主义方法论的长期对峙为相对主义的登场创造了可能性,但诉诸效用的相对主义真理辩护并不成功,将真理相对于可能世界、命题内容相对于语境更有前景。绝对主义者切割真理与价值评判联系的实陈趋善论证,实际上... 自然主义与其他先验论或神秘主义方法论的长期对峙为相对主义的登场创造了可能性,但诉诸效用的相对主义真理辩护并不成功,将真理相对于可能世界、命题内容相对于语境更有前景。绝对主义者切割真理与价值评判联系的实陈趋善论证,实际上暗中运用了真理概念。威廉森反驳可错论衍推不可知论的算术论证不成立,我们可以通过区分认知模态词项“可能错”与“实际错”加以简要证明。威廉森批评道德相对主义,是建立于消解语义外在论,但价值评判词汇的文化语境敏感特征并未改变,相对主义依然如是。 展开更多

关键词 相对主义 真理 知识 可错论 价值

在线阅读 下载PDF 职称材料

可能世界的语言替代论方案及其困境

10

作者 张力锋 《人文杂志》 CSSCI 北大核心 2008年第5期24-29,共6页

语言替代论认为可能世界不过就是逻辑-语言的构造物,从而免受一些棘手形而上学问题的困扰,但它却又深深地陷于现实语言的表达力不足、模态循环定义和构造悖论的困境之中。这些难以克服的困难表明,语言替代论很难成为一条成功的可能世界... 语言替代论认为可能世界不过就是逻辑-语言的构造物,从而免受一些棘手形而上学问题的困扰,但它却又深深地陷于现实语言的表达力不足、模态循环定义和构造悖论的困境之中。这些难以克服的困难表明,语言替代论很难成为一条成功的可能世界方案。 展开更多

关键词 语言替代论 可能世界模态 语言表达力 一致性 构造悖论

在线阅读 下载PDF 职称材料

普特南论自然种类词:当代逻辑哲学视域下的本质主义研究

11

作者 张力锋 《江海学刊》 CSSCI 北大核心 2006年第5期60-65,共6页

所谓自然种类词,就是非人造的天然物质或事物类别的名称。普特南发展出一种马克思普克理论类似的自然种类词理论,其内部结构说、孪生地球论证以及范型、索引性和语言分工等基本概念支撑起该理论的严密体系结构,使得它足以自圆其说,并能... 所谓自然种类词,就是非人造的天然物质或事物类别的名称。普特南发展出一种马克思普克理论类似的自然种类词理论,其内部结构说、孪生地球论证以及范型、索引性和语言分工等基本概念支撑起该理论的严密体系结构,使得它足以自圆其说,并能够解释诸多的哲学难题,应付来自多方面的责难。 展开更多

关键词 自然种类词 孪生地球论证 范型 语言分工 本质主义

在线阅读 下载PDF 职称材料

自然种类词的逻辑

12

作者 张力锋 《学术研究》 CSSCI 北大核心 2011年第12期26-33,共8页

李晨阳教授认为自然种类词不是严格指示词,给自然种类命名具有不确定性,用以命名的样本可以代表不同层面的多个自然种类,由此自然种类词的指称是不确定的,相关个体是否为某自然种类实例应由主体后天决定,因而表达自然种类本质的后天必... 李晨阳教授认为自然种类词不是严格指示词,给自然种类命名具有不确定性,用以命名的样本可以代表不同层面的多个自然种类,由此自然种类词的指称是不确定的,相关个体是否为某自然种类实例应由主体后天决定,因而表达自然种类本质的后天必然命题是不存在的。但指称不可测知论题是有条件的,蒯因是用它来反驳绝对指称观,进而论证本体论的相对性;相对一个拥有既定翻译手册的语言共同体,语词都有确定的指称。作为一类特殊的语词,自然种类词相对于语言共同体也是指称确定的;确定其指称的意义是一类社会性建制,被分配至语言共同体内不同人群:命名者的意向、兴趣等语境因素形成了最初的核心范型意义,一般成员拥有的正是范型意义,相关专家则掌握着发挥解释范型作用的识别标准意义。基于上述讨论,就可以较合理地应对李晨阳教授向直接指称理论提出的挑战。 展开更多

关键词 自然种类词 不确定性 语言共同体 翻译手册 范型

在线阅读 下载PDF 职称材料

经典安瑟尔谟本体论证明的逻辑评估——一个可能世界理论的视角

13

作者 张力锋 《人文杂志》 CSSCI 北大核心 2012年第3期11-14,共4页

可能世界理论解释表明,安瑟尔谟的本体论证明并未以康德式存在的谓词性设定为论据,整个证明最关键之处乃在于现实世界是否就是不可超越的伟大性得到示例的那些可能世界之一。经典本体论证明的破解也说明,作为现代逻辑的一种重要理论形态... 可能世界理论解释表明,安瑟尔谟的本体论证明并未以康德式存在的谓词性设定为论据,整个证明最关键之处乃在于现实世界是否就是不可超越的伟大性得到示例的那些可能世界之一。经典本体论证明的破解也说明,作为现代逻辑的一种重要理论形态,可能世界理论对于宗教哲学研究有着重大学术价值,它有力地推动着一些重要宗教哲学问题的深入研究。 展开更多

关键词 上帝 本体论证明 可能世界理论 伟大性

在线阅读 下载PDF 职称材料

甜菜碱合成代谢基因工程的研究进展 被引量：2

14

作者 张力锋 马振毅 达来 《微生物学杂志》 CAS CSCD 1998年第2期51-54,共4页

关键词 甜菜碱 合成代谢 基因工程 操纵元 序列

在线阅读 下载PDF 职称材料

XK2423数控铣床立柱的有限元分析与拓扑优化 被引量：3

15

作者 刘甚宏 关英俊 +2 位作者 张力锋 李想 毕海峰 《组合机床与自动化加工技术》 北大核心 2014年第8期22-25,共4页

基于HyperWorks平台,以数控铣床立柱的极限工况为条件,进行有限元分析,并在有限元分析的基础上提出立柱结构的拓扑优化方法,建立以应变能最小为目标,以体积分数、位移为约束的结构拓扑优化模型,运用该模型完成XK2423数控铣床立柱结构的... 基于HyperWorks平台,以数控铣床立柱的极限工况为条件,进行有限元分析,并在有限元分析的基础上提出立柱结构的拓扑优化方法,建立以应变能最小为目标,以体积分数、位移为约束的结构拓扑优化模型,运用该模型完成XK2423数控铣床立柱结构的拓扑优化设计,将优化后的立柱再次进行有限元分析验证。分析结果表明:改进后的立柱质量减少了4.5%,最大变形降低了16.1%,一阶固有频率提高了4.9%,满足设计指标要求。 展开更多

关键词 数控铣床 有限元分析 拓扑优化 立柱

在线阅读 下载PDF 职称材料

论真实指代词

16

作者 孙嫄 张力锋 《学术研究》 CSSCI 北大核心 2024年第8期39-45,共7页

真实指代词的恰当使用需要辅以施动者的指示动作。虽然有助于说明语句认知意义的差异,但指示本身呈现对象的方式(即弗雷格式指示涵义)却不是真实指代词所表达的内容。它发挥的作用是在使用语境固定真实指代词所表达的内容。这一功用也... 真实指代词的恰当使用需要辅以施动者的指示动作。虽然有助于说明语句认知意义的差异,但指示本身呈现对象的方式(即弗雷格式指示涵义)却不是真实指代词所表达的内容。它发挥的作用是在使用语境固定真实指代词所表达的内容。这一功用也可通过将真实指代词转变为dthat短语顺利实现。作为纯粹索引词,dthat短语能够更直白地揭示指示涵义是在近似于特征的维度发挥认知性作用,并用以构造、说明有力的先验偶然性和后验必然性案例。不过,无论本体地抑或认知地,固定真实指代词特定使用所表达的内容都尚需诉诸指导指示的意向;后者总是试图以为听众或对话者分享的方式支配或影响指示涵义,否则就会出现功能失常,不能妥当地固定真实指代词所指。 展开更多

关键词 真实指代词 指示 指示涵义 内容 指导意向 直接指称

在线阅读 下载PDF 职称材料

粉末火箭发动机研究进展 被引量：23

17

作者 李悦 胡春波 +3 位作者 胡加明 朱小飞 张力锋 李超 《推进技术》 EI CAS CSCD 北大核心 2018年第8期1681-1695,共15页

新型粉末火箭是以颗粒形态燃料或氧化剂为主要推进工质,以少量流化气体为输送介质的火箭推进系统,具有推力可调、多脉冲工作的功能和结构简单、环境温度适应性强、工作可靠性高等性能优势,在近地空间开发、深空探测等领域具有深远的研... 新型粉末火箭是以颗粒形态燃料或氧化剂为主要推进工质,以少量流化气体为输送介质的火箭推进系统,具有推力可调、多脉冲工作的功能和结构简单、环境温度适应性强、工作可靠性高等性能优势,在近地空间开发、深空探测等领域具有深远的研究价值。本文针对粉末火箭发展历史及技术现状进行了概述分析,并以此梳理出粉末推进剂装填与改性、粉末供给输送、粉末喷注与燃烧等主要关键技术,并对包括冷态标定、常压点火以及样机试车等粉末火箭发动机系统研究过程进行了介绍,同时提出了高性能粉末推进剂研究、发动机低压点火、粉末输送分流与多点喷注、发动机系统控制、环境温度适应潜力等是粉末火箭发动机技术的发展方向。通过对粉末火箭发动机研究经验归纳整理,明确了粉末发动机自身工作特点与优势。 展开更多

关键词 粉末火箭发动机 Al/AP粉末火箭 Mg粉/CO2火箭 粉末燃烧 粉末流化 深空探测

在线阅读 下载PDF 职称材料

模态认识论探纲 被引量：4

18

作者 张力锋 《人文杂志》 CSSCI 北大核心 2018年第12期63-73,共11页

模态认识论主要讨论形而上学模态、模态信念和知识、获取模态知识的途径、确立模态信念正当性的规范等主要议题。现代哲学中即有模态认识论的理性主义、经验主义和语义主义思想源头,当代哲学家克里普克区分形而上学模态与认知模态,为当... 模态认识论主要讨论形而上学模态、模态信念和知识、获取模态知识的途径、确立模态信念正当性的规范等主要议题。现代哲学中即有模态认识论的理性主义、经验主义和语义主义思想源头,当代哲学家克里普克区分形而上学模态与认知模态,为当代模态认识论设定了核心议题及出发点。当前,人们讨论形而上学模态与逻辑模态、律则模态之间的关系,提出并试图应对各种模态怀疑论,建立四种主要的模态认识论方案,就模态直觉、错觉、错误等提出具体的规范性条件。未来,模态认识论将沿着基本概念探析、可设想型模态知识说明、反事实型模态知识说明和本质主义模态知识说明等几个方向,取得突破性进展,并在逻辑学、语言哲学等学科领域产生持续且深远的影响。 展开更多

关键词 形而上学模态 设想 想象 模态直觉 反事实条件句 本质主义 证立

在线阅读 下载PDF 职称材料

一种有效的雷达辐射源信号数据清洗方法 被引量：2

19

作者 张力锋 殷雪凤 《现代电子技术》 2022年第13期1-6,共6页

为提高侦察接收机截获的辐射源数据的数据质量,提出一种针对雷达辐射源信号的数据清洗方法,能检测并剔除侦察接收机接收到的原始数据集中的噪声数据,提高数据质量,降低低质量数据或噪声数据对电子侦察系统后续处理流程的影响。首先对辐... 为提高侦察接收机截获的辐射源数据的数据质量,提出一种针对雷达辐射源信号的数据清洗方法,能检测并剔除侦察接收机接收到的原始数据集中的噪声数据,提高数据质量,降低低质量数据或噪声数据对电子侦察系统后续处理流程的影响。首先对辐射源信号进行预处理,获取信号包络;之后提取辐射源信号包络的相像系数作为特征向量;最后用基于密度的含噪数据空间聚类算法(DBSCAN)对特征数据进行聚类,区分噪声数据和有效脉冲数据,将噪声数据剔除,从而提高数据质量。在仿真数据和实测数据上的实验证明,提出的数据清洗方法基本达到了人工清洗的水平,能有效提高数据质量和清洗效率。 展开更多

关键词 数据清洗 雷达辐射源信号 电子侦察 电子对抗 特征提取 相像系数 DBSCAN

在线阅读 下载PDF 职称材料

不同粒度级配的硼基粉末燃料装填特性和流动性 被引量：1

20

作者 张力锋 杨建伟 +4 位作者 吕玺 李晓航 石川 郝茂森 游膺 《火炸药学报》 EI CAS CSCD 北大核心 2024年第1期91-96,共6页

为了阐明粒度级配对粉末燃料装填特性和流动性的影响规律,提高粉末冲压发动机工作性能,以硼基粉末燃料为对象,研究了颗粒物性和级配方式等对粉末燃料装填特性和流动性的影响,并利用粉末供给系统验证了级配粉末的流化输运性能。结果表明... 为了阐明粒度级配对粉末燃料装填特性和流动性的影响规律,提高粉末冲压发动机工作性能,以硼基粉末燃料为对象,研究了颗粒物性和级配方式等对粉末燃料装填特性和流动性的影响,并利用粉末供给系统验证了级配粉末的流化输运性能。结果表明,大粒径颗粒间隙中填充小粒径颗粒能够提升装填密度,但却会降低其流动性;多级级配粉末中的小粒径颗粒流动性较差时,预混装填方式的级配颗粒装填密度高于分批装填方式,反之则分批装填方式更好;团聚造粒制备的硼基粉末燃料粒度分布均有分形分布特征,分形级配的方式也可以提高颗粒装填密度,提升幅度约15.7%,分形级配后分形维数为2.33,装填密度为0.957g/cm^(3),装填率为53.8%,并保持较好的流化性能。 展开更多

关键词 物理化学 粉末冲压发动机 粉末燃料 硼粉 流化输送 装填特性

在线阅读 下载PDF 职称材料