在牟宗三的学思历程中，一直注重逻辑学、知识论和分析哲学的方法，在其60 余年的学术生涯中，也非常重视逻辑思辨与逻辑分析。但长期以来，学界多是从“阐明儒释道三教义理;疏导文化生命途径;抉发中国哲学问题;融摄康德三大批判;会通中西哲学道路”1五个层面来理解其哲学思想，研究者甚至包括牟门弟子2一般也是从学思历程、历史文化、中国传统哲学、中西哲学会通四个方面介绍和论析牟氏的哲学思想鲜有学者从逻辑学或逻辑哲学的维度，对牟氏的学思进路作一详尽精当的梳解和评析。应当说，欲理解与阐发牟氏在中国哲学、历史哲学、比较哲学、伦理学、宗教学等领域的深刻义理，对其逻辑哲学进行研究是必要的。基于此，我愿作一粗浅的尝试，以就教于方家。

　　牟宗三(1909–1995)，山东栖霞人，1927 年春考入国立北京大学，预科两年后升入哲学系本科班。此时牟宗三的授课老师主要有张申府、金岳霖、张东荪三位先生，此三人是牟宗三的逻辑学、哲学启蒙老师。(三位先生对他的学术影响很大，牟氏在回忆自己的大学时光时曾说：“那四年中，给我帮助与影响最大的，在校内是张申府与金岳霖先生，在校外是张东荪先生。”由于受三位先生的影响，牟氏的主要学术兴趣在数理逻辑、分析哲学与新实在论，平时研习的也主要是罗素(BertrandRussell，1872–1970)、怀特海(Alfred North Whitehead，1861–1947)、维特根斯坦(Ludwig Wittgenstein，1889–1951)，并由此“上提”到康德等人的哲学、逻辑学，而牟氏本人对中国哲学的主要意趣也仅限于《周易》。4 直到1932 年遇到业师熊十力先生，才激发出牟氏对中国传统哲学的真正兴趣，但既便如此，逻辑分析和知识论也仍是牟宗三最初的学术家底。1934 年，牟宗三自北京大学毕业后，曾先后执教于华西大学、中央大学、金陵大学、浙江大学等高校，主授逻辑学与西方哲学。

　　1949 年，他只身渡海至台湾，任教于台湾师大和东海大学，讲授逻辑学、中国哲学及人文课程。在台湾地区逻辑学的输入酝酿阶段5，在台湾大学里讲授逻辑课程最知名的三位教授是陈大齐、牟宗三和殷海光。 1960 年以后，牟宗三的主要学4牟宗三在其1935 年写就的第一部哲学著作《周易的自然哲学与道德涵义》(原文是“函义”)一书中，将卦和爻按照数理之“序”构成牟氏谓之“记号逻辑”或“数理逻辑”。牟氏对《周易》的解读提供了一个公理化、形式化的研究进路可能，他的解读方式为中国哲学、中国传统逻辑思想的现代诠释作了有益的尝试。近年来易学逻辑研究领域，沿接此进路的有周山([45])和吴克峰([37])等人，但返观牟氏八十年前的研究似有首开先河之意义。不过，限于本文讨论的主题为牟氏之逻辑哲学思想，其易学研究之价值，另文再论，此不赘言。5戴宁淑将台湾逻辑学的发展大致分为三个阶段：1949 年–1969 年，输入酝酿阶段;1970 年–1979 年，启动阶段;1980 年–2009 年，发展阶段。([10]，第133–136 页)我们认为，这种划分基本是恰当的，且直至目前仍为发展阶段。当然，也有学者对台湾逻辑学的发展阶段的历史分期问题持不同的观点，如张斌峰、董志铁、吴泽强以及台湾学者王文方、陈世昌等人，此问题需专文评述。此不展开。

　　在牟宗三的老师熊十力看来，中国传统哲学和思想史上没有严格意义形式 化、符号化的逻辑学，也缺乏近现代意义上的知识论(或认识论)，据此原因， 中国文化也就没能产生近现代意义上的数学和科学来。熊师深以为憾，毕生 决力由其来补正中国在认识论上的缺憾，并坚持经由其所著《新唯识论》作为 “境论”来开出“量论”。7其时，牟氏给熊师写信：“老师的学问传不下来，您要靠我去传您。”遗憾的是，熊先生由于精力不济，终生也未开出“量论”。牟宗三作为熊师的衣钵传人，熊师也希望由牟来承接他的遗愿。牟宗三果不负所望，以西方现代逻辑和知识建构为基础，相继撰写出《逻辑典范》(1941)、《认识心之批判》(1949 年)、8《理则学》(1955 年)、《现象与物自身》(1975 年)、《名家与荀子》(1979 年)9 五部大著。这五部作品，可以看作是牟宗三逻辑学和认识论思想的核心。

　　除此以外，牟宗三译注了维特根斯坦的《名理论》(后来学者一般译作《逻辑哲学论》)。还先后撰写了数十篇逻辑学论文，10 影响较大的主要有：《矛盾与类型说》《逻辑与辩证逻辑》《略评金著逻辑》《论涵蕴》《觉知底因果说与知识底可能说》《逻辑实征论述评》《传统逻辑与康德的范畴》《论纯理》《AEIO的四角关系》《关于逻辑的几个问题》和《评述杜威的逻辑》等。

　　一般而言，“逻辑是什么”这一问题至少包括以下四个方面：一是逻辑学研究的对象是什么;二是逻辑与非逻辑的划分标准是什么，逻辑学内部根据什么标准来分类;三是逻辑是一元，多元的，还是工具主义的;四是逻辑与哲学、数学、心理学、语言学等学科的关系。

　　关于“逻辑是什么”，牟宗三在论著中有不少论及。这些观点散见于他的著作和文章中，虽无集中论述，但却涵盖了上述问题的四个方面。可以说，牟氏是我国现代学者中少有的较早深入系统地讨论“逻辑是什么”这一逻辑哲学根本问题的人之一，11这在中国现代哲学史和逻辑史上都有着重要的意义。下面我们从四个方面分别讨论他关于“逻辑是什么”这一逻辑哲学基本问题的回答牟宗三对逻辑学研究对象的观点和看法，主要集中体现在《逻辑典范》和《理则学》两部著作中。在《逻辑典范》中，他认为逻辑的研究对象，是“标准逻辑”，即经典二值逻辑。他认为，“逻辑的对象是理性发展之理则，而无所逃之必是其必然性，二价系统最能肖似纯理自己之发展，故二价系统是标准系统，足以代表逻辑自己”， “人类理性发展的理则只能是一而不能是二。这便是惟一的逻辑对象。表而出之，便是标准逻辑。”牟宗三对逻辑学研究对象的观点和看法，主要集中体现在《逻辑典范》和《理则学》两部著作中。在《逻辑典范》中，他认为逻辑的研究对象，是“标准逻辑”，即经典二值逻辑。他认为，“逻辑的对象是理性发展之理则，而无所逃之必是其必然性，二价系统最能肖似纯理自己之发展，故二价系统是标准系统，足以代表逻辑自己”， “人类理性发展的理则只能是一而不能是二。这便是惟一的逻辑对象。表而出之，便是标准逻辑。”不难看出，牟氏对逻辑的研究对象的观点至少包括以下三点：其一，逻辑的研究对象是理性的规则，并且这种理性的规则是逻辑研究的唯一对象;其二，逻辑的研究对象是一不是二更不是多，这个一即是“标准逻辑”，根据学界对“逻辑是一还是多”这一问题的不同看法来判断，牟氏是严格的逻辑一元论者;其三，逻辑学的“理则”是命题间的必然关系。从逻辑研究推理这一处于主流地位的观点来看，牟氏关于逻辑的研究对象的论点，也是有一定合理性的。上世纪四、五十年代，许多学者对于逻辑、逻辑学、逻辑系统三者是含混使用，甚至在很多场合是同一个意思的。但牟宗三将三者予以疏分厘清。

　　在逻辑和逻辑学的关系上，牟氏认为，逻辑在本质上是推理，而逻辑学讲的则是研究推理本身之结构的学问。“逻辑全是普遍的，形式的，意义不定的命题函数间的必然的推演关系”，“逻辑学可定为研究‘推理自己之结构’之学”，第“它不要牵涉着具体事物或真实世界而讲”，这里讲的“结构”即是“推理的形式”。可以看出，牟氏认为逻辑不等同于逻辑学，逻辑是推理，而逻辑学是研究推理自已。应当说，牟氏当时已经认识到逻辑学是研究推理的形式有效性的。这个观点在今天来看，亦不过时。在逻辑与逻辑系统的关系上，牟氏认为，“成文系统12之多既不碍逻辑是一，而在形式上又实可层层融组而为一，则即表示成文系统之多实不是随意的多，其成也不是随意约定的成”， “我们在本部里已经介绍了三个系统，这三个系统都是纵贯的推演系统，而且都是形式化了的系统，所以我们也可以叫它们是些‘成文系统’。这些系统都是代表‘逻辑’”。，

　　可见，牟氏认为逻辑系统与逻辑不同，他所言的“代表”逻辑，即是认为“逻辑系统”是逻辑的表现形式，形式化的逻辑系统不过是推理的“外化”或显示的结果。这样，牟宗三就把逻辑与逻辑系统分开来表述。

　　区别开了逻辑和逻辑学，又区分了逻辑与逻辑系统，为何他在逻辑理论层次上不顺理成章地走向“逻辑多元论”，而且坚守其逻辑一元的主张呢?我认为，牟宗三坚定其逻辑一元论信条，除了其对逻辑纯粹理性的本质的不同理解这一原因外，更为重要的则是服务于其构建的哲学系统。这一潜在原因，在牟氏后期构建自己的“道德的形而上学”“两层存有论”“智的直觉”“三统并建”的哲学体系中得以体现。在牟氏看来，逻辑与逻辑系统是“体”与“用”的关系;逻辑系统可以是多，但逻辑必须是一。如此，牟宗三的逻辑与形上学才得以统一。

　　从上述考察可以看出，牟宗三讨论了逻辑与逻辑学、逻辑系统之间的不同。逻辑是推理自己，逻辑学是对推理本身(即推理的形式构造)的研究，而每一个逻辑系统仅部分地(而非完备地)展示逻辑。不可否认，即便在今天看来，他对于逻辑、逻辑学、逻辑系统三者之间关系的细致区分，是有重要的理论意义的。

　　牟宗三认为，逻辑系统共有“四大系统”：一是传统逻辑，二是逻辑代数(代值学)，三是罗素的真值系统，四是路易士的严格蕴涵系统。而这“四大系统”可分为“三个阶段”：“亚里士多德用符号把逻辑表示成一个系统，这是第一个阶段。到莱布尼兹的逻辑代数又表示成一个系统，由此一转便成罗素的系统，故此两者可合在一起。若把莱布尼兹的逻辑代数当做一个过渡，而把其与罗素放在一起，而以罗素为代表，就是真值涵蕴系统，这是第二阶段。到路易斯再提出严格涵蕴系统，这是第三阶段。纯粹逻辑发展到此第三阶段算是完成了。”

　　在牟宗三看来，由于亚氏的传统逻辑不能达到充分的形式化，莱布尼茨首先把亚氏的传统逻辑中的“A、E、I、O”四种命题用初步的数学化、形式化的方法表示出来，这种表现形式就很有价值。并且，牟氏认识到，传统的逻辑的三段论有些是有效的，有些是无效的，有些很细微的问题在老的讲法里没有接触到，或是没有充分地接触到。这是因为，亚氏的传统逻辑不能达到充分形式化的程度。到莱布尼兹以代数的方式表示，就可以实现初步的形式化。由逻辑代数进一步的转型就是罗素的数学原理中的真值蕴涵系统。但是，罗素的真值蕴涵系统也不是完美的，因有些逻辑真理它不能表示出来，所以路易士才提出了严格蕴涵系统。