传统逻辑chuantong luoji
指由亚里士多德开创、至19世纪现代形式逻辑形成以前所发展起来的形式逻辑体系和理论。我国一般逻辑书上讲的形式逻辑或普通逻辑指的就是传统逻辑,包括传统的演绎逻辑和传统的归纳逻辑。传统逻辑是一门研究思维的逻辑形式及其基本规律、以及人们认识现实的简单逻辑方法的科学。传统逻辑从真假二值角度揭示各种逻辑形式的性质、规则和规律。其中最基本的规律有同一律、矛盾律、排中律等。它们是保证思维正确性所必须遵守的最起码的逻辑规律。传统逻辑还包括一些简单的逻辑方法,如定义、划分等。传统逻辑在逻辑形式中虽然运用了一些符号,但主要还是借助自然语言(即各民族日常使用的语言)表达。传统逻辑是一门工具性科学,它是人们在认识事物、表达思想时经常运用的一种必要的逻辑工具。
传统逻辑
指数理逻辑产生之前的所有逻辑知识汇成的逻辑体系,其中主要的成分是亚里士多德的逻辑学说。
传统逻辑研究了思维的基本规律,把它们概括为同一律、矛盾律、排中律和充足理由律。同一律要求每一思想必须与其自身保持同一。矛盾律要求不能对互相排斥的两个思想都加以肯定。排中律要求对两个互相矛盾的思想不能都加以否定。这三条规律从不同的角度保证了人们思维的确定性。充足理由律要求确定一个思想为真,必须有充足的理由。它保证了人们思维的论证性。作为正确思维的必要条件,这四条基本规律制约着所有的思维形式。
传统逻辑把思维形式区分为词项(概念)、命题(判断)和推理,所以它的研究首先从词项开始。它用变项符号S、M、P等来表示不确定的词项,对每个词项变项都可用具体的词项作代入。它讨论了词项的逻辑特征:每一个词项都有内涵和外延两个方面,并且内涵和外延具有一定的反变关系,这种反变关系构成了词项学说的基础。它主要从外延的方面区分了词项的不同种类,研究了词项间的各种关系。它要求人们在思维中必须做到词项明确,并研究了明确词项的逻辑方法——定义和划分。定义是明确词项内涵的逻辑方法,划分是明确词项外延的逻辑方法。
词项与词项可以联结成一个语句。但不是任何一个语句都是命题,只是那些具有真假意义的语句才是命题。作为命题的逻辑特征,是对事物的情况有所断定并具有真假意义。传统逻辑根据命题的结构把命题区分为简单命题和复合命题:简单命题是自身不包含其它命题的命题;复合命题则是由其它命题所组成的命题。
传统逻辑着重研究了简单命题中的直言命题,把直言命题定义为具有主宾式结构、断定事物有无某种性质的命题。它分析了直言命题由主词、宾词、量词和联词所构成,并根据结构的不同把直言命题归结为全称肯定命题、全称否定命题、特称肯定命题、特称否定命题四种类型,用A、E、I、O四个字母分别表示这四种直言命题。它研究了直言命题中主词和宾词的周延性问题,依据在前提中不周延的词项在结论中不得周延的原则,它研究了直言命题的换位问题,即通过改变一个直言命题中主词和宾词的位置得到另一个直言命题。它还研究了同素材即主词和宾词相同的四种不同类型的直言命题之间的真假关系,依据这些关系构造了逻辑方阵。
传统逻辑也研究了复合命题。复合命题是由支命题通过逻辑联结词而组成的。它通常只研究由二个支命题所组成的复合命题。由于联结词的性质不同,复合命题可以分为联言命题、选言命题、假言命题和负命题。在选言命题中,除了相容的选言命题外,它还研究了不相容选言命题;在假言命题中,除了充分条件假言命题外,它还研究了必要条件假言命题。这些形式的复合命题,在自然语言中都有普遍的运用。
传统逻辑还考察了模态命题,把模态命题分为必然命题和或然命题,其中,必然命题包含模态词“必然”和“不可能”,或然命题包含模态词“可能”和“不必然”。对于模态命题之间的关系,它作了一些分析,并得出一些重要的结论,如“P是必然的”相当于“非P是不可能的”,“P是可能的”相当于“非P不是必然的”等等。此外,它也对一些简单的关系命题进行了考察。
在推理中,传统逻辑主要研究了三段论的推理形式。三段论是由三个共包含三个相同词项的直言命题所组成的推理,其中,二个直言命题为前提,一个为结论。它把这三个词项区分为大词、中词和小词,并依据所包含的词项不同把两个前提分为大前提和小前提。它提出了制约三段论推理的曲全公理,研究并制定了三段论推理所必须遵守的规则。它根据中词在前提中的不同位置把三段论区分为四种不同的形式,称为三段论的格,并结合各个格的具体形式制定了每一个格的特殊规则。它还根据组成前提和结论的直言命题的类型不同,确定三段论共有256个可能的结构式,其中只有24个式是正确的。它专门研究了如何把其它的三个格的正确式化归(又叫还原)为第一格的正确式的问题,这实际上是以第一格的正确式作为公理,推演出其它格的正确式。由于这种化归的方法,三段论成为一个近似于公理体系的演绎体系。
传统逻辑也研究了复合命题的推理形式,主要讨论了选言推理和假言推理两种形式,并得出几个重要的推理形式,如相容选言推理的否定肯定式,不相容选言推理的肯定否定式和否定肯定式,充分条件假言推理的肯定前件式和否定后件式,必要条件假言推理的否定前件式和肯定后件式,等等。它还专门研究了二难推理。
在研究推理时,传统逻辑只考虑前提为真的情况。它要求一个有效的推理形式,在前提为真的时候,结论不得为假。
传统逻辑研究了归纳推理和一些简单的逻辑方法。归纳推理依据前提中考察的是一类事物的全体还是部分,可以分为完全归纳推理和简单枚举归纳推理。其中,完全归纳推理的结论具有必然性,简单枚举归纳推理的结论只是或然的。在逻辑方法上,它主要研究了五种探求因果的方法即契合法、差异法、契合差异并用法、共变法和剩余法,这五种方法又称“穆勒五法”,由这些方法所得到的结论只具有或然性。此外,它还研究了类比推理和假说等问题。
传统逻辑还研究了论证的问题。论证由论题、论据和论证方式所组成。它把论证分为证明和反驳两种类型,论述了论证必须遵守的逻辑规则。在证明中,它研究了反证法和选言证法;在反驳中,它研究了归谬法。这几种方法都属于演绎论证的方法。此外,它又研究了诡辩的手法,并对谬误作了分类。
传统逻辑主要研究的是日常思维和自然语言中的逻辑问题,它的研究成果在人类思维中有着广泛的应用。在研究方法上,它虽然使用了变项符号,但还不是形式化的,还不能构成一个完整的系统。它所研究的命题形式和推理形式都是比较简单的,只是全部命题和全部推理形式的一小部分。
在现代,一些学者把数理逻辑的一些方法如真值表、真值联结词、命题表达式等和现代自然科学方法论中的一些内容如概率、模拟等引入到传统逻辑中去,由此构成的体系通常称为“逻辑学”。