论现代逻辑的应用

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

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

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

论我国的逻辑教学

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

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

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

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

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

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

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

论情境语义学研究的发展

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

弗协调逻辑的发展及现状

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

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

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

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

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

墨家逻辑研究的回顾与展望

墨家逻辑是中国古代逻辑的典型,是中国近现代学者研究的热点.梁启超、胡适和沈有鼎的研究取得重要成果,有开拓性、创造性和启发性.对墨家逻辑的研究还需深入,要进一步认识其丰富内容、科学性质、历史意义和现代价值,弘扬其优秀成果,发挥其对社会和文化的积极影响.     

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

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

现代逻辑中的哲学问题

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

道义逻辑不是坏逻辑——与金承光先生商榷

道义逻辑不是坏逻辑;道义逻辑不是因为实际应用而产生,它不能够即时的被法律逻辑所应用并不表明它毫无作用;即使是在应用领域同样可以有广阔的前景;在知识表达领域,在多智能主体系统领域都可以看到道义逻辑在发挥作用。     

从个体词看传统逻辑与现代逻辑的关系

传统逻辑与现代逻辑都包含对个体词的说明,而传统逻辑对个体词的说明是有问题的,现代逻辑由于量词的引入,即个体词的引入,很好地解决了传统逻辑的难题,由此分析从个体词的逻辑性质能够更好的说明现代逻辑优于传统逻辑的地方。     

可编程控制器在洁净空调自动控制系统中的应用

介绍了可编程控制器(PLC)在洁净空调控制系统中应用的实例，对应用中遇到的问题提出了解决方案，并对PLC在洁净空调系统中推广使用的前景进行了分析。     

动力与次序双重视角下我国政治现代化的内在逻辑演进探析

改革开放以来我国的经济现代化的飞速发展,未能推动政治现代化的实质性变革。基于政治现代化动力与次序的双重视角,我国政治现代化的内在逻辑困境宏观表现为：现代市场经济＂量＂的激增未能引发＂质＂的跨越,造成公民社会发育的缓慢,致使政治现代化内部原初动力的不足与外部推手的缺位;微观表现为：市场经济准则未能升华为现代社会的行为规范与政治价值的基本内核,加之传统政治观念的根深蒂固,致使政治现代化的内在＂软动力＂缺失。简言之,动力不足、推手缺位及观念禁锢等因素,制约着我国政治现代化的进程。     

墨家逻辑与佛家逻辑之比较

本文在逻辑起源、逻辑特征、名言论、命题论、推理论、论辩及论辩形式、谬误论、后续发展状况等方面,对墨家逻辑与佛家逻辑进行比较研究,阐明二者是差异与类同共存,并以此揭示两大逻辑的成就与不足,以促进逻辑学科的发展。     

论非形式逻辑的现代性特征

作为新的逻辑分支,非形式逻辑是一种具有现代性特征的逻辑:从其兴起的动力说,它是一种旨在应对现代性问题的逻辑;从其发展的方式看,它是一种体现着逻辑自身现代性的逻辑;从其在中国的引入历程讲,它是一种对传统逻辑的现代化具有示范意义的逻辑。