本文關(guān)鍵詞：科學(xué)哲學(xué)簡(jiǎn)史:從古希臘到維也納學(xué)派，由筆耕文化傳播整理發(fā)布。

【英文標(biāo)題】New Advancements of the Studies of Applied Logic

　　【作者簡(jiǎn)介】杜國平，南京大學(xué)哲學(xué)系，江蘇南京210093

　　一 何謂應(yīng)用邏輯

　　“應(yīng)用邏輯”這個(gè)詞至少可以追溯到康德�？档略谄涿都兇饫硇耘小分袑⑦壿嫹譃槠胀ㄟ壿嫛⑾闰�(yàn)邏輯和特種邏輯，其中普通邏輯又分為純邏輯和應(yīng)用邏輯。①究竟什么是應(yīng)用邏輯？不同的邏輯學(xué)家對(duì)此有不同的認(rèn)識(shí)。下面我們來看一些比較有代表性的看法。

　　1.《大英百科全書》(Encyclopaedia Britannica)

　　1974年出版的《新大英百科全書》(The New Encyclopaedia Britannica)第15版中“應(yīng)用邏輯”(Logic，Applied)詞條的撰寫者雷斯徹(Nicholas Rescher)認(rèn)為：

　　“純邏輯展現(xiàn)一系列嚴(yán)格抽象的體系，例如，三段論，它只顯示論證的結(jié)構(gòu)形式，而不考慮其內(nèi)容(例如：“沒有s是m，有p是m；因此，有p不是s”)；在應(yīng)用邏輯中，人們對(duì)這種體系加以調(diào)整，使之適用于展現(xiàn)一定范圍內(nèi)諸如相信、命令或義務(wù)等特殊主題的具體問題。這類論證往往不只受嚴(yán)格的形式結(jié)果(其只與純邏輯相關(guān))的支配，而且還牽涉到特定領(lǐng)域的某些題材上的考慮，即通常所說的實(shí)質(zhì)方面。”②

　　網(wǎng)絡(luò)版《大英百科全書》中詞條“應(yīng)用邏輯”(applied logic)的撰寫者欣迪卡(Jaakko Hintikka)認(rèn)為：

　　“(應(yīng)用邏輯)是研究正確推理的實(shí)際運(yùn)用的。這種研究采用不同的方式，這取決于所涉及推理的類型以及采用何種推理標(biāo)準(zhǔn)。被考慮的推理可能只需單純地用到邏輯準(zhǔn)則，但也可能涉及非邏輯概念。因此，邏輯的應(yīng)用研究包含兩個(gè)方面——一方面是處理關(guān)于推理評(píng)估的一般問題，另一方面是各種特殊的應(yīng)用和處理由此產(chǎn)生的問題。在推理中涉及的非邏輯概念包括“知道……”、“相信……”、“記得……”這樣的認(rèn)知概念以及“應(yīng)該……”、“允許……”、“禁止……”這樣的規(guī)范(道義)概念。它們的邏輯形態(tài)因之是應(yīng)用邏輯主旨的一部分。此外，正確的推理需要在廣泛的意義上去理解，不僅包括演繹推理，而且包括歸納推理和疑問推理(通過詢問探求知識(shí)的推理)。”③

　　2.相關(guān)應(yīng)用邏輯雜志

　　《純邏輯和應(yīng)用邏輯協(xié)會(huì)邏輯雜志》的用稿范圍：刊登純邏輯和應(yīng)用邏輯所有領(lǐng)域的文章，包括純邏輯系統(tǒng)、證明論、模型論、遞歸論、類型論、非經(jīng)典邏輯、非單調(diào)邏輯、數(shù)字與不確定推理、邏輯與人工智能、邏輯程序設(shè)計(jì)基礎(chǔ)、邏輯與計(jì)算、邏輯與語言、邏輯與工程等。④

　　《純邏輯和應(yīng)用邏輯紀(jì)事》的用稿范圍：刊登下列領(lǐng)域近期所關(guān)注問題的論文和短論，包括純邏輯和應(yīng)用邏輯、數(shù)學(xué)基礎(chǔ)、理論計(jì)算機(jī)科學(xué)以及專注于數(shù)理邏輯的其他學(xué)科領(lǐng)域。⑤

　　創(chuàng)刊于1991年的《應(yīng)用非經(jīng)典邏輯雜志》的用稿范圍：該刊是該領(lǐng)域最新研究的核心出版物，稿件來自于基于下列領(lǐng)域的專家報(bào)告：非經(jīng)典形式系統(tǒng)的形式方面包括完全性、可判定性、復(fù)雜性；非經(jīng)典邏輯在人工智能和認(rèn)知科學(xué)中的應(yīng)用包括知識(shí)表示、自動(dòng)推理、自然語言；理論計(jì)算機(jī)科學(xué)包括程序驗(yàn)證、程序合成等。⑥

　　尤其值得關(guān)注的是創(chuàng)刊于2003年的《應(yīng)用邏輯雜志》在其發(fā)刊通報(bào)中指出：“過去的25年見證了邏輯學(xué)的性質(zhì)、范圍和應(yīng)用的巨大進(jìn)展。順應(yīng)計(jì)算機(jī)科學(xué)，涉及概率推理、模糊推理和常識(shí)推理的人工智能，哲學(xué)，計(jì)算語言學(xué)，認(rèn)知科學(xué)，法律推理，數(shù)學(xué)基礎(chǔ)及自動(dòng)化理論的發(fā)展需要，邏輯學(xué)進(jìn)入了其發(fā)展過程中的新階段。這些不同的團(tuán)體目前有著自己的會(huì)議集和雜志，但缺乏真正的交流與合作。然而，這些表面上看似乎不同的領(lǐng)域之間存在著相似的方法和潛在的聯(lián)系。邏輯學(xué)已經(jīng)到達(dá)一個(gè)新的階段，它不再是某一學(xué)科的分支，它本身就是一門獨(dú)立的學(xué)科，如同數(shù)學(xué)、物理、哲學(xué)、計(jì)算機(jī)科學(xué)或化學(xué)。因此，迫切需要一份應(yīng)用邏輯雜志來為邏輯學(xué)服務(wù)，正如其他的雜志服務(wù)于它們的學(xué)科”。⑦

　　3.應(yīng)用邏輯著述

　　漢森(Hansen)和博格(Kaj Borge)的論文集《應(yīng)用邏輯》涵蓋了非常廣泛的議題，其中包括基礎(chǔ)問題、純邏輯和應(yīng)用邏輯、計(jì)算機(jī)程序設(shè)計(jì)等內(nèi)容。除第1章導(dǎo)論之外，其他8章的內(nèi)容分別為：條件句和邏輯基礎(chǔ)、什么是哲學(xué)、邏輯理性：一個(gè)方案、羅素悖論和對(duì)角線方法、一個(gè)向上的斯科倫悖論、-ω-一致性的問題和結(jié)果、邏輯和幾何學(xué)的證明與示例、邏輯程序設(shè)計(jì)的邏輯基礎(chǔ)。⑧

　　綜上所述，可以看出：

　　(1)應(yīng)用邏輯是和純邏輯相對(duì)而言的。純邏輯的核心內(nèi)容是命題演算、謂詞演算、集合論、遞歸論、模型論和證明論，即通常所說的兩算四論。純邏輯與應(yīng)用邏輯的關(guān)系類似于純數(shù)學(xué)和應(yīng)用數(shù)學(xué)的關(guān)系。純數(shù)學(xué)是數(shù)學(xué)的基礎(chǔ)理論部分，它不考慮對(duì)其他知識(shí)領(lǐng)域或者生產(chǎn)實(shí)踐的直接應(yīng)用；應(yīng)用數(shù)學(xué)主要涉及物理學(xué)、生命科學(xué)、工程與技術(shù)、經(jīng)濟(jì)學(xué)、語言學(xué)、語音學(xué)以及音樂中的各種問題，實(shí)際上它涉及人類能用數(shù)學(xué)來分析和解決的任何問題。與此相類，純邏輯研究最一般的推理形式結(jié)構(gòu)，而應(yīng)用邏輯研究涉及經(jīng)驗(yàn)內(nèi)容的比較特殊的推理結(jié)構(gòu)，應(yīng)用邏輯具有超出純形式之外的實(shí)質(zhì)內(nèi)容。當(dāng)然，對(duì)于具體的邏輯系統(tǒng)，究竟屬于純邏輯還是應(yīng)用邏輯有時(shí)是很難分清的。譬如弗協(xié)調(diào)邏輯⑨、哲思邏輯⑩以及知識(shí)蘊(yùn)涵邏輯(11)既可以作為純邏輯，也可以作為處理不協(xié)調(diào)信息系統(tǒng)推理問題的應(yīng)用邏輯。

　　(2)應(yīng)用邏輯與邏輯應(yīng)用既有聯(lián)系又有區(qū)別。首先，應(yīng)用邏輯所提及的“應(yīng)用”和邏輯應(yīng)用所提及的“應(yīng)用”是不同的，應(yīng)用邏輯所提及的“應(yīng)用”是指涉及具體的學(xué)科領(lǐng)域，而邏輯應(yīng)用所提及的“應(yīng)用”是指理論與問題的技術(shù)處理。應(yīng)用邏輯是邏輯，它是涉及特殊領(lǐng)域的系統(tǒng)的推理理論；而邏輯應(yīng)用則是利用邏輯理論來解決具體問題。從某種意義上說，應(yīng)用邏輯是理論，邏輯應(yīng)用是技術(shù)。它們處于不同的理論層次，“應(yīng)用邏輯是邏輯應(yīng)用的元邏輯”。(12)其次，兩者又是密不可分的。邏輯理論在某一特殊領(lǐng)域的零散應(yīng)用可能擴(kuò)展為經(jīng)常的應(yīng)用，由經(jīng)常的應(yīng)用又可能形成適于該領(lǐng)域的系統(tǒng)的推理理論，從而產(chǎn)生新的應(yīng)用邏輯。實(shí)際上，在很多情況下，應(yīng)用邏輯和邏輯應(yīng)用的界限是模糊不清的。

　　(3)應(yīng)用邏輯所涉及的學(xué)科領(lǐng)域是非常廣泛的，也是與時(shí)俱進(jìn)的。模態(tài)邏輯涉及的是形而上學(xué)概念，時(shí)態(tài)邏輯、空間邏輯涉及的是物理學(xué)概念，道義邏輯、優(yōu)先邏輯涉及的是實(shí)踐行為概念�？梢哉f只要有實(shí)質(zhì)內(nèi)容存在的地方就一定可能有應(yīng)用邏輯的身影�？v觀邏輯發(fā)展史，，我們可以發(fā)現(xiàn)，數(shù)理邏輯是在數(shù)學(xué)基礎(chǔ)研究的歷史背景下產(chǎn)生的，在此意義上甚至可以說數(shù)理邏輯是數(shù)學(xué)領(lǐng)域的應(yīng)用邏輯。另外，各種新興科學(xué)不斷發(fā)展，應(yīng)用邏輯也與之緊密相隨。特別是在新興學(xué)科的理論基礎(chǔ)研究中，應(yīng)用邏輯的研究更是不可或缺的。量子邏輯就是在量子力學(xué)的理論基礎(chǔ)探究中產(chǎn)生的。今天計(jì)算機(jī)科學(xué)、人工智能迅猛發(fā)展，在計(jì)算機(jī)科學(xué)以及人工智能的基礎(chǔ)理論研究中，人們已經(jīng)很難分清應(yīng)用邏輯與計(jì)算機(jī)科學(xué)、人工智能的界限了。

　　二 應(yīng)用邏輯的基本內(nèi)容

　　應(yīng)用邏輯作為一個(gè)古老而充滿活力的學(xué)科，包括極其豐富的內(nèi)容。當(dāng)然不同的學(xué)者對(duì)此同樣沒有、也不可能有一個(gè)統(tǒng)一的觀點(diǎn)。下面我們來看一些比較有代表性的觀點(diǎn)：

　　在1984的《新大英百科全書》中，雷斯徹在1974年的基礎(chǔ)上增加了推理評(píng)價(jià)的內(nèi)容，認(rèn)為應(yīng)用邏輯應(yīng)該包括下述內(nèi)容：

　　

　　在網(wǎng)絡(luò)版《大英百科全書》中欣迪卡認(rèn)為應(yīng)用邏輯包括下述內(nèi)容：

　　

　　J·M·波欽斯基將一般邏輯分為純邏輯和一般應(yīng)用邏輯。他認(rèn)為一般應(yīng)用邏輯包含如下內(nèi)容：

　　一般應(yīng)用邏輯

　　綜合上述學(xué)者的觀點(diǎn)，對(duì)于應(yīng)用邏輯所包含的內(nèi)容可以做廣義的和狹義的兩種理解：

　　(1)廣義理解，對(duì)上述各種觀點(diǎn)取并集，內(nèi)容包括：

　　邏輯符號(hào)學(xué)：語法、語義、語用研究

　　推理評(píng)價(jià)：論證形式研究、各種謬誤研究

　　各種非經(jīng)典邏輯研究

　　特殊學(xué)科領(lǐng)域的推理理論研究，尤其是新興學(xué)科領(lǐng)域的推理理論研究

　　邏輯應(yīng)用研究，特別是邏輯與計(jì)算機(jī)科學(xué)理論、邏輯與人工智能的研究

　　其他相關(guān)研究

　　即純邏輯之外的各種涉及推理問題的理論研究，稱為廣義應(yīng)用邏輯。

　　(2)狹義理解，對(duì)上述各種觀點(diǎn)取交集，內(nèi)容包括：

　　和哲學(xué)概念相關(guān)的推理理論研究，如本體論邏輯、認(rèn)識(shí)論邏輯等；

　　和具體科學(xué)概念相關(guān)的推理理論研究，如量子邏輯、時(shí)態(tài)邏輯等；

　　和實(shí)踐概念相關(guān)的推理理論研究，如規(guī)范邏輯、命令邏輯等。

　　即各種涉及非邏輯內(nèi)容的推理理論研究，稱為狹義應(yīng)用邏輯。

　　三 國內(nèi)應(yīng)用邏輯概貌

　　我國的應(yīng)用邏輯研究起步較晚，國內(nèi)出版的涉及應(yīng)用邏輯的著述主要有十幾部。(15)從內(nèi)容安排上看，基本上可以分成四類：

　　(1)傳統(tǒng)邏輯框架：內(nèi)容主要包括概念、判斷、規(guī)律邏輯、推理、假說和論證等。例如蘇越的《應(yīng)用邏輯學(xué)》、朱武等編著的《司法邏輯學(xué)》、張朝鋒，黃克禮的《辦案應(yīng)用邏輯》、帥宇主編的《應(yīng)用邏輯通論》、南旭耀的《法律應(yīng)用邏輯教程》、周繼祥的《公安應(yīng)用邏輯》等。

　　(2)非經(jīng)典邏輯框架：內(nèi)容主要包括模態(tài)邏輯、多值邏輯、直覺主義邏輯等各種非經(jīng)典邏輯。例如宋文堅(jiān)的《邏輯學(xué)》、李志才的《方法論全書(Ⅱ)應(yīng)用邏輯學(xué)方法》等。

　　(3)邏輯應(yīng)用框架：內(nèi)容主要是探討邏輯在人類交際、知識(shí)生產(chǎn)與傳播中的作用等。例如黃順基等主編的《邏輯與知識(shí)創(chuàng)新》、周禮全主編的《邏輯：正確思維和成功交際》等。

　　(4)其他框架：在內(nèi)容安排上與前面三種都有所不同。例如瞿麥生的《新應(yīng)用邏輯學(xué)》、齊姆賓斯基的《法律應(yīng)用邏輯》、秦豪的《應(yīng)用邏輯與邏輯應(yīng)用》、上海市邏輯學(xué)會(huì)編的《應(yīng)用邏輯與邏輯應(yīng)用》等。

　　國內(nèi)學(xué)者對(duì)于應(yīng)用邏輯的理解，大體可以分為如下幾類：

　　(1)結(jié)合實(shí)際應(yīng)用的傳統(tǒng)形式邏輯：

　　“本書是為刊授大學(xué)編寫的形式邏輯教材。在編寫中參照了中國人民大學(xué)哲學(xué)系邏輯教研室的《形式邏輯教學(xué)大綱》，較系統(tǒng)地介紹了形式邏輯的基本知識(shí)。……在講授邏輯基本知識(shí)的過程中，力求結(jié)合人們?nèi)粘Ｉ�、工作、學(xué)習(xí)中所熟習(xí)的事物，剖析其中的理解道理，也就是理論聯(lián)系實(shí)際，學(xué)以致用�；谏鲜鎏攸c(diǎn)，故名為《應(yīng)用邏輯學(xué)》。”(16)

　　“將形式邏輯學(xué)的原理，應(yīng)用于相應(yīng)的具體科學(xué)，從而建立起具有各具體科學(xué)特色的應(yīng)用邏輯學(xué)，在各自的特定領(lǐng)域，發(fā)揮邏輯特殊的工具作用和指導(dǎo)作用。司法實(shí)踐應(yīng)用邏輯學(xué)，也屬于這一類應(yīng)用邏輯學(xué)，它主要是應(yīng)用形式邏輯的原理，研究和論述司法實(shí)踐過程中各個(gè)環(huán)節(jié)、各個(gè)方面以及這些環(huán)節(jié)、方面中所具體體現(xiàn)的邏輯規(guī)律、邏輯形式與邏輯方法，將形式邏輯原理轉(zhuǎn)化為直接指導(dǎo)司法實(shí)踐的工具。”(17)

　　(2)涉及特定學(xué)科領(lǐng)域的現(xiàn)代邏輯：

　　“應(yīng)用邏輯是使用現(xiàn)代邏輯、主要是邏輯演算的方法于特殊學(xué)科領(lǐng)域，如語言領(lǐng)域，計(jì)算機(jī)科學(xué)領(lǐng)域，討論它們的某些關(guān)系和原則。應(yīng)用邏輯借助于一些特殊的稱做算子或函子的概念，如關(guān)于時(shí)間的算子、關(guān)于評(píng)價(jià)的算子、關(guān)于認(rèn)知斷定的算子等，用這類算子建立基本的定義、基本的命題，以討論這些領(lǐng)域的種種形式方面的原則和關(guān)系。”(18)

　　(3)非經(jīng)典邏輯：

　　宋文堅(jiān)主編的《邏輯學(xué)》有一個(gè)附錄，其標(biāo)題是“應(yīng)用邏輯簡(jiǎn)介”。在附錄的開篇明確指出：“本書的正文部分所講的經(jīng)典邏輯是為了刻畫數(shù)學(xué)中所使用的推理而建立起來的，它所處理的是關(guān)系命題(包括性質(zhì)命題)。其主要內(nèi)容是聯(lián)結(jié)詞和量詞的邏輯性質(zhì)，其主要特點(diǎn)是二值性和外延性。經(jīng)典邏輯是現(xiàn)代邏輯的主流，但它并不是唯一的邏輯理論。實(shí)際上，自從經(jīng)典邏輯建立之初對(duì)它就有各種各樣的批評(píng)，這些批評(píng)導(dǎo)致了各種非經(jīng)典邏輯的誕生。在本附錄中我們選擇非經(jīng)典邏輯中有代表性的幾種做一個(gè)簡(jiǎn)單的介紹。”(19)接著在附錄中就分別介紹了模態(tài)邏輯、時(shí)態(tài)邏輯、直覺主義邏輯、多值邏輯、自由邏輯等幾個(gè)主要類型的非經(jīng)典邏輯。

　　(4)邏輯應(yīng)用方法論：

　　張建軍認(rèn)為：“面向特定領(lǐng)域系統(tǒng)研究邏輯因素在該領(lǐng)域的作用機(jī)理，以及邏輯因素與非邏輯因素的相互作用機(jī)理，即關(guān)于該領(lǐng)域的邏輯應(yīng)用方法論，就是本文所界說的‘應(yīng)用邏輯’”。(20)

　　(5)與純邏輯相對(duì)的應(yīng)用邏輯：

　　“純邏輯制定出一系列完全抽象的機(jī)械性裝置，(例如三段論、公理、推導(dǎo)規(guī)則等)它們只展出論證的結(jié)構(gòu)而不與某一具體領(lǐng)域或?qū)W科掛鉤，是‘通論’性的�；蛘哒f，純粹地從理論上闡明邏輯基本理論而不與某一具體問題相聯(lián)系的邏輯演算系統(tǒng)，我們稱之為純邏輯。而應(yīng)用邏輯則是將純邏輯理論應(yīng)用到某一特定主題的具體問題中，從而將這一具體主題與純邏輯理論相結(jié)合形成特殊的邏輯演算系統(tǒng)，它相當(dāng)于邏輯的某一‘分論’。”(21)

　　可以看出，我國學(xué)者對(duì)于應(yīng)用邏輯的理解總體上與國際邏輯學(xué)界相一致，但是也呈現(xiàn)出一些鮮明特色。

　　四 應(yīng)用邏輯研究展望

　　1.應(yīng)用邏輯研究的前景

　　自20世紀(jì)80年代始，美國國家科學(xué)基金的徹尼沃斯基(J. C. Cherniavski)聯(lián)合康奈爾大學(xué)的康斯塔布爾(R. Constable)和帕拉特克(R. Platek)、賓夕法尼亞大學(xué)的加略爾(J. Gallier)以及卡內(nèi)基梅隆大學(xué)的斯塔特曼(R. Statman)等人編輯出版了“計(jì)算機(jī)科學(xué)與應(yīng)用邏輯進(jìn)展”叢書，專注于邏輯學(xué)家和計(jì)算機(jī)科學(xué)家都感興趣的科技著作，特別重視應(yīng)用計(jì)算機(jī)科學(xué)之于數(shù)理邏輯、應(yīng)用數(shù)理邏輯之于計(jì)算機(jī)科學(xué)以及計(jì)算機(jī)科學(xué)基礎(chǔ)。該系列(先前稱為“計(jì)算機(jī)科學(xué)進(jìn)展”)出版了上述領(lǐng)域的研究專著、研究生教材、研討會(huì)和專題講稿中的精彩報(bào)告以及重要會(huì)議的會(huì)議錄。(22)2009年出版的第25卷《數(shù)學(xué)邏輯：信息科學(xué)的基礎(chǔ)》(Mathematical Logic：Foundations for Information Science)(23)的作者是我國著名學(xué)者李未院士。

　　另外一個(gè)必須提及的事件是，《哲學(xué)邏輯手冊(cè)》的主編之一加貝(Gabbay D. M)在20世紀(jì)90年代參與編寫了一套“應(yīng)用邏輯叢書”(Applied Logic Series)。他們?cè)谠搮矔慕榻B中指出：“邏輯日益被應(yīng)用于更為廣泛的學(xué)科領(lǐng)域，從傳統(tǒng)的哲學(xué)和數(shù)學(xué)到近來的認(rèn)知科學(xué)、計(jì)算機(jī)科學(xué)、人工智能、語言學(xué)，從而激發(fā)了這一古老學(xué)科的新活力。通過這套應(yīng)用邏輯叢書，施普林格出版社旨在為應(yīng)用邏輯的優(yōu)秀書籍和研究專著提供一個(gè)園地，并以此彰顯邏輯的內(nèi)在一致及其適應(yīng)性。”(24)目前，這套叢書發(fā)展迅速，已經(jīng)編輯出版了36卷，涉及的學(xué)科領(lǐng)域非常廣泛。

　　尤其令人振奮的是，加貝(Dov Gabbay)、崗察諾夫(Sergei S. Goncharov)和扎哈里亞契夫(Michael Zakharyaschev)在2006、2007年組織了世界上著名的17位邏輯學(xué)家編寫了兩卷本的《應(yīng)用邏輯的數(shù)學(xué)問題：21世紀(jì)的邏輯》。(25)全書圍繞“邏輯學(xué)中最重要、最突出、最緊迫的問題是什么”這一主題而展開，提出了很多既雄心勃勃又發(fā)人深思的研究課題。這些引人入勝的研究課題為應(yīng)用邏輯的發(fā)展指明了方向。(26)由此書的標(biāo)題我們不難看出應(yīng)用邏輯在21世紀(jì)激動(dòng)人心的宏偉前景。

　　2.采取兩種態(tài)度：學(xué)科發(fā)展的態(tài)度和專業(yè)研究的態(tài)度

　　學(xué)科發(fā)展的態(tài)度就是“怎么都行”，就是采取廣義應(yīng)用邏輯的觀點(diǎn)來從事應(yīng)用邏輯學(xué)科建設(shè)，只要是和推理有關(guān)的研究都大力提倡，充分尊重，應(yīng)用邏輯之園百花盛開，總有一朵適合你。專業(yè)研究的態(tài)度就是充分認(rèn)識(shí)應(yīng)用邏輯與邏輯應(yīng)用的異同，采取嚴(yán)謹(jǐn)?shù)膽B(tài)度，進(jìn)行深入的系統(tǒng)的理論研究，采取狹義應(yīng)用邏輯的觀點(diǎn)來進(jìn)行理論創(chuàng)新，構(gòu)建自主創(chuàng)新的具有學(xué)科特色的系統(tǒng)的推理理論。學(xué)科發(fā)展的態(tài)度是寬以待人，專業(yè)研究的態(tài)度是嚴(yán)于律己。

　　3.重視兩類問題：應(yīng)用邏輯的歷史難題和應(yīng)用領(lǐng)域的創(chuàng)新性問題

　　應(yīng)用邏輯的歷史難題指的就是前人在應(yīng)用邏輯研究中所提出的還沒有解決的問題。例如，1900年德國數(shù)學(xué)家希爾伯特在巴黎第二屆國際數(shù)學(xué)家大會(huì)上做了題為“數(shù)學(xué)問題”的著名演講，其中對(duì)各類數(shù)學(xué)問題的意義、源泉以及研究方法發(fā)表了精辟的見解。特別值得關(guān)注的是希爾伯特在這次會(huì)議上提出了23個(gè)著名的數(shù)學(xué)問題，這些問題對(duì)20世紀(jì)的數(shù)學(xué)發(fā)展起到了極大的推動(dòng)作用。希爾伯特23個(gè)數(shù)學(xué)問題中的第六個(gè)問題是物理學(xué)的公理化問題，這就是一個(gè)典型的尚待解決的應(yīng)用邏輯問題。

　　應(yīng)用領(lǐng)域的創(chuàng)新性問題指的就是各門具體科學(xué)發(fā)展新階段或者新興具體科學(xué)中的推理理論問題。例如：

　　物理學(xué)領(lǐng)域：統(tǒng)一場(chǎng)論邏輯、超弦邏輯等；

　　計(jì)算機(jī)領(lǐng)域：互聯(lián)網(wǎng)邏輯、人機(jī)邏輯、云計(jì)算邏輯等；

　　生物學(xué)領(lǐng)域：異形邏輯、特種生物邏輯等；

　　社會(huì)學(xué)領(lǐng)域：跨域文明對(duì)話邏輯、群體智能生成邏輯等；

　　宗教學(xué)領(lǐng)域：周易邏輯、道家邏輯(陰陽五行邏輯)、佛教邏輯等。

　　我們要抓住應(yīng)用邏輯飛速發(fā)展的契機(jī)，積極開展各門具體科學(xué)中的應(yīng)用邏輯研究，特別是新興學(xué)科的應(yīng)用邏輯研究，實(shí)現(xiàn)我國的邏輯研究水平的快速提升。

　　注釋：

　�、僦煳洌骸墩�“應(yīng)用邏輯”與“邏輯應(yīng)用”》，《江蘇社會(huì)科學(xué)》1992年第5期。

　�、贜. Rescher, Logic, Applied, The New Encyclopaedia Britannica, Encyclopaedia Britannica, Inc. 1974(11).

　�、跩. Hintikka, Applied Logic, Encyclopaedia Britannica, Retrieved October 03, 2009 http

　�、躧ttpjigpal.oxfordjournals.org.

　�、輍ttp#description.

　�、辢ttpjancl.e-revues.com.

　　⑦h(yuǎn)ttp

　�、郒ansen, Borge, Applied logic, Uppsala Acta Universitatis Upsaliensis, 1996.

　�、岫艊剑骸督�(jīng)典邏輯視野中的弗協(xié)調(diào)邏輯》，《華南師范大學(xué)學(xué)報(bào)》2007年第5期。

　�、舛艊剑骸墩芩歼壿嫛�，《東南大學(xué)學(xué)報(bào)》2007年第9期；杜國平、馬亮：《哲思邏輯的判定問題》，《安徽大學(xué)學(xué)報(bào)》2007年第5期。

　　(11)Du Gp, Wang Hg, Li N, et al., The Completeness and Decidability of Intuitive Implication Logic System, Icnc 2008, Fourth International Conference on Natural Computation, Vol 4, Proceedings, 2008. Wang Hg, Li N, Du Gg., Intuitive Implication Logic System, Fskd, 2009, The 6th International Conference on Fuzzy Systems and Knowledge Discovery, Vol 2, Proceedings, 2009.杜國平：《知識(shí)蘊(yùn)涵時(shí)態(tài)邏輯系統(tǒng)》，《安徽大學(xué)學(xué)報(bào)》2009年第5期。杜國平、李娜、王洪光：《知識(shí)蘊(yùn)涵模態(tài)邏輯系統(tǒng)》，《徐州師范大學(xué)學(xué)報(bào)》2008年第5期。

　　(12)雷彎山：《應(yīng)用邏輯是邏輯應(yīng)用的元邏輯》，《中共福建省委黨校學(xué)報(bào)》2005年第5期。

　　(13)Rescher, Logic, Applied, The New Encyclopaedia Britannica, Encyclopaedia Britannica, Inc. 1984(11).

　　(14)J·M·波欽斯基：《現(xiàn)代邏輯的一般觀念和特征》，章士嶸摘譯，《哲學(xué)譯叢》1983年第2期。

　　(15)蘇越：《應(yīng)用邏輯學(xué)》，山西人民出版社，1984；朱武等編著：《司法應(yīng)用邏輯》，河南人民出版社，1987；齊姆賓斯基：《法律應(yīng)用邏輯》，劉圣恩等譯，群眾出版社，1988；張朝鋒，黃克禮主編：《辦案應(yīng)用邏輯》，南京出版社，1990；張錦文主編：《數(shù)理和應(yīng)用邏輯文集》，北京大學(xué)出版社，1992；秦豪：《應(yīng)用邏輯與邏輯應(yīng)用》，中國文聯(lián)出版社，2004；上海市邏輯學(xué)會(huì)編：《應(yīng)用邏輯與邏輯應(yīng)用》，中國紡織大學(xué)出版社，1996；李志才主編：《方法論全書(Ⅱ)應(yīng)用邏輯學(xué)方法》，南京大學(xué)出版社，1998；宋文堅(jiān)主編：《邏輯學(xué)》，人民出版社，1999；帥宇主編：《應(yīng)用邏輯通論》，江西高校出版社，2001；黃順基、蘇越、黃展驥主編：《邏輯與知識(shí)創(chuàng)新》，中國人民大學(xué)出版社，2002；王建平：《領(lǐng)導(dǎo)應(yīng)用邏輯》，中央黨校出版社，2003；南旭耀主編：《法律應(yīng)用邏輯教程》，陜西人民出版社，2005；周繼祥主編：《公安應(yīng)用邏輯》，中國人民公安大學(xué)出版社，2009。

　　(16)蘇越：《應(yīng)用邏輯學(xué)》，山西人民出版社，1984，前言。

　　(17)朱武等：《司法應(yīng)用邏輯》，河南人民出版社，1987，第3頁。

　　(18)宋文堅(jiān)、駱光武、朱武：《應(yīng)用邏輯學(xué)方法概論》，李志才：《方法論全書(Ⅱ)應(yīng)用邏輯學(xué)方法》，南京大學(xué)出版社，1998，第40頁。

　　(19)宋文堅(jiān)：《邏輯學(xué)》，人民出版社，1999，第389頁。

　　(20)張建軍：《當(dāng)代邏輯科學(xué)“應(yīng)用轉(zhuǎn)向”探綱》，《江海學(xué)刊》2006年第7期。

　　(21)胡澤洪：《邏輯：純邏輯與應(yīng)用邏輯——關(guān)于邏輯理論及其應(yīng)用的思考》，《湖南師范大學(xué)社會(huì)科學(xué)學(xué)報(bào)》1991年第1期。

　　(22)http

　　(23)Li W, Mathematical Logic Foundations for Information Science, Springer, 2009.

　　(24)http

　　(25)Gabbay, Goncharov, Zakharyaschev, Mathematical Problems from Applied Logic Ⅰ Logics for the XXIst Century, New York springer, 2006.

　　Gabbay, Goncharov, Zakharyaschev, Mathematical Problems from Applied LogicⅡ Logics for the XXIst Century, New York springer, 2007.

　　(26)夏素敏、文鑫：《21世紀(jì)的邏輯——應(yīng)用邏輯的數(shù)學(xué)問題述評(píng)》，《哲學(xué)動(dòng)態(tài)》2008年第3期。

歡迎關(guān)注悠悠書吧官方空間 +Q286466398
訂閱到郵箱，精彩內(nèi)容不會(huì)錯(cuò)過

推薦內(nèi)容：
[推薦]一生必讀的60本書
紅樓看戲
思辨出民智
中國歷代才女
春節(jié)習(xí)俗(臘月二十三至正月十五)
不可不知的文學(xué)典故【文化百科】
中國第一部字典《康熙字典》在線查閱
文化大餐：《中國文化史知識(shí)叢書》全集100本
百科全書 在線查閱
9部考驗(yàn)智商與膽量的電影 你看懂幾部？
【經(jīng)典收藏】中國古典四大名著完美珍藏版
收集齊了--中國四大名著及其相關(guān)作品大合集
史上最全的健康生活百科知識(shí)

上一篇：中國歷史上神秘的超自然檔案

下一篇：淺議中國古都形成因素

  本文關(guān)鍵詞：科學(xué)哲學(xué)簡(jiǎn)史:從古希臘到維也納學(xué)派，由筆耕文化傳播整理發(fā)布。

本文編號(hào)：158048