简论人工语言和逻辑语言

本文概述了人工语言产生的原因和历史,介绍了弗雷格、罗素等人对逻辑语言的基本构想,讨论了人工语言、逻辑语言、自然语言几者的关系.本文的结论是,逻辑语言是逻辑研究必需的工具,它与自然语言的本体论地位不同,自然语言是全方位的,结晶着我们对现实的直接理解,因此,逻辑语言根本不能取代自然语言.     

逻辑演算与形式化方法

逻辑演算对推理形式有效性的研究 ,比传统逻辑更抽象、更严格 ,其原因是形式化方法的运用。形式化方法包括构造形式系统 (语法的 )和对该系统进行解释 (语义的 )两个阶段。以一阶逻辑演算KL 系统为例 ,形式化方法的前期阶段 ,又包括符号化和系统化两个步骤 :符号化是用特制的人工语言符号将推理形式或演绎关系公式化 ;系统化是在符号化基础上构造形式系统 ,即用系统给定的公理和变形规则推导出一系列定理的形式证明系统 ,这是逻辑演算的主要内容。形式化方法的后期阶段或第三步骤是对系统的解释 ,也称模型化。经过解释 ,该系统的符号、公式有了内涵 ,从而就有了更普遍的适用价值。纯形式的逻辑演算的性质、意义和作用也因此变得十分清晰     

试论罗素摹状词理论及其对语言哲学的影响

作为语言哲学的奠基人和缔造者,罗素在19世纪精神文化历史上刻下了深深的痕迹.他不仅为语言哲学学派提出了诸多哲学主张,而且更重要的是他利用自己精深的符号逻辑技术,提出了一种研究哲学的方法--逻辑分析.罗素的摹状词理论就是这样一个"经典之作",显示了逻辑分析在哲学中的重要作用,强调了(自然)语言结构与(逻辑)命题结构的差异性,取消了虚构事物的本体论.罗素的摹状词理论作为一种从逻辑的角度分析命题中语词与现实中对象的关系的方法,有助于排除那些虚假的概念,使概念更加明确,更加符合客观实际,达到语言与现实的真实对应.所以说罗素的摹状词理论为把逻辑分析运用于研究语言哲学问题做出了典范,对英美语言哲学的发展产生了深远而持久的影响.     

自然语言逻辑语义学研究述评

自然语言的逻辑语义学是逻辑学、语言学和计算机科学的跨学科交叉研究的产物,研究的对象是自然语言,研究的方法涉及逻辑和计算的概念。近十来年,逻辑语义学的跨学科研究方兴未艾,其中有较大影响的要数范畴语法的三个现代版本的发展：范畴类型逻辑 CTL、组合范畴语法 CCG 和非连续兰贝克演算 DLC。CTL 是从逻辑的高度概括分析语言的形式工具的学说,CCG 是基于特定规则而关注语言事实分析需求的形式语法,DLC 是专门分析语言中非连续现象的形式理论。本述评阐述的就是范畴语法三个现代版本的国内外发展概况。     

辩证逻辑及其作用

一什么是辩证逻辑? (一)什么是辩证思维? 逻辑是研究思维及其规律的科学,有形式逻辑、数理逻辑(数理逻辑是由形式逻辑推演出来的,运用数学的方法和符号的工具于逻辑演算过程,是关于推导知识的逻辑科学)和辩证逻辑。关于辩证逻辑和形式逻辑两者的关系,由另文说明。在这里仅指出:它们两者的研究对象有不同的特殊矛盾。形式逻辑研究对象的特殊矛盾是思维的形式(结构)和内容     

萨莫斯的TFL系统述评

20世纪以来,数理逻辑的迅速发展使人们认为它能完全取代自然语言的逻辑。但是,随着日常语言学派研究成果的不断问世,这种奢望正在逐步打消。逻辑研究出现了以弗雷格为代表,将逻辑句法等同于人工语言句法的建构主义,和继承亚里士多德传统,坚持认为逻辑句法隐含在自然语言句法中的自然主义。建构主义者对自然语言持不信任态度。他们批评传统逻辑本质上无法达到可与弗雷格逻辑媲美的推理形式化。自然主义者则反对把所谓的逻辑形式强加给自然语言,主张修复传统逻辑,重新确立自然语言语法的地位。但未能建立起可与现代谓词逻辑媲美的逻辑系统,因而缺乏足够的说服力。     

论亚里士多德的大逻辑思想

亚里士多德逻辑思想是研究各类科学知识的工具 ,它是适应古希腊演讲、论辩之需要而产生的。亚里士多德逻辑思想是大逻辑思想 ,除了证明推理外 ,还有辩证推理、归纳、定义、辨谬等内容 ,并涉及了预设理论、问题逻辑、语境与逻辑等现代逻辑关注的问题。逻辑研究应提倡兼容 ,数理逻辑、自然语言逻辑、归纳逻辑、辩证逻辑、法律逻辑等等可以共同存在、共同发展。     

自然语言逻辑研究对象浅探

一、自然语言逻辑研究的对象是逻辑与自然语言的关系 明确自然语言逻辑研究的对象是研究这门科学的首要问题,因而是许多同志都在探讨的问题。我们认为,正象任何一门科学都是以某种特殊的矛盾,即特殊的关系为研究对象一样,自然语言逻辑是以逻辑与自然语言的关系为研究对象。具体点说,它就是研究逻辑与自然语言的关系在什么情况下是一致的,或不一致的,或由不一致转化为一致及由一致转化为不一致等等。     

析比较命题及其推理

比较命题属于语言逻辑的研究范围。语言逻辑是以自然语言中的思维形式及其规律为研究对象的。而自然语言是无限复杂的 ,其表达中的概念形式、命题形式、推理形式和论证形式也是无穷多的。本文从自然语言表达中俯拾数例对比较命题及其推理作一浅析     

语言逻辑方法论

文本认为语言逻辑的方法是一种符号学方法.第一,符号学方法是语形学、语义学、语用学方法的三合一.第二,自然语言的符号性、指谓性、交际性以及其它逻辑工具的局限性决定了以自然语言为研究对象、逻辑分析为研究手段的语言逻辑必须采用符号学方法.第三,卡普南索引词逻辑系统的形成表明符号学方法在语言逻辑研究中具有广阔的应用前景.     

当代形式逻辑界说

当代形式逻辑除了作为体系主干的语义学之外,尚有作为旨在用来透彻无误而又完备无缺地进行语义研究的人工符号语言工具的语构学,以及沟通逻辑理论和应用实际的语用学。语义的研究就是关于为人工符号语言所指谓的客观世界的以充分条件关系为核心的逻辑结构或逻辑规律的研究。语构的研究,就是关于人工符号语言自身的排列结构和变形规则的研究。语用的研究,亦即关于以语义为中介的互相同义的人工符号语言和自然语言的互相转换、互相翻译的研究。当代形式逻辑界坚定而彻底地坚持辨证唯物论的逻辑客体说理论,对当代形式逻辑界说为:采用可按指谓同一的准则与自然语言互相翻译的(语用学)人工语言的机械排列和变形的方式(语构学)研究以充分条件关系为核心的客观世界的逻辑结构和逻辑规律(语义学),从而向人类提供研究宇宙的从已有事件向新事件必然过渡的普遍适用的从已知获取新知的工具。     

意义图式与语言游戏--维特根斯坦"语言批判"的方法论特征

维特根斯坦把哲学归结为语言分析或语言批判.他先后建立了人工语言哲学和自然语言哲学."意义图式说"和"语言游戏论"就是这两种语言哲学的基本方法.两者各有侧重点前者注重"逻辑分析",致力于用数理逻辑的方法构造理想的人工语言;后者提倡"自然描述",强调从日常生活经验中研究人们实际使用的语言.其结果为西方语言哲学开辟了不同的研究方向.     

谈谈形式逻辑现代化的几个问题

在我国逻辑学界,五十年代末、六十年代初,曾对如何改造、丰富和发展形式逻辑展开了热烈讨论。粉碎“四人帮”以后,在七八、七九和八一年全国逻辑讨论会上,中国社会科学院逻辑室一些同志带头提出了形式逻辑现代化问题。这个问题提得好,反映了时代精神。形式逻辑现代化问题,实际上是关于如何改造、丰富和发展形式逻辑问题讨论的继续。大家都感到传统逻辑已经同现代科学思维不相适应,它有很多缺点,需要改造、丰富和发展。怎样发展呢?分歧很大。有的认为形式逻辑现代化就是要符号化,现代逻辑就是数理逻辑。也有的主张建立马克思主义辩证统一的逻辑,也就是把形式逻辑和辩证逻辑统一起来。甚而有的主张把形式逻辑、辩证逻辑和数理逻辑统一起来,建立统一的逻辑。还有的同志提出了形式逻辑必须与自然语言结合起来,要研究自然语言的逻辑……可见,大家的认识是不统一的。从当前逻辑学界来看,尊重国内外逻辑学科发展的现状,从实际出发,从现代思维实践出发,求大同,存小异,把更多一些同志的意见大致统一起来,以便更好的合作,是有利于逻辑科学发展的。现仅就形式逻辑现代化涉及到同数理逻辑、辩证逻辑、自然语言逻辑、应用逻辑的关系问题,谈点粗浅的看法。     

语言哲学与语言逻辑

二十世纪西方哲学出现了“语言学转向”,形成了一门新兴的学科——语言哲学。语言哲学涉及的范围相当广泛,其核心是意义问题。通过对语言深层的逻辑结构的分析,形成了人工语言的精确性与自然语言的不精确性的鲜明对比,于是就产生人工的理想语言与日常的自然语言之争。现代一些语言哲学家从理想语言又回到日常语言上来,并提出了“语言逻辑”的概念。语言逻辑重点要研究在人们实际的语言交际过程中的推理过程,其内容既包括逻辑语形学,也包括逻辑语义学与逻辑语用学,合起来也就是逻辑符号学。     

基于数理逻辑的知识表示

数理逻辑是一种基于命题与谓词分析的形式化的语言及其推理，是人工智能产生和发展的最重要的基础。从逻辑推理、自然语言形式化、数学命题形式化及动态系统行为描述四个方面入手，提出了基于数理逻辑的知识表示方法与实例，并提出谓词逻辑的局限与应当进一步研究的问题。     

略论词性、词义对概念的影响

普通(形式)逻辑所讲的概念与语词密切相关。语词是泛指词、词组一类的语言成份,而概念则是反映思维对象的本质与范围的思维形式。任何概念的产生和存在都要借助于语词。语词是概念的存在表现形式,概念是语词的思想内容,二者是形式与内容的关系。如果把对象比作原型的话,概念就可以作模型,词就是这个模型的模写。我们知     

语词修饰与概念限制

语词修饰与概念限制,它们之间既有区别,又有密切的联系。它们之间的关系问题,历来有不同的解释:一是认为语词修饰与概念限制是等同的、一致的;二是认为概念与语词的关系是密切的,概念的表达要借助于语词,有的语词表达概念,然而在论述概念的限制时,却没有谈及语言形式的问题。本文试从语词的修饰、概念的限制、语词的修饰不完全等同于概念的限制、概念的限制可采用语词修饰与变换词语的形式这四个力面,谈谈语词修饰与概念限制的关系。     

带变量FFP語言的遝輯基础

本文为Backus的FFP语言塑造了一种演算——Г演算,它与程序代数联合起来,实质上构成一种高级的合成逻辑。证实了“此合成逻辑与Curry的(低级的)合成逻辑是等价的”。Г演算,在理论上,为FFP语言奠定了数理逻辑基础。在实用上,它是“设计带变量的FFP语言的理论基础”。文中的Ω式就是一种带变量的FFP语言的雏型,它克服了Backus的FFP语言在?读性方面的缺陷。     

应从语言和言语来研究语言逻辑

思维和语言的内在联系成了许多哲学家,逻辑学家和语言学家共同关注的问题,自然语言已经不仅是逻辑研究的手段,同时也是逻辑科学研究的对象。语言逻辑就是要探讨思维和语言的内在联系。目前对语言逻辑的研究还没有形成一个公认的体系,研究什么一直众说纷纭。我们认为:研究语言逻辑应从语言和言语两方面来研究,从“语言”来研究,就是要研究思维的工具——语言所表达的逻辑问题,它是一种静态研究;从     

真理的语义概念与语义学基础

本文讨论环绕着真理的概念,主要问题是给予这个概念以满意的定义。真理概念也就是“真理的语义学概念”。[因为]语义学是一门研究语言词语和这些词语所“述及”的对象(或“事件情况”)之间某种关系的学科。而最简单、最自然的获得正确真理定义的方法,包含了运用其它语义学概念的方法,如满足的概念等。同时为真理下定义问题,证明是跟建立理论语义学基础的一般问题有密切联系。只有依靠具有准确地说明了的结构的语言,真理定义问题才能获得确切意义,并可能严肃地解决。但问题的解决有时是肯定的,有时又是否定的。这决定于对象语言和它的元语言之间的形式关系。或者更明确地说,决定于元语言的逻辑部分是否比对象语言“本质上更丰富”。若只限于讨论以逻辑的类型理论为基础的语言,则元语言“本质上更丰富”于对象语言的条件就是前者比后者包含更高的逻辑类型中的变数。元语言满足了上述条件,真理概念就可以在其中得到说明。对于一个句子来说,如果它满足于一切对象,那就是真实的,否则就是错误的。真理定义的结论是:首先,这一定义不仅是形式上正确,而且是实质上适合。其次,可以从定义演绎出各种一般性的规律。第三,将真理原理应用于某种数学的表示广泛类属的形式化语言,则在这一类属学科里,真理的概念同可证实性概念从来不一致。每一种这样的学科是首尾一贯的,但并非完整的,即在任何两个互相矛盾的句子之间,最多只能有一个可被证实,或者虽是互相矛盾的一双句子,但其中没有人造何一个可被证实。