公理化真理论的标准辨析

1

作者 刘大为 《湖南科技大学学报（社会科学版）》 北大核心 2024年第4期33-40,共8页

公理化真理论把“真”看作一个原始谓词,并用一组公理和规则来规定它。为了评价不同的公理化真理论,逻辑学家莱特格布提出了真理论的八个标准,得到许多哲学家的认同。通过详细分析这八个标准的解释和意义可以看到,这些标准既不是必然的... 公理化真理论把“真”看作一个原始谓词,并用一组公理和规则来规定它。为了评价不同的公理化真理论,逻辑学家莱特格布提出了真理论的八个标准,得到许多哲学家的认同。通过详细分析这八个标准的解释和意义可以看到,这些标准既不是必然的,也无法同时被满足,存在着不足之处。依据公理化真理论的指导思想和紧缩真理论的承诺,可尝试从后承视角提出新的标准,即公理化真理论的形式真定理不应削弱哲学直观,且应充分证明哲学上合理的真原则。该新标准有着较好的简洁性与解释力,可以评价不同的公理化真理论,而且KF-CONS系统更符合该标准。 展开更多

关键词 公理化真理论 真标准 紧缩真理论 真原则 后承

原文传递

理解逻辑后承多元论

2

作者 王洪光 《河北学刊》 CSSCI 北大核心 2022年第2期69-78,共10页

主张逻辑的多元性,是一个极具争议的逻辑哲学立场。后承多元论是近来最为显著的逻辑多元论学说,它主张逻辑的多元性来自逻辑后承的多元性。本文首先考虑并排除了两类典型的针对逻辑多元论的整体性反驳;其次阐述了直觉性的、非形式的后... 主张逻辑的多元性,是一个极具争议的逻辑哲学立场。后承多元论是近来最为显著的逻辑多元论学说,它主张逻辑的多元性来自逻辑后承的多元性。本文首先考虑并排除了两类典型的针对逻辑多元论的整体性反驳;其次阐述了直觉性的、非形式的后承概念的未确定性,以及毕奥和雷斯托尔以此为动机所提出的后承多元论;然后考虑了这个理论的一个直接但饱受质疑的结果,即存在两个不同的经典逻辑后承,尤其说明这个结果在处理逻辑哲学难题时的用处;最后再次回到后承概念的未确定性,探讨了对它的两种理解:含混性和歧义性。 展开更多

关键词 逻辑多元论 后承 有效性 未确定性

下载PDF 职称材料

论《逻辑》中的“所以” 被引量：1

3

作者 刘新文 《哲学动态》 CSSCI 北大核心 2021年第5期108-116,128,共10页

在1935年出版的《逻辑》中,金岳霖系统地提出了自己的推论理论,并以讨论"所以"的方式回应了路易斯·卡罗尔在1895年提出的"无穷倒退"这一逻辑哲学中的核心问题。本文梳理了"推论""蕴涵"和&... 在1935年出版的《逻辑》中,金岳霖系统地提出了自己的推论理论,并以讨论"所以"的方式回应了路易斯·卡罗尔在1895年提出的"无穷倒退"这一逻辑哲学中的核心问题。本文梳理了"推论""蕴涵"和"后承"等相关的逻辑概念之间的异同及其理论问题,然后以此为背景,结合金岳霖的哲学立场,疏解了他关于推论的卡罗尔问题的解释和回应,并且指出了这一理论所遗留的客观基础问题。 展开更多

关键词 “所以” 推论 蕴涵 后承 卡罗尔无穷倒退

原文传递

悖论的定义及其形式化

4

作者 郭向阳 付雪平 《怀化学院学报》 2012年第12期30-32,共3页

"什么是悖论"其实就是悖论定义问题,始终是悖论研究的一个重要问题,对这个问题的回答在某种程度上决定了研究的方向和深度。以张建军的"三要素"表征的悖论定义是现有研究成果的典型代表,国内的一些著名逻辑学者都... "什么是悖论"其实就是悖论定义问题,始终是悖论研究的一个重要问题,对这个问题的回答在某种程度上决定了研究的方向和深度。以张建军的"三要素"表征的悖论定义是现有研究成果的典型代表,国内的一些著名逻辑学者都在这个问题上发表了各自的看法。通过对这些看法的比较研究,提出一个更合理的悖论定义,并予以形式化。 展开更多

关键词 悖论 形式化 后承 后承关系

下载PDF 职称材料

带着老伴看喜剧 喜乐心态宜健康

5

作者 九月 《健康之路》 2015年第2期36-37,共2页

68岁的江福清是位快乐大爷,他和老伴喜欢看喜剧,他家总是充满欢声笑语,邻居们羡慕极了。可是几年前,却不是这样。2007年,江先生的老伴正住院时,她唯一的妹妹突然去世,病弱的她难以承受突然打击,整日长吁短叹,以泪洗面,茶饭不思,夜不能寐... 68岁的江福清是位快乐大爷,他和老伴喜欢看喜剧,他家总是充满欢声笑语,邻居们羡慕极了。可是几年前,却不是这样。2007年,江先生的老伴正住院时,她唯一的妹妹突然去世,病弱的她难以承受突然打击,整日长吁短叹,以泪洗面,茶饭不思,夜不能寐,患了抑郁症。江福清和老伴自幼青梅竹马。 展开更多

关键词 邻居们 郁症 后承 乡村爱情 老夫妻 功夫熊猫 济公 赐名 小孙子 看多

原文传递

俗语佛源(2)

6

《文史知识》 1986年第12期77-79,共3页

野狐禅学道而流入邪僻、未悟而妄称开悟,禅家一概斥之为'野狐禅'。这里有一件著名的'公案':昔有一老人,因学人问:'大修行人还落因果也无?'答曰:'不落因果。'结果五百生为野狐身。后承百丈怀海禅师代下... 野狐禅学道而流入邪僻、未悟而妄称开悟,禅家一概斥之为'野狐禅'。这里有一件著名的'公案':昔有一老人,因学人问:'大修行人还落因果也无?'答曰:'不落因果。'结果五百生为野狐身。后承百丈怀海禅师代下一'转语':'不昧因果。'老人遂脱去野狐身。(见《五灯会元》卷三)原来,佛教的'修因证果',正是因果律的体现。老人以为修行人可以'不落因果',恰恰陷入了'邪见',属于'大妄语',结果受了'野狐身'之报,又有个瑞岩和尚,整日价自唤'主人公',复自应诺。 展开更多

关键词 证果 邪见 瑞岩 转语 禅家 《五灯会元》 老婆心 怀海 后承 百生

原文传递

从一封信看中国近代考古学的发轫

7

作者 李光谟 《文物天地》 1997年第5期19-21,共9页

近月来,自参加梁启超亲属向中国第一档案馆捐赠梁先生一批未刊书信的仪式后,亟欲得知任公先生晚年书信中有无详论清华国学研究院考古发掘活动的内容。

关键词 国学研究院 考古发掘 一封信 思永 后承 考古学史 李济 董作宾 西阴 阎锡山

全文增补中

浅谈多舱油罐车各舱的检定顺序

8

作者 马红阳 刘海波 +1 位作者 冷太山 沈猛 《中国计量》 2017年第4期107-108,共2页

目前针对汽车油罐车的检定依据为JJG133-2005《汽车油罐车检定规程》,该规程发布于2005年,经过十余年的发展,汽车油罐车容积越来越大,该规程对于油罐车检定的适用存在一些问题。为了探讨规程中两种检定顺序对检定结果的影响,本所汽车油... 目前针对汽车油罐车的检定依据为JJG133-2005《汽车油罐车检定规程》,该规程发布于2005年,经过十余年的发展,汽车油罐车容积越来越大,该规程对于油罐车检定的适用存在一些问题。为了探讨规程中两种检定顺序对检定结果的影响,本所汽车油罐车检定实验室严格按照JJG133-2005的相关规定,对同一批油罐车分别用两种检定顺序进行检定作业。 展开更多

关键词 检定规程 空高 前舱 竖直方向 压缩变形量 卸油 检定方法 检定人员 重轮 后承

原文传递

有格室-后承压板结合部构造的结构特性 被引量：22

9

作者 唐亮 吴文明 +1 位作者 刘高 徐国平 《工程力学》 EI CSCD 北大核心 2010年第11期234-243,共10页

有格室-后承压板构造是目前混合梁桥工程中广泛应用的钢混结合部构造形式之一。针对混合梁斜拉桥,通过有限元方法,对该类型结合部构造的受力特点及各结构参数影响进行了较系统的研究。研究结果表明:后承压板和加强段顶底板上的抗剪连接... 有格室-后承压板构造是目前混合梁桥工程中广泛应用的钢混结合部构造形式之一。针对混合梁斜拉桥,通过有限元方法,对该类型结合部构造的受力特点及各结构参数影响进行了较系统的研究。研究结果表明:后承压板和加强段顶底板上的抗剪连接件是有格室-后承压板结合部荷载传递的主要部件,格室内抗剪连接件作用不大。在所取的参数范围内,后承压板厚度(20mm―70mm)、格室长度(0.6m―2.0m)的影响很小;加强段长度大等于1.5m后,该参数的影响也可忽略;抗剪连接件刚度和格室高度对该类型结合部构造的受力性能影响很大,是设计过程中需重点考虑的问题。该研究对混合梁桥结合部构造的设计和研究有重要参考意义。 展开更多

关键词 混合梁 斜拉桥 结合部 有格室-后承压板构造 有限元方法

原文传递

不用联结词和量词的一阶逻辑系统 被引量：8

10

作者 张清宇 《哲学研究》 CSSCI 北大核心 1996年第5期72-79,共8页

关键词 一阶逻辑 一阶语言 联结词 自由出现 原子公式 经典命题逻辑 个体域 逻辑后承 数理逻辑 真值

原文传递

语义悖论和溯因方法论

11

作者 蒂莫西·威廉姆森 鲁彦君(译) 《河南社会科学》 北大核心 2024年第5期107-118,共12页

从基于不同后承关系的逻辑理论的比较入手,借鉴科学理论的选择标准,提出了一种对相互竞争的逻辑进行比较的一般方法论——溯因方法论。作者以溯因方法论为依托,论证了在解决语义悖论的方案中,修正经典逻辑而保留真的去引号原则所需要付... 从基于不同后承关系的逻辑理论的比较入手,借鉴科学理论的选择标准,提出了一种对相互竞争的逻辑进行比较的一般方法论——溯因方法论。作者以溯因方法论为依托,论证了在解决语义悖论的方案中,修正经典逻辑而保留真的去引号原则所需要付出的代价远比通常认为的更高,由此为保留经典逻辑而限制或修改真的去引号原则提供辩护。 展开更多

关键词 逻辑后承 溯因方法论 语义悖论 逻辑比较 经典逻辑 真的去引号原则

下载PDF 职称材料

埃文斯关于名称的因果理论

12

作者 徐艳茹 《今古文创》 2024年第6期59-61,共3页

传统的描述理论和历史因果理论是关于专名指称理论的两种代表理论。G·埃文斯(Gareth Evans)作为专名指称理论最新研究的代表人物之一,在他的著作《关于名称的因果理论》中,他指出传统描述理论通过符合关系达到名称指称对象的目的,... 传统的描述理论和历史因果理论是关于专名指称理论的两种代表理论。G·埃文斯(Gareth Evans)作为专名指称理论最新研究的代表人物之一,在他的著作《关于名称的因果理论》中,他指出传统描述理论通过符合关系达到名称指称对象的目的,这既不是充分的,也不是必要的;而在克里普克历史的因果理论中,他认为因果理论忽视了语境的重要性,是仍需修正的。他通过对传统的描述理论和克里普克式因果指称理论的考察,对两种理论进行批评继承,从而提出了混合理论,即一个名称能够指称一个对象仅当这个对象是说话者有意图的,在社会(语境)共同体中赋予这个名字的信息体的主导性因果来源。 展开更多

关键词 符合关系 逻辑后承 意向 语境

下载PDF 职称材料

逻辑基础问题(中) 被引量：5

13

作者 G.谢尔 刘新文 《世界哲学》 CSSCI 北大核心 2017年第5期22-36,共15页

运用本文第一部分新建立起来的方法论,我在本文第二部分为逻辑构造了一个基础。我的出发点是逻辑在人类知识中所执行的任务。为了完成这一任务,逻辑必须满足强大的正确性要求,由此,它必须既建基于人类心灵之中也建基于世界之中。但是逻... 运用本文第一部分新建立起来的方法论,我在本文第二部分为逻辑构造了一个基础。我的出发点是逻辑在人类知识中所执行的任务。为了完成这一任务,逻辑必须满足强大的正确性要求,由此,它必须既建基于人类心灵之中也建基于世界之中。但是逻辑又不能建基于世界的任何事物之中;它必须建基于世界的某一方面,这个方面强大到足以支撑关于逻辑后承(逻辑地从什么得出什么)的断言。我对这个问题的解决办法是把逻辑建基于一种特别强的法则类型即"形式"法则之中。我证明,由于这些法则的特别强大的"不变性"程度这个特征,它们足够强大到为逻辑提供基础,然后我解释了逻辑是如何建基于这样的法则之中的。这个基础包含着形式性的一个标准以及基于这个标准而为逻辑常项提出的一个标准——逻辑常项是逻辑真和逻辑后承的"引擎"。 展开更多

关键词 逻辑后承 正确性 形式性 逻辑性

原文传递

论逻辑后承概念 被引量：4

14

作者 刘新文(译) 马明辉(校) 《世界哲学》 CSSCI 北大核心 2020年第1期144-150,共7页

塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念。然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这... 塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念。然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这个类的每个模型也是句子X的模型”,使得逻辑后承这个现代逻辑核心概念的定义成为标准定义。但是,这个定义也遗留了一个更为根本的问题,即逻辑词项和非逻辑词项的划分标准问题,后者将由塔尔斯基本人在1966年给出了一个划分标准,从而开辟了一个方兴未衰的逻辑哲学研究方向。 展开更多

关键词 逻辑后承 逻辑地得出 真 逻辑词项

原文传递

塔尔斯基论逻辑后承概念 被引量：4

15

作者 马明辉 《世界哲学》 CSSCI 北大核心 2014年第1期120-123,159,共5页

塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》,基于他努力开创的语义学,第一次精确地定义了"逻辑后承"这个现代逻辑的核心概念。这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上。塔尔斯基的... 塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》,基于他努力开创的语义学,第一次精确地定义了"逻辑后承"这个现代逻辑的核心概念。这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上。塔尔斯基的真之定义一般称为形式化语言的基本语义定义,它是形式化语言的最基本的语义概念。塔尔斯基还提出了逻辑符号和非逻辑符号的划分标准问题。 展开更多

关键词 形式化语言 逻辑后承 真 逻辑概念

原文传递

基于L~*系统的一种非单调推理系统 被引量：3

16

作者 吴洪博 马巧云 《陕西师范大学学报（自然科学版）》 CAS CSCD 北大核心 2004年第4期4-8,共5页

研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这... 研究了非单调优先推理系统P和累积单调推理系统CM,以及模糊命题演算的形式演绎系统L ,在L 系统中定义了后承关系｜～:A｜～B当且仅当A2├B,证明了在L 系统中的这种后承关系满足累积单调推理系统CM,非单调优先推理系统P的全部规则,但这种后承关系不满足单调推理系统M的逆否律规则,从而在L 系统中建立了一个介于非单调推理系统和单调推理系统之间的逻辑系统.这为两种系统的理论研究建立一个桥梁以及为模糊控制提供了一种新的思路. 展开更多

关键词 L^＊系统 非单调推理系统 累积单调推理系统 CM系统 P系统 后承关系 模糊逻辑

下载PDF 职称材料

逻辑力量之源——论逻辑后承概念 被引量：2

17

作者 朱建平 《华侨大学学报（哲学社会科学版）》 2013年第1期13-20,共8页

试图通过考察几种主要的后承概念及其相互关系,进而澄清围绕着后承概念的各种模糊认识,以期获得一个真实的逻辑哲学意义上的后承概念。结论是:模型论的逻辑后承概念提供了逻辑后承的合理的数学模型。它弥补、纠正、深化和回答了前理论... 试图通过考察几种主要的后承概念及其相互关系,进而澄清围绕着后承概念的各种模糊认识,以期获得一个真实的逻辑哲学意义上的后承概念。结论是:模型论的逻辑后承概念提供了逻辑后承的合理的数学模型。它弥补、纠正、深化和回答了前理论后承概念的种种问题。同样,模型论的基本观点对于理解逻辑的正确推理,对于澄清围绕着后承概念的种种片面和模糊认识具有根本性的作用。 展开更多

关键词 逻辑后承 模型论的后承概念 演绎系统的后承概念

下载PDF 职称材料

一个意图后承的形式理论(Ⅱ)——基于相关性的刻画 被引量：3

18

作者 陈小平 《自然辩证法研究》 CSSCI 北大核心 2002年第z1期19-22,共4页

本文通过引入相关性，给出Lm4c+后承的一个基于经典逻辑概念的形式刻画，进而给出“愿望保持性”和“承诺可传递性”的一个统一的形式规范，从而为“意图调整”提供了理论支持。

关键词 意图后承 愿望保持性 承诺可传递性 形式化

下载PDF 职称材料

塔斯基的真定义、语义学与逻辑后承 被引量：3

19

作者 朱建平 《华侨大学学报（哲学社会科学版）》 2014年第2期56-70,共15页

塔斯基关于真的语义学定义和逻辑后承的里程碑式的著作是对现代语义学研究最重要的贡献。塔斯基用满足和归纳的方式给出的真的递归定义,循序渐进的句法定义,语义模型的概念,逻辑真和逻辑后承的概念等一系列理论和方法构成了当代语义学... 塔斯基关于真的语义学定义和逻辑后承的里程碑式的著作是对现代语义学研究最重要的贡献。塔斯基用满足和归纳的方式给出的真的递归定义,循序渐进的句法定义,语义模型的概念,逻辑真和逻辑后承的概念等一系列理论和方法构成了当代语义学理论的核心部分。诸如模型论语义学、可能世界语义学、戴维森的意义理论、蒙太格的内涵语义学,甚至作为生成语法的分支的逻辑形式(LF)等无一不体现或者渗透着塔斯基原理和思想。 展开更多

关键词 塔斯基 真理定义 语义学 逻辑后承

下载PDF 职称材料

涡轮后机匣的结构动力学精确建模 被引量：2

20

作者 梁小鸥 臧朝平 +2 位作者 雷新亮 曾亚未 黄梓 《航空发动机》 北大核心 2022年第1期47-53,共7页

构建精度高、规模适中的部件动力学模型,是航空发动机在研制初期实现从结构部件到整机的动力学特性准确分析的有效途径。为构建满足工程需求的部件结构动力学模型,依据某装配组合式涡轮后机匣的结构特点,提出了其各构件的“超模型”建... 构建精度高、规模适中的部件动力学模型,是航空发动机在研制初期实现从结构部件到整机的动力学特性准确分析的有效途径。为构建满足工程需求的部件结构动力学模型,依据某装配组合式涡轮后机匣的结构特点,提出了其各构件的“超模型”建模及装配组合形式的连接件分类建模的方法,实现装配组合式涡轮后机匣的整体“超模型”建模。同时,进一步介绍了各构件的“超模型”建模步骤、基于有限元单元网格尺寸变化的收敛准则,建立了自由度490万的后机匣构件“超模型”,“超模型”构件的频差精度可达1%以内;利用薄层建模法模拟多螺栓连接结构、采用接触对模拟支板搭接处的接触连接。装配组合后的涡轮后机匣“超模型”通过动力学分析,结果表明后机匣前8阶为整体振动模态。整体“超模型”的建立,可以代替研制样机提供虚拟试验数据,实现简化模型的修正和确认,为研制初期的结构动力学特性精确分析提供技术支撑。可推广应用到发动机其他部件及整机的精确建模中。 展开更多

关键词 涡轮后承力机匣 结构动力学 超模型 精确建模 接触连接 航空发动机

下载PDF 职称材料