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

摘要：

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

展开

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

C++的四种编程范式
C++的四种编程范式有: 1.面向过程 2.面向对象 3.泛型编程 4.函数式编程面向过程 int add1(int a,int b) {return a+b; } 面向对象这里我选择运算符重载 ...
win10更新后没有计算机了,升级Win10系统后没有声音四种解决方案
升级Win10系统后没有声音的情况相信大部分用户都有遇见过,有些用户从Windows7/Windows8/Windows 8.1系统升级Windows10后可能遇到了系统没有声音的问题,遇到这样情况我 ...
计算机图片怎么截图快捷键,电脑截图快捷键四种截屏方式,笔记本电脑如何截屏截图？...
电脑截图快捷键四种截屏方式,笔记本电脑如何截屏截图? 网际百科资讯知识宝库 2020-3-18 43955 0评论电脑截图快捷键四种截屏方式,笔记本电脑如何截屏截图?给你推 ...
学计算机的kaocpa,注册会计师考试CPA要避开四种假象
注册会计师考试CPA要避开四种假象导读:注册会计师考试的艰辛不言而喻.五年时间,六门考试,考验大家的有决心.有努力,还有坚持的勇气.在注会备考的过程中,我们常常会冒出各种想法,或是给自己安慰,或是给 ...
anydesk远程计算机,AnyDesk远程软件连接失败的常见四种状况？
AnyDesk远程软件是我们日常生活工作中常用的一款远程软件.体积小,灵活又便捷,帮助我们随时随地移动办公.但我们使用AnyDesk远程软件时,也会出现一些连接失败的情况.接下来,下文将详细叙述一下A ...
计算机的应用形态有哪些,经典的四种使用形态内置应用有所升级
■ 联想YOGA 2:四种经典的使用形态内置应用有所升级关于联想YOGA的四种使用形式已经近乎成为一个老生常谈的话题(除YOGA外,ThinkPad S230u的使用形式也基本一致),就这种翻转变 ...
计算机类和鼠标类是什么关系,四种鼠标类型的优缺点
四种鼠标类型的优缺点鼠标的种类有很多,目前常用的鼠标按照定位原理分为光电鼠标.激光鼠标.蓝光鼠标和蓝影鼠标,可能大部分用户并不了解它们之间的区别,只有少数游戏玩家听说过这些鼠标种类.下面就来和小编一 ...
[编程范式]以炒菜为例，讲解各种编程范式
过程式编程生活的经验告诉我们以下的物理现实,事情是按照时间的顺序一个步骤接一个步骤的发展.编程里有一个范式就模拟了这样的经验,就是过程式编程. 如果现在有一些刚从超市买回来的菜,要吃进肚子,按照过程 ...
python支持多种编程范式吗_Python3学习之路~6.1 编程范式：面向过程 VS 面向对象...
编程范式编程是程序员用特定的语法+数据结构+算法组成的代码来告诉计算机如何执行任务的过程,一个程序是程序员为了得到一个任务结果而编写的一组指令的集合,正所谓条条大路通罗马,实现一个任务的方式有很多种 ...

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