从康德到皮尔斯:指号学对先验逻辑的改造

一、现代“科学逻辑”的先验范畤如果把康德的作为一种科学逻辑的《纯粹理性批判》与现代“科学逻辑”作一比较,我们就会发现,两者之间最大的差异在于,前者是一种“意识分析”,后者则是一种“语言分析”。康德力图阐明科学的客观有效性,为此他实际上是用先验逻辑取代了由洛克和休谟发展出来的知识心理学,但是他的探究方法仍然与作为意识之“极点”的“意识的综合统一”相关联。而且根据这一先行概念,康德提出了他的先天综合法则,即关于诸如直观、想象、知性和理性等心理能办的功能法则,以取代休谟的心理学联想法则。这与现代“科学逻辑”是大相径庭的。现代“科学逻辑”不仅对心理能力不置一词。而且连     

逻辑与哲学——亚里士多德和弗雷格给我们的启示

亚里士多德和弗雷格分别是传统逻辑和现代逻辑的创始人,也是形而上学和分析哲学的奠基人。他们的思想揭示了如下认识：逻辑可以用自然语言表达,也可以用形式语言表达;形式语言是达到精确性的唯一方式,但并非形式的就是逻辑,也并非只有形式的才是逻辑。逻辑与哲学是紧密联系在一起,不可分割的;哲学是关于认识本身的认识,逻辑是关于有效推理的认识,因而与认识本身相关,所以逻辑会与哲学密切相关;逻辑的方法是可以普遍应用的,但是研究问题的不同会导致结果的不同。至关重要的是,应用逻辑的方法应该促进和推动相关问题领域的发展。     

论逻辑语义

符号、由符号构成的某类表达式及其语义是语言哲学和符号哲学研究的一个重要方面 ,逻辑符号、由逻辑符号构成的某类表达式及其逻辑语义则是逻辑哲学研究的一个重要方面。逻辑 ,特别是现代逻辑 ,通常是用形式语言和形式系统表述的。但逻辑学家建立逻辑的目的是为了刻画人的思维规律和推理能力 ,这必然要涉及形式语义和形式系统的逻辑语义。逻辑语义可以分为两大类 :直观语义和形式语义。很少有论文专门论述逻辑语义中的直观语义以及它们与形式语义的关系。本文主要讨论这些问题。给定一个形式语言L。我们知道 ,从本质上说 ,L由一堆抽象符号…     

可能世界语义学与语言逻辑的研究

大家知道,现代逻辑产生以后,逻辑与语言的联系日益密切,对语言的逻辑分析的层面逐渐加深,而且在方法上也日趋严密。但是它也有一个很大的缺陷,就是由现代逻辑所发展起来的外延理论,把逻辑因而也在相当程度上把语言看作思维的逻辑演算,面对语言表达式的内涵问题、意义问题的研究相对薄弱,因而在将逻辑运用于自然语言的分析时常常会遇到许多难以克服的困难,自然语言逻辑的建立由此也显得步履维艰。这种状况直到本世纪60年代由逻辑学家坎格尔(S、Kangerl)、克里普克、刘易斯、欣梯卡等人提出了一种可能世界语义学的理论之后,局面才为之改观。不少逻辑学家认为,可能世界是个强有力的理论概念,它能阐明     

论可能世界的名字

“可能世界”是模态逻辑语义学的核心概念,一般也可以称为“世界”、“点”、“状态”、“时间”以及“情境”等。模态语言本质上是研究通常一阶模型论意义上的关系结构的简单、且具有丰富表达力的形式语言,但是,传统的模态语言没有一种机制来指称关系结构中的个体并对其进行推理。以传统模态逻辑为基础,在句法中引入“可能世界的名字”作为第二类原子命题、引入相应的算子和约束词而得到的语言称为混合语言,这一语言既发扬了模态语言积极的一面,同时又克服了模态语言前述的重大缺陷。本文首先介绍“可能世界的名字”引入的逻辑背景和主要思…     

简论殷海光的逻辑观

殷海光毕生热心于现代逻辑的研究、教学和宣传，主要原因在于他深深感到，唯有现代逻辑的理论与方法，可以为社会文化思想提供坚实的运思基础和分析工具。他在１９６５年出版的专著《中国文化的展望》的序言中，明确地把“现代逻辑的工作者所说的逻辑”，作为他运思和为学“分析到底层”起“主导作用”的三个条件之首要条件。这在现代中华学人之中是十分独特的。因此，正确理解和把握殷海光的逻辑观，是正确理解和把握殷海光学术思想体系的必要条件。但是从近年来海内外殷海光研究的状况看，这一点尚未引起学界足够的重视，本文根据《殷海光…     

存在图的逻辑地位——批评与回应

存在图是继欧拉图、文恩图和皮尔士一文恩图之后的又一种逻辑图。逻辑图是指用于表示命题和推理的二维图形。然而由于存在图之前的逻辑图在表达能力上的缺陷以及现代数理逻辑的成功,长期以来存在图并未引起人们的关注。直到近来计算机表示的图示推理发展起来以后人们才认识到它的重要性,并把它作为一种图式逻辑纳入了哲学逻辑的范畴。人们对存在图逻辑地位的认可经历了一个复杂的过程。存在图在被认可道路上遇到了逻辑系统身份、推理效率和阐述的精确性三个问题,随着这三个问题的解决,人们逐渐认可了存在图的逻辑地位。     

逻辑研究和逻辑史的研究——与蔡曙山同志商榷

逻辑研究推理并且主要是研究推理形式。具体地说,它研究推理中从前提到结论的必然联系。过去,人们从自然语言出发研究这种必然联系,建立相应的推理形式或规则。今天,人们从构造形式语言出发,通过建立逻辑演算来研究从前提到结论的必然联系。逻辑演算是形式系统,是把逻辑理论形式化的结果。今天人们熟悉并且经常使用的一阶逻辑就包括把命题逻辑形式化而建立的命题演算系统和把谓词逻辑形式化而建立的谓词演算系统。     

逆游的人和石头的天空——谈塞尚的笔触

塞尚在古典艺术和印象派之间寻找途径,在激情和理性、感觉和逻辑之间进行艺术创作,他的笔触是绘画形式语言之一,既受到他气质的影响,也具有丰富的形式美内涵.     

論形式邏輯作为認識現实方法的职能

一马克思列宁主义是唯一的科学真理,它无疑地毫无例外地适用于任何知识的领域。对于逻辑科学来说,它和马克思列宁主义的关系更为密切,离开了马克思列宁主义的思想指导,它就将陷入于唯心主义和形而上学。这是完全可以肯定的。但是,目前在我国逻辑问题讨论中,却明显地存在着唯心主义和形而上学的倾向,他们公然以马克思列宁主义经典作家没有看到现代逻辑的发展为理由,①拒绝马克思列宁主义经典作家有关逻辑问题的指示。他们公开宣扬康德的唯心主义逻辑理论以及现代资产阶级的逻辑理论,把这     

谈比喻性类比推理

《逻辑与语言学习》1986年第4期的一篇文章曾举了某逻辑教科书上的两个把比喻当作一类比推理的例子(用“青出于蓝而胜于蓝”比师生、青老年、前后人的关系;用“扫帚不到,灰尘照例不会自己跑掉”比“反动派不打就不倒”),借以说明比喻是不能作类比推理的。对此,我有一点不同的看法。这两个比喻能否作类比推理,固然值得研究,但笼统地认为比喻一定不能是类比推理,我却以为未必妥当。     

逻辑基础问题(下)

第三部分首先回应那些对在第二部分中所阐述的形式性/逻辑性标准的批评,然后为逻辑与数学之间的关系提出一个新的解释,以替换传统的逻辑主义解释。逻辑主义企图把数学归约到逻辑,但是它的缺陷之一在于无法为逻辑提供一个基础。通过把逻辑与数学都建基于形式之中,以及对二者的劳动分工与合作的解释,新基础解决了这个问题。本文进一步证明,新基础保证了逻辑的必然性、普遍性、主题中立性、强大规范性以及其他种种特性,并在最后讨论了逻辑中的错误和修正。     

浪子回头的故事

经文:路15:11-32卢云以圣经为题才在他所著的《浪子回头》这本书里对浪子的比喻当中,小儿子、大儿子、及父亲的人性有很精辟的见解。甚至他把自己写进了这个故事里,因为他看到自己在比喻中是那个浪子,又是那个大儿子,他还看到自己应该作那个父亲。在浪子比喻中这三个角色中,他探讨了世人怎样离开神,成为浪子,也探讨了人心灵深处真正的渴望。让我们从他的角度来看看小儿子、大儿子与父亲之间的情结,看他们之间的关系,因为人的问题很多时候是人与人之间的关系造成的。     

“重复”的美术形式语言分析

"重复"的艺术形式语言内涵丰富,作为一种艺术语言和思维方式,在艺术的发展和实际的艺术创作中发挥着重要的影响和作用。从形式语言、艺术思维和"重复"与"关系"的关系三个角度进行分析,简要论述"重复"在艺术层面上的表达方式和运行特征,以及它对艺术创作的指引作用。     

论金岳霖逻辑方法的跨界性特征——兼论金岳霖对中国近现代哲学变革的理论贡献

金岳霖作为系统引进西方现代逻辑的第一人,最早将逻辑分析方法运用于中国哲学体系的研究和建构过程之中。他从批判传统逻辑入手,运用西方数理逻辑成果,探究演绎推理的形式化系统,构建以“道”为最高范畴的中国现代逻辑体系,论证逻辑系统的完全性、一致性和独立性,形成了独具特色的跨界性逻辑方法论。他的逻辑方法形成于对中国近代文化革新、哲学变革的回应和对西方现代逻辑的吸纳,既体现出对中国文化的民族情结,又表现了对西方文化的理性借鉴,具有贯通中西而又超越、创新的特质。一、力促逻辑分析与中国哲学的融合逻辑学对中国学术思想产生…     

论金岳霖逻辑思想的展开方式

金岳霖是现代逻辑在中国得以研究并传播的奠基者,他将现代逻辑方法引入中国哲学体系的反思与重建之中,开辟了一条创新性的学术发展路径。从金岳霖逻辑思想的展开方式看,无论是关于逻辑与哲学、逻辑与自然科学、逻辑与社会生活之间关系的阐述,还是承载逻辑教育使命的现代逻辑知识体系的呈现,都表现出其逻辑思想具有鲜明的融通性、开放性和创新性特征,这也使得充满现代逻辑意识的中国逻辑学研究成为世界逻辑思想体系的重要组成部分,凸显其当代价值。     

关于平面设计中形式语言的建构

平面设计中的形式语言是作用在人们视觉心理基础之上的,是借助画面中的形状、色彩、光线、文字、空间等视觉元素,以一定的视觉程序经过特有的表现与组合,达到与人相互交流与沟通的一种信息语言形式。它所传达的不仅仅是一种视觉形象,而且是通过视觉的形式语言传达一种信息思想,一种思维观念,它涵盖了对传统文化的思考,对时尚的追求,反映的是当代文化的气质。随着同类作品的增多及现代艺术思潮的发展,致使设计师要不断地追求与探索,以一种新锐的设计理念与全新的形式语言来解释生活,传递信息。准确地讲:“形状”和“形式”这两个词在应用学科…     

罗素哲学中的谓述问题及其认知意义

谓述问题是哲学史上的难题,罗素对这一问题进行过大量的论述,并试图采用认识论的方法加以解决。戴维森认为罗素没有解决谓述问题,是他根据塔尔斯基的真理论才使该问题得到彻底解决。但是罗素仍然对谓述问题作过贡献,表现为他用现代逻辑的方法清楚地表述了谓述问题,他把语言划分为不同层次,把谓述问题限制在原子命题中,把谓词推广到关系词。虽然戴维森从外延角度解决了谓述问题,但是语言的意义和心理活动的关系问题仍是未解之迷,罗素后期的理论尝试从心理学角度探讨意义问题,为谓述问题的解决提供了必要的补充。     

不完全性与形式语言

一、引言谈到哥德尔不完全性定理,有人说它动摇了逻辑基础①,也有人说它揭示了逻辑的局限性(Daw-son),甚至有人认为它表明数学的一致性不能证明(克莱因,第263-270页)。这些说法是否有充分的根据?本文仔细考察了哥德尔不完全性定理的涵义,试图对这些说法进行辩驳。哥德尔不完全性定理涉及形式语言的一些术语,因此要正确理解该定理的内涵,首先要了解形式语言的基本特点以及一些相关的重要概念。一阶逻辑和形式算术都属于一阶语言。形式语言是一种有结构的形式化的语言:它必须明确说明所有初始词,其中一些初始词称为“常项”②(Tarski,1983,p.…     

论我国的逻辑教学

１９７８年，我国逻辑学界提出“逻辑现代化”的口号，但是对如何改革逻辑教材至今仍存在着两种不同意见：一种是取代论，主张在大学里教授现代逻辑；另一种是吸收论，主张在传统逻辑的基础上吸收现代逻辑的一些内容。后一种意见占绝对优势，其后果是形成了所谓的“普通逻...