比較視角的國(guó)內(nèi)邏輯實(shí)驗(yàn)室發(fā)展策略研究

史天彪

(中國(guó)社會(huì)科學(xué)院 哲學(xué)研究所，北京　100732)

21世紀(jì)的今天，專業(yè)實(shí)驗(yàn)室已經(jīng)成為全球范圍內(nèi)理、工、農(nóng)、醫(yī)等科研機(jī)構(gòu)的重要?jiǎng)?chuàng)新部門。此外，文、史、哲、政、經(jīng)、法等文科院校也逐漸認(rèn)識(shí)到實(shí)驗(yàn)室對(duì)持續(xù)創(chuàng)新和學(xué)科發(fā)展的意義，并紛紛設(shè)立與各自學(xué)科相適應(yīng)的實(shí)驗(yàn)室。面對(duì)專業(yè)實(shí)驗(yàn)室普及化的世界趨勢(shì)，作為我國(guó)哲學(xué)社會(huì)科學(xué)重要分支的邏輯學(xué)自然不能“甘為人后”。再考慮到“邏輯學(xué)是一門具有工具性、基礎(chǔ)性和人文性的學(xué)問，它與科學(xué)、教育、社會(huì)治理等都有密切的關(guān)系”[1]。這些跡象共同表明，建設(shè)具有中國(guó)科研特色的邏輯實(shí)驗(yàn)室是一項(xiàng)蘊(yùn)含重大“戰(zhàn)略意義”的工作。若想做好這一工作，首先需對(duì)世界范圍內(nèi)高水平邏輯實(shí)驗(yàn)室的總體建制情況進(jìn)行深入解析，旨在對(duì)照地挖掘我國(guó)現(xiàn)階段邏輯實(shí)驗(yàn)室建設(shè)的關(guān)鍵性不足，從而有的放矢地制定相關(guān)“發(fā)展策略”和“規(guī)劃藍(lán)圖”，目標(biāo)是為開辟一條屬于我們自己的邏輯實(shí)驗(yàn)室建設(shè)之路提供智力支撐。

一、國(guó)外邏輯實(shí)驗(yàn)室建設(shè)情況總覽

截止目前，以西方為主導(dǎo)的國(guó)外邏輯實(shí)驗(yàn)室建設(shè)仍然是學(xué)界的標(biāo)桿。為了達(dá)到“由彼知己”“以彼鑒己”并最終“借彼強(qiáng)己”的目的，有必要對(duì)國(guó)外邏輯實(shí)驗(yàn)室的總體情況和基本建制作一般性分析。我們?yōu)檫@種分析構(gòu)建了全新的方法，即“數(shù)據(jù)統(tǒng)計(jì)與層次搭建法”。運(yùn)用這種方法可以更加精確地實(shí)現(xiàn)上述目標(biāo)。

據(jù)目前的最新統(tǒng)計(jì)，全球范圍內(nèi)共有17個(gè)頂尖的邏輯實(shí)驗(yàn)室。它們分別為：斯坦福大學(xué)的“人工智能實(shí)驗(yàn)室”、愛荷華州立科技大學(xué)的“瞬時(shí)邏輯實(shí)驗(yàn)室”、康奈爾大學(xué)的“計(jì)算機(jī)系統(tǒng)實(shí)驗(yàn)室”、麻省理工學(xué)院的“計(jì)算機(jī)科學(xué)與人工智能實(shí)驗(yàn)室”、西蒙弗雷澤大學(xué)的“邏輯與實(shí)驗(yàn)哲學(xué)實(shí)驗(yàn)室”、劍橋大學(xué)的“計(jì)算機(jī)實(shí)驗(yàn)室”、東克雷泰伊大學(xué)的“算法、復(fù)雜性與邏輯實(shí)驗(yàn)室”、認(rèn)知科學(xué)與技術(shù)研究院的“應(yīng)用本體論實(shí)驗(yàn)室”、斯捷克洛夫數(shù)學(xué)研究所的“數(shù)學(xué)邏輯實(shí)驗(yàn)室”、由馬德里理工大學(xué)和馬德里高級(jí)軟件開發(fā)研究所聯(lián)合創(chuàng)辦的“計(jì)算邏輯、語言、實(shí)現(xiàn)與并行研究實(shí)驗(yàn)室”、匈牙利布達(dá)佩斯的一個(gè)服務(wù)于企業(yè)的“應(yīng)用邏輯實(shí)驗(yàn)室”、奧斯特拉瓦技術(shù)大學(xué)的“智能系統(tǒng)研究實(shí)驗(yàn)室”、日內(nèi)瓦大學(xué)的“人工智能實(shí)驗(yàn)室”、日本北陸先端科學(xué)技術(shù)大學(xué)院的“石原實(shí)驗(yàn)室”、斯泰倫布什大學(xué)的“計(jì)算機(jī)科學(xué)部”、阿根廷布宜諾斯艾利斯大學(xué)的“軟件工程基礎(chǔ)與工具實(shí)驗(yàn)室”及澳大利亞國(guó)立大學(xué)計(jì)算機(jī)科學(xué)學(xué)院的“理論研究小組”。

可以看到，上述這些實(shí)驗(yàn)室的地理位置分布是極為廣闊的。據(jù)統(tǒng)計(jì)，它們來自全球范圍內(nèi)的六個(gè)大洲，即：歐洲、亞洲、非洲、北美洲、南美洲及大洋洲。換句話說，除了自然條件惡劣、不適宜人類開展科研活動(dòng)的南極洲以外，地球上的其它各大洲的實(shí)驗(yàn)室都囊括在我們的研究范圍之內(nèi)。并且，這17個(gè)實(shí)驗(yàn)室分屬于上述六個(gè)大洲中的14個(gè)國(guó)家，這些國(guó)家分別是：美國(guó)、加拿大、英國(guó)、法國(guó)、意大利、俄羅斯、西班牙、匈牙利、捷克、瑞士、日本、南非、阿根廷及澳大利亞。從洲際的層面來看，17個(gè)實(shí)驗(yàn)室中出自北美洲的最多，共有5個(gè)，比例約為29%；來自地球其它大洲的實(shí)驗(yàn)室各有1個(gè)。而若從國(guó)際的角度來說，17個(gè)實(shí)驗(yàn)室中來自美國(guó)的最多，共4個(gè)，比例約為24%；來自世界其它國(guó)家的實(shí)驗(yàn)室各占1個(gè)。

以上研究?jī)?nèi)容反映的是“數(shù)據(jù)統(tǒng)計(jì)與層次搭建法”的前一層意涵，即：數(shù)據(jù)統(tǒng)計(jì)。接下來將要體現(xiàn)的是該方法的后一層意涵，即：層次搭建。從而對(duì)全球范圍內(nèi)的邏輯實(shí)驗(yàn)室的建制情況進(jìn)行深度剖析。

首先，依據(jù)國(guó)家屬性或國(guó)別特征對(duì)全球邏輯實(shí)驗(yàn)室的建設(shè)情況進(jìn)行層次搭建。第一，按照實(shí)驗(yàn)室所屬國(guó)家的政治意識(shí)形態(tài)分，包括東方國(guó)家和西方國(guó)家。東方國(guó)家的代表為俄羅斯，西方國(guó)家的代表為美國(guó)。第二，按照實(shí)驗(yàn)室所屬國(guó)家的經(jīng)濟(jì)發(fā)展水平分，涵蓋發(fā)達(dá)國(guó)家和發(fā)展中國(guó)家。發(fā)達(dá)國(guó)家的代表為加拿大，發(fā)展中國(guó)家的代表是南非。第三，按照實(shí)驗(yàn)室所屬國(guó)家的宗教信仰種性分，包括基督教的新教、天主教、東正教以及佛教國(guó)家。新教國(guó)家的代表為英國(guó)，天主教國(guó)家的代表是意大利，東正教國(guó)家的代表俄羅斯，佛教國(guó)家的代表是日本。第四，按照實(shí)驗(yàn)室所屬國(guó)家的科研傳統(tǒng)類型分，包括海洋型傳統(tǒng)和大陸型傳統(tǒng)。具有海洋型科研傳統(tǒng)的國(guó)家有英國(guó)、美國(guó)、加拿大和澳大利亞，具有大陸型科研傳統(tǒng)的國(guó)家為法國(guó)、意大利、西班牙和瑞士。

其次，依據(jù)主要功能或科研訴求對(duì)全球邏輯實(shí)驗(yàn)室的建設(shè)情況進(jìn)行層次搭建。第一，國(guó)家或地方研究院系統(tǒng)的邏輯實(shí)驗(yàn)室。此類實(shí)驗(yàn)室以基礎(chǔ)理論研究為主、應(yīng)用理論研究為輔，同時(shí)兼顧人才的培養(yǎng)。如俄羅斯科學(xué)院斯捷克洛夫數(shù)學(xué)研究所的“數(shù)學(xué)邏輯實(shí)驗(yàn)室”。第二，高等教育院校系統(tǒng)的邏輯實(shí)驗(yàn)室。這種實(shí)驗(yàn)室以人才培養(yǎng)為主、基礎(chǔ)理論研究為輔，同時(shí)兼顧應(yīng)用理論的研究。如美國(guó)康奈爾大學(xué)的“計(jì)算機(jī)系統(tǒng)實(shí)驗(yàn)室”。第三，生產(chǎn)企業(yè)或商業(yè)公司的邏輯實(shí)驗(yàn)室。這些實(shí)驗(yàn)室以商業(yè)用途的技術(shù)開發(fā)為主、基礎(chǔ)和應(yīng)用理論研究為輔，一般不涉及人才的培養(yǎng)。如匈牙利布達(dá)佩斯的“應(yīng)用邏輯實(shí)驗(yàn)室”。第四，除了科研、教育和企業(yè)以外，還有結(jié)合上述三種模式于一身的“產(chǎn)學(xué)研一體化”的實(shí)驗(yàn)室。它們將理論研究、人才培養(yǎng)和商業(yè)產(chǎn)能有機(jī)地整合在了一起。如美國(guó)斯坦福大學(xué)的“人工智能實(shí)驗(yàn)室”。

最后，依據(jù)學(xué)科領(lǐng)域或研究?jī)?nèi)容對(duì)全球邏輯實(shí)驗(yàn)室的建設(shè)情況進(jìn)行層次搭建。第一，致力于硬件研制的邏輯實(shí)驗(yàn)室。如美國(guó)愛荷華州立科技大學(xué)的“瞬時(shí)邏輯實(shí)驗(yàn)室”，以及英國(guó)劍橋大學(xué)的“計(jì)算機(jī)實(shí)驗(yàn)室”。第二，致力于軟件開發(fā)的邏輯實(shí)驗(yàn)室。如阿根廷布宜諾斯艾利斯大學(xué)的“軟件工程基礎(chǔ)與工具實(shí)驗(yàn)室”，以及由馬德里理工大學(xué)和馬德里高級(jí)軟件開發(fā)研究所聯(lián)合創(chuàng)辦的“計(jì)算邏輯、語言、實(shí)現(xiàn)與并行研究實(shí)驗(yàn)室”。第三，致力于純邏輯研究的相關(guān)實(shí)驗(yàn)室。如俄羅斯斯捷克洛夫數(shù)學(xué)研究所的“數(shù)學(xué)邏輯實(shí)驗(yàn)室”，以及日本北陸先端科學(xué)技術(shù)大學(xué)院的“石原實(shí)驗(yàn)室”。第四，致力于將社會(huì)科學(xué)(如哲學(xué)和語言學(xué))與自然科學(xué)(如計(jì)算機(jī)科學(xué))結(jié)合起來研究的邏輯實(shí)驗(yàn)室。如意大利認(rèn)知科學(xué)與技術(shù)研究院的“應(yīng)用本體論實(shí)驗(yàn)室”，以及加拿大西蒙弗雷澤大學(xué)的“邏輯與實(shí)驗(yàn)哲學(xué)實(shí)驗(yàn)室”。

二、國(guó)內(nèi)外邏輯實(shí)驗(yàn)室發(fā)展現(xiàn)狀比較

前述運(yùn)用“數(shù)據(jù)統(tǒng)計(jì)與層次搭建”的新方法分析了全球邏輯實(shí)驗(yàn)室的建制情況，且得出了一系列相關(guān)結(jié)論或素材。通過對(duì)這些結(jié)論或素材給予進(jìn)一步思考和歸納，便能得出全球邏輯實(shí)驗(yàn)室建設(shè)情況的“新特征”和“新趨勢(shì)”。將它們與國(guó)內(nèi)邏輯實(shí)驗(yàn)室的發(fā)展情況進(jìn)行比較研究，進(jìn)而發(fā)現(xiàn)我國(guó)在相關(guān)工作中存在的不足，旨在為制定國(guó)內(nèi)邏輯實(shí)驗(yàn)室的發(fā)展策略提供一個(gè)客觀且詳實(shí)的參考系。

首先，學(xué)術(shù)氛圍寬松具有包容性質(zhì)(Tolerance)。國(guó)外邏輯實(shí)驗(yàn)室的治學(xué)氛圍是較為寬松和包容的，基本不受學(xué)術(shù)以外因素的影響。如前述的17個(gè)邏輯實(shí)驗(yàn)室，它們均來自不同的國(guó)家和地區(qū)，并在政治體制、經(jīng)濟(jì)水平、文化類型以及宗教信仰等方面有著很大差異。然而，這些來自不同社會(huì)背景和人文環(huán)境的實(shí)驗(yàn)室卻始終在良性的軌道上發(fā)展，甚至彼此之間還建立了緊密的合作。事實(shí)上，這些都得益于國(guó)外邏輯實(shí)驗(yàn)室對(duì)學(xué)術(shù)自由的追求以及對(duì)科研本質(zhì)的認(rèn)識(shí)。由于受傳統(tǒng)落后的治學(xué)觀念以及僵固保守的政治立場(chǎng)的影響，國(guó)內(nèi)在此前很長(zhǎng)一段時(shí)期都缺乏輕松自由的科研環(huán)境。這種氛圍不可避免地對(duì)邏輯實(shí)驗(yàn)室的建設(shè)產(chǎn)生了較為負(fù)面的影響。但隨著改革開放進(jìn)程的加快，國(guó)內(nèi)的學(xué)術(shù)科研活動(dòng)逐漸與政治因素或意識(shí)形態(tài)脫鉤，由此使邏輯實(shí)驗(yàn)室的建設(shè)得以擺脫不相干因素的束縛，從而更好地為廣大人民群眾以及黨和國(guó)家服務(wù)。

其次，建制模式各異具有多樣性質(zhì)(Diversity)。國(guó)外邏輯實(shí)驗(yàn)室的建設(shè)模式呈現(xiàn)出多樣性的特征。這些模式包含但不限于：以基礎(chǔ)理論研究為根本任務(wù)的科研院所的邏輯實(shí)驗(yàn)室；以培育專才為基本職責(zé)的高等院校的邏輯實(shí)驗(yàn)室；以技術(shù)開發(fā)和提高產(chǎn)能為核心訴求的公司企業(yè)的邏輯實(shí)驗(yàn)室。此外，還有兼容上述三種模式于一身的“產(chǎn)學(xué)研”一體化的實(shí)驗(yàn)室。由此可見，國(guó)外邏輯實(shí)驗(yàn)室的運(yùn)作模式可謂豐富多樣，這有利于形成一個(gè)關(guān)于實(shí)驗(yàn)室發(fā)展與建設(shè)的“生態(tài)系統(tǒng)”。國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建制情況則有所不同。勿論能否融入國(guó)外的相關(guān)“生態(tài)系統(tǒng)”，而單就“數(shù)量”這個(gè)最基本的指標(biāo)來看，國(guó)內(nèi)邏輯實(shí)驗(yàn)室就尚未達(dá)標(biāo)。如果在數(shù)量上屈指可數(shù)，那么在建設(shè)思路或發(fā)展模式上也必然不會(huì)過于豐富。目前來看，國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建設(shè)只限于少數(shù)幾所高校，而高校的實(shí)驗(yàn)室又不可避免地要以培育教學(xué)為主。因此，國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建設(shè)空間是非常巨大的，尤其是對(duì)應(yīng)于科研院所的研究型實(shí)驗(yàn)室亟待大力發(fā)展。

再次，研究深度突出具有創(chuàng)新性質(zhì)(Innovation)。國(guó)外的邏輯實(shí)驗(yàn)室不僅在學(xué)科交叉方面頗具廣度，而且在理論滲透方面也不乏深度，普遍具備創(chuàng)新性特質(zhì)。正如前述的17個(gè)西方主流邏輯實(shí)驗(yàn)室，它們跨學(xué)科的幅度之大是難以想象的，包括但不限于計(jì)算機(jī)科學(xué)、人工智能、心理科學(xué)、認(rèn)知科學(xué)、腦神經(jīng)科學(xué)等。此外，國(guó)外邏輯實(shí)驗(yàn)室在科研過程中的理論滲透能力也不可小覷。目前，它們已經(jīng)將觸角伸向了如下這些尖端且專業(yè)的理論研究領(lǐng)域，包括但不限于微電子電路、仿生模擬以及航空航天等。國(guó)內(nèi)的邏輯實(shí)驗(yàn)室在研究創(chuàng)新方面則略顯不足。出現(xiàn)這種局面主要是由于國(guó)內(nèi)的邏輯實(shí)驗(yàn)室數(shù)量本就不多，且基本都集中在高等院校當(dāng)中，因此它們普遍奉行這樣一種模式，即以實(shí)驗(yàn)的基本形式來教授邏輯的一般知識(shí)。這就意味著實(shí)驗(yàn)室不必具體地對(duì)某個(gè)課題方向進(jìn)行過于深入和專業(yè)的鉆研，從而也就談不上不同領(lǐng)域之間的交叉與融合了。正因如此，創(chuàng)新性研究對(duì)于國(guó)內(nèi)的多數(shù)邏輯實(shí)驗(yàn)室來說似乎并非必要。

最后，合作范圍廣泛具有應(yīng)用性質(zhì)(Applicability)。由于國(guó)外邏輯實(shí)驗(yàn)室的基本數(shù)量龐大、建設(shè)理念先進(jìn)且國(guó)際化程度較高，因此它們?cè)谌蚍秶鷥?nèi)展開“實(shí)驗(yàn)室與政府之間”以及“實(shí)驗(yàn)室與企業(yè)之間”的密切合作。尤其是后一種合作在為實(shí)驗(yàn)室?guī)斫?jīng)濟(jì)價(jià)值的同時(shí)更加凸顯了它的應(yīng)用性質(zhì)。如前述的愛荷華州立科技大學(xué)的“瞬時(shí)邏輯實(shí)驗(yàn)室”，它與美國(guó)國(guó)家宇航局的合作甚為緊密并有共同的科研項(xiàng)目。再如斯坦福大學(xué)的“人工智能實(shí)驗(yàn)室”，它與諸如松下和三星這樣的國(guó)際知名企業(yè)都有深入的合作。由于在基本數(shù)量、建設(shè)理念以及國(guó)際化程度等方面與國(guó)外存在較大差距，因此國(guó)內(nèi)邏輯實(shí)驗(yàn)室在建設(shè)與發(fā)展的過程中缺乏合作與應(yīng)用的意識(shí)。事實(shí)上，國(guó)內(nèi)的科技企業(yè)于近些年來發(fā)展迅猛，它們迫切希望與具有科技創(chuàng)新能力的邏輯實(shí)驗(yàn)室合作，用以提高自身的商業(yè)競(jìng)爭(zhēng)力。但迫于國(guó)內(nèi)缺乏高水平的研究型邏輯實(shí)驗(yàn)室，因此它們不得不把目光投向國(guó)外的相關(guān)機(jī)構(gòu)，如騰訊、百度和滴滴打車已經(jīng)與斯坦福人工智能實(shí)驗(yàn)室展開了合作。由此可見，盡快提升“數(shù)量”和“質(zhì)量”并強(qiáng)化“合作”與“應(yīng)用”乃是我國(guó)邏輯實(shí)驗(yàn)室建設(shè)的當(dāng)務(wù)之急。

三、國(guó)內(nèi)邏輯實(shí)驗(yàn)室的具體發(fā)展策略

通過將全球邏輯實(shí)驗(yàn)室建設(shè)情況的“新特征”“新趨勢(shì)”與國(guó)內(nèi)的相應(yīng)情況進(jìn)行比較，指出了存在于國(guó)內(nèi)邏輯實(shí)驗(yàn)室建設(shè)中的一些固有問題，并提出了解決這些問題的暫時(shí)性方法。接下來我們將把上述那些相對(duì)具體且表層的方法用更為宏觀和深刻的眼光加以審視，進(jìn)而從“戰(zhàn)略”的層面進(jìn)一步提出用于改善國(guó)內(nèi)邏輯實(shí)驗(yàn)室建設(shè)的長(zhǎng)遠(yuǎn)策略。

關(guān)于國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建設(shè)工作可從以下四個(gè)戰(zhàn)略層面來部署。具體而論，每個(gè)戰(zhàn)略層面對(duì)應(yīng)一項(xiàng)“四字方針”，而每項(xiàng)方針又蘊(yùn)含著“三重原則”。

第一，思想指導(dǎo)層面。此一層面的職能是針對(duì)國(guó)內(nèi)邏輯實(shí)驗(yàn)室建設(shè)的若干問題制定貫徹始終的指導(dǎo)性思想，旨在指引國(guó)內(nèi)邏輯實(shí)驗(yàn)室的未來發(fā)展方向。與該層對(duì)應(yīng)的四字方針為“核心定位”。它的涵義即一切關(guān)于實(shí)驗(yàn)室的建設(shè)工作都要緊密圍繞指導(dǎo)思想來展開，并樹立其不易動(dòng)搖的核心地位，而構(gòu)成指導(dǎo)思想的三重原則是既“競(jìng)爭(zhēng)”又“合作”須“共贏”。

“競(jìng)爭(zhēng)”是現(xiàn)代社會(huì)絕大部分機(jī)構(gòu)得以存續(xù)和發(fā)展的主旋律，其中就包含邏輯實(shí)驗(yàn)室這個(gè)領(lǐng)域。表面看來，國(guó)外邏輯實(shí)驗(yàn)室的建設(shè)顯得井井有條且發(fā)展迅猛，但這種表征的背后卻隱藏著難以想象的來自本地、本國(guó)和本洲的同一領(lǐng)域甚至不同領(lǐng)域的競(jìng)爭(zhēng)。然而，競(jìng)爭(zhēng)卻為它們帶來了繁榮與進(jìn)步。換句話說，國(guó)內(nèi)的邏輯實(shí)驗(yàn)室若想全面發(fā)展，就必須融入并參與到國(guó)外邏輯實(shí)驗(yàn)室的這種競(jìng)爭(zhēng)環(huán)境中去。

“合作”非但不是“競(jìng)爭(zhēng)”的對(duì)立面，而且是通過充分競(jìng)爭(zhēng)之后才得以達(dá)到的高級(jí)階段。一言蔽之，合作是既內(nèi)在于又區(qū)別于競(jìng)爭(zhēng)的另一種表現(xiàn)形式。與國(guó)外的相關(guān)情況比較來看，國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建設(shè)還處于初級(jí)階段?；诖?，國(guó)內(nèi)的邏輯實(shí)驗(yàn)室就必須學(xué)會(huì)在競(jìng)爭(zhēng)中合作，而合作的目的是為了獲取國(guó)外的豐富經(jīng)驗(yàn)、最新技術(shù)以及先進(jìn)理念。

“共贏”符合競(jìng)爭(zhēng)與合作各方的共同利益，同時(shí)也是眾多實(shí)驗(yàn)室之所以要在競(jìng)爭(zhēng)中砥礪前行、在合作中相互促進(jìn)的終極訴求。具體來說，關(guān)于邏輯實(shí)驗(yàn)室建設(shè)的“共贏”概念具有兩方面含義：一方面，實(shí)驗(yàn)室之間可以采取“強(qiáng)弱互補(bǔ)”的模式，即通過將各自的強(qiáng)弱學(xué)科對(duì)調(diào)支援的方式實(shí)現(xiàn)共贏；另一方面，也可以采用“強(qiáng)強(qiáng)聯(lián)合”的模式，即通過將共同的優(yōu)勢(shì)學(xué)科疊加聯(lián)合的方式達(dá)到共贏。

第二，學(xué)科發(fā)展層面。國(guó)外的邏輯實(shí)驗(yàn)室正在不斷地做強(qiáng)、做大，而國(guó)內(nèi)的相關(guān)工作卻由于前述種種原因而呈現(xiàn)緩慢和保守的態(tài)勢(shì)。由此而論，有必要將該領(lǐng)域上升至學(xué)科發(fā)展的高度并給予充分重視。為了體現(xiàn)這種重視，我們?yōu)槠渲贫怂淖址结?，即“全面統(tǒng)籌”。其內(nèi)涵是將國(guó)內(nèi)邏輯實(shí)驗(yàn)室方方面面的建設(shè)工作視為一個(gè)具有內(nèi)在邏輯關(guān)聯(lián)的體系，進(jìn)而對(duì)該體系的建設(shè)施以統(tǒng)一調(diào)配和整體協(xié)作的策略，而實(shí)施全面統(tǒng)籌戰(zhàn)略方針的三重原則是既“傳承”又“突破”還“均衡”。

“傳承”是國(guó)內(nèi)邏輯實(shí)驗(yàn)室建設(shè)的基本前提，更是保持自身獨(dú)有特色和優(yōu)良傳統(tǒng)的一般方法。無論是“競(jìng)爭(zhēng)”“合作”或“共贏”，都依賴于自身的那些無可替代的特點(diǎn)和價(jià)值，包括傳統(tǒng)優(yōu)勢(shì)學(xué)科、特色管理模式以及近年來迅速激增的專業(yè)人才。充分傳承并發(fā)揚(yáng)這些優(yōu)勢(shì)，才有望在競(jìng)爭(zhēng)中占得先機(jī)、在合作中掌握主動(dòng)并在共贏中獲得更具針對(duì)性的價(jià)值。

“突破”的本性是不保守。通過傳承國(guó)內(nèi)邏輯實(shí)驗(yàn)室的優(yōu)勢(shì)和特色，并輔以國(guó)外的先進(jìn)經(jīng)驗(yàn)和理念，旨在長(zhǎng)遠(yuǎn)規(guī)劃與國(guó)內(nèi)實(shí)驗(yàn)室未來發(fā)展相關(guān)的一系列事務(wù)。邏輯實(shí)驗(yàn)室的建設(shè)關(guān)乎中國(guó)邏輯學(xué)的未來發(fā)展形態(tài)，也是邏輯學(xué)科研模式改革與創(chuàng)新的重要突破口。具體方法是破除我國(guó)邏輯實(shí)驗(yàn)室建設(shè)中的痼疾，并將其納入我國(guó)整體邏輯學(xué)科的發(fā)展大局中加以考慮。

“均衡”是相對(duì)于前述的“傳承”與“突破”來說的。后兩者是一對(duì)相輔相成的概念，二者之間既有對(duì)立又有聯(lián)系，將這種辯證關(guān)系稱為均衡。均衡類似于孔子的“中庸”和亞里士多德的“mediocritas”。借助先哲的智慧來審視國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建設(shè)，即：一方面，傳承我國(guó)在這一領(lǐng)域的特色優(yōu)勢(shì)；另一方面，也要不斷突破用以創(chuàng)新。最后，要在“傳承”中克服“保守”、在“突破”中避免“冒進(jìn)”，從而努力達(dá)到一種均衡。

第三，理論創(chuàng)新層面。理論創(chuàng)新是促進(jìn)知識(shí)增長(zhǎng)、學(xué)科進(jìn)化和科學(xué)發(fā)展的重要手段。所有與學(xué)術(shù)研究和科研探索相關(guān)的領(lǐng)域都必須嚴(yán)肅地思考如何進(jìn)行理論創(chuàng)新。這對(duì)于國(guó)外的邏輯實(shí)驗(yàn)室是如此，而對(duì)于長(zhǎng)期落后且誓在趕超國(guó)外先進(jìn)水平的國(guó)內(nèi)實(shí)驗(yàn)室就更當(dāng)如此。為此制定了“整體推進(jìn)”的四字方針，從戰(zhàn)略性的高度對(duì)創(chuàng)新的主要方面和具體措施進(jìn)行分析，旨在整體推進(jìn)國(guó)內(nèi)邏輯實(shí)驗(yàn)室的建設(shè)工作，而實(shí)施整體推進(jìn)戰(zhàn)略方針的三原則是既“融合”又“跨越”且“應(yīng)時(shí)”。

“融合”是指理論方面的相互融合與嫁接，它是發(fā)生在邏輯學(xué)科內(nèi)部的各支派研究領(lǐng)域之間的一種創(chuàng)新模式。這些支派領(lǐng)域的共同特征乃是以邏輯的基本概念為理論內(nèi)核，并以邏輯的符號(hào)系統(tǒng)為分析工具。較為典型的如計(jì)算機(jī)科學(xué)、人工智能以及近期異?；馃岬拇髷?shù)據(jù)分析等領(lǐng)域。這些邏輯學(xué)科內(nèi)部的分支領(lǐng)域都是國(guó)內(nèi)實(shí)驗(yàn)室進(jìn)行理論創(chuàng)新的適當(dāng)切入點(diǎn)。

“跨越”是指學(xué)科之間的彼此啟發(fā)與借鑒，它是發(fā)生在邏輯學(xué)與其它較為不同的學(xué)科之間的一種創(chuàng)新模式。這種不同表現(xiàn)在學(xué)科性質(zhì)、研究對(duì)象和治學(xué)方法等方面，如腦科學(xué)、教育學(xué)、倫理學(xué)甚至音樂學(xué)等。這些學(xué)科看似與邏輯學(xué)如此殊異，但一旦找到它們之間的某種隱蔽的契合點(diǎn)并加以捏合或移植，那么創(chuàng)新便就此產(chǎn)生了。此類跨越式研究能夠有效推動(dòng)國(guó)內(nèi)邏輯實(shí)驗(yàn)室的理論創(chuàng)新。

“應(yīng)時(shí)”是對(duì)國(guó)內(nèi)邏輯實(shí)驗(yàn)室理論創(chuàng)新的總體要求。具體來說，理論創(chuàng)新需與時(shí)俱進(jìn)。無論是邏輯學(xué)內(nèi)部的“理論融合式”創(chuàng)新，抑或邏輯學(xué)外部的“學(xué)科跨越式”創(chuàng)新，這些關(guān)于創(chuàng)新的策略都要遵循與時(shí)俱進(jìn)、繼往開來的原則。此外，國(guó)內(nèi)邏輯實(shí)驗(yàn)室還要在研究?jī)?nèi)容層面緊跟當(dāng)下熱點(diǎn)，在研究理念層面融入先進(jìn)思想體系，從而盡早適應(yīng)世界層面的理論創(chuàng)新氛圍。

第四，成果應(yīng)用層面。新世紀(jì)的最初幾年，國(guó)內(nèi)學(xué)者提出“當(dāng)代邏輯科學(xué)‘應(yīng)用轉(zhuǎn)向’的觀點(diǎn)……”[2]經(jīng)過若干年的觀察與研究，邏輯學(xué)的應(yīng)用轉(zhuǎn)向趨勢(shì)確實(shí)已經(jīng)悄然興起。作為這種趨勢(shì)的積極后果，“應(yīng)用邏輯學(xué)”于近些年來發(fā)展迅猛，它“作為現(xiàn)代邏輯的一支，隨著邏輯學(xué)科的整體向好發(fā)展并伴隨其理論研究的不斷深入也取得了長(zhǎng)足進(jìn)展”[3]。該學(xué)科對(duì)“邏輯應(yīng)用”做了大量工作。邏輯應(yīng)用不僅包含邏輯理論的應(yīng)用，而且也包括理論應(yīng)用之后所取得的具體成果的應(yīng)用。成果的應(yīng)用是理論創(chuàng)新在現(xiàn)實(shí)世界中的“目標(biāo)兌現(xiàn)”和“價(jià)值延伸”。尤其是邏輯實(shí)驗(yàn)室這種訴諸實(shí)踐操控并與社會(huì)現(xiàn)實(shí)聯(lián)系緊密的機(jī)構(gòu)，僅有理論上的創(chuàng)新還不夠，更重要的乃是將新理論、新觀念轉(zhuǎn)化為現(xiàn)實(shí)成果并服務(wù)于社會(huì)生活。針對(duì)此方面提出的四字方針是“多點(diǎn)開花”，喻指國(guó)內(nèi)的邏輯實(shí)驗(yàn)室應(yīng)該盡量使其成果應(yīng)用的領(lǐng)域多樣化，進(jìn)而充分發(fā)揮它們的現(xiàn)實(shí)效益，而實(shí)施多點(diǎn)開花戰(zhàn)略方針的三重原則是既“科研”又“教學(xué)”也“商業(yè)”。

“科研”是邏輯實(shí)驗(yàn)室得以將創(chuàng)新性理論轉(zhuǎn)化為現(xiàn)實(shí)性成果的根本驅(qū)動(dòng)力。因此，邏輯實(shí)驗(yàn)室的“研究活動(dòng)”本身可以也理應(yīng)成為其“成果應(yīng)用”的受益者。事實(shí)上，這里存在一個(gè)“良性循環(huán)回路”。該回路模式的可能實(shí)例是前面提出的“邏輯科研軟件”的構(gòu)想。具體來說，邏輯實(shí)驗(yàn)室的理論創(chuàng)新通過成果轉(zhuǎn)化進(jìn)而產(chǎn)生了邏輯科研軟件，而由于后者具有輔助科研的基本功能，因此它能進(jìn)一步應(yīng)用于實(shí)驗(yàn)室的理論創(chuàng)新。由此形成了“理論創(chuàng)新——成果轉(zhuǎn)化與應(yīng)用——再次理論創(chuàng)新”的循環(huán)回路。受該模式的啟發(fā)，國(guó)內(nèi)邏輯實(shí)驗(yàn)室可以將科研活動(dòng)視作自身成果的應(yīng)用領(lǐng)域之一。

“教學(xué)”意指與學(xué)術(shù)研究很接近的教育教學(xué)。由于邏輯實(shí)驗(yàn)室在很大意義上屬于學(xué)術(shù)研究機(jī)構(gòu)，因此在它與教育教學(xué)之間必然存在共性或交集。由此而論，邏輯實(shí)驗(yàn)室產(chǎn)出的成果也很容易應(yīng)用到教育教學(xué)領(lǐng)域。正如目前所廣泛應(yīng)用的“邏輯教學(xué)軟件”，其源自邏輯實(shí)驗(yàn)室或與之合作的軟件開發(fā)公司，而其應(yīng)用的舞臺(tái)則是與邏輯相關(guān)的教育領(lǐng)域。由此，國(guó)內(nèi)的邏輯實(shí)驗(yàn)室可以繼續(xù)開闊思路，將自身的研究成果進(jìn)一步應(yīng)用到其它類型的教育領(lǐng)域中去。如目前國(guó)內(nèi)進(jìn)行得如火如荼的各類“高級(jí)人才評(píng)價(jià)選拔”考試。此類考試將越發(fā)注重對(duì)受試者的“語言能力”“推理能力”和“計(jì)算能力”的評(píng)測(cè)[4]。邏輯實(shí)驗(yàn)室可以充分發(fā)揮自身的技術(shù)優(yōu)勢(shì)，從而開發(fā)出針對(duì)上述“一般邏輯思維能力”的專業(yè)教學(xué)軟件。

“商業(yè)”是現(xiàn)代社會(huì)得以繁榮和發(fā)展的基礎(chǔ)。而且，現(xiàn)代社會(huì)中的邏輯實(shí)驗(yàn)室并非與世隔絕的象牙塔，因此也需要充分考慮其成果應(yīng)用的經(jīng)濟(jì)取向和商業(yè)價(jià)值。將研究成果應(yīng)用于商業(yè)領(lǐng)域?qū)壿媽?shí)驗(yàn)室的建設(shè)有如下益處：其一，能夠獲得更多的經(jīng)濟(jì)利益，從而反哺實(shí)驗(yàn)室的科研活動(dòng)；其二，能夠?yàn)楝F(xiàn)實(shí)生活提供便利，從而彰顯實(shí)驗(yàn)室的社會(huì)價(jià)值；其三，能夠與不同類型的企業(yè)合作，從而豐富實(shí)驗(yàn)室的發(fā)展模式。

四、結(jié)語

回望歷史，“‘文革’結(jié)束以后，特別是1978年改革開放以來，我國(guó)邏輯學(xué)研究步入大發(fā)展時(shí)期”[5]。以此為契機(jī)，學(xué)界逐漸認(rèn)識(shí)到“邏輯學(xué)是人文社會(huì)科學(xué)和自然科學(xué)共同的基礎(chǔ)學(xué)科”[6]，而21世紀(jì)的邏輯學(xué)發(fā)展又越來越依賴于邏輯實(shí)驗(yàn)室?guī)淼膭?chuàng)新性動(dòng)力。由此而論，邏輯實(shí)驗(yàn)室建設(shè)的“好與壞”甚至“快與慢”能夠潛移默化地影響一個(gè)國(guó)家人文發(fā)展水平的高低和科技進(jìn)步程度的大小。鑒于此，國(guó)內(nèi)的相關(guān)科研機(jī)構(gòu)應(yīng)該在“中國(guó)共產(chǎn)黨第十九次全國(guó)代表大會(huì)”勝利召開的感召之下，充分重視邏輯實(shí)驗(yàn)室的發(fā)展與建設(shè)問題，即周密制定相應(yīng)的“發(fā)展策略”和“建設(shè)規(guī)劃”，并迅速將這些策略和規(guī)劃推進(jìn)到具體的實(shí)施階段，旨在大幅加快我國(guó)邏輯實(shí)驗(yàn)室的發(fā)展進(jìn)程。