逻辑学的八种逻辑关系和逻辑有区别吗?为什么?

《形式逻辑》说:逻辑学的分支有“形式逻辑”、“数理逻辑”和“辩证逻辑”,这是三门不同的但又有联系的逻辑学科。论述:形式逻辑、数理逻辑、辩证逻辑形式逻辑又称传统逻辑,它是一门有着两千多年历史的学科。数理逻辑又称现代逻辑,它是近三百年,特别是近百年才发展起来的一门学科。数理逻辑和形式逻辑有以下三点不同:第一,数理逻辑与形式逻辑的研究对象不是完全相同的。形式逻辑的有些研究对象,例如,归纳、类比与假说等,就是数理逻辑所尚未充分研究的;同时,数理逻辑的有些研究对象,例如,一个公理系统的完全性与无矛盾性,就是形式逻辑所不研究的;即使有些对象是形式逻辑与数理逻辑都研究的,它们研究的重点也还是有所不同的。第二,数理逻辑与形式逻辑的研究方法是不同的。形式逻辑用日常语言来表现思维形式以及思维形式之间的关系,例如,用“所有S都是P”与“如果P,那么q”来分别地表现全称肯定判断和假言判断,这里的“所有...都是...”与“如果...那么...”就是日常语言;为了避免日常语言的歧义和其它不确定的因素,数理逻辑应用了形式语言来构造逻辑系统,数理逻辑应用(x)(Fx→Gx)和(p→q)来分别表现全称肯定判断与假言判断,“x”、“F”、“G”、“p”、“q”与“→”这些符号的意义,在形式语言中都是明确地规定的;此外,形式逻辑所用的方法都是比较直观的,而数理逻辑则大量地应用了形式化的数学方法。第三,数理逻辑与形式逻辑在人们认识中所起的作用是不同的。由于在研究对象与研究方法方面的不同,数理逻辑是数学研究中的有用工具,而形式逻辑则是一般思维中的便利工具。当然,这只是一个比较的说法。对于一般思维中的某些问题,我们有时也可以并且也需要应用数理逻辑来加以解决;同时,在数学和其它科学的研究中,我们通常也大量地应用了日常语言,因而也应用了以日常语言来表现的形式逻辑。数理逻辑在思维形式方面的研究是极有成效的。形式逻辑应当根据它本身的特点,适当地吸取数理逻辑的某些研究成果。但是,如果把数理逻辑中的一套硬搬到形式逻辑中来,甚至用数理逻辑来代替形式逻辑,则是错误的。辩证逻辑是目前正在开始研究的一门学科。大体来说,辩证逻辑也是把思维形式与思维规律作为自己研究的对象,但是,形式逻辑和辩证逻辑有以下两点不同:第一,形式逻辑只从思维形式方面研究思维本身的准确性、明确性、无矛盾性与一贯性。形式逻辑不研究思维形式如何正确反映客观现实的运动、变化与发展问题;但是,辩证逻辑却要研究这些问题,辩证逻辑要研究思维形式如何正确反映客观事物的运动变化,如何反映事物的内部矛盾,有机联系和转化等问题。第二,形式逻辑只从真假值的角度,研究各种思维形式之间的真假关系。即是说,形式逻辑只研究当具有某一个思维形式的思想是真的时候,具有另一个思维形式的思想是真的或假的,形式逻辑不研究各种思维形式在认识发展过程中的联系和转化问题;但是,辩证逻辑却要研究这些问题。在形式逻辑中,各种思维形式之间的关系,只是真假值的关系,而不表现认识发展的顺序与认识深化的程度,在这个意义上,形式逻辑中的各种思维形式可以说是平列的;相反地,辩证逻辑考虑到各种思维形式在认识发展过程中的联系和转化,从而把各种思维形式互相隶属起来,组成一个由低级到高级的有机体系。形式逻辑和辩证逻辑是分别地研究思维形式之间不同方面的关系的。形式逻辑和辩证逻辑是既有区别又有联系的两门学科。在整个认识过程中,即需要用形式逻辑,更需要用辩证逻辑,两者是相辅相成的。《普通逻辑学》说:作为一门科学,逻辑学有广义和狭义两种理解。广义逻辑学主要有形式逻辑和辩证逻辑两大分支;狭义的逻辑学仅指形式逻辑。形式逻辑又可以分为传统形式逻辑和现代形式逻辑。传统形式逻辑简称传统逻辑,它主要用自然语言来研究日常思维的形式、规律、方法,以及思想的语言表达等方面的问题;现代形式逻辑是传统形式逻辑的延伸和发展,它借助于特制符号和数学方法来研究思维的形式问题。现代形式逻辑在研究方法的精确性、研究对象的广泛性等方面都比传统逻辑先进,它能弥补传统逻辑的一些不足;但是,由于符号语言和自然语言存在着很大差别,在处理日常普通思维的逻辑问题时,它不如传统逻辑来得直观和简便,加上认读、理解和掌握现代逻辑的符号演算体系对于非逻辑、非数学专业的学生来说存在着一定的难度,所以现代形式逻辑并不能完全取代传统的形式逻辑,就像高等数学不能取代初等数学一样。现在我国大多数高等院校文科所开设的逻辑课程,就是一个以传统逻辑为基本框架,同时吸收了与普通思维密切相关的现代形式逻辑的一部分内容的教学体系。为了将这种教学体系既区别于传统形式逻辑,又区别于现代形式逻辑,人们将逻辑课程的名称改作“普通逻辑”。《语言学与逻辑学》说:现代逻辑已发展成为分支众多的学科体系。逻辑学首先可分为形式逻辑和辩证逻辑。形式逻辑又可分为传统形式逻辑和现代形式逻辑。现代形式逻辑又称现代逻辑,还称数理逻辑、符号逻辑等。
纯数学就是纯形式逻辑,时至今日,这个观点应该没有什么争议了吧?所谓形式逻辑,研究的是概念自身定义之间的关系,是完全脱离了实际的形式,所以叫形式逻辑。形式逻辑的主要使用方式是演绎法,典型的就是三段论了。同时,形式逻辑在其内部是不可被证伪的,所以给定假设,形式逻辑演绎的结果必然是唯一且正确的,这是他的优势。但是,形式逻辑的缺陷也同样突出,那就是与实践有着不可逾越的鸿沟,主要表现在三个方面:1、无法直接应用于实践。2、无法对个体事物进行归纳。3、忽略了时间轴,无法描述事物的运动与发展。而广义逻辑则在这三个方面对形式逻辑做了补充。借助朴素逻辑的类比,使得形式逻辑得以应用于实践。借助归纳法,将个体事物抽象为一般概念,从而得以进入形式逻辑系统进行运算。辩证法则在承认事物不断运动发展的基础上,将形式逻辑由于高度抽象以至于丢失的关键细节补充回来。不过,这么说倒也未必确切,辩证法应该不只是形式逻辑的补充,而是可以脱离形式逻辑而独立存在的一套还原度更高的系统。至于数学好逻辑性一定强吗?一般来说,是的,数学是最严谨、最直接的形式逻辑训练。数学好,就说明熟练掌握了形式逻辑工具。对于一般人而言,这就已经算是逻辑性强了吧?毕竟绝大多数人甚至不知道逻辑为何物,也视逻辑为无物。但是,纯数学和数学建模又不一样,纯数学好,未必能够联系实践,如上所述,因为他们并没有受过理论联系实际的应用训练。但是,数学建模强的,实践中的逻辑也一定强,因为人家练的就是这个。如果面对更复杂的问题,例如政治、伦理等,数学训练又不大能够帮得上忙了,因为在这些领域,忽视事物的运动发展将是致命的。

我要回帖

更多关于 逻辑学的八种逻辑关系 的文章

 

随机推荐