加载中…
个人资料
浩瀚星宇
浩瀚星宇
  • 博客等级:
  • 博客积分:0
  • 博客访问:8,235,981
  • 关注人气:1,092
  • 获赠金笔:0支
  • 赠出金笔:0支
  • 荣誉徽章:
正文 字体大小:

逻辑学

(2010-09-22 19:59:16)
标签:

杂谈

分类: 他山之石


逻 辑 学

佚名

    逻辑学是研究纯粹理念的科学,所谓纯粹理念就是思维的最抽象的要素所形成的理念。 由亚里士多德创立。

   〔说明〕在这部分初步论逻辑学的概念里,所包含对于逻辑学以及其他概念的规定,也同样适用于哲学上许多基本概念。这些规定都是由于并对于全体有了综观而据以创立出来的。

    我们可以说逻辑学是研究思维、思维的规定和规律的科学。但是只有思维本身才构成使得理念成为逻辑的理念的普遍规定性或要素。理念并不是形式的思维,而是思维的特有规定和规律自身发展而成的全体,这些规定和规律,乃是思维自身给予的,决不是已经存在于外面的现成的事物。

    在某种意义下,逻辑学可以说是最难的科学,因为它所处理的题材,不是直观,也不象几何学的题材,是抽象的感觉表象,而是纯粹抽象的东西,而且需要一种特殊的能力和技巧,才能够回溯到纯粹思想,紧紧抓住纯粹思想,并活动于纯粹思想之中。但在另一种意义下,也可以把逻辑学看作最易的科学。因为它的内容不是别的,即是我们自己的思维,和思维的熟习的规定,而这些规定同时又是最简单、最初步的,而且也是人人最熟知的,例如:有与无,质与量,自在存在与自为存在,一与多等等。但是,这种熟知反而加重了逻辑研究的困难。因为,一方面我们总以为不值得费力气去研究这样熟习的东西。另一方面,对于这些观念,逻辑学去研究、去理解所采取的方式,却又与普通人所业已熟习的方式不相同,甚至正相反。

    逻辑学的有用与否,取决于它对学习的人能给予多少训练以达到别的目的。学习的人通过逻辑学所获得的教养,在于训练思维,使人在头脑中得到真正纯粹的思想,因为这门科学乃是思维的思维。——但是就逻辑学作为真理的绝对形式来说,尤其是就逻辑学作为纯粹真理的本身来说,它决不单纯是某种有用的东西。但如果凡是最高尚的、最自由的和最独立的东西也就是最有用的东西,那么逻辑学也未尝不可认为是有用的,不过它的用处,却不仅是对于思维的形式练习,而必须另外加以估价。

    附释一:第一问题是:什么是逻辑学的对象?对于这个问题的最简单、最明了的答复是,真理就是逻辑学的对象。真理是一个高尚的名词,而它的实质尤为高尚。只要人的精神和心情是健康的,则真理的追求必会引起他心坎中高度的热忱。但是一说到这里立刻就会有人提出反问道:“究竟我们是否有能力认识真理呢?”在我们这些有限的人与自在自为存在着的真理之间,似乎有一种不调协,自然会引起寻求有限与无限间的桥梁的问题。上帝是真理;但我们如何才能认识他呢?这种知天求真的企图似乎与谦逊和谦虚的美德相违反。但因此又有许多人发出我们是否能够认识真理的疑问,其用意在于为他们留恋于平庸的有限目的的生活作辩解。类似这种的谦卑却毫无可取之处。类似这样的说法:“象我这种尘世的可怜虫,如何能认识真理呢?”可以说是已成过去了。代之而起的另一种诞妄和虚骄,大都自诩以为直接就呼吸于真理之中,而青年人也多为这种空气所鼓舞,竟相信他们一生下来现成地便具有宗教和伦理上的真理。从同样的观点,特别又有人说,所有那些成年人大都堕落、麻木、僵化于虚妄谬误之中。青年人所见的有似朝霞的辉映,而老辈的人则陷于白日的沼泽与泥淖之中。他们承认特殊部门的科学无论如何是应该探讨的,但也单纯把它们认为是达到生活的外在目的的工具。这样一来,则妨碍对于真理的认识与研究的,却不是上面所说的那种卑谦,而是认为已经完全得到真理的自诩与自信了。老辈的人寄托其希望于青年的人,因为青年人应该能够促进这世界和科学。但老辈所属望于青年人的不是望他们停滞不前,自满自诩,而是望他们担负起精神上的严肃的艰苦的工作。

    此外还有一种反对真理的谦逊。这是一种贵族式的对于真理的漠视,有如我们所见得,拜拉特(Pilatus)对于基督所表示的态度。拜拉特问道:“真理是什么东西?”意思是说,一切还不是那么一回事,没有什么东西是有意义的。他的意思颇似梭罗门所说的:一切都是虚幻的——这样一来,便只剩下主观的虚幻了。

    更有一种畏缩也足以阻碍对于真理的认知。大凡心灵懒惰的人每易于这样说:不要那样想,以为我们对于哲学研究是很认真的。我们自然也乐意学一学逻辑,但是学了逻辑之后,我们还不是那样。他们以为当思维超出了日常表象的范围,便会走上魔窟;那就好像任他们自身漂浮在思想的海洋上,为思想自身的波浪所抛来抛去,末了又复回到这无常世界的沙岸,与最初离开此沙岸时一样地毫无所谓,毫无所得。

    这种看法的后果如何,我们在世界中便可看得出来。我们可以学习到许多知识和技能,可以成为循例办公的人员,也可以养成为达到特殊目的的专门技术人员。但人们,培养自己的精神,努力从事于高尚神圣的事业,却完全是另外一回事。

    而且我们可以希望,我们这个时代的青年,内心中似乎激励起一种对于更高尚神圣事物的渴求,而不会仅仅满足于外在知识的草芥了。

    附释二:认思维为逻辑学的对象这一点,是人人所赞同的。但是我们对于思维的估价,可以很低,也可以很高。一方面,我们说:这不过是一个思想罢了。——这里的意思是说,思想只是主观的,任意的,偶然的,而并不是实质本身,并不是真实的和现实的东西。另一方面,我们对于思想,也可以有很高的估价,认为只有思想才能达到至高无上的存在、上帝的性质,而其感官则对上帝毫无所知。我们说,上帝是精神,我们不可离开精神和真理去崇拜上帝。但我们承认,可感觉到的或感性的东西并不是精神的,而精神的内在核心则是思想,并且只有精神才能认识精神。精神诚然也可表现其自身为感觉(例如在宗教里),但感觉的本身,或感觉的方式是一事,而感觉的内容又是另一事。感觉的本身一般是一切感性事物的形式,这是人类与禽兽所共有的。这种感觉的形式也许可以把握最具体的内容,但这种内容却非此种形式所能达到。感觉的形式是达到精神内容的最低级形式。精神的内容,上帝本身,只有在思维中,或作为思维时,才有其真理性。在这种意义下,思想不仅仅是单纯的思想,而且是把握永恒和绝对存在的最高方式,严格说来,是唯一方式。

    对于以思想为对象的科学,也是和思想一样,有很高或很低的估价。有人以为,每个人无须学习逻辑都能思考,正如无须研究生理学,都能消化一样。即使人研究了逻辑之后,他的思想仍不过与前此一样,也许更有方法一些,但也不会有多大的变化。如果逻辑除了使人仅仅熟习于形式思维的活动外,没有别的任务,则逻辑对于我们平时已经同样能够作的思维活动,将不会带来什么新的东西。其实旧日的逻辑也只有这种地位。此外,一方面,对于人来说,思维的知识即使只是单纯的主观活动也是对他很光荣而有兴趣的事。因为人之所以异于禽兽即由于人能知道他是什么,他作什么。而且另一方面,就逻辑作为研究思维的科学来看(思想既是唯一足以体验真理和最高存在的活动),逻辑也会占有很高的地位。所以,如果逻辑科学研究思维的活动和它的产物(而思维并不是没有内容的活动,因为思维能产生思想,而且能产生它所需要的特定思想),那么逻辑科学的内容一般讲来,乃是超感官的世界,而探讨这超感官的世界亦即遨游于超感官的世界。数学研究数和空间的抽象对象。数学上的抽象还是感性的东西,虽然是没有特定存在的抽象的感性东西。思想甚至于进一步“辞别”〔或脱离〕这种最后的感性东西,自由自在,舍弃外的和内的感觉,排斥一切特殊的兴趣和倾向。对于有了这样基础的逻辑学,则我们对于它的估价,当然会较一般人通常对于逻辑的看法为高。

    附释三:认识到比起那单纯形式思维的科学具有更深意义的逻辑学的需要,由于宗教、政治、法律、伦理各方面的兴趣而加强了。从前人们都以为思想是无足重轻,不能为害的,不妨放任于新鲜大胆的思想。他们思考上帝、自然和国家,他们深信只是通过思想,人们就可以认识到真理是什么,不是通过感官,或者通过偶然的表象和意见所能达到。当他们这样思想时,其结果便渐渐严重地影响到生活的最高关系。

    传统的典章制度皆因思想的行使而失去了权威。国家的宪章成为思想的牺牲品,宗教受到了思想的打击;许多素来被认作天启的坚固的宗教观念也被思想摧毁了,在许多人心中,传统的宗教信仰根本动摇了。例如在希腊,哲学家起来反对旧式宗教,因而摧毁了旧式宗教的信仰。因此便有哲学家由于摧毁宗教,动摇政治,而被驱逐被处死的事,因为宗教与政治本质上是联系在一起的。这样,思维便在现实世界里成为一种力量,产生异常之大的影响。于是人们才开始注意到思维的威力,进而仔细考察思维的权能,想要发现,思维自诩过甚,未能完成其所担负的工作。思维不但未能认识上帝、自然和精神的本质,总而言之,不但未能认识真理,反而推翻了政府和宗教。因此亟须对于思维的效果或效用,加以辩护,所以考察思维的本性,维护思维的权能,便构成了近代哲学的主要兴趣。

    §20试从思维的表面意义看来,则(α)首先就思维的通常主观的意义来说,思维似乎是精神的许多活动或能力之一,与感觉、直观、想象、欲望、意志等并列杂陈。不过思维活动的产物,思想的形式或规定性一般是普遍的抽象的东西。思维作为能动性,因而便可称为能动的普遍。而且既然思维活动的产物是有普遍性的,则思想便可称为自身实现的普遍体。

就思维被认作主体而言,便是能思者,存在着的能思的主体的简称就叫做我。

   〔说明〕这里和下面几节所提出的一些规定,决不可认为是我个人对于思想的主张或意见。但在这些初步的讨论里,既不能说是有严格的演绎或证明,只可算作事实(Eacta)的陈述。换言之,在每个人的意识里,只要他有思想,并考察他的思想,他便可经验地发现他的思想具有普遍性和下面的种种特性。当然,要正确地观察他的意识和他的表象中的事实,就要求他事先对注意力和抽象力具有相当的训练。

    在这初步的陈述里已经提到感觉、表象、与思想的区别。

    这种区别对于了解认识的本性和类别最关紧要。所以这里先将这个区别提出来促使人们注意,以便有助于他们的了解。——要对感性的东西加以规定,自应首先追溯其外在的来源,感官或感觉官能。但是,只是叫出感觉官能的名称,还不能规定感官所感到的内容。感性事物与思想的区别,在于前者的特点是个别性的。既然个别之物(最抽象的个别之物是原子)也是彼此有联系的,所以凡是感性事物都是些彼此相外(Aussereinander)的个别东西,它们确切抽象的形式,是彼此并列(Nebeneinander)和彼此相续(Nacheinander)的。至于表象便以那样的感性材料为内容,但是这种内容是被设定为在我之内,具有我的东西的规定,因而也具有普遍性,自身联系性、简单性。除了以感性材料为内容而外,表象又能以出自自我意识的思维材料为内容,如关于法律的、伦理的和宗教的表象,甚至关于思维自身的表象。要划分这些表象与对于这些表象的思想之间的区别,却并不那么容易。因为表象既具有思想的内容,又具有普遍性的形式,而普遍性为在我之内的任何内容所必具,亦为任何表象所同具。但表象的特性,一般讲来,又必须在内容的个别性中去找。诚然,法律、正义和类似的规定,不存在于空间内彼此相外的感性事物中的。即就时间而言,这些规定虽好似彼此相续,但其内容也不受时间的影响,也不能认为会在时间中消逝和变化。

    但是,这样的一些潜在的精神的规定,在一般表象之内在的抽象的普遍性的较广基地上,也同样地个别化了。在这种个别化的情形下,这些精神规定都是简单的,不相联系的;例如,权利、义务、上帝。在这种情形下的表象,不是表面上停留在权利就是权利,上帝就是上帝等说法上,就是进而提出一些规定,例如说,上帝是世界的造物主,是全知的,万能的等等。象这样,多种个别化的、简单的规定或谓词,不管其有无内在联系,勉强连缀在一起,这些谓词虽是以其主词为联系,但它们之间仍然是相互外在的。就这点而论,表象与知性相同,其唯一的区别,在于知性尚能建立普遍与特殊,原因与效果等关系,从而使表象的孤立化的表象规定有了必然性的联系。反之,表象便只能让这些孤立化的规定在模糊的意识背景里彼此挨近地排列着,仅仅凭一个又(auch)字去联系。表象和思想的区别,还具有更大的重要性,因为一般讲来,哲学除了把表象转变成思想——当然,更进一步哲学还要把单纯抽象的思想转变成概念——之外,没有别的工作。

    我们在上面曾经指出,感觉事物都具有个别性和相互外在性,这里我们还可补说一句,即个别性和相互外在性也是思想,也是有普遍性的东西。在逻辑学中将指出,思想和普遍东西的性质,思想是思想的自身又是思想的对方,思想统摄其对方,绝不让对方逃出其范围。由于语言既是思想的产物,所以凡语言所说出的,也没有不是具有普遍性的。凡只是我自己意谓的,便是我的,亦即属于我这个特殊个人的。但语言既只能表示共同的意谓,所以我不能说出我仅仅意谓着的。而凡不可言说的,如情绪、感觉之类,并不是最优良最真实之物,而是最无意义、最不真实之物。当我说:“这个东西”、“这一东西”、“此地”、“此时”时,我所说的这些都是普遍性的。一切东西和任何东西都是“个别的”、“这个”,而任何一切的感性事物都是“此地”、“此时”。同样,当我说“我”时,我的意思是指这个排斥一切别的事物的“我”,但是我所说的“我”,亦即是每一个排斥一切别的事物的“我”。

    康德曾用很笨拙的话来表达这个意思,他说,“我”伴随着一切我的表象,以及我的情感、欲望、行为等等。“我”是一个自在自为的普遍性,共同性也是一种普遍性,不过是普遍性的一种外在形式。一切别的人都和我共同地有“我”、是“我”,正如一切我的情感,我的表象,都共有着我,“伴随”是属于我的东西,就作为抽象的我来说,“我”是纯粹的自身联系。在这种的自身联系里,“我”从我的表象、情感,从每一个心理状态以及从每一性情、才能和经验的特殊性里抽离出来。“我”,在这个意义下,只是一个完全抽象的普遍性的存在,一个抽象的自由的主体。因此“我”是作为主体的思维,“我”既然同时在我的一切表象、情感、意识状态等之内,则思想也就无所不在,是一个贯串在这一切规定之中的范畴。

    附释:当我们一提到思维,总觉得是指一种主观的活动,或我们所有的多种能力,如记忆力、表象力、意志力等等之一种。如果思维仅是一种主观的活动,因而便成为逻辑的对象,那么逻辑也将会与别的科学一样,有了特定的对象了。但这又未免有些武断,何以我们单将思维列为一种特殊科学的对象,而不另外成立一些专门科学来研究意志、想象等活动呢?思维之所以作为特殊科学研究的对象的权利,其理由也许是基于这一件事实,即我们承认思维有某种权威,承认思维可以表示人的真实本性,为划分人与禽兽的区别的关键。而且即使单纯把作为主观活动的思维,加以认识、研究,也并不是毫无兴趣的事。对思维的细密研究,将会揭示其规律与规则,而对其规律与规则的知识,我们可以从经验中得来。从这种观点来研究思维的规律,曾构成往常所谓逻辑的内容。亚里士多德就是这门科学的创始人。他把他认为思维所具有的那种力量,都揭示出来了。我们的思维本来是很具体的,但是在思维的复杂的内容里,我们必须划分出什么是属于思维本身的或属于思维的抽象作用的。思维的作用,一种微妙的理智的联系,综合其思维所有的内容,亚氏把这种理智的联系,这种思维形式的本身,特别突出起来加以规定。亚里士多德这种逻辑一直到现在还是大家所公认的逻辑,经过中世纪的经院哲学家虽有所推衍,却没有增加什么材料,只是对于原有材料上更加细致的发挥罢了。近代人关于逻辑的工作,可以说主要地一方面是放弃了一些自亚里士多德及经院哲学家所传袭下来的许多逻辑规定,一方面又掺进去许多心理学的材料。这门科学的主旨在于认识有限思维的运用过程,只要这门科学所采取的方法能够适合于处理其所设定的题材,这门科学就算是正确的。从事这种形式逻辑的研究,无疑有其用处,可以借此使人头脑清楚,有如一般人所常说,也可以教人练习集中思想,练习作抽象的思考,而在日常的意识里,我们所应付的大都是些混淆错综的感觉的表象。但是在作抽象思考时,我们必须集中精神于一点,借以养成一种从事于考察内心活动的习惯。人们可以利用关于有限思维的形式的知识,把它作为研究经验科学的工具,由于经验科学是依照这些形式进行的,所以,在这个意义下,也有人称形式逻辑为工具逻辑。诚然,我们尚可超出狭隘的实用观点说:研究逻辑并不是为了实用,而是为了这门科学的本身,因为探索最优良的东西,并不是为了单纯实用的目的。这话一方面固然不错,但从另一方面看来,最优良的东西,也就是最有用的东西。因为实体性的东西,坚定不移的东西,才是特殊目的的负荷者,并可以促进和实现这些特殊目的。人们必不可将特殊目的放在第一位,但是那最优良的东西却能促进特殊目的的实现。譬如,宗教自有其本身的绝对价值,但同时许多别的目的也通过宗教而得到促进和支持。基督说过:“首先要寻求天国,别的东西也会加上给你们。”只有当达到了自它自为的存在时,才可以达到特殊的目的。

    §21(β)在前面我们既认思维和对象的关系是主动的,是对于某物的反思,因此思维活动的产物、普遍概念,就包含有事情的价值,亦即本质、内在实质、真理。〔说明〕在§5里曾提及一种旧信念认为所有对象、性质、事变的真实性,内在性,本质及一切事物所依据的实质,都不是直接地呈现在意识的前面,也不是随对象的最初外貌或偶然发生的印象所提供给意识的那个样子,反之,要获得对象的真实性质,我们必须对它进行反思。惟有通过反思才能达到这种知识。

    附释:甚至儿童也已经多少学到一些反思的能力。例如,儿童首先须学习如何把形容词和实物名词联接起来。这里他必须注意观察并区别异同。他必须紧记一条规则,并把它应用于特殊事物。这规则不是别的,即是一普遍的东西。儿童也会使特殊东西遵循这个普遍规则。再如在生活中我们有了目的。于是我们便反复思索达到这个目的的种种方法。在这里目的便是普遍,或指导原则。按照目的,我们便决定达到这目的的手段或工具。同样,反思在道德生活里也在起作用。

    在这里反思是回忆正义观念或义务观念,亦即回忆我们须要当作固定的规则去遵循以指导我们在当前特殊情形下的行为的普遍。这个普遍规定必须包含在我们特殊行为里,而且是通过特殊行为可以认识的。又如在我们对自然现象的研究里,也有反思作用在活动。例如我们观察雷和电。这是我们所极熟习的现象,也是我们常常知觉到的事实。但人们对于单纯表面上的熟习,只是感性的现象,总是不能满意,而是要进一步追寻到它的后面,要知道那究竟是怎样一回事,要把握它的本质。因此我们便加以反思,想要知道有以异于单纯现象的原因所在,并且想要知道有以异于单纯外面的内面所在。这样一来,我们便把现象分析成两面(entzwei),内面与外面,力量与表现,原因与结果。在这里,内面、力量,也仍然是普遍的、有永久性的,非这一电闪或那一电闪,非这一植物或那一植物,而是在一切特殊现象中持存着的普遍。感性的东西是个别的,是变灭的;而对于其中的永久性东西,我们必须通过反思才能认识。自然所表现给我们的是个别形态和个别现象的无限量的杂多体,我们有在此杂多中寻求统一的要求。因此,我们加以比较研究,力求认识每一事物的普遍。个体生灭无常,而类则是其中持续存在的东西,而且重现在每一个体中,类的存在只有反思才能认识。自然律也是这样,例如关于星球运行的规律。天上的星球,今夜我们看见在这里,明夜我们看见在那里,这种不规则的情形,我们心中总觉得不敢于信赖,因为我们的心灵总相信一种秩序,一种简单恒常而有普遍性的规定。心中有了这种信念,于是对这种凌乱的现象加以反思,而认识其规律,确定星球运动的普遍方式,依据这个规律,可以了解并测算星球位置的每一变动。同样的方式,可以用来研究支配复杂万分的人类行为的种种力量。在这一方面,我们还是同样相信有一普遍性的支配原则。从上面所有这些例子里,可以看出反思作用总是去寻求那固定的、长住的、自身规定的、统摄特殊的普遍原则。这种普遍原则就是事物的本质和真理,不是感官所能把握的。例如义务或正义就是行为的本质,而道德行为所以成为真正道德行为,即在于能符合这些有普遍性的规定。

    当我们这样规定普遍时,我们便发现普遍与它的对方形成对立。它的对方就是单纯直接的、外在的和个别的东西,与间接的、内在的和普遍的东西相对立。须知普遍作为普遍并不是存在于外面的。类作为类是不能被知觉的,星球运动的规律并不是写在天上的。所以普遍是人所不见不闻,而只是对精神而存在的。宗教指引我们达到一个普遍,这普遍广包一切,为一切其他的东西所由以产生的绝对,此绝对也不是感官的对象,而只是精神和思想的对象。

    §22(γ)经过反思,最初在感觉、直观、表象中的内容,必有所改变,因此只有通过以反思作为中介的改变,对象的真实本性才可呈现于意识前面。

    附释:凡是经反思作用而产生出来的就是思维的产物。例如,梭伦为雅典人所立的法律,可说是从他自己的头脑里产生出来的。但反之另一方面,我们又必须将共体〔如梭伦所立的〕这些法律,认作仅仅的主观观念的反面,并且还要从这里面认识到事物本质的、真实的和客观的东西。要想发现事物中的真理,单凭注意力或观察力并不济事,而必须发挥主观的〔思维〕活动,以便将直接呈现在当前的东西加以形态的改变。这点初看起来似乎有些颠倒,而且好像违反寻求知识的目的。但同样我们可以说唯有借助于反思作用去改造直接的东西,才能达到实体性的东西,这是一切时代共有的信念。到了近代才有人首先对于此点提出疑问,而坚持思维的产物和事物本身间的区别。据说,事物自身与我们对于事物自身的认识,完全是两回事。这种将思想与事物自身截然分开的观点,特别是康德的批判哲学所发挥出来的,与前些时代认为事情(Sache)与思想相符合是不成问题的信心,正相反对。这种思想与事情的对立是近代哲学兴趣的转折点。但人类的自然信念却不以为这种对立是真实的。在日常生活中,我们也进行反思,但并未特别意识到单凭反思即可达到真理;我们进行思考,不顾其他,只是坚决相信思想与事情是符合的,而这种信念确是异常重要。但我们这时代有一种不健康的态度,足以引起怀疑与失望,认为我们的知识只是一种主观的知识,并且误认这种主观的知识是最后的东西。但是,真正讲来,真理应是客观的,并且应是规定一切个人信念的标准,只要个人的信念不符合这标准,这信念便是错误的。反之,据近来的看法,主观信念本身,单就其仅为主观形式的信念而言,不管其内容如何,已经就是好的,这样便没有评判它的真伪的标准。——前面我们曾说过,“人心的使命即在于认识真理”,这是人类的一个旧信念,这话还包含有一层道理,即任何对象,外在的自然和内心的本性,举凡一切事物,其自身的真相,必然是思维所思的那样,所以思维即在于揭示出对象的真理。哲学的任务只在于使人类自古以来所相信于思维的性质,能得到显明的自觉而已。所以,哲学并无新的发明,我们这里通过我们的反思作用所提出的说法,已经是人人所直接固有的信念。

    §23(δ)反思既能揭示出事物的真实本性,而这种思维同样也是我的活动,如是则事物的真实本性也同样是我的精神的产物,就我作为能思的主体,就我作为我的简单的普遍性而言的产物,也可以说是完全自己存在着的我或我的自由的产物。

   〔说明〕我们常常听见为自己思考的说法,好像这话包含有重大的意义似的。其实,没有人能够替别人思考,正如没有人能够替别人饮食一样。所以这话是重复的。在思维内即直接包含自由,因为思想是有普遍性的活动,因而是一种抽象的自己和自己联系,换言之,就思维的主观性而言,乃是一个没有规定的自在存在,但就思维的内容而言,却又同时包含有事情及事情的各种规定。因此如果说到哲学研究上的谦逊或卑谦与骄傲,则谦逊或卑谦在于不附加任何特殊的特质或行动给主观性,所以就内容来说,只有思维深入于事物的实质,方能算得真思想;就形式来说,思维不是主体的私有的特殊状态或行动,而是摆脱了一切特殊性、任何特质、情况等等抽象的自我意识,并且只是让普遍的东西在活动,在这种活动里,思维只是和一切个体相同一。在这种情形下,我们至少可以说哲学是摆脱掉骄傲了。

 

    当代逻辑的新领域——制约逻辑 (传统逻辑与现代逻辑的有机结合)

    二千三百年前,古希腊的伟大思想家亚里士多德(Aristotelés 前384 — 前 322年)以《工具论》创立了传统形式逻辑,为逻辑发展史树起了第一座丰碑。从19世纪中叶到20世纪初,经过英国数学家布尔、德国数学家弗雷格、英国哲学家、数学家罗索等人接连不断的努力,吸收莱布尼兹的成果,建立了后来作为电子计算机理论基础的“正统数理逻辑”的观代公理系统,这是逻辑学发展史上的第二座里程碑。

    1968年,中国形式逻辑研究会理事、北京开关厂工程师林邦谨创立了一门新的逻辑学说 —— 制约逻辑,向前两座丰碑提出了挑战。1978年,在我国逻辑学界元老沈有鼎教授的举荐下,经华裔美籍逻辑学家王浩教授推荐,林邦谨在美国数学会刊物《文摘》上发表论文《制约逻辑简介》。1985年12月,林邦谨的专著《制约逻辑》在国内正式出版。制约逻辑独树一帜,震动了逻辑学界,引起了国内外学者的关注。

    制约逻辑是传统的形式逻辑与正统数理逻辑(现代逻辑)有机结合的产物,它运用现代逻辑提供的严格精密的数学方法,去构造一个能确切地体现传统形式逻辑的深刻正确的主导思想的非正统的逻辑制约系统。林邦谨认为,传统形式逻辑密切结合人类普通思维和自然语言实际,把从已知进入未知的推理格式作为自己的主要研究对象,坚持贯彻不许循环论证,这是它的深刻而正确的主导思想。但它对十些极简单的推理却不能从理论上加;以分析,演算技术也十分简陋、陈旧,远不能满足现代的需要。正统数理逻辑系统地采用了现代数学方法,论证严谨,演算精密,但它却舍弃了推理格式中起决定作用的非数学的逻辑含义这一精髓,将其处理成真值函数、个体 — 真值函数关系,因而远离了传统形式逻辑的主导思想。林邦谨木胆地综合融汇了上述两种逻辑的优点而摈弃二者之缺陷,创造出自外于传统两家的新逻辑体系 ——制约逻辑学说,即继承形式逻辑的正确主导思想和有效的推理格式,并采用数理逻辑所提供的数学方法来处理科学研究和社会生活中的各种逻辑问题。它是久盛不衰的传统形式逻辑的现代发展。

    制约逻辑学说指出,制约关系就是刻划清楚后的充分条件关系。制约关系事实上构成了传统形式逻辑中可据以进行不循环论证的推理格式的理论核心:推理式的前后件之间必定满足普遍有效的制约关系,而在前件或后件中也必定出现制约关系。制约逻辑体系由语义学、语构学、语用学三者组成。制约逻辑语义学研究客观世界的逻辑结构和逻辑规律,而以其中的客观的制约关系和有关制约关系的客观的逻辑规律为主要研究对象。制约逻辑语构学研究刻划客观的逻辑结构和规律的表意的人工符号的机械的排列结构和变形规则。制约逻辑语用学研究在指谓同一的原则下符号语言与自然语言的互相翻译。总的说来,制约逻辑所研究的领域是:观实世界对象域上的个体、集、一元或多元函数、一元:或多元关系、关系间的直值函数关系、关系间的充分条件 ( 即制约 ) 关系,和上述种种关系的客观规律,以及它们在意识中的反映 —— 概念 ( 词 ) 、命题和推理。其中,制约 ( 充分条件 ) 关系为研究核心。

    林邦谨在深入分析人类普通的逻辑思维实际的基础上,运用数理逻辑的演算技巧,提出了命题演算 Cm 系统和名词演算 Cn 系统。 Cm 中的“制约”命题夕 p → q 跟 p 和 q 的真假共有七种, p → q 也获得三真四假的纪录。这,点与莱维斯 (Lewis) 的严格蕴涵一致。但 Cm 跟莱维斯的模态系统是有区别的。 Cm 系统有以下主要特征: (1) 在 Cm 中,所谓“必然”,并非某二命题的性质,而只能是两个命题间的联系。 p → q 表示 p 和 q 之间有某种 " 必然 "联系。 (2) 除了为一般模态系统所避免的象 p → (q → p) 等著各的蕴涵怪论以外, Cm 还避免了象 T p → q 这一类最难避免因而为一般模态系统所容纳的蕴涵怪论。 (3) 跟一般模态系统不同, Cn有象 [p → (q → r)] → [q → (p → r)] 这一类公式。 (4) 相当于在一般形式逻辑书中列出的传统命题逻辑推理式的定理它都具有。 (5) 没有象 T (pVq)—>q 这一类公式。 (6) 凡是在传统形式逻辑中看起来好像是用了相当于被 Cm排除了的二值系统中的定理的地方, Cm 都有很好的处理方法。  在Cm系统的基础之上建立的 Cn系统,只是扩充形式语言(引八个体变元、函数词和谓词),而不用量词。这样不仅在技巧上可避免拿有量词的形式系统所不可避免的许多麻烦,使演算的进程原则上是命题演算,而且更接近于普通逻辑思维实际。同时, Cn系统将对解决判定问题提供明朗的前景。

    林邦谨在演绎推理问题上提出了两个独立性,具有逻辑性质“ 可独立于前后件的真假确定不会是前真而后假”的制约式定理称为第一独立性。具有逻辑性质“可在无需确定后件为真的情况下确定前件为真”的推理式定理称为第二独立性。“两个独立性”是为在论证中出现的推理式所必具的确保论证不循环的逻辑精髓。这是深刻的逻辑理论观点。国内外一些专家学者认为制约逻辑在学术和科学实践等方面有重大的意义: (1) 它可以分析、处理一系列逻辑史上迄今争论不休、久悬末决的难题。对命题的真假对错、主词存在、宾词周延和演绎推理能否推出新知,已证明的结论是否已证实,以及在数学史上引起第三次数学危机的悖论等问题,都可能给出确定的解决。 (2) 以它为逻辑基础建立的初等数论的形式系统 N ,当 Cn 。的判定问题一经解决,就可能为最终解决哥德巴赫猜想提供新的思路。这种数论系统还可能满足相容性和完全性 ( 与哥德尔不完全定理正好相反 )。 (3) 制约逻辑形式化公理系统,为计算机语言创造了符号语言体系。以它作为计算机科学的逻辑理论基础,可为研究、设计新兰代的内涵智能机;软件可靠性确认、程序正确性证明等方面提供新的途径。 (4) 以它来分析科学理论和科学创造中的逻辑机制,可使科学工作者掌握有效而实用的科学方法。

    国际逻辑学界和计算机学界对制约逻辑理论非常敏感。当林邦谨的简短论文《制约逻辑简介》在美国刚发表不久,联邦德国和加拿大的大学就积极组织专家研究班进行翻译和讨论,他们认为林邦谨“构造的这种逻辑体系是重要的,因为这种逻辑与计算机,科学,特别是‘判定程序'关系密切”。美国数学会秘书长利弗库博士推荐《制约逻辑》英文摘要给下届国。际逻辑讨论会。第八届。国际逻辑讨论会第一副主席、奥地利兰兹堡大学教授瓦因加特纳博士正式邀请林邦谨参加 1987 年在莫斯科举行的国际逻辑学术会议,并将作专题发言。在国内,林邦谨的制约逻辑现已引起学术界注意,国家科委于 1986 年在清华大学组织了高层次研讨班对制约逻辑进行剖析、探讨。

    对《制约逻辑》的批评也是较尖锐、激烈的(郭世铭、董亦农:评《制约逻辑》中的几个形式系统,《自然辩证法通讯》 1987, No.3)。他们认为制约逻辑的 Cm 系统与二十几年前国外发表的相干逻辑的命题演算 R 系统形式等价,而 R 是不可判定的,那么 Cn 系统亦就是不可判定的 ( 林邦谨认为Cm 和 Cn 是可判定的)。即使假若 Cn可判定, Cn 的判定方法用到数论系统Ⅳ上去也无济于事,因为一阶数论是不能有穷公理化的,因此要想在 Cn 基础上构造一个满足完全性的初等数论的形式系统N来解决哥德巴赫猜想等问题,是完全不可能的。 Cm 没有语义学,更无语义可靠性和完全性。 Cn 无法定义“必然”、“可能”这类概念。 Cn 没有实用价值,不可能证明任何一个有意义的必然命题和可能命题。N系统既不一致,也无足够的表达能力,当然也不可能完全,而且没有可判的公理集。N系统无法定义“整数”、“素数”、“减”之类的基本数论概念,无法表示象歌德巴赫猜想这类的命题。因此,N系统是一个罕见的百病缠身的系统。

    那么,制约逻辑何处为真理,何处是谬误;对它的学术性地位将怎样做成历史性的评价;究竟会有多大作为;是不是逻辑学上的一次革命;它能否经受得住社会实践的考验;相信时间终将会给予我们确切的答案。

0

阅读 收藏 喜欢 打印举报/Report
  

新浪BLOG意见反馈留言板 欢迎批评指正

新浪简介 | About Sina | 广告服务 | 联系我们 | 招聘信息 | 网站律师 | SINA English | 产品答疑

新浪公司 版权所有