传统与现代逻辑概论

传统与现代逻辑概论

论逻辑学是由古希腊的亚里士多德创立的，发展到今天已经成为包括多种类型和多个分支的学科。在诸多逻辑类型中，形式逻辑和归纳逻辑是基本的类型，通常所说的逻辑，指的就是这部分内容。逻辑的类型和对象逻辑的研究对象因逻辑类型而异，不同的逻辑类型正是由于研究对象或研究方法的不同而形成的。因此，对逻辑的对象应当就具体的逻辑类型来谈论。但是，根据逻辑的基本特性，还是可以对逻辑的研究对象作出一般的概括。大致地说，逻辑是研究思维的逻辑形式的，或者说，逻辑是从形式方面研究推理的。思维有内容和形式两个方面，逻辑不研究思维的内容，只研究思维的形式方面。思维活动主要是推理，研究思维的形式方面也就是研究推理的形式结构。推理的前提和结论是命题，因而也要研究命题的形式结构。命题和推理的形式结构就是思维的逻辑形式。对于逻辑可作狭义和广义两种解释。狭义的逻辑只研究必然性推理，也叫演绎推理。广义的逻辑不仅研究必然性推理，还研究或然性（概然性）推理，主要是归纳推理。逻辑也研究一些专门的方法，如形式逻辑讨论了形式证明、公理化等演绎方法，归纳逻辑讨论了求因果联系、假说、概率演算等归纳方法。还有一些方法，如定义、非形式论证等属于逻辑应用的方法。本书主要介绍传统形式逻辑、现代形式逻辑、古典归纳逻辑、现代归纳逻辑的基础知识，也介绍了一些逻辑方法。第2页形式逻辑形式逻辑是研究必然性推理的，也叫演绎逻辑。形式逻辑有传统形式逻辑和现代形式逻辑。传统形式逻辑主要是指亚里士多德的逻辑和斯多噶学派的逻辑。亚里士多德研究了三段论，斯多噶学派研究了假言推理、选言推理等推理的形式，这些是人们常用的演绎推理。传统形式逻辑也研究了与这些推理有关的各种命题的形式，对构成命题的词项（概念）也作了某些考察。传统形式逻辑对各种推理都提出了相应的规则，根据这些规则可以识别一个具体的推理在形式上是否正确。是对于分析日常的简单的推理。

淘宝上的不能买。