从弗雷格理论看逻辑常项

自塔尔斯基提出逻辑常项(逻辑概念)的变换不变性标准以来,人们相继提出了同构、同态与潜同构等不变性标准。这种考察方式从形式语义学的角度,给出代数刻画,虽然精确但都与人们既有的逻辑概念有明显差异。通过分析弗雷格的论述,可以合理地推断出逻辑常项的本质在于描述真,进而得到弗雷格标准。据此标准有两类逻辑常项,一类以真为描述对象,即真值函项。另一类是以谓述本身为描述对象,且能归约为基本逻辑关系。后者也即量词,刻画了“是真”。弗雷格标准深化了我们对逻辑以及逻辑与哲学关系的认识。运用此标准分析集合论的属于关系、模态、规范等概念会获得与流行看法很不相同的认识。

逻辑常项与保守性:以tonk为例

根据逻辑推理论,逻辑常项的意义是由它的引入和消去规则确定的。普莱尔(Arthur Prior)提出的tonk对推理论构成了严重挑战。库克(Roy Cook)最近构造了一个禁止传递性的相干的逻辑系统,即Tonk-逻辑,并借助四值语义学重新定义了Tonk-后承概念,在这种概念之下,tonk的引入规则和消去规则都是有效的,同时系统还不是平凡的。本文探讨了保守性与常项的引入和消去规则的协调性之间的联系,并定义了两种较强的协调性概念,即HCU-协调性和HML-协调性概念。借助这两个概念,本文论证,tonk不是HCU-协调的也不是HML-协调的,因而它不是合法的逻辑常项,Tonk-逻辑也不是一种合法的逻辑系统。

逻辑常项的使用规则的生成与证成

在证明论语义学中,一个逻辑常项的I-规则通常作为该常项的意义定义是自我证成的,而其E-规则就是通过其与I-规则的协调性来证成的。这种思想遭受到tonk-问题挑战,而解决这个问题实质上就是解决逻辑常项的使用规则的协调性问题。E-规则的普遍形式所包含的GE-协调性没有对I-规则如何“协调地导致”相应的GE-规则做出清楚的描述,也无法用于解答普通E-规则的证成问题。基于GE-规则的生成机制的GM-协调性能够弥补这两点不足,但是它仍然无法排除具有弱E-规则的不协调的常项。由GE-和Ge-规则的生成机制所共同保证的Ge-协调性则可以克服以上这三点不足,从而能够为逻辑常项的使用规则的协调性问题以及证成问题提供更好的解答。

高考论述类文本阅读中的逻辑常项

逻辑常项是逻辑学中的一个概念,它在高考论述类文本阅读中被广泛使用,在一定程度上增加了考生的阅读障碍,构成了考生的答题难点。我们通过对逻辑常项内涵的揭示,对论述类文本阅读中逻辑常项特点的归纳和对“泛逻辑常项词”现象的分析,使考生能够对高考论述类文本阅读有更深入的理解。

论逻辑常项的归约

逻辑联结词和量词都是逻辑的核心概念之一。2004年以来陆续出版的多卷本《逻辑史手册》，计划在第11卷专门以一卷的篇幅来研究后承关系、量词、否定、联结词、模态、自然推演、逻辑图等逻辑核心概念的发展过程。

再论逻辑常项的归约

逻辑常项的刻画蕴涵着逻辑作为整体的刻画,语义进路和句法进路对逻辑常项的刻画分别遇到了难以解决的问题,而逻辑常项沿着皮尔士传统的归约将为其引入"镜像性"这个性质。这一归约可以追溯到皮尔士1880年的一篇手稿。本文主要研究皮尔士这篇手稿,指出其中建立的推理系统所存在的问题,并在其中发现了对2010年提出的"肖菲克尔(型)算子"的最早表述;在此基础上,结合维特根斯坦在《逻辑哲学论》中的思想,为逻辑常项的镜像性问题给出部分回答,从而试图为逻辑常项问题提出"第三种"进路。

逻辑常项问题——从金岳霖的观点看

对“什么是逻辑”这个一般性问题的研究,当前的逻辑哲学讨论往往围绕逻辑常项问题来进行,逻辑常项问题研究中的焦点是1986年发表的塔尔斯基论题,但这个论题中隐藏着循环性。金岳霖在1927年提出,“相信逻辑是很便利的,至少比不相信逻辑更便利”;这个论题可以用来解释塔尔斯基论题在形而上学上的实用主义预设所带来的循环性。在1948年完成、1983年正式出版的《知识论》中,金岳霖明确认为逻辑常项不是完全消极的,因此不是先天的;而在20世纪50、60年代完成、1988年正式出版的《罗素哲学》中,他进一步提出,逻辑常项是有客观基础的。由于逻辑是先天的,这些工作所支持的论点是:接受论证的逻辑有效性由其形式所确定,但质疑逻辑常项在这种确定中的核心性。

浅谈逻辑常项的语言表达形式

逻辑常项简称常项,它与变项是逻辑学里的一对范畴.二者是对立统一关系。常项相对于变项而言,是同一类型的思维逻辑形式内的不变部分;变项相对于常项而言,是同一类型的思维逻辑形式内的可变部分。在某一类型的思维形式里,无论变项如何变化,只要常项不变,这一类型的思维形式就不变。如果常项变了,这一思维逻辑形式就变了。常项在思维逻辑形式中起决定作用,它是区分思维逻辑形式的标志。这是二者的区别性。

形式逻辑的语言视角

对于人之为逻辑动物与人之为语言动物的相互依托,学术上的一种理据是:逻辑知识与语言知识具有内在统一性。事实上,国际上作为哲学基础课程的逻辑学以及许多逻辑思维类人文通识课的核心内容,其常规形态是一套貌似“外语”的严格化形式语言。更重要的是,追问和认清逻辑学所提供的形式语言对理解母语以及我们自身的思维方式何以重要,会把我们引向自然语言中对应于形式语言“逻辑常项”的一类小词。逻辑理论的主要功用之一就是以严格而系统的方式阐释这些广为使用却常被忽视的小词的意义。关注这类小词的精确意义与多样用法,不仅有助于深度领会逻辑与语言的贯通,还可以新的视角重估长期以来困扰逻辑哲学家的一些难题。

基于括号表示法的一阶逻辑系统

括号表示法是一种在形式语言中以括号来表示各种逻辑常项的符号表示方法。与已有的表示方法不同,它是一种整体表示法。以命题逻辑的形式语言为例,可以证明括号表示法的唯一性定理。在形式语言中,运用括号表示法表达的公式,其长度比用中置法表达的公式简短。运用括号表示法改写的一阶逻辑自然推理系统非常简洁。括号表示法为研究逻辑常项的推理结构提供了一个非常良好的分析工具。

“不可得兼”型命题逻辑自然推演系统

汉语中的"不可得兼"型联结词是一个在表达命题之间逻辑关系上能力完备的逻辑联结词,和析舍的表达能力等价。使用括号表示法,"不可得兼"型联结词只需使用一对括号作为初始联结词就可以表达所有的二值逻辑真值函数,并且不需要其他辅助性的句法符号。以此为基础可以重新构建一个新型的命题逻辑自然推演系统,它可以比较直观地表达所有命题逻辑的推理规律,可以证明它和经典命题逻辑公理系统相等价。

《逻辑哲学论》的逻辑观

维特根斯坦在《逻辑哲学论》中所提出的逻辑命题是重言、是形式的观点，对于本世纪哲学家们的逻辑观给予了决定性的影响。本文对《逻辑哲学论》的逻辑观、它的基本的理论假定、理论背景及影响作了探讨。

《普通逻辑学》重点指导(一)(供九三级行管、政史、中文、文秘专业用)

一、普通逻辑学的研究对象普通逻辑是研究思维的逻辑形式及其基本规律和一些简单逻辑方法的科学。所谓思维的逻辑形式就是指思维的具体内容各个组成部分之间赖以联系的构造方式。思维的逻辑形式通常由常项和变项构成。逻辑形式的不同通常又是由逻辑常项的不同决定的。所谓普通逻辑的基本规律,主要是指同一律、不矛盾律和排中律。同一律保证思维的确定性,不矛盾律保证思维的一贯性,排中律保证思维的明确性。所谓简单的逻辑方法,主要是指限制、概括、定义、划分、寻求因果联系的方法以及回溯方法等,这些方法只是反映对象的抽象同—性、确定性和单一性的逻辑方法。普通逻辑是一门工具性的科学,有较强的实用性,它对人们获得新的知识、帮助人们提高学习效果、开发人们的智力以及提高工作效率等都有极大的作用。学习普通逻辑一定要遵循循序渐进的原则,因为教材前面的内容往往是后面内容的基础,不弄懂前面的内容就根本弄不懂后面的内容,此其一;其二,对于普通逻辑的一些规则、规律、公式等一定要熟记,只有这样才能解题;其三,要真正掌握普通逻辑,很重要的一点就是要多做习题。二。

培养逻辑思维能力 实践科学发展观

实践科学发展观必须具备科学认识客观事物的能力和素质。这样的能力和素质是需要培养才能形成的。文章从分析逻辑与语言的关系以及逻辑思维与语言的关系入手,由"客观世界→思维→语言"这一人类认知过程顺序推出了它的逆向过程"语言→思维→客观世界"的逻辑合理性。同时,还论述了逻辑思维的重要性、可能性与可靠性,与此同时倡导:为了培养逻辑思维能力,应尽可能地使用符合逻辑的语言表达式。因为唯有如此,正确认识和反映客观规律才成为可能,自主创新和科学发展才拥有先决条件。

斯特劳逊的逻辑理论述评

彼得·弗雷德里克·斯特劳逊是著名的分析哲学家,是目前牛津学派中仍然在世的元老和权威。他的逻辑哲学、逻辑语言哲学的著作影响极大。本文旨在考察斯特劳逊逻辑研究中的一个主要问题:使得逻辑推理规则成立的根据是什么? 斯特劳逊关于逻辑评价研究诸因素的论述富有启发,他提出的“

传统名词逻辑的语义解释问题——从数理逻辑看传统逻辑

(一) 在传统名词逻辑中,一切逻辑形式都由变项与四个不同的逻辑常项、即“所有……是”(A)、“所有……不是”(E)、“有的……是”(I)、“有的……不是”(0)构成;其中,某些逻辑形式还含有否定词“非”,它也属于逻辑常项。传统逻辑的表述工具既不是纯粹的自然语言,又不是纯粹的形式语言,而是一种半形式语言。

数学基础学派中的逻辑主义

十九世纪末,为了寻找数学的基础,数学家康托创立了著名的集合论。然在随着一系列悖论的发现,尤其是罗素悖论的发现,使得刚刚建立起来的令数学家激动的现代数学大厦的基础又发生了崩塌(第三次数学危机),引发了当时数学界关于数学的(哲学)基础的一场大辩论,并由不同的哲学观点而产生了逻辑主义、直觉主义及形式主义的三大学派。本文只就罗素。

走出相容选言判断的逻辑形式的误区

在日常思维中，由于有些人对相容选言判断的逻辑形式的误解，从而导致了他们对相容选言判断的逻辑形式的误用。对此，本文深入探讨和具体分析了产生误解的原因、消除误解的方法、避免误解的手段等问题，以达到准确运用相容选言判断的逻辑形式之目的。

喜读全国高等师专教材《普通逻辑》

党的十一届三中全会以后，我国逻辑学的发展进入了黄金时代，不仅有大量著作出版，而且它们的学术水平也日益提高。由韩铁稳同志主编的《普通逻辑》是一本关于传统题材而又富有新意的专著。该书是国家教委组编的全国高等师范专科学校教材。所谓普通逻辑相当于国内通常所说的形式逻辑。全书共分10章，计214千字。由不同单位的6位作者执笔，北京师范大学吴家国教授审定。北京师范大学出版社1989年出版。