计算机逻辑学 范式,论亚里士多德形式逻辑之后的四种逻辑范式

摘要：

逻辑学是研究思维形式及其规律的科学.现有的逻辑科学形形色色,五花八门.然而,逻辑科学并非很早就有那么多的门类,这些不同性质,种类的逻辑科学,是与社会进步相适应,在思维发展的过程中逐步形成,并在人类对思维认识的不断深化过程中依次出现的.最早出现的逻辑科学是形式逻辑,古希腊的亚里士多德被公认为是形式逻辑的创始人.亚里士多德在《工具论》中对形式逻辑的各个方面的考察为以后形式逻辑的不断发展和完善奠定了坚实的基础.但形式逻辑只从形式结构来研究思维,它撇开了思维的具体内容,对概念,判断,推理等各种思维形式缺乏整体的研究;同时,亚里士多德的形式逻辑是利用自然语言来描述思维形式的,而自然语言又避免不了有歧义,这样就会导致思维的错误.正是基于亚里士多德的形式逻辑的诸多不足,它之后的各种逻辑范式才应运而生.这些新兴的逻辑学试图从各自的角度出发弥补形式逻辑在某些方面的缺陷以推进逻辑学的完善和发展.康德创立的先验逻辑表达了与形式逻辑不同的看法.康德在批判形式逻辑时对什么是先验逻辑作了回答,他认为逻辑学是研究知性和理性的规律的.康德从先验逻辑的基本问题,先验逻辑对认识论的贡献以及先验逻辑与形式逻辑的关系三个方面构造他的先验逻辑体系.康德的先验逻辑在很大程度上突破了形式逻辑的局限,但他对理性的超验运用,也为后人留下了广阔的争论场所,直到费希特和谢林对它进行了完善.黑格尔在先验逻辑的基础上,经过三个特别的发展阶段,最终发展成为一门新型的思维科学,即辩证逻辑.黑格尔的辩证逻辑被称为思维科学史上的巨大革命,德国古典哲学的最高成就.黑格尔揭示了辩证逻辑的三大规律,以及辩证逻辑与形式逻辑的关系问题,通过与形式逻辑,先验逻辑的对比来突显自己的研究特点,同时他也分析了辩证逻辑的研究困境.弗雷格的数理逻辑克服了亚里士多德的形式逻辑的种种局限性,把科学推向一个新的高峰,被认为是形式逻辑发展中的突破性成果.用数学的方法研究逻辑问题,突显数理逻辑的研究优势,它的出现与发展使逻辑学的研究范围不断扩大,其作用和职能也发生了深刻的变化,逻辑这门科学以实现了某些思维过程机械化的有力工具,现在人们对计算机的使用就足以表明数理逻辑的伟大贡献.胡塞尔认为哲学必须有一套"纯粹逻辑"体系,才能为人类提供永恒崇高的价值规范.胡塞尔通过现象学还原的方法研究逻辑,对逻辑的本质作了现象学的诠释以及纯粹逻辑对形式逻辑的反思,纯粹逻辑突出逻辑的两面性即主观方面和客观方面,可以说纯粹逻辑是综合了形式逻辑和先验逻辑但同时又超越了它们的逻辑.

展开