金岳霖问题——从逻辑的角度看.pdf

文 史 哲L I T E R A T U R E,H I S T O R Y,A N D P H I L O S O P H Y2 0 2 3年第4期(总第3 9 7期)N o.4,2 0 2 3(S e r i a l N o.3 9 7)金岳霖问题 从逻辑的角度看刘 新 文摘 要:“金岳霖问题”指的是金岳霖在1 9 3 0年提出的“中国哲学”问题,这个问题有两个先决问题。第一个先决问题是:先秦诸子讨论的问题是不是哲学问题,先秦诸子有没有逻辑,如果有的话这个逻辑是特殊的还是普遍的?第二个先决问题的关键则在于逻辑一元论。逻辑的一元论看法要求助于现代哲学家的一种基础倾向,金岳霖在自己后来出版的 逻辑 论道 知识论 等著述中,援引皮尔士的“样型凭借区分”学说来说明逻辑与逻辑系统、实质与形式之间的区别,以支持逻辑一元论。如果把两个先决问题中的后者解释成前者的必要条件,那么金岳霖的这些工作以及沈有鼎、张清宇等人对墨家逻辑的研究就可以被解释为对“金岳霖问题”所做的回答。关键词:金岳霖问题;逻辑一元论;逻辑与逻辑系统;样型 凭借区分;“侔”式推论D O I:1 0.1 6 3 4 6/j.c n k i.3 7-1 1 0 1/c.2 0 2 3.0 4.0 6金岳霖先生的 冯友兰 审查报告 素来为学界所重,近年来,当代哲学家们更是从中提取出一个专门的名词“金岳霖问题(J i n Y u e l i n s Q u e s t i o n)”。这个“金岳霖问题”,指的就是金先生在冯友兰先生 中国哲学史 上册的审查报告(以下简称 报告)中提出的“中国哲学”问题:所谓中国哲学史是中国哲学的史呢?还是在中国的哲学史呢?如果一个人写一本英国物理学史,他所写的实在是在英国的物理学史,而不是英国物理学的史;因为严格的说起来,没有英国物理学。哲学没有进步到物理学的地步,所以这个问题比较复杂。写中国哲学史就有根本态度的问题。这根本的态度至少有两个:一个态度是把中国哲学当作中国国学中之一种特别学问,与普遍哲学不必发生异同的程度问题;另一态度是把中国哲学当作发现于中国的哲学。关于这个问题,当代哲学家们进行了很多的讨论、推广或应用。例如:王路先生把这个问题进一步推广到“中国逻辑史”论域;李河先生则把它应用于“民族哲学”问题的研究当中,提出单数形式的“哲学”与复数形式的“哲学”,并展示了“哲学”的单数性含义与复数性含义的差别;赵汀阳先生则提出哲学是反文化的。在金先生自己看来,根据“中国哲学史”问题或者说“中国哲学”的名称问题的两种态度来写中国哲学史,有两个先决问题:第一,“先秦诸子所讨论的问题,或者整个的是,或者整个的不是哲学问题;作者简介:刘新文,中国社会科学院大学哲学院教授(北京 1 0 2 4 8 8)、中国社会科学院哲学研究所研究员(北京 1 0 0 7 3 2)。金岳霖:审查报告二,冯友兰:中国哲学史,上海:商务印书馆,1 9 3 4年,第5页。参考李河:巴别塔的重建与解构,昆明:云南大学出版社,2 0 0 5年,第2 5 3 2 6 9页;陈卫平:“金岳霖问题”与中国哲学史学科独立性的探求,学术月刊2 0 0 5年第1 1期,第1 2页;Y v o n n e S c h u l z Z i n d a,J i n Y u e l i n s O n t o l o g y(L e i d e n:B r i l l,2 0 1 2),1 5;李河:可以在何种意义上谈论“民族哲学”?,开放时代2 0 1 9年第5期,第9 7页;李河:澄清概念是承诺立场的前提,云南师范大学学报(哲学社会科学版)2 0 2 1年第2期,第8 7页;王路:论加字哲学,清华大学学报(哲学社会科学版)2 0 1 6年第1期,第1 5 2页;赵汀阳:中国哲学的身份疑案,哲学研究2 0 2 0年第7期,第4页。或者部分的是,或者部分的不是哲学问题”。第二,“如果先秦诸子有论理,这论理是普通的呢?还是特别的呢?”前者涉及哲学,似乎是关注“金岳霖问题”的当代哲学家们的聚焦之处,而后者涉及逻辑(即论理),则似乎在当代哲学家们的文献中或多或少地被忽略了。这是一个不能忽略的问题,它涉及金先生“哲学必须有一个出发点”这个根本态度,因此也涉及他自己对“金岳霖问题”的一种态度,这种态度就是,把哲学问题归约为逻辑问题,然后从逻辑的角度,也就是从科学的角度来讨论哲学问题。如果我们这个解释成立的话,那么金先生提出的两个条件之间的关系也非并列关系,而是一种条件关系,即前者以后者为基础;而后者涉及的问题,最主要的则是“逻辑一元论(l o g i c a l m o n-i s m)”是否正确的问题。张清宇先生曾经指出过,逻辑一元论是金先生的一个坚定不移的哲学信念。我在发表于 清华大学学报 的文章中采用了这个意见,同时还引用了塔尔斯基(A.T a r s k i)成稿于1 9 6 6年、发表于1 9 8 6年的 什么是逻辑概念?中的说法,认为关于逻辑的一元论看法要求助于现代哲学家的一种基础倾向。随后,以近年来提出的“逻辑基础问题”为主题,我在发表于 文史哲 的文章中论述了金先生的相关工作和思想。本文沿着这一研究方向,将首先解释“金岳霖问题”的两个先决问题之间的关系,然后考察金岳霖先生关于逻辑一元论的理论,以及在方法上所用到的皮尔士(C.S.P e i r c e)的“样型凭借区分(t y p e/t o k e n d i s t i n c t i o n)”学说。最后,我们还将简要叙述沈有鼎先生和张清宇先生关于 墨经 逻辑的相关研究和成就,希望将它们纳入到“金岳霖问题”这个依旧开放的学术研究统绪中。一、“金岳霖问题”的两个“先决问题”金先生的 报告 写于1 9 3 0年,以附录形式发表在冯友兰先生于1 9 3 4年出版的 中国哲学史。他在 报告 中把“金岳霖问题”的提出建立在两个“先决问题”之上。第一个先决问题是:现在的趋势,是把欧洲的哲学问题当作普通的哲学问题。如果先秦诸子所讨论的问题与欧洲哲学问题一致,那么他们所讨论的问题也是哲学问题。以欧洲的哲学问题为普遍的哲学问题,当然有武断的地方,但是这种趋势不容易中止,既然如此,先秦诸子所讨论的问题,或者整个的是,或者整个的不是哲学问题;或者部分的是,或者部分的不是哲学问题,这是写中国哲学史的先决问题。这个问题中,最突出的当然就是“哲学”两个字的解释。在此之前的1 9 2 7年,金先生在论文P r o l e g o m e n a(绪论)中认为,“哲学 和 哲学家 这两个词的使用一直极为含混,哲学与作为思想的思想无关;与科学一样,哲学的兴趣在于那些获得这些思想和使这些思想相互联系的方法”,在他看来,“这些思想相互联系的方法”就是逻辑方法。然后,他进一步明确地提出了哲学与逻辑之间的关系,或者说逻辑之于哲学的意义:哲学主要与论证有关,而不是与这里或那里任意拼凑的一些思想有关。当论证支持一种信念的时候,哲学就开始有话要说。但是论证包括分析和综合,其中前提和结论起着重大作07文史哲2 0 2 3年第4期金岳霖:审查报告二,冯友兰:中国哲学史,第3页。金岳霖:审查报告二,冯友兰:中国哲学史,第4 5页。关于逻辑之于哲学的意义,赵汀阳先生认为:“试图绕过理性和逻辑的思想很难成为理论,深刻的经验可以促成伟大的文学,但不是哲学。”(赵汀阳:中国哲学的身份疑案,哲学研究2 0 2 0年第7期,第7页)张清宇:数理逻辑的开始传入和传播,中国逻辑史(现代卷),兰州:甘肃人民出版社,1 9 8 9年,第2 3页。刘新文:金岳霖论题 一个逻辑的形而上学问题,清华大学学报(哲学社会科学版)2 0 1 6年第1期,第1 7 2页。刘新文:逻辑基础问题 一个金岳霖式的回答,文史哲2 0 2 0年第6期,第4 1 5 0页。金岳霖:审查报告二,冯友兰:中国哲学史,第2页。金岳霖:金岳霖全集 第六卷,北京:人民出版社,2 0 1 3年,第4 4 8 4 4 9页。用,而且如果哲学主要与论证有关,那么逻辑就是哲学的本质。可以说,逻辑是金先生哲学体系的出发点 至少在叙述方式、出版顺序上,由 逻辑 论道 和 知识论 组成的新实在论哲学体系的确是从 逻辑 开始的,因为在他看来,在哲学体系中,“严格的推理能力是必不可少的。哲学家受到批评往往不是因为他们的思想,而是因为他们发展这些思想的方式,许多哲学体系都是由于触到逻辑这块礁石而毁灭的”。我们现在所说的“金岳霖问题”的第一个先决问题是:先秦诸子所讨论的问题是否为哲学问题?在金先生自己看来:这个问题是否是一重要问题,要看写哲学史的人的意见如何。如果他注重思想的实质,这个问题比较的要紧;如果他注重思想的架格,这个问题比较的不甚要紧。若是一个人完全注重思想的架格,则所有的问题都可以是哲学问题;先秦诸子所讨论的问题也都可以是哲学问题。至于他究竟是哲学问题与否?就不得不看思想的架格如何。谈到思想的架格,就谈到论理学。这里的“论理学”即今天的逻辑学,前面所说的哲学家发展他们的思想的方式,指的就是这里所说的“思想的架格”,它是运用逻辑推理而形成的。这样一来,谈论哲学问题就“不得不”转移到了谈论逻辑问题上。如果我们把这里的“A,不得不B”解释成B是A的必要条件,即“如果A,那么B”,我们也可以说,金先生把第一个先决问题归约为了第二个先决问题:所谓“说出一个道理来”者,就是以论理的方式组织对于各问题的答案。问题既如上述有那样多,论理是否与问题一样呢?那就是问:有多少种论理呢?对于这一个问题,当然要看论理两字的解释。如果我们把论理限制到空架子的论理,我们还是有多数论理呢?还是只有一种论理呢?对于这个问题有两个看法:一是从论理本身方面看;一是从事实方面看。从论理本身方面看来,我们只有一种论理。事实方面,我们似乎有很多的论理。各种不同的论理学都各代表一种论理,即在欧美,论理的种类也不在少数。先秦诸子的思想的架格能不能代表一种论理呢?他们的思想既然是思想,当然是一种实架子的论理。我们的问题是把实质除开外,表现于这种思想之中的是否能代表一种空架子的论理。如果有一空架子的论理,我们可以接下去问这种论理是否与欧洲的空架子的论理相似。现在的趋势是把欧洲的论理当作普通的论理。如果先秦诸子有论理,这论理是普通的呢?还是特别的呢?这也是写中国哲学史的一先决问题。在这一大段论述中,金先生认为,先秦诸子所讨论的问题是不是哲学问题,需要归约为先秦诸子的思想中表明出来的是不是逻辑,如果是逻辑,那么这样的逻辑是普遍的还是特殊的,而且他又认为后一个问题取决于逻辑多元论(即“多数论理”)立场还是逻辑一元论(即“一种论理”)立场,他自己则明确持逻辑一元论立场。既然如此,那么,他自己对逻辑一元论所做的辩护,以及他对“先秦诸子的思想的架格能不能代表一种论理”这个问题的一些说明,这两个方面结合起来,也就可以认为是他自己对“金岳霖问题”所做的一种回答。对于第一个方面,即逻辑一元论立场和学说,我们需要考察金先生自己的著述,而对于第二个方面,却需要兼顾金先生及其弟子们的观点和工作。需要指出的是,在刚才这段引文中,有一些词非常关键。金先生区分了逻辑(“论理”)和逻辑学(“论理学”),区分了“论理本身”和“事实方面”的“论理”;我们认为,金先生把事实(事实是接受了的所与)方面的论理即“论理的种类”解释成“逻辑系统”,从而把讨论集中在“逻辑”和“逻辑系统”二者上。于是,逻辑一元论需要对这些用词及其相关的概念做出解释。我们在随后的两节中来回顾金先17金岳霖问题 从逻辑的角度看金岳霖:金岳霖全集 第六卷,第4 5 0页。金岳霖:金岳霖全集 第六卷,第4 5 0页。金岳霖:审查报告二,冯友兰:中国哲学史,第3页。金岳霖:审查报告二,冯友兰:中国哲学史,第3 5页。生的逻辑一元论立场及其在论证中运用的皮尔士学说。二、逻辑一元论逻辑一元论一般是相对于逻辑多元论(l o g i c a l p l u r a l i s m)来说的。多元性和逻辑有不同的组合方式。一般来说,逻辑多元论认为有多个正确的逻辑(l o g i c s),其表述有时候还非常接近于相对主义(r e l a t i v i s m),如“对有效性的说明有不同的同样好的方式;它们是不同的但同样好的逻辑”,而且还有人从讨论中引申出所谓的“逻辑虚无主义(l o g i c a l n i h i l i s m)”,以及关于“真”的多元论。进入2 1世纪以来,逻辑多元论似乎又成为逻辑哲学领域中一个重要的讨论话题,哲学家和逻辑学家们对其各种版本进行了细致深入的分析,并且提出了大量的论证进行支持或反对,在线版 斯坦福哲学大百科 也列有专门的词条。逻辑一元论有很多表述的方式。一种说法认为,只有一个真正的或正确的逻辑(o n e t r u e/c o r-r e c t l o g i c);或者说,由于逻辑研究包含为形式语言给出一个逻辑后承(l o g i c a l c o n s e q u e n c e)理论,必定只有一个真正的逻辑后承关系;也可以说,一个给定的论证是否有效以及有效的原因是什么,这个问题只有一个正确的回答;另外还可以说,只有一类有效推论(v a l i d i n f e r e n c e s)或逻辑命题(l o g i c a l t r u t h s);如此等等。传统上,曾经只有一个逻辑,也就是中世纪以来融合在一起的亚里士多德斯多葛逻辑。2 0世纪二三十年代开始,我们有了许许多多的逻辑,像弗雷格罗素逻辑(经典逻辑)、直觉主义逻辑、模态逻辑,以及后来出现的相干逻辑、弗协调逻辑、量子逻辑等等。通常,这些逻辑的倡导者仍然是逻辑一元论者,因为从某种意义上说,他们认为其他逻辑乃是错误的。不过,多样性的权重在事实上实在是太大了,由此,很多人认为不存在唯一的真正逻辑,在同样合理的情况下,有很多东西都可以被称为是逻辑。但是,这样一些说法还是很含糊的,因为其中涉及的用语“真正的”“正确的”究竟是什么意思,文献中似乎又都语焉不详。在前述引文中,金岳霖先生明确认为,从“论理本身”也即逻辑本身方面看来,只有一种论理、一种逻辑。金先生在 报告 中还提示说,他在 哲学评论 刊物中对此已经有过讨论。我们认为他说的应该是1 9 2 7年发表的P r o l e g o m e n a(绪论);那是金先生第一篇逻辑论文。在那篇论文中,金先生为逻辑给出了一个定义,表明了他的逻辑一元论立场。他认为,自然即意味着“本身如此(i t s e l fs o)”,自然和逻辑是同一种东西,只有思想才能使二者分开,逻辑也“是本身如此的东西。得出的东西是合逻辑的。因此,逻辑是命题或判断或可任意命名的东西的一个序列,这些东西从一个得出另外一个。但它不是任意一个序列,也不是大量可选序列中的一个序列。它是一个序列并且只是这个序列。它是一个必然序列”。与此同时,他提出了自己的逻辑实在论立场,认为“逻辑可能就在某处,就好像某处可能存在着一种以世界或宇宙而被人所知的事态”,而且还明确提出,虽然“实际上有不同的逻辑系统,但是理论上只有一种暗含的逻辑”。这种“暗含的逻辑(i m p l i e d l o g i c)”,即金先生所说的那个序列、那个逻辑(t h e l o g i c),被当代的阐释者们解释成一种“普遍的逻辑(a u n i v e r s a l 27文史哲2 0 2 3年第4期J o h n B u r g e s s,“R e v i e w o f J.C.B e a l l a n d G r e g R e s t a l l,L o g i c a l P l u r a l i s m,”P h i l o s o p h y a n d P h e n o m e n o l o g i c a l R e s e a r c h 8 1.2(2 0 1 0):5 1 9.G i l l i a n R u s s e l l,“L o g i c a l N i h i l i s m:C o u l d T h e r e B e N o L o g i c?,”P h i l o s o p h i c a l I s s u e s 2 8.1(2 0 1 8):3 0 83 2 4;A a r o n J.C o t n o i r,“L o g i c a l N i h i l i s m,”i n P l u r a l i s m s i n T r u t h a n d L o g i c,e d s.J e r e m y W y a t t,e t a l.(B a s i n g s t o k e:P a l g r a v e M a c m i l l a n,2 0 1 8),3 0 1 3 2 9.可参考J.C.B e a l l a n d G r e g R e s t a l l,L o g i c a l P l u r a l i s m,O x f o r d:O x f o r d U n i v e r s i t y P r e s s,2 0 0 6;H a r t y F i e l d,“P l u r a l i s m i n L o g i c,”R e v i e w o f S y m b o l i c L o g i c 2.2(2 0 0 9):3 4 23 5 9;S t e w a r t S h a p i r o,V a r i e t i e s o f L o g i c,O x f o r d:O x f o r d U n i v e r s i t y P r e s s,2 0 1 4;G i l l i a n R u s s e l l,“L o g i c a l P l u r a l i s m,”T h e S t a n f o r d E n c y c l o p e d i a o f P h i l o s o p h y,e d.E.Z a l t a,2 0 2 1.金岳霖:金岳霖全集 第五卷,北京:人民出版社,2 0 1 3年,第5 9 5页。金岳霖:金岳霖全集 第五卷,第6 0 0页。金岳霖:金岳霖全集 第五卷,第5 6 2页。l o g i c)”“形而上学的逻辑(o n e m e t a p h y s i c a l l o g i c)”。此外,他在这里引入了“逻辑系统”这个概念,但没做进一步解释 八年之后即1 9 3 5年出版的 逻辑 将具体地涉及这个任务。关于这个“暗含的逻辑”和逻辑系统,他在1 9 2 7年只是说:(只要一个逻辑学家)提倡他的逻辑系统,他就必须证明它是正确的,但是他只能在逻辑领域证明它是正确的,因为其他领域完全无关。然而,他不能根据自己的逻辑原则证明他自己的逻辑系统是正确的,因为他的问题是也要证明这些逻辑原则是正确的。如果他不能声称他的逻辑证明自身是正确的,他就必须以其他某种逻辑证明他的逻辑是正确的;但是如果他的逻辑证明自身是正确的,那么他就不能证明他提倡它是正确的,因为从逻辑看,在这种情况下他没有理由提倡它。如果、当、并且只要他提倡一个逻辑系统,他就必然假定有某种逻辑,它不完全是他自己的,而且他有理由选择自己的逻辑而不用它。只要两个逻辑系统竞争让我们选择,就暗含一个逻辑系统,根据它,我们做出取舍。在这段引文中我们可以看到,金先生那个“暗含的逻辑”也是一种“逻辑系统”,但是,“如果询问一给定系统的逻辑性,则要求一种暗含的逻辑系统,而这样暗含的系统是无法得到的。唯一的选择是根本不问这个问题最终使我们将逻辑基于我们的信念”。一旦确定“将逻辑基于我们的信念”,而“相信逻辑是很便利的,至少比不相信逻辑更便利”(我们称之为“金岳霖论题”),则现在的主要问题就是,逻辑和逻辑系统二者之间的关系是什么?逻辑的多与一的问题,即逻辑多元论与逻辑一元论的问题的出现正是由于以下原因:现在有不同的逻辑系统。这些系统底不同,似乎不只是皮毛的不同。因此使人想到不同的逻辑。不同的逻辑当然也就是逻辑不一。逻辑是不是因此就多呢?问题当然仍是逻辑是否为一,是否为唯一。逻辑系统底不一是否就表示逻辑不一呢?金先生写下这段话的时候,他坚持认为“现在所谓不同的逻辑系统,似乎并不足以表示逻辑不一。逻辑是一件事,逻辑系统又是一件事”。所以,我们既需要回顾他对逻辑、逻辑学等用语的理解,也需要理解他关于逻辑系统的含义。这不仅涉及他的逻辑一元论立场,而且也有助于启发我们考察这一立场如何与当前逻辑哲学领域中的讨论相关联,这将使得我们的这些回顾不只是停留在一种历史研究之中。毕竟现实的情况是,在经典逻辑之外,不仅当年有直觉主义逻辑、相干逻辑等等各种各样的“逻辑(l o g i c s)”或者说“逻辑系统(l o g i c a l s y s t e m s)”涌现出来,而且直到现在,“新的系统得以建立以满足应用的需要,旧的概念得以替换和改造,新的概念日益凸显。学界则意见歧出。对于这些新思想,许多人已经表达了他们各自坚定的态度,要么支持要么反对。论文则根据观念背景以及技术内容而被拒绝或得以接受发表。在这样的环境之下,似乎有必要廓清基础逻辑和计算的基本概念,尤其是逻辑系统这一概念”。目前,把经典逻辑、直觉主义逻辑等各种各样的“逻辑”称为“逻辑系统”也绝非一家之言。既然逻辑学家们依旧需要面对这样的事实,而且依旧在思考如何通过“什么是逻辑系统”来定义“什么是逻辑”,这样一来,金先生关于逻辑和逻辑系统之间关系的学说也就37金岳霖问题 从逻辑的角度看Y v o n n e S c h u l z Z i n d a,J i n Y u e l i n s O n t o l o g y,1 6.金岳霖:金岳霖全集 第六卷,第4 5 2页。金岳霖:金岳霖全集 第六卷,第4 5 3页。刘新文:金岳霖论题 一个逻辑的形而上学问题,清华大学学报(哲学社会科学版)2 0 1 6年第1期,第1 6 5 1 7 2页。金岳霖:知识论,北京:商务印书馆,1 9 8 3年,第4 1 0页。金岳霖:知识论,第4 1 0页。D o v G a b b a y,e d.,W h a t i s a L o g i c a l S y s t e m?(O x f o r d:O x f o r d U n i v e r s i t y P r e s s,1 9 9 4),1.格拜(D o v G a b b a y)在2 0 1 4年发表的9 0页长篇综述 什么是一个逻辑系统?的最后说:“我们的重点为 什么是逻辑系统。实际上,我们不妨说,我们在这篇论文中的主题实际上是一个更具野心的主题:什么是逻辑?”参考D o v G a b b a y,“Wh a t i s a L o g i c a l S y s t e m?A n E v o l u t i o n a r y V i e w:1 9 6 4 2 0 1 4,”i n H a n d b o o k o f t h e H i s t o r y o f L o g i c,v o l.9,e d s.D.G a b b a y,e t a l(Am s t e r d a m:N o r t hH o l l a n d,2 0 1 4),1 2 8.继续焕发出了生命力。三、皮尔士的“样型 凭借区分”金岳霖先生在 逻辑 论道 知识论 等著述中,采纳了皮尔士的“样型凭借区分”学说。皮尔士的用语“t y p e”和“t o k e n”分别被译为“样型”和“凭借”,是金先生在成书于1 9 4 8年正式出版于1 9 8 3年的 知识论 中拟定的,而在1 9 3 4年的论文 不相融的逻辑系统 中,“t y p e”和“t o k e n”被分别译为“义”和“词”,在1 9 3 5年出版的 逻辑 中,这两个词并没有翻译而是直接援用英文,论道 则没有提及这些用词而只是运用了这一学说的思想。我们采用 知识论 中的译名“样型”和“凭借”。皮尔士的“样型凭借区分”是皮尔士指号学说的重要组成部分,第一次公开发表在1 9 0 6年的论文 实效主义的辩护绪论 之中,发表这篇论文的当期刊物 一元论者(T h e M o n i s t)以一种特殊的私人形式传到剑桥大学之后,这篇文献深刻地影响了拉姆齐(F.P.R a m s e y),且可能由此影响到维特根斯坦(L.W i t t g e n s t e i n)、摩尔(G.E.M o o r e)和金岳霖,但这是另外一个故事。在这里,我们只讲这个区分在金先生逻辑一元论思想中的运用。皮尔士在论文 实效主义的辩护绪论 中认为:在我看来,需要进行特别研究的十种指号划分中只有一种划分涉及到指号本身的性质,接下来进行说明。在手稿或者印刷书籍中,估算篇幅的常见方式是计算字的数量。通常,一个页面上大约有二十个t h e,它们当然被算作是二十个字。但是,就“字”这个字的另外一种意义而言,英语中只有一个“t h e”字;这个字不可能明显地躺在书页上,也不可能在任何声音中听到,因为它不是单个东西或者单个事体。它并不存在;它只确定确实存在的东西。这样一个具有确定意义的形式(F o r m),我建议称之为样型(T y p e)。对于发生一次、其同一性被限制到这一次发生的单个事体,或者对于在任意一个时刻在某个地方的单个对象或东西来说,这样的事体或东西只是由于它何时何地发生而具有意义,比如某本书的某一页的某一行上的这个或那个字,我冒昧地称之为凭借(T o k e n)。意义并不确定的特征,如语音的语调,既不能称为样型也不能称为凭借。我建议称这样的指号为语气(T o n e)。样型为了得以使用,就必须体现在一个凭借之中,而这个凭借作为这个样型的一个指号,因此也是这个样型所表示的对象的指号。我建议把一个样型的凭借称为这个样型的实例(I n s t a n c e)。在这段引文中,我们注意到以下六个方面的内容和金先生关于逻辑与逻辑系统之间关系的讨论有密切关系:第一,样型凭借区分“涉及到指号本身的性质”;第二,样型并不存在;第三,样型是一种(非常重要的)“形式”;第四,凭借是样型的具体化,样型通过具体化在凭借中才能得以使用,后者也正是因此成为样型所表示的对象的指号;第五,一个样型的凭借是这个样型的实例;第六,样型不是其凭借所组成的集合(或类),因此凭借也就不是样型的元素。皮尔士的样型凭借区分是一个有用的形而上学学说,这个学说现在还活跃在形而上学、逻辑学等诸多领域之中。根据目前看到的文献,样型通常被解释成“抽象的和唯一的”。大约从1 9 3 4年开始,金先生在自己的论著中持续援引皮尔士的这个学说,用于自己所持的逻辑一元论的论证,主要讨论了:(一)逻辑与逻辑系统的区分;(二)实质与形式的区分。47文史哲2 0 2 3年第4期X i n w e n L i u,“J i n Y u e l i n s E n c o u n t e r w i t h P e i r c e s D i s t i n c t i o n o f T y p e/T o k e n,”第二十四届世界哲学大会会议文集,北京,2 0 1 8年8月1 3 2 0日。C h a r l e s S.P e i r c e,“P r o l e g o m e n a t o a n A p o l o g y f o r P r a g m a t i c i s m,”T h e M o n i s t 1 6.4(1 9 0 6):5 0 5 5 0 6.例如:范因瓦根:形而上学,宫睿译,北京:北京大学出版社,2 0 0 7年,第2 5 82 6 2页;J o s e p h Y.H a l p e r n,A c t u a l C a u-s a l i t y,M a s s a c h u s e t t s:M I T P r e s s,2 0 1 6;L i n d a W e t z e l,“T y p e s a n d T o k e n s,”T h e S t a n f o r d E n c y c l o p e d i a o f P h i l o s o p h y,e d.E.Z a l t a,2 0 1 8。L i n d a W e t z e l,T y p e s a n d T o k e n s:O n A b s t r a c t O b j e c t s(M a s s a c h u s e t t s:M I T P r e s s,2 0 0 9),1 2 6.从金岳霖先生的知识论观点来看,“逻辑是逻辑学的对象,逻辑学是研究此对象而有所得的内容”,因为任何一门学问都有对象和内容的分别,只是有的学问在对象和内容之间做出了清楚的区分,有的学问则没有清楚地做出区分。现在的关键是如何看待作为对象的逻辑,对此,金先生从本体论角度做了说明,把作为对象的逻辑等同于式(f o r m),“式 可以说是逻辑本身”,那么,“式”又是什么呢?他认为:有式,而式是析取地无所不包的可能。“式”既是析取地无所不包的可能,则“式”外无可能;“式”外无可能,所以“式”外无“式”。“式”外无“式”,所以不能有两“式”。这是一句很重要的话。所谓“一理”的理大概就是这里的“式”,所谓“唯一逻辑”的逻辑大概也就是这里的“式”。我们表示“式”的方法可以不一,而“式”无二。一种表示“式”的方法仅是一可能,这一可能也许是事实上的唯一可能,但即令是事实上的唯一可能,而它本身仍不是“式”。逻辑与逻辑系统是两件事。逻辑无二,而逻辑系统不一;前者是说“式”无二,后者是说表示式的方法不一。这两段话从本体论角度明确地表达出金先生关于逻辑的实在论立场和一元论立场,也就是说,有逻辑,而且仅有一个逻辑。注意,这里说的是“有”,论道 中“在此处把存在二字限制到具体的个体的东西底存在。既然如此,式 与 能 当然是无所谓存在”;样型也不存在。此外,这段话还明确表示,逻辑系统只是逻辑的表示,“我们对于逻辑意念,也许因研究逻辑系统而慢慢地清楚明白起来,但逻辑意念不是由逻辑系统中得到的。假如一个人根本没有逻辑意念,他虽熟读逻辑系统,他仍然得不了逻辑意念”;根据前面的引文,样型不是其凭借所组成的集合(或类),因此凭借也就不是样型的元素,同样,逻辑也不是逻辑系统所组成的集合(或类),逻辑系统也就不是逻辑的元素。那么,什么是逻辑系统?在1 9 3 4年发表的论文 不相融的逻辑系统 和1 9 3 5年出版的 逻辑中,金先生认为,逻辑系统是演绎系统,在最低限度上,演绎系统的各个部分相互关联,系统范围之内有特殊的起点,其他思想都是这个起点产生出来的,此外,每一个演绎系统都必须有一个系统型(S y s t e m f o r m)潜存于系统,使得那个系统只是那个系统型的特殊解释。在 逻辑 中关于“逻辑系统的界说”部分,金先生认为,逻辑系统的独特之处在于“系统所要保留的 东西”。在 不相融的逻辑系统 中,他表示:逻辑是逻辑系统所要表示的实质,逻辑系统是表示逻辑的工具。对于逻辑系统,逻辑可以说是“t y p e”或者暂名之为“义”;对于逻辑,逻辑系统可以说是“t o k e n”,或者暂名之曰“词”。这两个名称或容易起误会。所谓“t y p e”有似“美金一元”,所谓“t o k e n”有似美国的银元,或美金一元的钞票。逻辑与逻辑系统的关系有似前者与后者的关系。从“义”方面着想,积极地说,逻辑就是“必然”;但是没有以上所说的“词”或“t o k e n”,我们不能或不容易表示逻辑。那就是说,不容易或不能表示“必然”。表示“必然”就要“词”,换句话说,就要系统。表示“必然”之系统为逻辑系统。从这段话中我们可以看到,为了能够或者容易地表示逻辑,也即表示“必然”,就需要“词”,需要“凭借”。逻辑系统之所以为逻辑系统,在于它所要保留者乃是必然的情形。“必然”二字所形容的情57金岳霖问题 从逻辑的角度看金岳霖:金岳霖全集 第一卷,北京:人民出版社,2 0 1 3年,第5 0 9页。金岳霖:知识论,第4 0 8页。金岳霖:论道,北京:商务印书馆,1 9 8 7年,第2 2页。金岳霖:论道,第3 3 3 4页。金岳霖:论道,第3 0页。金岳霖:知识论,第5 7 4页。参见金岳霖:金岳霖全集 第一卷,第4 8 7页;金岳霖:逻辑,北京:生活读书新知三联书店,1 9 6 1年,第2 2 4 2 2 6页。金岳霖:逻辑,第2 3 2页。金岳霖:金岳霖全集 第一卷,第4 8 8页。形是这样的情形,“如果一个演绎系统是一个分可能为n 类的系统,则在那一系统范围之内,列举n 可能中各可能而分别承认之,是那一系统所无法逃避的情形”。这也就是说,“必然”是逻辑系统的特点,但是,“必然”有形式问题和实质问题,“形式”二字指的是表示必然的工具的形式:(这里)所说的形式是表现的形式,此处的实质是形式所表现的实质。形式与实质两字,或者容易发生误会。我们可以利用C.P e i r c e的字眼,说上面的形式是“T o k e n”,此处的实质是“T y p e”。不仅逻辑和每一个逻辑系统之间有着样型凭借那样的区分,而且每一个逻辑系统也都可以从样型和凭借这两个方面来看待。对于一个具体的逻辑系统来说,它所表示的当然是样型,这里的样型是“必然”,而表示这一样型的则是凭借,凭借是表示“必然”的工具。所以,两个不同的逻辑系统之间的“不同”,指的是因为它们的凭借不同,不是样型的不同,是它们的工具不同,不是它们的对象不同。“样型凭借区分”这个学说的引用“可以间接地使我们领会到此处形式与实质的分别,我们也就不必十分注意到流弊”。至此,我们应该比较清楚地说明了,金先生在论证逻辑一元论的时候,主要在两个方面引用了皮尔士的学说。这种引用可能并不是一种苦心孤诣,而是在于“有一些不可表达的东西,通过理智的精巧却可以成功地呈现在人的思考之中。令人难以置信的是,逻辑作为研究的对象是与我们所研究的内容有区别的,它既不能被完整地也不能从本质上得到表达”。现在,我们介绍逻辑多元论的一些观念并做一些评论,只是这些介绍和评论都极其粗疏,未免有误。第一,根据目前一些文献的说法,我们依然处在一个“不相融逻辑的年代(t h e a g e o f a l t e r n a t i v e l o g i c s)”用“不相融”来译“a l t e r n a t i v e”也来自金先生,他在2 0世纪3 0年代对路易斯(C.I.L e w i s)的相关工作做了批评性论证。如果把这里不相融的、复数的逻辑(l o g i c s)解释为刚才说过的逻辑系统,把“不相融”看作是一种“不同”,那么,我们是不是仍然可以如金先生所坚持的那样,“事实上虽有不同的逻辑系统,理论上没有不同的逻辑”?第二,如果一个逻辑指的是一个形式系统(f o r-m a l s y s t e m),即任意的序对?L,?,其中L是一个形式语言、是L的陈述集与单个陈述之间的一个后承关系,那么,存在多于一个逻辑这样的说法是不足道的,因为存在着无穷多个这样的形式系统。第三,逻辑后承作为逻辑系统、形式系统的核心概念,在2 1世纪关于逻辑多元论的讨论中似乎一直处于焦点位置,例如,“既然关于逻辑后承有这么多不同的解释,我们该怎么说呢?在这些解释中,有些解释是正确的、有些解释是错误的吗?是否存在一个真正的逻辑(o n e t r u e l o g i c),当面对一个论证的时候,对于 这是有效的吗?这个问题,它给出了唯一正确的答案吗?还是说,根本就没有这样的逻辑,而是更应该说,对于逻辑后承关系应该取一种多元论立场?”如果把逻辑后承看做是逻辑系统中的一种推行工具,正如金先生在 逻辑 中对“所以”或推论(i n f e r e n c e)所持的态度,那么我们是不是在这种意义上也可以避免“逻辑”多元论的说法?67文史哲2 0 2 3年第4期金岳霖:逻辑,第2 3 2页。金岳霖:逻辑,第2 3 5页。金岳霖:逻辑,第2 3 5