语言逻辑与形式化

语言逻辑是一门新兴的学科,是现代逻辑与现代语言学发展结合的产物。语言逻辑有狭义与广义之分,对于它的研究对象,学术界尚无定论。是否采用形式化方法,这是存在于广义语言逻辑与狭义语言逻辑之间的激烈论争。应当坚持用辩证的观点看待该论争:一方面应该承认形式化方法在语言逻辑领域具有重要的意义,另一方面也要看到形式化方法在语言逻辑领域具有相当的缺陷。     

逻辑方法转换的必然性述评

纵观古今,西方逻辑的发展,呈现出内容的多变性、视角的多向性、形式的多样性,从而导致方法的多元化。从古希腊逻辑直面生活世界的有效论证方法,到近代以后清晰表达思想的系统符号化方法,再到当今处理日常推理的可交往方法,表现出形式化与非形式化的转换与融合,这是逻辑学自身发展的内在需要,也是相关边缘学科发展的必然要求。     

语言逻辑与语用推理

语言逻辑,就是通过对自然语言的语形、语义与语用分析来研究自然语言中的推理的科学;传统逻辑和经典逻辑研究的主要是语形推理或语义推理,语言逻辑研究的则主要是语用推理——所谓语用推理,就是指在推理中需要根据具体的语境因素补充或增加某些省略或缺失的前提才能得出真正的结论的推理。     

运用语义分析方法重新解决逻辑的判定

逻辑作为一门学科早已被人们所认同 ,但是对于什么是逻辑 ,目前学术界也还没有形成一个统一的看法。运用从实际出发的语义分析方法 ,从“逻辑”一词初始意义可以得出 ,逻辑是关于所知的纯粹的、形式化的普遍结构或关系的学问 ,这种形式化的普遍结构一方面是由关系方面的形式化规定所决定的 ,另一方面是由关系词的形式化规定所决定的。     

语用逻辑刍议

语用逻辑有别于语言逻辑,前者与语境的关系更为密切.语用逻辑是语言运用过程中的逻辑,是逻辑的内在机制支配下的语言语用.当下有关语用逻辑的研究还处于未成熟阶段.有关语用逻辑的研究的基本的理论前提是:"语言"与"言语"的区别;"言语"与"思维"的关系.语用逻辑以"言语"与"逻辑"之间的关系为主要研究对象.语用逻辑在学科归属上是语用与逻辑交叉而成的新兴边缘交叉学科.语用逻辑的深入研究具有一定的理论意义和现实意义.     

汉语语序的认知语用考察

本文从语法、认知、逻辑、语用等角度综合考察了汉语语序问题。考察发现 ,汉语语序在这几方面往往是一致的。认知、逻辑是语序形成的深层基础 ,而语序则是各种语用因素在语言运用中对语言结构调控的结果     

信息流逻辑研究述评

在现代逻辑学领域正在进行着一次"信息转向",其中信息流逻辑是信息流理论和现代逻辑进行融合的结果.根据相关信息流理论可以构造出表征事物间信息流关系的信息流逻辑系统;将信息流理论应用于模态逻辑、条件句逻辑和相干逻辑等领域可以为相关问题的分析找出一种新途径.信息流逻辑研究可以为现代逻辑研究提供信息视角,但这种理论意义还处于起步阶段.     

基于语用逻辑的术语标准化问题

语用逻辑是特定语境下,话语表达者和接受者以语言为媒介的有效关联、理性交际与认知.术语建构标准的确定需要引入语用逻辑,术语接受者一定的可接受度应该是术语建构的最终"标准".较为典型的个案分析表明,术语标准化问题在人文社科领域(文科)和自然科学及工程技术领域(理科)都存在,术语"标准"的确立是动态的,是与语境密切相关的,都涉及理解和解释问题.基于语用逻辑的术语标准化问题的提出有助于知识表征和科学传播.     

预设理论的形式化研究

文章探讨了学者们普遍关注的与预设相关的问题,并重点讨论了盖士达的潜预设理论,即潜预设理论的形式化定义及系统定义,从形式化角度重新审视预设理论的发展.最后本文指出了该理论的优势与不足,希冀引起人们对该理论更深层次的思考,为预设理论的深入研究提供了建设性思路.     

杜威逻辑体系中的命题理论

杜威对命题进行了独特的分析,并在此基础上形成了独具特色的逻辑理论,包括制定了特有的命题分类体系,阐述了命题之间的逻辑联系,以及对传统三段论进行了工具主义的阐释,同时对于命题的构成即词项进行了多方面的阐述。杜威的命题理论为理解逻辑的起源、基础和应用提供了一条值得参考的研究路径。     

多元化的辩证逻辑形式化研究

本文对 2 0世纪 80年代以来中国学者在辩证逻辑形式化方面的研究 ,作了简要述评 ,涉及到多种形式化的思路和成果。在此基础上 ,笔者提出坚持多元化的研究方向和借鉴其他非经典逻辑有用成果的主张 ,以促进 2 1世纪辩证逻辑的形式化研究     

论关系命题的逻辑性质

普通逻辑学界流行的关于关系命题逻辑性质的认定,不能研究非二元关系命题的逻辑性质,也难以契合于具体的二元关系命题。普通逻辑难以解释关系命题的逻辑性质,不仅在于这些所谓的逻辑性质本身容易陷入窘境,而且在于它与普通逻辑应该研究的逻辑性质相去甚远。普通逻辑不能合理、有效地揭示关系命题的逻辑性质,是与它不能系统地使用符号语言分不开的。要合理、有效地揭示关系命题的逻辑性质,必须借助现代逻辑,建立新的分析手段,把关系命题从现行的普通逻辑教本中分离出去。     

对谓词逻辑在人工智能科学中应用的分析

谓词逻辑是人工智能科学赖以产生和发展的最重要理论基础,从计算机系统理想化知识表达法的要求来看,谓词逻辑表达法在人工智能科学应用中有着不可替代的优点.但由于受形式逻辑本身表达范围的影响,它在表达知识的水平和能力上又存在一些局限,而这正是我们应进一步探讨以求解决的问题.     

语用迁移研究的现状及发展趋势

语用迁移研究是语际语用学与二语习得研究相结合的交叉研究领域,它研究语言习得者的母语和文化语用知识对二语习得的影响。国外语用迁移研究在语用正迁移和负迁移两个领域取得了新的进展,正迁移并不必定促进二语习得,而负迁移并不总是造成负面效果。但是,语用迁移研究对语用可迁移性、语用迁移与语言水平之关系、语用迁移所导致的语言变体及语言规范等问题关注不够,加强这方面的研究,将推动语际语用学的发展。     

博弈逻辑述评

博弈逻辑是研究“理性的”行动者或参与者在互动的过程中如何选择策略或如何做出行动的逻辑。本文从博弈逻辑的概念与研究对象着手,阐述了博弈逻辑的基本内容、国内外研究现状及博弈逻辑研究存在的问题与发展前景。     

哲学逻辑的指称与量化探析

在哲学逻辑之模态逻辑里,“指称”这一涉及语义关系的问题,曾引起人们的广泛关注。并由此产生了本质主义与反本质主义的两大阵营。本文在阐述模态、指称、模态语境等诸多方面的基础上,探析了模态语境条件下的指称与量化问题。     

浅谈现代逻辑的社会功能

现代逻辑以其形式抽象、体系严密、应用广泛和结论精确的特性在促进现代科学技术发展和推动人类文明进步过程中发挥了重要作用，公理化、形式化的思维方法对提高现代人的综合素质提供了必要条件。如何进一步提高现代逻辑在高等教育中的地位，强调现代逻辑在素质教育中的作用，是高等教育面临的重要问题。本文就现代逻辑的社会功能略作探讨，以引起人们对现代逻辑教学与研究的关注和思考。     

关于互补性逻辑、辩证逻辑及次协调逻辑——对马佩教授挑战的一种回应

1.玻尔的黎曼面模型是互补性的语义模型,恰当地表征了辨证矛盾与逻辑矛盾之间的相互关系,恰当地刻画了互补性的逻辑结构."互补性"的要点是"相反相成"或"互补又互斥",说的是矛盾双方既互相排斥又互相联结而形成统一体,因此它与辩证法的核心思想相一致.2.与马佩先生主要从语义角度着手不同,次协调逻辑学者主要从句法角度对矛盾进行划分,考虑形式系统允许或不允许哪一种矛盾.3.所谓辩证逻辑的形式化,就是像多种非经典逻辑那样采用形式化手段,对辩证法的现实原型进行恰当刻画和再现.我们认为,关键在于要保证兼有次协调逻辑/相干逻辑/模糊逻辑的禀性:(1)有次协调性(能刻画有意义的矛盾,而不会使得每一个公式都变成定理);(2)有相干性(避免不相干的推理);(3)能恰当刻画模糊性(即恩格斯所说的恰当地承认"亦此亦彼");(4)有表征辩证法特有原理的公理组.     

语用推理的定义、种类和模式──语用推理系列研究之三

本文认为语用推理是根据语用规则，结合一定的语境，从语句的字面意义推导出其话语意义的一种推理，它包括索引推理、预设推理、话涵推理、辞格推理等形式，语用推理有其特有的模式。