論邏輯學(xué)研究的前沿問題與發(fā)展取向

論邏輯學(xué)研究的前沿問題與發(fā)展取向歷經(jīng)兩千多年，尤其是近百年來的鍛煉與打磨，邏輯學(xué)由一門古老的獨(dú)立學(xué)科發(fā)展成為相對成熟的現(xiàn)代學(xué)科群，并廣泛浸透于現(xiàn)代科學(xué)的眾多領(lǐng)域之中，發(fā)揮側(cè)重要的工具性作用和方法論功能。現(xiàn)代，邏輯學(xué)在得到充足發(fā)展的同時(shí)又面臨著進(jìn)一步發(fā)展所必需作出的轉(zhuǎn)向性抉擇。在這里背景下，概要現(xiàn)代的前沿問題，切脈邏輯學(xué)科正在行進(jìn)的研究轉(zhuǎn)向，推斷邏輯學(xué)將來發(fā)展的取向和趨勢,無疑是一項(xiàng)特別需要且有益的工作。由于現(xiàn)代邏輯學(xué)科的內(nèi)容已經(jīng)非常豐富與艱深，“大略巳不再有任何一個(gè)人能夠通觀這整個(gè)領(lǐng)域的每一個(gè)細(xì)節(jié)了〞，⑴這篇短文不可能具體鋪展所涉獵的眾多領(lǐng)域中的詳細(xì)問題，只能是提綱挈領(lǐng)地述論其中的要義。一、現(xiàn)代邏輯學(xué)研究的前沿問題“邏輯學(xué)研究〞是一個(gè)有歧義的話題。哪些東西屬于“邏輯〞，學(xué)界頗有爭議。假如允許我們?nèi)∽顬閺V義的理解，“邏輯學(xué)研究〞至少包括下面三個(gè)層面，即對邏輯學(xué)的研究〔元邏輯研究〕、邏輯學(xué)本身的研究〔對象邏輯研究)和邏輯學(xué)應(yīng)用的研究〔邏輯應(yīng)用研究〕。(一)“對邏輯學(xué)的研究〞的前沿問題“對邏輯學(xué)的研究〞即以邏輯學(xué)為對象所進(jìn)行的研究。它有兩個(gè)條理,即邏輯的哲學(xué)研究和邏輯學(xué)學(xué)研究。邏輯的哲學(xué)研究又分四個(gè)層面：〔1)邏輯學(xué)研究對象的研究，如邏輯真諦、推理有效性、邏輯常項(xiàng)的哲學(xué)性質(zhì)等問題的研究?！?)語言與邏輯哲學(xué)的核心范疇的研究，重要是對意義、真諦、矛盾、悖論等范疇的研究。這四個(gè)范疇的關(guān)系是遞進(jìn)的。它們也是分析哲學(xué)的核心范疇?！?)邏輯觀的研究，即什么是邏輯,辯證邏輯能否邏輯,歸納邏輯能否邏輯等。〔4)對特殊邏輯的哲學(xué)問題的研究,如歸納邏輯中的“休謨問題〞、歸納悖論問題等，以及關(guān)于現(xiàn)代“哲學(xué)邏輯學(xué)科群〞即多種擴(kuò)大邏輯和變異邏輯中所存在的哲學(xué)問題的研究。對特殊邏輯的哲學(xué)問題的研究有助于對邏輯基本哲學(xué)問題的解決。反之，后者問題的解決也有利于指點(diǎn)前者問題的研究。邏輯學(xué)學(xué)的研究，重要包含邏輯思想史研究，邏輯社會學(xué)、邏輯文化學(xué)的研究，十分是邏輯與政治、邏輯與社會、邏輯與宗教等互相關(guān)系的研究等，這是對邏輯的社會文化功能的研究。(二〕“邏輯學(xué)本身的研究〞的前沿問題“邏輯學(xué)本身的研究〞重要指演繹邏輯〔即演繹推理的系統(tǒng)化理論〕、歸納邏輯和辯證邏輯等本身問題的理論研究,亦即邏輯的基礎(chǔ)理論研究。其中,演繹邏輯基礎(chǔ)〔一階邏輯〕的可靠性、完全性、一致性、獨(dú)立性等元理論研究已經(jīng)成熟。以2030年代兩個(gè)劃時(shí)代的成就——哥德爾〔)證明了不完全性定理、塔爾斯基()提出了形式語言真諦論為界，現(xiàn)代演繹邏輯由始創(chuàng)期進(jìn)入長足發(fā)展期，其標(biāo)記是狹義數(shù)理邏輯(公理化集合論、證明倫、模型論和遞歸論〕的日趨成熟和“哲學(xué)邏輯〞學(xué)科群蓬勃興起與繁榮,后者構(gòu)成現(xiàn)代演繹邏輯發(fā)展的主體。由于一階邏輯〔或稱經(jīng)典邏輯、標(biāo)準(zhǔn)邏輯即現(xiàn)代演繹邏輯基礎(chǔ)〕建立理想語言之上，其特質(zhì)是二值性和外延性。但二值性不能充足刻畫非理想語言陳述的真值度,外延性也不能有效刻畫表達(dá)式的內(nèi)涵，因而,對經(jīng)典邏輯的兩種特質(zhì)進(jìn)行突破成為邏輯學(xué)發(fā)展的一個(gè)契機(jī)。由此應(yīng)運(yùn)而生的邏輯被稱之為“哲學(xué)邏輯〞〔羅素〔l)、斯特勞森〔n)等西方學(xué)者對此術(shù)語的用法w不同于另一些西方學(xué)者和當(dāng)下我們國家學(xué)界的通行用法，這里所表述的屬后者對此術(shù)語的用法〕。它包含通過修改經(jīng)典邏輯的二值性但不修改其外延性而發(fā)展出來的多值邏輯;通過修改經(jīng)典邏輯的外延性，考慮其表達(dá)式的內(nèi)涵而發(fā)展出來的擴(kuò)大古典邏輯(擴(kuò)大邏輯〕和通過修改古典邏輯的常用的邏輯聯(lián)合詞而生發(fā)出來的變異邏輯。擴(kuò)大邏輯是在古典邏輯的基礎(chǔ)上通過引進(jìn)一些內(nèi)涵性的算子,如模態(tài)、時(shí)態(tài)、道義、認(rèn)知等而建構(gòu);變異邏輯是將古典邏輯常用的邏輯聯(lián)合詞作內(nèi)涵解釋,進(jìn)而產(chǎn)生出直覺主義邏輯、相干邏輯等。歸納邏輯的發(fā)展還不成熟。傳統(tǒng)歸納邏輯關(guān)注的是科學(xué)發(fā)現(xiàn),現(xiàn)代歸納邏輯關(guān)注的是科學(xué)確實(shí)證度(科學(xué)檢驗(yàn)〕。概率工具是現(xiàn)代歸納邏輯的重要工具，但概率工具的構(gòu)建要靠演繹方法，將其構(gòu)成形式系統(tǒng)就是演繹邏輯的分支〔一種特殊的“哲學(xué)邏輯〞〕。現(xiàn)代歸納邏輯在研究確證的基礎(chǔ)上,又有回歸研究科學(xué)發(fā)現(xiàn)的傾向。近年來,歸納概率邏輯研究的進(jìn)展重要表如今:在哲學(xué)方面，進(jìn)一步發(fā)展了概率的主觀主義解釋;在邏輯方面,提出了多個(gè)非科爾莫哥洛夫〔Kolmogorov)公理系統(tǒng)。其實(shí)，它們是“變異〞邏輯在歸納概率邏輯中的對應(yīng)物。學(xué)界爭議最大的是辯證邏輯?，F(xiàn)代辯證邏輯某些流派所努力的方向是,要實(shí)現(xiàn)辯證邏輯的科學(xué)化、現(xiàn)代化和協(xié)調(diào)化,即逐步由一般哲學(xué)形態(tài)的辯證邏輯，向特殊哲學(xué)形態(tài)的辯證邏輯進(jìn)而向科學(xué)形態(tài)的辯證邏輯的科學(xué)化方向變更;逐步由非形式化辯證邏輯向形式化辯證邏輯的現(xiàn)代化變更；由包容悖論向揚(yáng)棄悖論的協(xié)調(diào)化方向變更。W近年來，有些學(xué)者運(yùn)用“亞相容〞〔“次協(xié)調(diào)邏輯〞〕這種特殊的變異邏輯，試圖用形式化方法去刻畫辯證思維，試圖通過建立嚴(yán)格的形式系統(tǒng)，以淸除以往辯證邏輯中含混不清或不精到準(zhǔn)確的內(nèi)容，使之得到合理的重建。但是,辯證邏輯終究是研究思維形式的,還是研究思維內(nèi)容的，是研究思維的經(jīng)歷體驗(yàn)內(nèi)容還是先驗(yàn)內(nèi)容(所謂“純內(nèi)容〞〕等，換句話說,怎樣解讀辯證邏輯還是學(xué)界需要統(tǒng)一認(rèn)識的課題。至于辯證邏輯能否形式化，怎樣形式化,則是更有待于明確的問題。由此,我們也就不難理解,為什么既有的辯證邏輯形式化工作難以得到學(xué)界的普遍認(rèn)同。(三〕“邏輯學(xué)的應(yīng)用研究〞的前沿問題運(yùn)用現(xiàn)代邏輯的工具進(jìn)行邏輯的應(yīng)用研究是邏輯學(xué)應(yīng)用研究的現(xiàn)代特征。邏輯應(yīng)用在形式化水平上有著懸殊的差別。一般而言，只要是運(yùn)用了邏輯原理的，都能夠稱之為邏輯應(yīng)用,但只要將邏輯原理系統(tǒng)而非零散地應(yīng)用于某一學(xué)科或領(lǐng)域，而且還在應(yīng)用中構(gòu)成了邏輯系統(tǒng)十分是形式系統(tǒng)或系統(tǒng)的應(yīng)用方法論的能力稱之為應(yīng)用邏輯。能夠說，對任何一個(gè)思維領(lǐng)域我們都能夠作邏輯的應(yīng)用研究，但能否建構(gòu)出應(yīng)用邏輯卻是另外一回事。在我們看來，下面所列舉的既是當(dāng)前邏輯應(yīng)用領(lǐng)域中漸趨成熟的應(yīng)用邏輯的新分支，也反映著這一論域所關(guān)注的前沿問題與研究動(dòng)向。(1)廣義哲學(xué)邏輯，即羅素一斯特勞森用法的“哲學(xué)邏輯〞，它由前述“邏輯的哲學(xué)研究〞之第二層面延伸開來，重要研究現(xiàn)代邏輯在哲學(xué)研究中的應(yīng)用及其作用機(jī)制。(2)科學(xué)邏輯——研究邏輯基礎(chǔ)理論在科學(xué)研究中的應(yīng)用及其作用機(jī)制，重要包含科學(xué)發(fā)現(xiàn)的邏輯、科學(xué)說明的邏輯、科學(xué)檢驗(yàn)的邏輯和科學(xué)發(fā)展的邏輯。其本質(zhì)是邏輯在科學(xué)研究中的應(yīng)用方法論。(3)非形式邏輯與批判性思維研究——研究邏輯在實(shí)際論證中的應(yīng)用理論。面向日常論證,研究實(shí)際論證中的邏輯評估和非邏輯評估等問題。批判性思維是對所知、所學(xué)知識的真實(shí)性、精到準(zhǔn)確性、性質(zhì)與價(jià)值進(jìn)行個(gè)人的判定。批判性思維離不開兩種工具:其一是形式邏輯〔含演繹邏輯與歸納邏輯〕工具。它具有由前提到結(jié)論普遍保真、由結(jié)論到前提普遍保假的功能,能夠從形式技術(shù)層面實(shí)現(xiàn)思維的批判性;其二是辯證邏輯的工具。辯證邏輯具有整體性和動(dòng)態(tài)性思維的特質(zhì)，長于“從統(tǒng)一中分析對立、在對立中把握統(tǒng)一〞，具有批判與革命的功能，能夠?qū)扔姓J(rèn)識進(jìn)行揚(yáng)棄和發(fā)展，能夠從思維內(nèi)容層面實(shí)現(xiàn)思維的批判性。從邏輯的觀點(diǎn)看,批判性思維就是從思維的批判性或反思性角度應(yīng)用形式邏輯工具和辯證邏輯工具的。(4)語言邏輯——面向天然語言,對天然語言作邏輯分析。廣義的語言邏輯包含三個(gè)方面，即語形、語義和語用。邏輯學(xué)學(xué)理層面的語形與語義研究重要具體表現(xiàn)出在元邏輯和對象邏輯之中。狹義的語言邏輯重要是指語用邏輯,與“天然邏輯〞和“天然語言邏輯〞名異實(shí)同,其重要內(nèi)容是揭示語境、預(yù)設(shè)，明確語言行為，以幫助人們實(shí)現(xiàn)有效交際。除此之外,還有人工智能與計(jì)算機(jī)科學(xué)邏輯——它與語言邏輯聯(lián)絡(luò)在一起，牽涉對天然語言的處理問題;法律邏輯——以法律推理為核心的邏輯應(yīng)用理論，但當(dāng)前尚未構(gòu)成應(yīng)用理論體系，以及教育邏輯、經(jīng)濟(jì)邏輯等?？傊魏我粋€(gè)認(rèn)識領(lǐng)域都能夠作邏輯研究,都是屬于邏輯的應(yīng)用層面。邏輯應(yīng)用的范圍特別廣泛,前景也非常廣闊。二、邏輯學(xué)研究的發(fā)展取向(―)—立“觀〞由于“邏輯學(xué)之父〞亞里士多德(Aristotle)原創(chuàng)性地使用了一般性變元,嚴(yán)格區(qū)分了邏輯與哲學(xué)、思維內(nèi)容與形式,W使得邏輯學(xué)研究能夠在純形式層面得到長足發(fā)展,尤其是在以弗雷格〔)的工作為標(biāo)記、為發(fā)明和鍛造適用于奠基數(shù)學(xué)基礎(chǔ)的邏輯工具——數(shù)理邏輯的創(chuàng)生后,形式層面的邏輯學(xué)研究愈加向縱深推進(jìn),對思維形式的刻畫日趨嚴(yán)格和精到準(zhǔn)確。這樣的邏輯結(jié)果，對整個(gè)現(xiàn)代科學(xué)十分是數(shù)學(xué)、哲學(xué)、語言學(xué)、人工智能和計(jì)算機(jī)科學(xué)等產(chǎn)生了重大影響,發(fā)揮了無足輕重的工具性作用和方法論功能。但是,當(dāng)人們在嚴(yán)重?cái)?shù)學(xué)化的邏輯之路上髙歌猛進(jìn)的同時(shí),也導(dǎo)致邏輯學(xué)在這一層面的發(fā)展空間漸趨狹小。由于經(jīng)典邏輯所遺留下來的問題已經(jīng)不是過多,而且那些舊問題又特別難以解決,將來的計(jì)算機(jī)科學(xué)和人工智能固然對邏輯學(xué)的結(jié)果仍有需求，而且仍然要以經(jīng)典邏輯為基礎(chǔ)，但更為關(guān)注的是人的自動(dòng)性和創(chuàng)造性的思維,而不是經(jīng)典邏輯所轄的那種必定性、確定性的推理程序。21世紀(jì),科學(xué)技術(shù)的發(fā)展水平將與人工智能和計(jì)算機(jī)科學(xué)的推進(jìn)水平親密相關(guān),而現(xiàn)代人工智能和計(jì)算機(jī)科學(xué)所碰到的“瓶頸〞是:對人的智能的模仿。其難點(diǎn)不在于人腦中的那種必定性推理,而是最能具體表現(xiàn)出人的智能特征的能動(dòng)性、創(chuàng)造性的思維。這種思維活動(dòng)包含學(xué)習(xí)、抉擇、嘗試、修正、推理等眾多因素，這是既往邏輯學(xué)所不予研究或者說研究得非常軟弱的領(lǐng)域。因而，若想在現(xiàn)代科學(xué)技術(shù)的前沿仍能發(fā)揮其工具性作用和方法論功能，并承當(dāng)起現(xiàn)代科學(xué)的棊礎(chǔ)學(xué)科的重?fù)?dān),邏輯學(xué)研究就必需積極參與到對人工智能等學(xué)科的“瓶頸〞攻關(guān)之中。由此,邏輯學(xué)將不能不比較全面地研究人的思雄活動(dòng),并側(cè)重研究人的思維中最能具體表現(xiàn)出其能動(dòng)性特征的各種不確定性推理,由于只要由此發(fā)展出來的邏輯理論能力具有更強(qiáng)的可應(yīng)用性。邏輯學(xué)發(fā)展史告訴我們，邏輯學(xué)是在不斷知足理論需要和克制本身不足中演進(jìn)的。邏輯學(xué)的生存狀況決定著它的發(fā)展取向，這就要求邏輯學(xué)界必需確立“大邏輯觀〞，即邏輯除了有“必定地得出〞的,還應(yīng)該包含“不必定地得出〞的部分。作為現(xiàn)代科學(xué)之基礎(chǔ)學(xué)科的研究者，邏輯學(xué)家有責(zé)任研究各種不確定性推理及其思維方法。主張“大邏輯觀〞顯然有利于現(xiàn)代邏輯學(xué)的發(fā)展,即有利于利用多種力量協(xié)同攻關(guān)，實(shí)現(xiàn)重大邏輯課題,以至是跨學(xué)科的重浩劫題的攻關(guān)與突破。當(dāng)然,主張“大邏輯觀〞也應(yīng)該同時(shí)留意到邏輯學(xué)與其他學(xué)科,尤其是與其“親緣〞學(xué)科,比方科學(xué)哲學(xué)、認(rèn)貼心理學(xué)、計(jì)算機(jī)科學(xué)、語言學(xué)、人工智能、哲學(xué)等之間的應(yīng)有界線。大邏輯觀仍將以演繹邏輯為根基、為邏輯之“本而在演繹邏輯基礎(chǔ)之上的任何擴(kuò)展，都能夠看作邏輯之“末〞。這種有“本〞與“末〞條理的大邏輯觀,不料味著要重“本〞而輕“末〞，或唯“本〞而舍“末〞，而是意在說明邏輯學(xué)學(xué)科群中應(yīng)該有一個(gè)當(dāng)然的“核心〞之所在。(二〕三取向確立大邏輯觀的目的，是為了使邏輯學(xué)更好地承當(dāng)起在現(xiàn)代科學(xué)中的基礎(chǔ)學(xué)科的重?fù)?dān),更好地發(fā)揮其在科學(xué)技術(shù)前沿領(lǐng)域中的工具性作用和方法論功能。若要實(shí)現(xiàn)這樣的訴求，邏輯學(xué)在其將來的研究中應(yīng)該有下面三個(gè)取向：首先，認(rèn)知取向。認(rèn)知研究有兩個(gè)維度，即基于心理實(shí)驗(yàn)的“cognitive〞維度和基于認(rèn)識論的“episte-mic〞維度。邏輯學(xué)研究的認(rèn)知取向，不是直接干涉心理學(xué)維度的認(rèn)知研究，而是以心理學(xué)研究的終點(diǎn)為起點(diǎn)，進(jìn)行邏輯的研究。重要解決的問題是:給出知識獲取、知識表達(dá)以及知識擴(kuò)展和修正的認(rèn)知模型和方法。實(shí)現(xiàn)的路徑和目的是:將邏輯學(xué)的研究與認(rèn)知科學(xué)、心理學(xué)、語言學(xué)以及計(jì)算機(jī)科學(xué)相結(jié)合，建立以邏輯為核心的跨學(xué)科體系,促進(jìn)邏輯學(xué)及相關(guān)學(xué)科的發(fā)展;將邏輯學(xué)研究與科學(xué)技術(shù)的前沿問題相結(jié)合，利用邏輯方法解決社會科學(xué)與工程應(yīng)用中的詳細(xì)問題。其次，語用取向。從“認(rèn)識怎樣可能〞到“語言表達(dá)怎樣可能〞，這種主題的轉(zhuǎn)換,使20世紀(jì)西方哲學(xué)的發(fā)展深深地銘記著“語言〞的烙印。哲學(xué)研究中的這種語言轉(zhuǎn)入，在邏輯學(xué)研究中也有同樣的具體表現(xiàn)出，不同的只是切人點(diǎn)及其深度問題。邏輯原來就是通過語言而研究思維的。語言既有語形也有語義,但要精確地理解語形與語義，就必需關(guān)注語言的使用者等因素，亦即語用因素。在19世紀(jì)末20世紀(jì)初期，現(xiàn)代邏輯的數(shù)理化背離了天然語言，忽視了語言和邏輯中的人的因素。20世紀(jì)中葉,奧斯汀〔)、蒙塔古(ue)、喬姆斯基〔y)等一大批語言學(xué)家載負(fù)著現(xiàn)代邏輯的結(jié)果從新回歸天然語言研究，對語言學(xué)和邏輯學(xué)的研究產(chǎn)生了重大影響。關(guān)注語言使用者在內(nèi)的語境因素，重視語境因素對意義的影響，使邏輯學(xué)研究更接近天然語言，乃至人的思維實(shí)際，這樣的邏輯研究無疑會在認(rèn)知科學(xué)研究中發(fā)揮出主要作用。不難見得，邏輯學(xué)研究的語用取向與其認(rèn)知取向是互相照應(yīng)的。