基于数理逻辑的知识表示

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

哲思逻辑的扩充及其应用

在9种二值一元连接词中,非平凡的共有5个。由这5个连接词连接的命题和原命题之间形成了5种关系,即矛盾关系、差等关系、逆差等关系、反对关系和下反对关系。在扩充的哲思逻辑中包含了这5个一元连接词,这大大提高了命题逻辑的表达功能和推理功能。其中的逆差等命题○A和原命题A之间既不满足矛盾律也不满足排中律,既不能用A和○A进行反证法证明,也不能用A和○A进行归谬法证明。哲思逻辑在自然语言推理方面的应用主要体现在两个方面：基于哲思逻辑的自然语言形式表示;基于哲思逻辑的自然语言推理。     

剖析联言推理形式

联言推理一般是指前提或结论为联言命题的推理形式。由于这种形式普遍存在于人们的思维实践中,并与自然语言有着天然的紧密联系,所以,对联言推理的研究有助于语言研究。近代的逻辑学家十分重视它在推理中的地位与作用。尽管如此,但由于其结构     

推理与其语言形式对应关系探析

语言与逻辑有着极强的对应规律,自然语言中的句子、句群尤其是复句,表现推理时形态丰富,功能多样。对复句与推理对应关系较详尽的归纳与分析,会使自然语言逻辑研究产生更宽的思路。     

论汪奠基对中国逻辑学研究的贡献

汪奠基主要研究传统逻辑和现代逻辑、西洋逻辑史和中国逻辑史,成果最多的学科是现代逻辑和中国逻辑史.在现代逻辑领域,他指出了传统逻辑的局限性,比如使用含混有歧义的自然语言,无法对命题和推理作出精细的分析,不能把一些正确推理形式包括进来,因此无法胜任全面而透彻研究推理的任务.而要想突破传统逻辑的局限,对命题和推理作出透彻的科学分析和阐述,就需要制定人工语言,深入研究命题的联结词和量词,准确了解多种命题的推理规律,把推理归结为规范的简单步骤,而这就是数理逻辑产生的根本原因;在中国逻辑思想史方面,他提出对中国逻辑史的对象研究是"为了尽量吸取历史上的逻辑遗产",因而有意把中国逻辑史的"对象和范围放宽一些"是合理的和有意义的.作为学者,他一向重视科学的思维方法.尽管他研究的领域很广,但他一直把对科学方法和逻辑方法的研究放在突出位置,写出了多种有关逻辑和科学方法的著作.     

百分比量化逻辑初探

传统逻辑和标准量化逻辑在分析自然语言命题时,只使用全称和存在两种量词,把自然语言中的非全称的量化命题都当作存在命题来处理,然而在自然语言中除了全称量词和存在量词外,还有复量词、百分比量词等。自然语言中许多根据复量词和百分比量词的逻辑意义而进行的直观上正确的推理在传统逻辑和标准量化逻辑中都是无效的。显然,复量词和百分比量词不能当作存在量词来处理,它们有着不同的逻辑意义。     

自然语言逻辑的对象刍议

自然语言逻辑是一门尚处形成中的逻辑科学。它的对象是什么?国内外逻辑学家正在探究,但众说纷纭。我们认为,它是运用多层次的具体和多样的日常语言形式,研究和表达在特定语境制约下,联系思维特殊内容的、三高抽象及其以下多层次的逻辑形式及其规律的逻辑科学。下面,就对这个刍拟的定义作出我们的解释和分析。     

萨莫斯的TFL系统述评

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

基于广义量词almostall的广义三段论的语篇推理探究

自然语言语篇推理是自然语言信息处理、计算机科学中的知识表示和知识推理的重点与难点内容之一。利用广义量词理论、集合论和模糊逻辑相关知识,可以简洁明了地对包含 al-most all 的广义三段论进行形式化的表示和证明。对此有18个事实可以印证。在广义三段论形式化和有效性研究的基础上,可以探讨由两个及以上的广义三段论嵌套而成的自然语言语篇推理。这些创新性成果和研究方法,将为考察包含其他广义量词的广义三段论的形式化、有效性及其相关语篇推理提供一个简洁合理的数学范式。     

从现代逻辑的语言层次观看《墨经》逻辑

《墨经》中没有应用对象语言来表示的命题形式和推理形式 ,而只有应用典型的具体推理来体现的推理方式 ,但《墨经》中却有不少应用元语言来表述的逻辑规律 ,虽然这些是不够精确的 ,但表明《墨经》中的逻辑已经开始进入形式逻辑的阶段     

关于逻辑真理的认识论思考

逻辑学是研究推理的一门学问，而推理是由概念、命题组成的，不懂得命题就不懂得推理。普通逻辑学在研究命题时，主要是从二值逻辑的角度研究命题逻辑形式的逻辑值与命题形式之间的真假关系。本文着重从认识论的角度阐述逻辑真理的内涵，同时详细论述逻辑真理与事实真理的区别。为了探求真理必须保证思维的逻辑性。     

略论语言交流的逻辑

语言交流的逻辑旨在处理日常的自然语言现象 ,进而提供日常表达和理解的逻辑理论 ,它是现代的逻辑、语法和修辞相结合的产物 ,是伴随着现代的语形学、语义学和语用学的兴起而逐步发展起来的。语言交流逻辑的核心是要解决表达和理解的问题 ,它至少涉及形式和描述两个研究层面 ;语言交流的逻辑是一个意义重要而又广泛的研究课题 ,随着理论研究的深入 ,语言交流逻辑在正确思维和有效交际过程中的功能将得到进一步发挥     

问句逻辑的三种研究方法!

#问句是日常语言中非常重要的句式结构!从逻辑角度研究问句的方法也不少!其中!博弈问句模型"推理问 句逻辑和探究语义学!代表了三种不同的研究思路# 博弈问句模型使用图表推理的方式分析涉及问句的会话!可以比较 不同提问方式的策略优劣# 推理问句逻辑有完整的语义解释和句法定义!直观地刻画了问句的推理关系# 探究语义学 在形式上与现代逻辑比较一致!可以构建带问句的逻辑系统!统一地处理命题和问题的逻辑性质#     

复合命题的量词与充分条件的逻辑性质

现代逻辑引入符号“(?)~x”和“(?)~x”分别表达全称量词和存在量词,以分析命题的形式,这是数理逻辑发展的一个突破口.量词在谓词逻辑中的地位和作用是极为显著和重要的,因而,有的逻辑学家干脆把谓词逻辑称为“量词理论”.传统逻辑曾按“量”把直言命题分为全称命题和特称的命题,也想研究量词的逻辑性质,但是,由于传统逻辑只局限于研究直言命题,不研究关系命题,即使对复合命题及其推理的分析,也仅着眼于构成复合命题的逻辑联结词,只根据联结词的逻辑性质进行推演,而根本忽视对量词的分析;更由于传统逻辑没有“(个体)变元”和命题函项的概念,以致对于量词的研究十分肤浅.本文的主要任务,在于探索复合命题中量词的性质及其作用,以澄清对复     

交际语言中的逻辑问题浅探

在人类社会里,人际交往是以自然语言为基础的,而形式逻辑研究思维形式及其基本规律,也是以自然语言为基础的。能思维、有语言是人的本质属性,思维与语言有着不可分割的联系。思维是人脑对于客观世界的间接的、概括的反映,这种反映是借助于语言来实现的。思维“只有在语言材料的基础上、在语言的词和句的基础上才能产生和存在”。(《马克思主义和语言学问题》人民出版社1972年版)因而,人们在运用概念作出判断和进行推理的思维活动时,是离不开语词、语句等语言形式的。交际活动是一种包括表达、接收以及语言传递信息的一整套活动过程。人们在语言交往活动中需要思维,因为语言是思维的表达形     

语言哲学与语言逻辑

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

语境简论

语境是语用学的核心课题,也是逻辑分析的重要依据。语用学从符号学的角度来研究语言和语言使用者之间的关系,主要是研究在不同的语言交际环境下如何理解和运用语言。逻辑学是关于思维形式及其规律的科学,而思维是籍助语言来表达的,逻辑分析是不可能越过语言分析这个中介环节的,而自然语言是多义和模糊的,因此,只有结合特定的语言交际环境才能弄清语言所表达的具体的思维内容,及思维形式结构的真假和对错。所以,无论从语用学的角度还是从逻辑学的角度讲,我们都应该重视语境的研究。     

论中国逻辑史研究的逻辑观

逻辑观是困扰当前中国逻辑史研究的根本性问题.两千多年来,逻辑的名称虽几经变化,但对命题形式、推理形式及其有效性的分析,始终是西方逻辑不变的主题.由于中国逻辑史研究是基于西方逻辑的传入而产生的,因此,西方逻辑的逻辑观应当成为中国逻辑史研究的基本遵循.     

理性悖论与语言的“失真”

与其说康德“悖论”的产生源自理性自身纯粹形式的表现困境或有限理性存在者在认知过程里的超验企及,不如说源自纯粹的先验语言形式在自然语言中的不可言说或自然语言对于超验对象的经验呈现,其结果自然地带来语言命题及其语言存在问题在先验性与经验性方面的混同;理性“悖论”既是理性存在的必然发生,又是语言经验过程的“失真”表现,自然语言的“尺度”不在自然的进程,而在理性存在的先验语言形式之内;辨明“悖论”的原因和形成就是辨明理性与知性、自然语言与先验语言形式的分野,确立清晰的具备不同特征的语言存在的统一。     

逻辑知识在行政职业能力考试解题中的应用

逻辑学是研究推理的,所有的推理都可以转化为充分条件假言命题,逻辑判断又是行政职业能力测验中最典型的逻辑试题,亦是学生普遍难以驾驭的题型,根据充分条件假言命题的特点、推理规则,其负命题的等值命题以及其与推理的转化关系,可以较好地解决逻辑判断五种不同的题型,借此引导学生提高运用逻辑知识解决实际问题的能力。