检索结果-南通市图书馆

在线全文

学校读者我要写书评

暂无评论

对塔斯基的逻辑后承概念定义的辩护

湖北大学学报（哲学社会科学版） 2015年第3期42卷 26-31,148-149页

作者：周志荣中南财经政法大学哲学院湖北武汉430073

塔斯基在1936年给出了逻辑后承概念的模型论定义。埃彻门第批评说,塔斯基的定义面临两个严重的问题,即外延的非恰当性和概念分析的非恰当性。事实上,塔斯基的定义在经适当修正之后可以避免"过度"和"不及"问题,其外延因而是恰当的。塔斯... 详细信息

塔斯基在1936年给出了逻辑后承概念的模型论定义。埃彻门第批评说,塔斯基的定义面临两个严重的问题,即外延的非恰当性和概念分析的非恰当性。事实上,塔斯基的定义在经适当修正之后可以避免"过度"和"不及"问题,其外延因而是恰当的。塔斯基的定义之基础概念是满足而非真,塔斯基的定义在概念的还原性分析上并不存在问题。如果按照对通常的后承概念的直觉,逻辑后承的核心特征就是保真性,那么塔斯基的定义就是对逻辑后承的恰当刻画。

关键词：逻辑后承逻辑真模型满足保真性

在线全文

学校读者我要写书评

暂无评论

论逻辑后承概念

世界哲学 2020年第1期 144-150页

作者： [美]A.塔尔斯基刘新文(译) 马明辉(校) 不详中国社会科学院哲学研究所

塔尔斯基在其1933年的论文中基于自己开创的语义学定义了形式化语言中真这个概念。然后,他在发表于1936年的本文中,在真这个概念的定义的基础上,第一次为后承概念提出了一个实质恰当的定义,即“句子X从类K的句子逻辑地得出当且仅当K这... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

塔尔斯基论逻辑后承概念

世界哲学 2014年第1期 120-123,159页

作者：马明辉西南大学逻辑与智能研究中心

塔尔斯基1936年以波兰文和德文发表的论文《论逻辑后承概念》,基于他努力开创的语义学,第一次精确地定义了"逻辑后承"这个现代逻辑的核心概念。这个定义建立在塔尔斯基提出的形式化语言中真之概念的定义基础之上。塔尔斯基的真之定义一... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

关于逻辑后承的逻辑多元论评析

广西大学学报（哲学社会科学版） 2020年第1期42卷 58-67页

作者：马亮周旖广西财经学院广西电力职业技术学院财经与管理系

拜尔和瑞斯韬提出了一种关于逻辑后承的逻辑多元主义。根据这种说法,并非只有一个真正的逻辑,而是有许多同样可接受的逻辑系统。经典逻辑、直觉主义逻辑和相干逻辑不是相互否定的竞争对手,而是同样可行的,因为它们都被视为真正的逻辑。... 详细信息

拜尔和瑞斯韬提出了一种关于逻辑后承的逻辑多元主义。根据这种说法,并非只有一个真正的逻辑,而是有许多同样可接受的逻辑系统。经典逻辑、直觉主义逻辑和相干逻辑不是相互否定的竞争对手,而是同样可行的,因为它们都被视为真正的逻辑。这些系统中的每一个都提供了对逻辑后承的前理论概念的适当分析。拜尔和瑞斯韬的这种主张其实是20世纪“逻辑作为演算”传统的继续。假定这种主张是正确的,则我们面临着逻辑选择问题,预示着存在一种“超逻辑”,以使得逻辑的选择能够进行,才不会使得我们陷入非理性的荒谬状态。

关键词：逻辑后承情况超逻辑逻辑作为演算逻辑作为语言

“三个代表”重要思想是“三个有利于”标准的逻辑后承

在线全文

学校读者我要写书评

暂无评论

中国特色社会主义研究 2003年第4期 100-102页

作者：吕慧萍

“三个有利于”标准和“三个代表”重要思想,虽形成背景不一,却有着本质的一致性:顺势应时的思维方式;一脉传承的立场观点;发展创新的本质内涵。从理论上弄清“三个代表”思想与“三个有利于”的内在逻辑关系,具有十分重要的意义。

关键词： “三个有利于”标准 “三个代表”重要思想逻辑后承

在线全文

学校读者我要写书评

暂无评论

论逻辑后承与逻辑真

论逻辑后承与逻辑真

作者：文红峰湘潭大学

学位级别：硕士

从逻辑哲学的角度来说,逻辑是研究后承关系、有效推理的理论。有效推理的核心是某一陈述能从另一陈述或陈述集合中所得出。也就是说,如果我们接受某个或某些陈述为真,那么我们能够断言另外一些陈述也必然为真。而这种得出关系就被称之... 详细信息

从逻辑哲学的角度来说,逻辑是研究后承关系、有效推理的理论。有效推理的核心是某一陈述能从另一陈述或陈述集合中所得出。也就是说,如果我们接受某个或某些陈述为真,那么我们能够断言另外一些陈述也必然为真。而这种得出关系就被称之为后承关系。特别地,如果这种关系能够被这些陈述所包含的形式所保证,并且这种关系是逻辑必然的,那么我们就说前提与结论具有逻辑后承关系,即结论是前提的逻辑后承。正如斯蒂芬·里德(T.Reid)所说,逻辑后承是逻辑学尤其是现代逻辑当中一个核心概念。①而且能否全面地理解和掌握好逻辑后承及其相关问题,是关系到能否真正掌握现代逻辑的关键所在。所以,对逻辑后承的研究,具有重要的理论和现实意义。本文是从逻辑后承概念的历史发展这个角度出发,通过比较研究与它紧密联系的其它一些基本的逻辑概念,系统地论述了逻辑后承的基本特征及其相关问题。首先,论文详细地考察了逻辑后承的各种定义,总结了研究逻辑后承的方法并指出各种研究方法所存在的一些缺陷。然后通过分析说明逻辑后承的外延和内涵,指出逻辑后承最为根本的特征是保真性。在此基础上,论文深入地分析了与逻辑后承概念关系非常紧密的另外两个逻辑概念:逻辑有效性和蕴涵,指出人们对逻辑有效性和蕴涵的不同理解和把握会导致不同的逻辑后承理论。论文还对逻辑后承的特例——逻辑真作了论述,通过对逻辑真的历史考察,总结了几种主要的关于“真”的理论,指出了逻辑真命题具有必然性和相对性。最后,论文举例说明了经典逻辑当中的逻辑后承所具有的一些基本性质,并论述了一些逻辑学家对逻辑后承经典观点的批评,指出正是由于对经典逻辑中的逻辑后承的某些性质的不满,才引发了逻辑学家对逻辑后承理论的深入探讨,提出许多新的逻辑后承理论,推动了逻辑后承的发展,使得逻辑后承理论更加完善。

关键词：逻辑后承逻辑有效性蕴涵逻辑真

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

关于逻辑后承的多元思想研究

关于逻辑后承的多元思想研究

作者：宋鹏飞华东师范大学

学位级别：硕士

上个世纪30年代,卡尔纳普提出了著名的"容忍原则",是早期最具影响力的逻辑多元论思想。对于卡尔纳普来说,逻辑体现出多元性是因为我们可以自由地选择形式语言以表达理论,这些形式语言是无限多的。卡尔纳普设计了两种语言—语言Ⅰ及语言... 详细信息

上个世纪30年代,卡尔纳普提出了著名的"容忍原则",是早期最具影响力的逻辑多元论思想。对于卡尔纳普来说,逻辑体现出多元性是因为我们可以自由地选择形式语言以表达理论,这些形式语言是无限多的。卡尔纳普设计了两种语言—语言Ⅰ及语言Ⅱ。他在语言!中设置了构造性的限制,而在语言Ⅱ中则没有这样的限制。这两种语言的不同进而导致了不同的逻辑。卡尔纳普的容忍原则所包含的思想在奎因的逻辑哲学中得到继承和发展。奎因提出的"意义变化论题"和"翻译不确定性论题"的观点可以概括为:逻辑方面的明显冲突,可以归结为逻辑常项的意义发生了改变,不同的逻辑常项的意义导致不同的语言。然而,奎因是一个很具有代表性的一元论者,这从一个侧面说明,多元论与一元论在理论根源上存在一定的共通性,逻辑学家选取何种立场与他们对这一问题的理解有关。在本文中,多元论主要是指在形式系统层面上的逻辑系统的多样性。苏珊·哈克在"系统外有效性"的基础上提出了一种整体多元论思想,在逻辑哲学方面产生深远的影响。在该理论框架下,对于同一种非形式论证,有不止一种形式论证的表述方式,并且不同的形式论证也可以对应于不同的系统外有效性。对于变异逻辑与经典逻辑可能存在竞争的问题,哈克认为可以承认它们都是正确的,而竞争只存在于元逻辑层次上,并且是温和的。哈克的整体多元论思想是对上个世纪70年代的逻辑的多样发展做出的总结,它囊括了几种多元论思想,对部分多元论也保留了一定的宽容态度。子结构逻辑的研究在上世纪90年代兴起,为逻辑多元论的发展打开了新的天地。结构推理系统在同一个语言框架下表述了经典逻辑和各具特色的非经典逻辑,这有力地驳斥了卡尔纳普的"容忍原则"所支持的相对于语言的逻辑多元论。它可以清晰地显示出,不同的逻辑是在同一种语言中用不同的推理方式所做的推理,不同的推理方式仅有适合不适合的区别,没有好与坏的差异。这将我们导向一种"关于逻辑后承的多元论观点"。拜尔和瑞思滔合著的《逻辑多元论》为21世纪的多元论研究打开了新的局面。他们在"一般塔斯基命题"的基础上,结合经典逻辑、相干逻辑和直觉主义逻辑各自的语义模型,提出了逻辑多元论的统一构架,为"关于逻辑后承的多元论"提供了理论支持。作为当代最具代表性的逻辑多元论思想,拜尔和瑞思滔的理论体系为不同逻辑系统的基本共识及在此基础上的理论差异给出了具有一定合理性的解释,即看似存在竞争关系的几种逻辑系统是对边界不够清晰的逻辑后承概念的不同的精确化方式。多元论从证明论和模型论两个角度阐述不同的逻辑系统刻画了不同的推理方式,对逻辑系统的多样性发展做了历史性的总结。但是,其理论内部仍存在一些需要被深入剖析的概念,标准过于宽泛的问题也是不容忽视的问题。更深层的问题是,多元论可以被理解为是不同于其他逻辑系统的一种新的逻辑,就其理论本身来看,多元论难以摆脱这一嫌疑。另外,在考虑到几种不同的多元论思想后,关于逻辑后承的多元论很难与相对于语言的多元论做出区分,关于特设性的质疑也将成为逻辑多元论需要面对的挑战。从应用的角度论述逻辑系统多样性的合理之处,可能会给多元论提供更为可靠的理论支持,否则,逻辑多元论极易被理解为是一种名为多元论的逻辑一元论思想。

关键词：逻辑多元论子结构逻辑逻辑后承

同方学位论文库评论

在线全文

同方学位论文库

学校读者我要写书评

暂无评论

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

今古文创 2024年第6期 59-61页

作者：徐艳茹河北大学哲学与社会学学院河北保定071002

传统的描述理论和历史因果理论是关于专名指称理论的两种代表理论。G·埃文斯(Gareth Evans)作为专名指称理论最新研究的代表人物之一,在他的著作《关于名称的因果理论》中,他指出传统描述理论通过符合关系达到名称指称对象的目的,这既... 详细信息

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

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

在线全文

学校读者我要写书评

暂无评论

逻辑力量之源——论逻辑后承概念

华侨大学学报（哲学社会科学版） 2013年第1期 13-20页

作者：朱建平苏州大学政治与公共管理学院江苏苏州215123

试图通过考察几种主要的后承概念及其相互关系,进而澄清围绕着后承概念的各种模糊认识,以期获得一个真实的逻辑哲学意义上的后承概念。结论是:模型论的逻辑后承概念提供了逻辑后承的合理的数学模型。它弥补、纠正、深化和回答了前理论... 详细信息

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

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