史天彪

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

邏輯實(shí)驗(yàn)室作為重要的科研探究手段已于近幾十年來被西方邏輯學(xué)界所廣泛應(yīng)用。由此造成的結(jié)果是，國內(nèi)的邏輯學(xué)研究水平與本就處于領(lǐng)先地位的西方邏輯學(xué)研究更進(jìn)一步地拉開了距離。若考慮到邏輯實(shí)驗(yàn)室對(duì)邏輯學(xué)研究的巨大推動(dòng)作用，同時(shí)為盡快縮小與西方學(xué)界的水平差距，那么“建設(shè)具有中國科研特色的邏輯實(shí)驗(yàn)室就是一項(xiàng)蘊(yùn)含重大‘戰(zhàn)略意義’的工作”［1］。若想從戰(zhàn)略性高度來研究我國邏輯實(shí)驗(yàn)室的建設(shè)思路，首先就要對(duì)具有代表性的國際高水平研究機(jī)構(gòu)及其相關(guān)實(shí)驗(yàn)室進(jìn)行針對(duì)性考察。本文擬對(duì)俄羅斯科學(xué)院及其相關(guān)部門之歷史沿革、機(jī)構(gòu)建制、運(yùn)作模式與研究成果等重要方面加以分析，旨在參照性地借鑒并梳理我國邏輯實(shí)驗(yàn)室的建設(shè)思路和一般策略，從而抓住該領(lǐng)域之未來發(fā)展的戰(zhàn)略性機(jī)遇。此外，對(duì)科學(xué)實(shí)驗(yàn)以及一般實(shí)驗(yàn)室的形成和發(fā)展史做了回溯，旨在為國內(nèi)邏輯實(shí)驗(yàn)室之建設(shè)思路研究提供必要的歷史基礎(chǔ)和可能的知識(shí)背景。

一、實(shí)驗(yàn)室以及科學(xué)實(shí)驗(yàn)的發(fā)展簡史

毋庸置疑，實(shí)驗(yàn)室的核心任務(wù)就是進(jìn)行科學(xué)實(shí)驗(yàn)。科學(xué)實(shí)驗(yàn)是一種極為古老的人類專屬的復(fù)雜智力活動(dòng)，“自從地球上出現(xiàn)了人類，也就開始了科學(xué)實(shí)驗(yàn)的歷史”［2］。這種活動(dòng)早在古代的希臘、埃及、印度以及中國就已經(jīng)非常普遍。非嚴(yán)格地說，可以將古代從事科學(xué)實(shí)驗(yàn)的場地視為實(shí)驗(yàn)室的雛形，而將那時(shí)從事科學(xué)實(shí)驗(yàn)的器具看作實(shí)驗(yàn)室的設(shè)備。

英國著名學(xué)者羅杰·培根（Roger Bacon）曾表述過這樣的觀點(diǎn)，其大意是，那些倚仗權(quán)威和傳統(tǒng)來表達(dá)意見的人并非真正的學(xué)者，他們除了用抽象的爭論來遮掩無知以外什么都不做，而真正的學(xué)者應(yīng)該憑借實(shí)驗(yàn)來探究醫(yī)學(xué)、自然科學(xué)以及煉金術(shù)等學(xué)問。由此可見，培根在13世紀(jì)就已經(jīng)把實(shí)驗(yàn)擺在了科學(xué)研究之工具的高度。

培根的友人皮埃爾·德·馬里庫特（Pierre De Maricourt）同樣是科學(xué)實(shí)驗(yàn)的擁護(hù)者和實(shí)踐者。馬里庫特對(duì)當(dāng)時(shí)的磁學(xué)有深入研究，其最擅長的是著名的“磁球?qū)嶒?yàn)”。后來的英國人吉爾伯特通過對(duì)該實(shí)驗(yàn)進(jìn)行改良之后得出了“地球即磁石”的結(jié)論。事實(shí)上，當(dāng)時(shí)的科學(xué)實(shí)驗(yàn)已經(jīng)得出了一些與那時(shí)的科學(xué)發(fā)展水平相稱的研究成果。但由于宗教勢力的阻撓甚至迫害，有望進(jìn)一步發(fā)展的科學(xué)實(shí)驗(yàn)之風(fēng)氣被無情地壓制了。

眾所周知，伽利略開啟了真正意義上的科學(xué)實(shí)驗(yàn)的先河。在他的理念中，實(shí)驗(yàn)?zāi)耸强茖W(xué)研究的必要手段。伽利略在許多領(lǐng)域都做了彼時(shí)較為前沿的實(shí)驗(yàn)，如單擺實(shí)驗(yàn)、碰撞實(shí)驗(yàn)以及光速測定等。此外，他還是第一個(gè)自制望遠(yuǎn)鏡用于觀測行星的人，并在這方面取得了大量研究成果。伽利略最為人知的是“自由落體實(shí)驗(yàn)”和“斜面實(shí)驗(yàn)”，這兩個(gè)實(shí)驗(yàn)對(duì)物理學(xué)的貢獻(xiàn)是很大的。

早期的科學(xué)實(shí)驗(yàn)及其實(shí)驗(yàn)室基本上是由個(gè)人創(chuàng)辦并由個(gè)人來使用或管理的。而隨著科學(xué)的不斷發(fā)展以及對(duì)實(shí)驗(yàn)室認(rèn)識(shí)的不斷加深，實(shí)驗(yàn)本身以及實(shí)驗(yàn)室的模式開始由私人組織轉(zhuǎn)變?yōu)閳F(tuán)體組織。較具代表性的有建立于1657年的意大利齊曼托學(xué)社和創(chuàng)建于1672年的德國實(shí)驗(yàn)研究學(xué)會(huì)。法國于1666年成立的巴黎科學(xué)院最為著名，為17世紀(jì)的實(shí)驗(yàn)科學(xué)研究做出了巨大貢獻(xiàn)。

19世紀(jì)初葉，隨著科學(xué)的不斷前進(jìn)以及科研水平的進(jìn)一步提高，現(xiàn)代實(shí)驗(yàn)室的樣態(tài)已具雛形。它們的最初用途是用于大學(xué)中的專業(yè)教學(xué)。1807年，“托馬斯·托馬森（Thomas Thomason）在蘇格蘭的愛丁堡大學(xué)創(chuàng)立了英國第一個(gè)用于教學(xué)的化學(xué)實(shí)驗(yàn)室。當(dāng)托馬森于1819年前往格拉斯哥大學(xué)工作的時(shí)候，他又在那里創(chuàng)建了同樣的實(shí)驗(yàn)室”［3］。此后，威廉·托馬森（William Thomason）又于格拉斯哥大學(xué)創(chuàng)建了第一個(gè)物理教學(xué)實(shí)驗(yàn)室。與此同時(shí)，后來享譽(yù)世界的“卡文迪什實(shí)驗(yàn)室”也在劍橋大學(xué)落成。在這個(gè)時(shí)期，以歐洲為主的著名大學(xué)紛紛成立了自己的科學(xué)實(shí)驗(yàn)室。這些著名實(shí)驗(yàn)室的共同特點(diǎn)是，無論是學(xué)科帶頭人還是普通科研人員，基本都是當(dāng)時(shí)的優(yōu)秀學(xué)者。在距今將近200年的時(shí)間里，許多奠定學(xué)科基礎(chǔ)的重要研究成果都出自這些實(shí)驗(yàn)室。

從當(dāng)代來看，實(shí)驗(yàn)室已經(jīng)成為理、工、農(nóng)、醫(yī)、師等專業(yè)院校的重要科研創(chuàng)新部門。此外，文、史、哲、政、經(jīng)、法等文科院校也逐漸意識(shí)到實(shí)驗(yàn)室對(duì)研究創(chuàng)新和學(xué)科發(fā)展的重要性，開始利用實(shí)驗(yàn)室的現(xiàn)代科學(xué)技術(shù)來拓寬自身的科研道路。

上文對(duì)以西方為主導(dǎo)的實(shí)驗(yàn)室的發(fā)展歷程進(jìn)行了簡要回顧。通過回溯歷史可知，從13世紀(jì)文藝復(fù)興運(yùn)動(dòng)的悄然興起，直到18乃至19世紀(jì)思想啟蒙運(yùn)動(dòng)的全面鋪開，這個(gè)階段出現(xiàn)了現(xiàn)代實(shí)驗(yàn)室的雛形。具體來說，文藝復(fù)興運(yùn)動(dòng)涌現(xiàn)的“自由開放精神”加之思想啟蒙運(yùn)動(dòng)孕育的“科學(xué)理性態(tài)度”，二者擰成一股合力對(duì)西方實(shí)驗(yàn)室的形成、發(fā)展和演變產(chǎn)生了深遠(yuǎn)的影響。以至于到了21世紀(jì)的今天，實(shí)驗(yàn)室的發(fā)展仍然以西方為主導(dǎo)。事實(shí)上，隨著歐洲近代持續(xù)了幾百年的殖民活動(dòng)遍布全球，其源自文藝復(fù)興和思想啟蒙時(shí)期的科學(xué)觀、方法論和學(xué)術(shù)傳統(tǒng)也隨之?dāng)U散到北美洲、南美洲和大洋洲的多數(shù)國家和地區(qū)，以及亞洲與非洲的部分國家和地區(qū)。由此形成的一種積極影響是，這些遍布全球并受西方影響的邏輯實(shí)驗(yàn)室具有很高的建設(shè)發(fā)展水平。因此，為了與這些高水平的實(shí)驗(yàn)室縮小差距，就必須對(duì)其代表性機(jī)構(gòu)給予多層次、廣角度的反復(fù)研究。這樣，才能發(fā)現(xiàn)我國邏輯實(shí)驗(yàn)室建設(shè)方面的不足，從而抓住該領(lǐng)域未來發(fā)展的戰(zhàn)略性機(jī)遇。

二、俄羅斯科學(xué)院及其相關(guān)機(jī)構(gòu)考察

無論是地理位置還是政治淵源，俄羅斯與我國都有著密不可分的關(guān)聯(lián)。這種“近緣性”大大提高了兩國在各個(gè)方面的“可比性”。因此，以“俄羅斯科學(xué)院”及其“斯捷克洛夫數(shù)學(xué)研究所”為考察對(duì)象，可以為我國邏輯實(shí)驗(yàn)室的建設(shè)思路提供參考和借鑒。

18世紀(jì)的俄國正值彼得大帝當(dāng)政。彼得大帝在歐洲考察時(shí)意識(shí)到科學(xué)對(duì)國家發(fā)展的重要性，產(chǎn)生了將他國模式照搬過來從而推動(dòng)俄羅斯的科學(xué)發(fā)展的想法。1724年，他發(fā)布了在圣彼得堡建立國家級(jí)科研機(jī)構(gòu)的命令，并于次年正式實(shí)施。該機(jī)構(gòu)最初名為“科學(xué)藝術(shù)院”，1803年改為“帝國科學(xué)院”，1836年更名為“帝國圣彼得堡科學(xué)院”，1917年2月正式名為“俄羅斯科學(xué)院”，該名稱一直持續(xù)到1925年。1925年至1991年，該機(jī)構(gòu)被稱為“蘇聯(lián)科學(xué)院”。1991年之后才更名為當(dāng)代意義上的“俄羅斯科學(xué)院”［4］。

俄羅斯科學(xué)院是政府直屬的國家級(jí)科研單位，自建立之初就與歐洲的同級(jí)別研究院有很大的不同。前者享受俄羅斯國家財(cái)政的支持并隸屬于國家，而歐洲其他國家的大型科研機(jī)構(gòu)不僅在經(jīng)濟(jì)上自給自足，在行政方面也更加獨(dú)立。根據(jù)相關(guān)章程解釋，俄羅斯科學(xué)院是國家的非商業(yè)性科研機(jī)構(gòu)，對(duì)于自身的科研活動(dòng)有自主管理權(quán)，并可以自行支配和使用科學(xué)院的財(cái)產(chǎn)。此外，俄羅斯科學(xué)院還有權(quán)組建、改組以及注銷內(nèi)部的分支機(jī)構(gòu)。而且，俄羅斯科學(xué)院不僅從事基礎(chǔ)科學(xué)研究的工作，同時(shí)還參與起草及制定國家的重大政策，充分彰顯了它的“國家智庫”特征。

粗略來看，俄羅斯科學(xué)院約有500多個(gè)分支科研機(jī)構(gòu)。機(jī)構(gòu)的類型多種多樣，諸如研究所、科學(xué)中心、天文臺(tái)、植物園、圖書館、檔案館、博物館等。服務(wù)于這些機(jī)構(gòu)中的工作人員約5.5萬，其中包括約500多名院士、800多名通訊院士。

在俄羅斯科學(xué)院的眾多分支研究機(jī)構(gòu)中，與邏輯及邏輯實(shí)驗(yàn)室最為相關(guān)的當(dāng)屬坐落于圣彼得堡的“斯捷克洛夫數(shù)學(xué)研究所”。

斯捷克洛夫數(shù)學(xué)研究所由俄羅斯乃至世界聞名的數(shù)學(xué)家弗拉基米爾·安德烈維奇·斯捷克洛夫（Vladimir Andreevich Steklov）而得名。2014年，以俄羅斯科學(xué)院的尼克雷·庫茲涅佐夫（Nikolay Kuznetsov）為代表的幾位世界知名數(shù)學(xué)家和邏輯學(xué)家為斯捷克洛夫誕辰150周年專門撰寫了一篇紀(jì)念文章，名為《斯捷克洛夫的學(xué)術(shù)遺產(chǎn)》（The Legacy of Vladimir Andreevich Steklov）。文章開篇如是說：“作為俄羅斯的杰出的數(shù)學(xué)家，斯捷克洛夫在數(shù)學(xué)研究史上扮演著重要角色?！保?］

該研究所的治學(xué)方向主要圍繞兩個(gè)主題，即“數(shù)學(xué)”和“邏輯”。具體來說，是關(guān)于理論物理的純數(shù)學(xué)及數(shù)學(xué)模型的研究，研究領(lǐng)域包括：數(shù)學(xué)邏輯和算法理論、代數(shù)、數(shù)字理論、幾何和拓?fù)鋵W(xué)、數(shù)學(xué)分析、概率論和數(shù)理統(tǒng)計(jì)、連續(xù)力學(xué)的數(shù)學(xué)問題、量子物理、地球物理學(xué)和地震學(xué)。

依據(jù)上述領(lǐng)域，研究所下設(shè)10個(gè)與數(shù)學(xué)和邏輯相關(guān)的實(shí)驗(yàn)室：第一，數(shù)學(xué)分析實(shí)驗(yàn)室，科研帶頭人為所長基斯萊亞科夫，共13名科研人員；第二，數(shù)理邏輯實(shí)驗(yàn)室，科研帶頭人為愛德華·赫爾奇（Edward Hirsch），共13名科研人員；第三，數(shù)學(xué)物理實(shí)驗(yàn)室，學(xué)科帶頭人為賽力金·格雷戈里（Seregin Gregory），共9名科研人員；第四，統(tǒng)計(jì)方法實(shí)驗(yàn)室，科研帶頭人為伊布拉吉莫夫·艾達(dá)爾（Ibragimov IIdar），共7名科研人員；第五，代數(shù)與數(shù)論實(shí)驗(yàn)室，科研帶頭人為帕寧·伊萬（Panin Ivan），共11名科研人員；第六，幾何與拓?fù)鋵W(xué)實(shí)驗(yàn)室，學(xué)科帶頭人為布拉格·尤里（Burago Yury），共7名科研人員；第七，關(guān)于物理學(xué)的數(shù)學(xué)問題實(shí)驗(yàn)室，科研帶頭人為塞莫諾夫·米克哈爾（Semenov Mikhail），共15名科研人員；第八，關(guān)于地球物理的數(shù)學(xué)問題實(shí)驗(yàn)室，科研帶頭人為巴比奇·瓦斯里（Babich Vasiliy），共11名科研人員；第九，表征理論與動(dòng)力系統(tǒng)實(shí)驗(yàn)室，科研帶頭人為威爾史克·阿納托利（Vershik Anatoly），共11名科研人員；第十，算法方法實(shí)驗(yàn)室，科研帶頭人為福民·費(fèi)多（Fomin Fedor），共2名科研人員。

俄羅斯雖然遠(yuǎn)離歐洲腹地，但一直以來其邏輯學(xué)研究在歐洲乃至世界范圍內(nèi)都是極具特色的。由此而論，俄羅斯并不缺乏高水平的邏輯相關(guān)實(shí)驗(yàn)室。而在上述眾多實(shí)驗(yàn)室中，與本文致力于研究的“邏輯實(shí)驗(yàn)室”最為相近的當(dāng)屬其中的“數(shù)理邏輯實(shí)驗(yàn)室”（Laboratory of Mathematical Logic）。

數(shù)理邏輯實(shí)驗(yàn)室的科研帶頭人為愛德華·赫爾奇。赫爾奇的研究旨趣從他的自我評(píng)價(jià)中便可窺得一斑，即：“我是一名理論計(jì)算機(jī)科學(xué)家，也就是所謂的數(shù)學(xué)家，我對(duì)計(jì)算復(fù)雜性和證明理論充滿了研究熱情?！雹賖ttp：／／logic.pdmi.ras.ru／～hirsch／teaching.html.目前，赫爾奇是俄羅斯科學(xué)院圣彼得堡學(xué)術(shù)大學(xué)的數(shù)學(xué)與信息技術(shù)系教授，他還曾在2000至2010年受聘于圣彼得堡國立大學(xué)計(jì)算機(jī)科學(xué)系的副教授一職。事實(shí)上，赫爾奇不僅在俄羅斯國內(nèi)具有很大影響，而且在歐洲的相關(guān)學(xué)術(shù)界也是較具知名度的學(xué)者。他目前是圣彼得堡數(shù)學(xué)學(xué)會(huì)（St.Petersburg Mathematical Society）的理事會(huì)成員，同時(shí)也是歐洲科學(xué)院（Academia Europaea）和歐洲理論計(jì)算機(jī)科學(xué)協(xié)會(huì)（European Association for Theoretical Computer Science）的成員。

依托數(shù)理邏輯實(shí)驗(yàn)室合理的梯隊(duì)建設(shè)、雄厚的科研實(shí)力以及豐富的人力資本，將這些寶貴的研究資源整合在一起便能夠?qū)θ缦骂I(lǐng)域展開極具針對(duì)性的研究：復(fù)雜性問題（complexity）、希爾伯特第十問題（Hilbert’s Tenth Problem）、丟番圖方程（Diophantine equations）、群論（group theory）、證明論（proof theory）、電路復(fù)雜性理論（circuit complexity），關(guān)于“NP難題”的算法（algorithms for NP-hard problems）、證明的復(fù)雜性（proof complexity），平均復(fù)雜性理論（average case complexity）、圖論（graph theory）、理論密碼學(xué)（theoretical cryptography）、計(jì)算復(fù)雜性理論（computational complexity）、機(jī)器習(xí)得理論（machine learning）、結(jié)構(gòu)復(fù)雜性理論（structural complexity）、算法理論（algorithms）、密碼學(xué)（cryptography）、組合學(xué)（combinatorics）、數(shù)學(xué)邏輯（mathematical logic）、算法與復(fù)雜性（algorithmic and complexity）、精確算法理論（exact algorithms）、學(xué)習(xí)能力測試算法（algorithms for SAT）、瞬時(shí)邏輯（temporal logic）、自動(dòng)推理（automated reasoning）、描述與驗(yàn)證形式理論（specification and verification formalisms）、算法與計(jì)算復(fù)雜性理論（algorithms and computational complexity）、將邏輯應(yīng)用與哲學(xué)的理論（applications of logic to philosophy）、核心化研究（kernelization）、近似算法理論（approximation algorithms）、算法博弈論（algorithmic game theory）、組合學(xué)與幾何學(xué)研究（combinatorics and geometry）、社會(huì)選擇理論（social choice）、互聯(lián)網(wǎng)研究（web research）以及算法設(shè)計(jì)（algorithm design）。事實(shí)上，上述這些相互關(guān)聯(lián)且彼此促進(jìn)的科研領(lǐng)域正是數(shù)理邏輯實(shí)驗(yàn)室通過多年的摸索和探究從而沉淀下來的優(yōu)勢學(xué)科。

通過對(duì)上述研究領(lǐng)域的不斷鉆研與探究，該數(shù)理邏輯實(shí)驗(yàn)室于近些年來的主要研究成果如下：

2016年，赫爾奇和庫利科夫等人在《電子計(jì)算復(fù)雜性討論會(huì)議文集》上發(fā)表《關(guān)于淘汰門限的研究》（On the Limits of Gate Elimination）；2015年，赫爾奇在《歐洲理論計(jì)算機(jī)科學(xué)協(xié)會(huì)通訊》上發(fā)表《歐洲理論計(jì)算機(jī)科學(xué)協(xié)會(huì)俄羅斯章》（Russian Chapter of European Association for Theoretical Computer Science）；2014年，赫爾奇和索洛科夫在《電子計(jì)算復(fù)雜性討論會(huì)議文集》中發(fā)表《關(guān)于明確的松散層次結(jié)構(gòu)的概率閉合》（On the probabilistic closure of the loose unambiguous hierarchy）；2012年，赫爾奇與伊薩克森等人在《計(jì)算系統(tǒng)理論》上發(fā)表《在最優(yōu)的啟發(fā)式隨機(jī)半隨機(jī)化過程中，應(yīng)用于驗(yàn)證復(fù)雜性和密碼學(xué)》（On Optimal Heuristic Randomized Semi decision Procedures，with Applications to Proof Complexity and Cryptography）；2011年，赫爾奇與斯馬爾等人在《電子計(jì)算復(fù)雜性討論會(huì)議文集》中發(fā)表《單射函數(shù)圖像的最優(yōu)啟發(fā)式算法》（Optimal heuristic algorithms for the image of an injective function）。

綜上所述，“數(shù)理邏輯實(shí)驗(yàn)室”無論是科研水平還是整體實(shí)力都在國際同類實(shí)驗(yàn)室中處于領(lǐng)先地位。從研究領(lǐng)域的前沿性、成果產(chǎn)出的高效性，甚至機(jī)構(gòu)建制的合理性等方面來看，斯捷克洛夫數(shù)學(xué)研究所的數(shù)學(xué)邏輯實(shí)驗(yàn)室都對(duì)我國邏輯實(shí)驗(yàn)室的建設(shè)和發(fā)展有著重要的參考與借鑒價(jià)值。

行文至此，便能夠看到一個(gè)由大到小、由高至低的完整的部門建制結(jié)構(gòu)：頂層的“俄羅斯科學(xué)院”，中層的“斯捷克洛夫數(shù)學(xué)研究所”，基層的各個(gè)“專業(yè)方向?qū)嶒?yàn)室”。俄羅斯科學(xué)院這種“院下設(shè)所”“所下設(shè)室”的建制結(jié)構(gòu)與我國的國家級(jí)科研機(jī)構(gòu)“中國社會(huì)科學(xué)院”有明顯的相似之處，但也存在顯著不同。這種不同來自“所下設(shè)室”這一環(huán)節(jié)。以中國社會(huì)科學(xué)院哲學(xué)研究所為例，它的下一級(jí)機(jī)構(gòu)設(shè)置是研究室，如邏輯學(xué)研究室、美學(xué)研究室以及中國哲學(xué)研究室等。反觀俄羅斯科學(xué)院的斯捷克洛夫數(shù)學(xué)研究所，它的下一級(jí)機(jī)構(gòu)設(shè)置是實(shí)驗(yàn)室，如前述的數(shù)理邏輯實(shí)驗(yàn)室、數(shù)學(xué)分析實(shí)驗(yàn)室和數(shù)學(xué)物理實(shí)驗(yàn)室等。

事實(shí)上，通過將以俄羅斯科學(xué)院為代表的西方科研機(jī)構(gòu)與中國的相應(yīng)機(jī)構(gòu)在機(jī)構(gòu)建制層面進(jìn)行對(duì)比可知，二者映射出來的乃是關(guān)于科研的思維與認(rèn)知的不同。具體而論，就“科學(xué)實(shí)驗(yàn)”以及作為其物質(zhì)承載者的“實(shí)驗(yàn)室”來說，西方學(xué)界對(duì)于它們?cè)诳茖W(xué)研究方面的重要性有著清晰的認(rèn)識(shí)。由此產(chǎn)生的影響是，實(shí)驗(yàn)這種科研模式以及實(shí)驗(yàn)室這一事物在西方的學(xué)術(shù)機(jī)構(gòu)中極為普遍且認(rèn)同度很高。毫不夸張地說，當(dāng)下的西方學(xué)界，無論是訴諸客觀經(jīng)驗(yàn)與實(shí)際驗(yàn)證的自然科學(xué)還是訴諸思想生發(fā)與觀點(diǎn)論證的社會(huì)科學(xué)，它們對(duì)“實(shí)驗(yàn)室”以及“實(shí)驗(yàn)本身”都是極為看重甚至依賴的。正因如此，西方的自然科學(xué)和人文社會(huì)科學(xué)的研究水平在文藝復(fù)興時(shí)期及其之后得到了迅速提高，并在21世紀(jì)的今天呈現(xiàn)出異常繁榮和活躍的發(fā)展態(tài)勢。反觀國內(nèi)學(xué)界，目前還沒有與西方就如下“觀點(diǎn)”達(dá)成共識(shí)，即：

科學(xué)實(shí)驗(yàn)是加速知識(shí)積累、促進(jìn)學(xué)科發(fā)展并推動(dòng)社會(huì)進(jìn)步的重要研究方法，而實(shí)驗(yàn)室則是有效實(shí)現(xiàn)這一方法的必要物質(zhì)手段和平臺(tái)。

三、國內(nèi)邏輯實(shí)驗(yàn)室建設(shè)的初步構(gòu)想

通過詳細(xì)論述“俄羅斯科學(xué)院”這一俄羅斯國家級(jí)的重點(diǎn)科研機(jī)構(gòu)，并細(xì)致考察其下設(shè)的“斯捷克洛夫數(shù)學(xué)研究所”和“數(shù)理邏輯實(shí)驗(yàn)室”，我們不僅得出了“海外學(xué)界對(duì)實(shí)驗(yàn)科學(xué)以及實(shí)驗(yàn)室本身具有很高的依賴和重視程度”的觀點(diǎn)，并且還發(fā)現(xiàn)了我國邏輯實(shí)驗(yàn)室建設(shè)與發(fā)展中的一些問題。其中，最為突出和緊迫的問題如下：

如果暫時(shí)忽略那些與人工智能或計(jì)算機(jī)科學(xué)進(jìn)行交叉研究的實(shí)驗(yàn)室，而單就較為緊縮和聚焦的純邏輯領(lǐng)域來看，我國目前還沒有一所真正意義上的以邏輯研究為主導(dǎo)、以理論創(chuàng)新為宗旨的“科研型邏輯實(shí)驗(yàn)室”。

舉例說明。就目前國內(nèi)的邏輯實(shí)驗(yàn)室發(fā)展?fàn)顩r來看，其中較具影響的有兩個(gè)：其一是中科院李未院士的“軟件開發(fā)環(huán)境國家重點(diǎn)實(shí)驗(yàn)室”；其二是南開大學(xué)李娜教授的“邏輯推理實(shí)驗(yàn)室”。然而準(zhǔn)確地說，前者是以計(jì)算機(jī)科學(xué)為導(dǎo)向的關(guān)于技術(shù)開發(fā)的“應(yīng)用型邏輯實(shí)驗(yàn)室”，后者則是以教育教學(xué)為導(dǎo)向的用于知識(shí)傳授的“教學(xué)型邏輯實(shí)驗(yàn)室”。由此而論，就國內(nèi)目前的情況來看，那種旨在進(jìn)行邏輯理論創(chuàng)新的“科研型邏輯實(shí)驗(yàn)室”基本上還處于“零設(shè)立”的狀態(tài)。

面對(duì)這一嚴(yán)峻的現(xiàn)實(shí)，我們認(rèn)為那些具有權(quán)威性和號(hào)召力的國家級(jí)科研機(jī)構(gòu)應(yīng)該也必須承擔(dān)起填補(bǔ)這一空白的歷史責(zé)任，進(jìn)而為中國邏輯事業(yè)的發(fā)展和壯大做出適時(shí)的表率和貢獻(xiàn)。我們將這一“希冀”或“觀點(diǎn)”凝練地表述如下：

就目前邏輯學(xué)發(fā)展的主要趨勢來看，那些享受國家財(cái)政撥款以及科研政策優(yōu)惠的“國家級(jí)重點(diǎn)研究機(jī)構(gòu)”和“國務(wù)院直屬科研單位”應(yīng)及時(shí)且全面地鋪開邏輯實(shí)驗(yàn)室的建設(shè)工作，竭力拉近我國在此一方面與國際先進(jìn)水平的差距，從而為那些較小的或地方的學(xué)術(shù)機(jī)構(gòu)之邏輯實(shí)驗(yàn)室的建設(shè)做出“示范”。

之所以得出上述觀點(diǎn)，乃是源于以下兩方面因素：

1.國家級(jí)科研院所設(shè)立邏輯實(shí)驗(yàn)室能夠充分發(fā)揮出自身的優(yōu)勢

（1）國家級(jí)科研院所設(shè)立邏輯實(shí)驗(yàn)室具有政策上的優(yōu)勢

國家發(fā)布的各種科研政策的第一批惠及者通常是那些具有影響力的國家級(jí)重點(diǎn)科研單位。甚至，國家會(huì)根據(jù)這些機(jī)構(gòu)的學(xué)術(shù)特點(diǎn)和科研優(yōu)勢為它們“量身定制”一些重大的扶植政策。以中國社會(huì)科學(xué)院為例，2005年5月，胡錦濤主持召開中央政治局常委會(huì)議，審議并批準(zhǔn)了社科院關(guān)于建設(shè)哲學(xué)社會(huì)科學(xué)創(chuàng)新體系的報(bào)告。2011年3月，國家頒布《十二五規(guī)劃綱要》，明確要求“推進(jìn)學(xué)科體系、學(xué)術(shù)觀點(diǎn)、科研方法創(chuàng)新，大力推進(jìn)哲學(xué)社會(huì)科學(xué)創(chuàng)新體系建設(shè)，實(shí)施哲學(xué)社會(huì)科學(xué)創(chuàng)新工程，繁榮發(fā)展哲學(xué)社會(huì)科學(xué)”①http：／／www.gov.cn／2011lh／content_1825838.htm.。就在數(shù)月之后的2011年下半年，中國社會(huì)科學(xué)院便在全國哲學(xué)社會(huì)科學(xué)界率先啟動(dòng)了哲學(xué)社會(huì)科學(xué)創(chuàng)新工程。由此而論，如果說邏輯實(shí)驗(yàn)室在國內(nèi)尚屬新鮮事物，那么若由國家級(jí)科研單位率先承擔(dān)起它的建設(shè)工作，自然也會(huì)得到一系列政策上的支持從而推進(jìn)該項(xiàng)工作的進(jìn)程。

（2）國家級(jí)科研院所設(shè)立邏輯實(shí)驗(yàn)室具有財(cái)政上的優(yōu)勢

國家級(jí)研究機(jī)構(gòu)往往能夠在科研經(jīng)費(fèi)和財(cái)政撥款方面得到政府部門的大力支持。毋庸置疑，這一優(yōu)勢對(duì)于邏輯實(shí)驗(yàn)室的“基礎(chǔ)設(shè)施建設(shè)”以及“科研工作實(shí)施”來說乃是實(shí)實(shí)在在的幫助。還以中國社會(huì)科學(xué)院為例，依據(jù)2017年7月發(fā)布的《中國社會(huì)科學(xué)院2016年度部門決算》②http：／／cass.cssn.cn／tongzhigonggao／201707／P020170721605821362237.pdf.顯示，該機(jī)構(gòu)于2016年得到中央財(cái)政實(shí)際撥款207 882.93萬元。其中，用于完善科研設(shè)施建設(shè)的“科技條件專項(xiàng)經(jīng)費(fèi)”為3 292.41萬元，用于純粹的“社會(huì)科學(xué)研究經(jīng)費(fèi)”為152 191.55萬元。此外，依據(jù)“中華人民共和國中央人民政府網(wǎng)”的消息③http：／／www.gov.cn／xinwen／2017-06／06／content_5200360.htm.，中央財(cái)政在2017年將繼續(xù)加大對(duì)哲學(xué)社會(huì)科學(xué)研究的資助力度，中國社會(huì)科學(xué)院在這一年預(yù)計(jì)得到中央財(cái)政撥款約216 400.00萬元，比2016年增長4.1%。事實(shí)上，沒有充足的財(cái)政支持必然會(huì)影響實(shí)驗(yàn)室的建設(shè)質(zhì)量并連帶地波及實(shí)驗(yàn)室的成果產(chǎn)出。由此而論，率先由國家級(jí)單位承擔(dān)邏輯實(shí)驗(yàn)室的建設(shè)工作能夠在很大程度上保障建設(shè)的質(zhì)量。

（3）國家級(jí)科研院所設(shè)立邏輯實(shí)驗(yàn)室具有人才上的優(yōu)勢

無論是人才的“儲(chǔ)備”“培養(yǎng)”還是“引進(jìn)”，國家級(jí)科研單位都顯示出相應(yīng)的實(shí)力和遠(yuǎn)見。這就為建設(shè)與國際水平比肩的邏輯實(shí)驗(yàn)室提供了基礎(chǔ)。再以中國社會(huì)科學(xué)院為例，在科研人才儲(chǔ)備方面：截至2016年底，中國社會(huì)科學(xué)院共完成高質(zhì)量的專業(yè)著作12 938部，學(xué)術(shù)論文147 003篇，研究報(bào)告27 140篇，國外譯作3 724部，基礎(chǔ)教材1 108本④http：／／www.gov.cn／xinwen／2017-05／05／content_5191336.htm.。從科研成果的數(shù)量和質(zhì)量上就可見其人才儲(chǔ)備的厚度。在科研人才培養(yǎng)方面：單以博士后的培養(yǎng)為例，中國社會(huì)科學(xué)院于2016年支出的“博士后日?？蒲薪?jīng)費(fèi)”高達(dá)1 747.96萬元⑤http：／／cass.cssn.cn／tongzhigonggao／201707／P020170721605821362237.pdf.。從博士后科研經(jīng)費(fèi)的數(shù)額上可見其人才培養(yǎng)的力度。在科研人才引進(jìn)方面：作為哲學(xué)社會(huì)科學(xué)界的最高殿堂，中國社會(huì)科學(xué)院同樣不惜花費(fèi)巨資來吸引海內(nèi)外頂尖人才。事實(shí)上，其他國家級(jí)單位同樣重視上述三個(gè)方面的運(yùn)作。

2.國家級(jí)科研院所設(shè)立邏輯實(shí)驗(yàn)室能夠起到多方面的積極作用

（1）能夠有效推動(dòng)地方科研機(jī)構(gòu)及高等院校的相關(guān)工作

國家級(jí)科研機(jī)構(gòu)具有豐富的科研資源和較高的學(xué)術(shù)聲譽(yù)。由此類機(jī)構(gòu)來建立初期的邏輯實(shí)驗(yàn)室進(jìn)而將相關(guān)經(jīng)驗(yàn)向下傳授給地方的科研院所或高校，不失為一種合理且有效的構(gòu)建模式。具體來說，可以通過“走出去”的方式派遣相關(guān)人員前往國外學(xué)習(xí)邏輯實(shí)驗(yàn)室的先進(jìn)建設(shè)經(jīng)驗(yàn)，亦可以通過“請(qǐng)進(jìn)來”的辦法把國外著名專家請(qǐng)到國內(nèi)直接參與到我方邏輯實(shí)驗(yàn)室的建設(shè)中來。事實(shí)上，憑借國家級(jí)科研單位在海外學(xué)界的聲譽(yù)，加之我國政府為其提供了涉外交流的便利條件，真正履行“請(qǐng)進(jìn)來”與“走出去”的策略并非難事。由此而論，讓國家級(jí)科研機(jī)構(gòu)扮演邏輯實(shí)驗(yàn)室建設(shè)之“實(shí)踐探路者”和“經(jīng)驗(yàn)傳授者”的角色是再適合不過的。

（2）能夠充分彰顯出當(dāng)代之邏輯實(shí)驗(yàn)室建設(shè)的現(xiàn)實(shí)價(jià)值

國家級(jí)科研機(jī)構(gòu)能夠更加順暢地將邏輯實(shí)驗(yàn)室的研究成果應(yīng)用到社會(huì)生活中從而彰顯其現(xiàn)實(shí)價(jià)值。此類機(jī)構(gòu)通常具有很高的學(xué)術(shù)權(quán)威性和業(yè)內(nèi)知名度，并由國家最高政府部門直接領(lǐng)導(dǎo)，在科研政策和資源方面也容易得到更多支持。而且，它們還承載著“國家智庫”的職能，如前述的俄羅斯科學(xué)院和中國社會(huì)科學(xué)院，以及英國皇家國際事務(wù)研究所、美國戰(zhàn)略與國際研究中心、斯德哥爾摩國際和平研究所等均如此?；谏鲜鎏攸c(diǎn)和優(yōu)勢，國家級(jí)科研單位不僅可以在建設(shè)自己的邏輯實(shí)驗(yàn)室的時(shí)候獲得更多資源協(xié)助，而且在將實(shí)驗(yàn)室研究成果轉(zhuǎn)化為民用或商用的同時(shí)能夠得到來自政府部門的相關(guān)政策支持。由此而論，邏輯實(shí)驗(yàn)室的社會(huì)現(xiàn)實(shí)價(jià)值能夠通過國家級(jí)科研機(jī)構(gòu)這個(gè)平臺(tái)得到充分彰顯。

（3）能夠廣泛產(chǎn)生對(duì)中國邏輯學(xué)研究與發(fā)展的積極影響

國家級(jí)科研機(jī)構(gòu)建立邏輯實(shí)驗(yàn)室能夠?qū)χ袊壿嬍聵I(yè)的發(fā)展起到推動(dòng)作用并產(chǎn)生積極影響。就國內(nèi)層面來看，以中國社會(huì)科學(xué)院為代表的國家級(jí)科研機(jī)構(gòu)通常具有國內(nèi)最高的學(xué)術(shù)研究水平。如果由此類單位率先建立邏輯實(shí)驗(yàn)室，那么將對(duì)地方科研單位或高校產(chǎn)生重要的示范效應(yīng)，且很有可能以此為基點(diǎn)進(jìn)而推動(dòng)整個(gè)中國邏輯事業(yè)的發(fā)展。從國外層面來看，由于國家級(jí)科研機(jī)構(gòu)在國內(nèi)具有權(quán)威性地位，因此在國外學(xué)界的知名度也相對(duì)較高。如果它們?cè)谶壿媽?shí)驗(yàn)室的建設(shè)上表現(xiàn)出色并取得突破性的研究成果，便必然會(huì)被海外學(xué)界迅速知悉從而在國際上產(chǎn)生一系列積極影響。這種影響不僅能夠提升中國在國際社會(huì)的科研形象，而且還將推動(dòng)中國邏輯事業(yè)的整體發(fā)展。

對(duì)于國家級(jí)科研機(jī)構(gòu)來說，建設(shè)科研型邏輯實(shí)驗(yàn)室乃是一件“挑戰(zhàn)”與“機(jī)遇”并存的事業(yè)。該事業(yè)的挑戰(zhàn)性顯而易見，它需要投入巨大的人力、物力和財(cái)力，而且更要做好向海外知名實(shí)驗(yàn)室進(jìn)行潛心學(xué)習(xí)和長期尾隨的準(zhǔn)備。而說它蘊(yùn)含機(jī)遇是因?yàn)?，從目前的情況看，無論哪一個(gè)國家級(jí)科研單位率先擔(dān)負(fù)起這項(xiàng)任務(wù)，它所建立的都將是我國“第一家”用于基礎(chǔ)研究和前沿創(chuàng)新的“科研型邏輯實(shí)驗(yàn)室”。

毫無疑問，無論是成功化解挑戰(zhàn)還是充分抓住機(jī)遇，一個(gè)敢于率先而為的科研機(jī)構(gòu)必將被載入中國邏輯事業(yè)的發(fā)展史冊(cè)。一言以蔽之，為了趕超國外的相關(guān)研究發(fā)展進(jìn)度，以我國國家級(jí)單位為代表的科研機(jī)構(gòu)應(yīng)該迅速且妥善地投入到邏輯實(shí)驗(yàn)室的建設(shè)中去。

四、結(jié)語

21世紀(jì)的今天，“邏輯學(xué)研究呈現(xiàn)出枝繁葉茂的興盛態(tài)勢，各個(gè)現(xiàn)代邏輯學(xué)分支發(fā)展得異常活躍且深入，可以說是自亞里士多德創(chuàng)立邏輯2 400年以來真正的邏輯學(xué)科的理論豐收期。”［6］在邏輯學(xué)科全面向好發(fā)展的大趨勢下，世界范圍內(nèi)正在掀起一場關(guān)于邏輯實(shí)驗(yàn)室的“建設(shè)競賽”。若想加入甚至贏得這場競賽，我國邏輯學(xué)界必須對(duì)邏輯實(shí)驗(yàn)室的建設(shè)給予高度重視并迅速開展實(shí)際工作。另一方面，“從智能科學(xué)的深入發(fā)展對(duì)當(dāng)代邏輯學(xué)總的轉(zhuǎn)變需求來看，當(dāng)代中國邏輯學(xué)研究仍然有在純理論的怪圈中轉(zhuǎn)悠之嫌，當(dāng)代中國邏輯學(xué)與社會(huì)生產(chǎn)實(shí)踐結(jié)合得仍然不夠緊密……”［7］事實(shí)上，具有鮮明的實(shí)踐和應(yīng)用屬性的邏輯實(shí)驗(yàn)室也許是將國內(nèi)邏輯學(xué)研究“救出”純理論怪圈的一股“奇兵”。毫不夸張地說，邏輯實(shí)驗(yàn)室建設(shè)的“遲與早”和“優(yōu)與劣”直接關(guān)系到我國邏輯學(xué)未來發(fā)展的整體布局和體系結(jié)構(gòu)，也影響到它的發(fā)展模式、發(fā)展方向和發(fā)展效率。由此而論，盡快設(shè)立邏輯實(shí)驗(yàn)室具有重大且長遠(yuǎn)的戰(zhàn)略意義。