论现代逻辑的应用

现代逻辑的价值和意义,在于其在理论上的应用。对于纯数学的基础和结构来说,现代逻辑是一种非常有用的工具,包括哥德尔不完全性定理等,都利用了现代逻辑的技术和成果。某些现代逻辑技术已经广泛应用到了工程学之中,例如,计算机工程就基于现代逻辑的高级成果。反过来,这些应用又刺激了逻辑理论本身取得更多的进步。     

不应忘却的逻辑应用史——与《逻辑学百年》的作者们商榷

逻辑在中国走过了百年的历史,取得了丰硕的成果。《逻辑学百年》作为中国逻辑百年里程碑式的著作,对中国逻辑百年的发展脉络作了较详细地探讨并对逻辑理论的重要成果作了概述,把中国逻辑百年历史比较清晰地呈现出来。但是,它却忽视了我国逻辑学的应用和发展。在我国逻辑学百年的历史发展中,逻辑理论的引入、完善和发展一刻都离不开逻辑的应用。人们是始终把逻辑学作为思维工具,使其在思维实际的运用中,得以不断地完善与发展的。逻辑应用是逻辑发展的动力之一。如果不谈逻辑应用,轻视逻辑应用的理论,逻辑学就失去了存在的价值。逻辑应用仍将是我国逻辑学研究与教学的中心。     

论我国的逻辑教学

我国逻辑学界从１９７８年提出“逻辑要现代化”的口号。但２０年过去了，高校的逻辑教学依然是以传统逻辑为主。这种做法实际上仍然是拒绝现代逻辑：它肢解了现代逻辑的知识体系，歪曲了现代逻辑的基本精神。逻辑理论和方法是一个整体。它在我国亟待普及和提高，所谓普及应该是一阶逻辑，而不是传统逻辑。     

论证逻辑:逻辑教学改革的一个可能方向

我国逻辑教学改革除了现行的三种实践模式外，论证逻辑是一个更现实的可能方向。逻辑教学改革至少应该是形式化逻辑和论证逻辑两条腿走路，这也正是逻辑教学现代化的必然要求：从现代生活实际出发；与现代知识水平相称；为现代人所能充分运用     

哲学与逻辑: 百年回眸

自弗雷格的《概念文字》发表以来，现代逻辑已历经百余年的发展，其中逻辑和哲学的交叠和互动关系构成了现代逻辑发展的一个重要侧面和不可或缺的组成部分。一方面逻辑和哲学彼此独立，另一方面两者又相互补充，相互取予。哲学哺育逻辑，逻辑反哺哲学。20世纪许多哲学分支的进步和发展与现代逻辑所提供的严格的分析技术是密不可分的。逻辑几乎影响了整个语言哲学的风格，也为形而上学、元伦理学和心智哲学提供了丰富的资源。逻辑提供了各种形而上学理论发展的基本框架，有时甚至在哲学中扮演着中立仲裁者角色。逻辑的百年事实上是逻辑与哲学互动性发展和交叠式共生的百年，而这种深刻和复杂的关系只有在一个广阔的逻辑哲学和哲学逻辑的背景下，透过语言的层面才能被充分理解和揭示。     

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

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

浅析传统逻辑向现代逻辑发展的主要因素

传统逻辑主要局限于逻辑形式的贫乏与粗糙,现代逻辑是传统逻辑在当代哲学形式下的继承与发展,是逻辑学家企图弥补传统逻辑缺陷的一种逻辑。长期以来,研究者一直试图说明导致传统逻辑向现代逻辑转变的原因。从传统逻辑的局限性与现代逻辑的特征两个角度出发进行尝试性探讨,认为:现代逻辑的结构明显优于传统逻辑;传统逻辑向现代逻辑发展是现代哲学和科学发展的必然要求,更是必然结果;传统逻辑向现代逻辑发展过渡符合发展规律。     

弗协调逻辑的发展及现状

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

论情境语义学研究的发展

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

试论逻辑哲学的兴起及其主要论题

随着传统逻辑创立和发展到现代逻辑,对逻辑作哲学上的反思不断深入和展开。逻辑哲学作为一门独立学科,是现代逻辑迅猛发展和现代西方哲学语言转向的要求和结果。逻辑哲学的主要论题包括:逻辑范畴的界定,逻辑真理,逻辑悖论,逻辑中的本体论承诺,推理、后承与蕴涵,形式化方法的哲学考察。     

正规模态逻辑完全性理论研究综述

现代逻辑的基本理论是多方面的,大致可以从以下四方面来看:一是数理逻辑方面,包括一阶逻辑(也称经典逻辑)、高阶逻辑、模型论、证明论、递归论和公理化集合论;二是哲学逻辑方面,包括经典逻辑的各种扩充和其他各种非经典逻辑,例如模态逻辑、时态逻辑、多值逻辑、相干逻辑、直觉主义逻辑和弗协调逻辑等;三是逻辑学和数理语言学的交叉方面,包括逻辑句法、蒙太格语法、范畴语法和自动机理论等;四是逻辑学和计算机科学的交叉方面,包括动态逻辑、逻辑程序和人工智能中的逻辑等。近30年来,现代逻辑在西方又有了长足的发展。我本想组织我的学生对现代逻辑的这四个方面近年来的一些研究成果写一组文章,但是,因为我在2002年《自然辩证法研究》(逻辑专刊)上发表了一篇《20世纪数理逻辑的概貌》的文章,所以,这里我的一篇文章加上我教授的三位学生写的一组文章,仅就哲学逻辑方面以及逻辑学和数理语言学的交叉方面的若干理论分支的研究近况,在各自的研究领域中对一些重要的成果做简要介绍,其中我的文章《西方道义逻辑的形式化研究》介绍了哲学逻辑研究范畴中广义模态逻辑的分支—道义逻辑的形式化方面的一些最新研究成果;魏燕侠的文章《正规模态逻辑完全性理论研究综述》介绍了属于哲学逻辑中最重要的分支—模态逻辑的重要问题之一正规模态逻辑完全性理论的最新研究成果;郝旭东的文章《弗协调逻辑的发展及现状》介绍了属于哲学逻辑研究范畴中广义模态逻辑的分支弗协调逻辑的最新研究成果;史?的文章《论情境语义学研究的发展》综述了逻辑学和数理语言学的交叉研究中最新的理论情境语义学理论的研究成果。     

EDA技术在"数字逻辑"课程中的应用

EDA技术是现代数字系统设计的先进手段,文章分析了将EDA技术引入到“数字逻辑”课程的必要性,给出了将EDA技术应用到“数字逻辑”课程的有效方法并进行了实践,实践结果表明了该方法的有效性。     

逻辑哲学与哲学逻辑

逻辑是我们这个时代哲学的独特标志,20世纪许多哲学分支的进步和发展是与现代逻辑所提供的严格的分析性技术密不可分的.逻辑几乎影响了整个语言哲学的风格,逻辑也为形而上学、元伦理学和心智哲学提供了丰富的资源.逻辑提供了各种形而上学理论发展的基本框架,甚至在哲学中扮演着中立仲裁者角色.但逻辑也受哲学的制约,逻辑依赖于哲学的基本预设,经典逻辑和各种非经典和反经典逻辑系统都有深刻的形而上学背景.逻辑哲学和哲学逻辑分别从逻辑的哲学方面和哲学的逻辑方面为我们正确地理解和刻画逻辑和哲学的这种复杂、动态和多样性关系提供了深刻的洞见.     

推进中国式现代化的逻辑分析

在中华人民共和国成立特别是改革开放以来长期探索和实践基础上，在新时代十年，中国共产党成功推进和拓展了中国式现代化，其根本在于习近平总书记作为党中央的核心、全党的核心掌舵领航。中国共产党第二十次全国代表大会报告对中国式现代化的理论与实践方面的创新成果进行了科学总结，深刻阐明了中国式现代化的内涵特征、中国特色、本质要求，构建中国式现代化的理论框架，指明了推进中国式现代化的实践目标任务和战略路径，蕴含着继续推进中国式现代化的历史逻辑、理论逻辑、实践逻辑。探讨、厘清推进中国式现代化的内在逻辑，具有十分重要的理论意义和实践意义。     

简论逻辑的应用理论研究——关于商贸逻辑的构想

逻辑基础理论研究、逻辑应用理论研究和逻辑理论应用研究三个概念各有其内涵，既不能混淆又不能把它们完全孤立起来。应用理论研究具有必然性和丰富性。商贸逻辑是商贸思维领域的应用理论研究，它具有十分丰富的内容     

殷海光逻辑思想述评

本文考察和评述了作为台港现代逻辑发展史上的开创者与领军人——殷海光在逻辑学的普及、宣传与研究上的主要成就与贡献，并进而站在中国文化现代化的高度上，合理地评价和肯定了殷海光在中国现代逻辑发展史上的独特地位     

传统逻辑与现代逻辑的定义理论比较

首先，本文通过分析以亚里士多德和康德为代表的传统定义理论，总结出了它们的四个特点，指出：由于传统理论限于从认识论的角度研究定义问题，它提出的定义类型是不全面的，应用范围有限。其次，分析了罗素、怀特海和卡尔纳普的定义理论，讨论了现代逻辑在定义理论方面的新贡献，据此总结出现代定义理论的四个特点。最后，本文对传统定义理论与现代定义理论作了比较和综合，提出了一种新的定义分类理论，涵盖了１２种定义方式，并讨论了分类的完备性。     

逻辑理论变革的必然趋势

逻辑学是一门古老的科学 ,从它产生至今已有两千多年的历史。逻辑理论的历史大致经历了传统逻辑和现代逻辑两个阶段 ;而现代逻辑的发展又经历了由经典逻辑到非经典逻辑的变革。恩格斯曾经说过 :“每一时代的理论思维 ,从而我们时代的理论思维 ,都是一种历史的产物 ,在不同时代具有非常不同的形式 ,并因而具有非常不同的内容。因此 ,关于思维的科学 ,和其他任何科学一样 ,是一种历史的科学 ,关于人的思维的历史发展的科学。[1 ]”逻辑学从传统逻辑到现代逻辑、从经典逻辑到非经典逻辑的历史 ,正好说明了这一点。     

逻辑学的意义:实用、科学——汪奠基《现代逻辑》评介

在<现代逻辑>一著中,汪奠基先生认为,现代逻辑之科学思想,非一家一派之专论,而是综合西方国家各派的理论"参考取益".现代逻辑乃以符号逻辑为新型式逻辑之总称,它"分而有代数逻辑派、数学逻辑派、数理逻辑派".因此,汪奠基先生在<现代逻辑>中以介绍数学基础研究中的罗素学派、希尔伯特学派及布劳维尔学派之逻辑观点要旨,其中又以罗素的逻辑主义为主.如今,逻辑在现代计算机技术中的运用从一个侧面印证了汪奠基先生开创性工作所具有的前瞻性.     

现代逻辑中的哲学问题

现代逻辑在发展过程中与现代哲学相互渗透,也相互促进发展。本文认为,现代逻辑所涉及的哲学包括逻辑本体问题,归纳逻辑中的休谟问题和现代逻辑概念的一些精细分析问题,并大致归纳出10个具体的问题作进一步的讨论。