在目前的文化氛圍下，邏輯學(xué)不是顯學(xué)，在某種意義上已退居邊緣，但邏輯學(xué)界的同仁仍在各自的領(lǐng)域內(nèi)埋頭工作，認(rèn)真鉆研，在2005年取得了不俗的成績(jī)，主要體現(xiàn)在以下方面：

一、與國際邏輯學(xué)界的交往日趨活躍，其研究逐漸與國際學(xué)術(shù)共同體接軌，并有不錯(cuò)的研究成果在國際性學(xué)術(shù)刊物上發(fā)表。例如，中山大學(xué)邏輯與認(rèn)知研究所舉辦了“第四屆（國際）邏輯與認(rèn)知學(xué)術(shù)研討會(huì)”，會(huì)議主題是“從語言哲學(xué)、心智哲學(xué)與邏輯學(xué)及其認(rèn)知基礎(chǔ)的角度分析邏輯學(xué)的基本概念和探討邏輯的哲學(xué)基礎(chǔ)”。鞠實(shí)兒與劉虎在《哲學(xué)邏輯雜志》(Journal of Philosophical Logic,vol:33,2004)上發(fā)表論文，基于國際邏輯學(xué)界對(duì)覺知邏輯研究的前沿成果，合作提出了一種新方法，將二維邏輯引入到覺知邏輯的研究中，由此可以靈活地刻畫各種不同的覺知概念。2004-2005年，趙希順連續(xù)在《計(jì)算機(jī)科學(xué)講演錄》(Lecture Notes in Computer Science,vol.3075,vol.3542,vol.3569,vol.3569)和《數(shù)學(xué)和人工智能年鑒》(Annals of Mathematlcs and Artificial Intelligence,vol.43)上發(fā)表論文，研究量化布爾公式的系列問題，并與德國學(xué)者合作，首次提出量化布爾公式的模型的概念，創(chuàng)立了量化布爾公式的模型理論，建立了模型類與公式類之間的聯(lián)系，分析了模型存在性問題的計(jì)算復(fù)雜性等；提出了子句極小公式，給出了判定這種公式的算法，研究了其復(fù)雜性。張羿從描述集合論的角度對(duì)無限群理論本身進(jìn)行了較為深刻的研究，在發(fā)表無限群理論及力迫理論的基礎(chǔ)上，對(duì)西方著名數(shù)學(xué)家、邏輯學(xué)家西蒙·托馬斯、彼得·紐曼等人提出的關(guān)于極大余有限群與無限置換群共尾數(shù)的排序問題提出了解決方案，將作為2006年世界數(shù)學(xué)家大會(huì)邏輯學(xué)特邀主講，報(bào)告其研究成果。

二、認(rèn)知邏輯已經(jīng)成為國內(nèi)邏輯學(xué)界的一個(gè)研究熱點(diǎn)。蔡曙山撰文指出，有必要建立認(rèn)知邏輯的體系，其中包括哲學(xué)邏輯、語言邏輯、心理邏輯、文化與進(jìn)化的邏輯、人工智能的邏輯、腦與神經(jīng)系統(tǒng)的邏輯等。潘天群在《哲學(xué)研究》和《湖南科技大學(xué)學(xué)報(bào)》上撰文指出，主體的認(rèn)知世界可以劃分為信念世界、懷疑世界和無知世界，其中的元素是認(rèn)知命題。這三個(gè)世界之間是不重疊的，并且它們構(gòu)成一個(gè)認(rèn)知世界全集。一個(gè)認(rèn)知命題是真的，當(dāng)且僅當(dāng)它屬于相應(yīng)的認(rèn)知世界之中。于是，懷疑邏輯、無知邏輯與信念邏輯構(gòu)成三個(gè)相互獨(dú)立的邏輯系統(tǒng)。他構(gòu)建了一個(gè)初步的“懷疑邏輯”系統(tǒng)。李小五、劉壯虎探討了主體認(rèn)知活動(dòng)的邏輯特性和認(rèn)知的整個(gè)過程，刻畫了這個(gè)過程中主體的目的、知識(shí)背景、認(rèn)知活動(dòng)和認(rèn)知結(jié)果之間的關(guān)系，并給出了相應(yīng)的邏輯模型。

三、邏輯哲學(xué)也是國內(nèi)邏輯學(xué)界的一個(gè)研究熱點(diǎn)。陳波撰文指出（《中國社會(huì)科學(xué)》2005年第2期）：演繹推理具有與歸納推理類似的認(rèn)識(shí)論地位，演繹證成將面對(duì)一個(gè)與歸納證成類似的二難困境。對(duì)于證成一個(gè)邏輯系統(tǒng)而言，技術(shù)上的可靠性和完全性只是必要條件，而不是充分條件；還必須考慮它在認(rèn)識(shí)論上是否正確或適當(dāng)?shù)膯栴}，即邏輯系統(tǒng)內(nèi)的形式論論是否充分、適當(dāng)?shù)胤从场⒖坍嬃诉壿嬒到y(tǒng)外的非形式論證。通過其所含邏輯常項(xiàng)的解釋，邏輯系統(tǒng)與關(guān)于日常語言和思維實(shí)踐的經(jīng)驗(yàn)發(fā)生十分間接的聯(lián)系。不存在對(duì)演繹和邏輯系統(tǒng)的絕對(duì)證成，只存在對(duì)它們的相對(duì)證成。邏輯在原則上是可修正的，但讓邏輯不受傷害始終是一個(gè)合理的策略。張建軍撰文論述了開展廣義邏輯悖論研究的必要性與重要性，闡釋了“悖論度”、“悖境”、“悖境度”等新概念及其解題功能，通過對(duì)羅素－策梅羅－哈克解悖標(biāo)準(zhǔn)的研討，表明了強(qiáng)辯證邏輯解悖訴求與弱辯證邏輯解悖訴求的根本差異，揭示了把握廣義邏輯悖論研究的社會(huì)文化功能的基本途徑。

四、批判性思維。上世紀(jì)70年代，美國興起了“批判性思維”運(yùn)動(dòng)，批判性思維開始進(jìn)入西方的大學(xué)課堂，目前已經(jīng)占據(jù)了邏輯教學(xué)的幾乎半壁江山。近幾年，國內(nèi)邏輯學(xué)界日益認(rèn)識(shí)到批判性思維的價(jià)值，著手進(jìn)行這方面的研究工作。2005年，陜西人民出版社出版了由武宏志、劉春杰主編的《批判性思維——以論證邏輯為工具》一書，試圖以論證為中心來建構(gòu)新型的邏輯教學(xué)體系。該教材的特點(diǎn)是：力圖最大限度地接近人們的日常思維，篩選出傳統(tǒng)邏輯的合適內(nèi)容，并大量增加新穎的內(nèi)容；以論證而不是以形式推理為核心；用對(duì)話的視角取代獨(dú)白式的（真值函項(xiàng)的）視角；選用實(shí)際事例作為分析樣本；強(qiáng)調(diào)在語篇而非語段或語句的層次上分析文本。這是國內(nèi)在批判性思維方面的第一本有分量的著作。

五、自然語言邏輯。黃華新、陳宗明的《描述語用學(xué)》一書由吉林人民出版社出版，其主要特色在于：作者努力從認(rèn)知和交際相結(jié)合的角度探討語境、預(yù)設(shè)、辨謬、言語行為、會(huì)話含義、會(huì)話結(jié)構(gòu)、交際圖式等理論的現(xiàn)實(shí)意義和應(yīng)用價(jià)值，力求更好地反映自然語言邏輯應(yīng)用研究的時(shí)代特征；綜合運(yùn)用邏輯學(xué)、符號(hào)學(xué)和語言學(xué)的理論和方法來分析問題，力圖體現(xiàn)語言－邏輯研究的獨(dú)特視角，以便比較準(zhǔn)確地描寫和解釋日常的語用推理現(xiàn)象；盡量從鮮活的漢語語料中提取典型案例，從而使本書在自然語言邏輯與漢語語用分析的結(jié)合上更具特色。夏年喜發(fā)表兩篇論文，探討了與DRS（話語表征結(jié)構(gòu)）、DRT（話語表征理論）、蒙太格語法、自然語言邏輯處理等等相關(guān)的問題。

六、歸納邏輯和法律邏輯研究。熊立文發(fā)表兩篇論文，分別評(píng)述貝葉斯決策理論和信念修正的AGM理論。何向東撰文討論了歸納邏輯與科學(xué)創(chuàng)新的關(guān)系。梁慶寅探討了法律實(shí)踐中論證的作用，研究了基于目的的法律論證的三種類型。熊明輝在《美中法律評(píng)論》和《法律邏輯研究》上撰文，討論了法律論證的邏輯基礎(chǔ)問題，并在非單調(diào)推理基礎(chǔ)上從非形式邏輯和語用論辯術(shù)角度探討了法律論證的邏輯模型。

七、邏輯新銳表現(xiàn)亮眼。邏輯學(xué)界近些年培養(yǎng)的一批博士、碩士，正在各自的崗位上作為一支重要力量迅速崛起。例如，余俊偉的《道義邏輯研究》一書由中國社會(huì)科學(xué)出版社出版，該書詳細(xì)地分析了導(dǎo)致各種道義悖論產(chǎn)生的原因，并以邏輯學(xué)家為消除道義悖論所使用的方法為線索，比較全面地介紹了邏輯學(xué)家所做的相關(guān)工作，其中包括作者本人運(yùn)用弗協(xié)調(diào)邏輯試圖解決道義悖論的研究工作。劉新文在一國際會(huì)議論文集上撰文，為美國邏輯學(xué)家皮爾士存在圖系統(tǒng)的第一部分（Alpha圖）提出了一個(gè)新的邏輯推理系統(tǒng)，并證明了該系統(tǒng)的可靠性和完全性，同時(shí)還提出了一個(gè)機(jī)械的證明程序。存在圖是皮爾士論證其形而上學(xué)理論的邏輯工具，目前被某些計(jì)算機(jī)科學(xué)家作為一種知識(shí)表示模式應(yīng)用于人工智能領(lǐng)域。他還發(fā)表《經(jīng)典一階邏輯的希爾伯特型系統(tǒng)》一文，把張清宇構(gòu)造的經(jīng)典命題邏輯系統(tǒng)推廣到一階邏輯，建立了一個(gè)以廣義析舍與存在量詞為初始符號(hào)的公理系統(tǒng)，并證明了該系統(tǒng)的完全性。

八、邏輯的普及與應(yīng)用。北京大學(xué)出版社今年推出了一套邏輯普及讀物，已經(jīng)出版的有《邏輯與智慧新編》、《笑話、幽默與邏輯》、《古詩詞邏輯趣談》、《點(diǎn)擊思維——生活中的邏輯問題》、《咬文嚼字的邏輯》等，其中有些是舊書新版。張建軍主編了一本教育部統(tǒng)編的中學(xué)教材《科學(xué)思維常識(shí)》，由人民教育出版社出版，內(nèi)容涉及形式邏輯、辯證思維方法、思維創(chuàng)新方法等。這標(biāo)志著邏輯學(xué)重新回到中學(xué)生的課堂。

總起來看，邏輯學(xué)界的整體狀況不盡如人意，其教學(xué)與研究的隊(duì)伍偏小，由于種種復(fù)雜的原因，邏輯教學(xué)規(guī)模在各大學(xué)不斷萎縮；由于邏輯學(xué)的技術(shù)化特點(diǎn)，其研究成果不易發(fā)表，在目前以量化指標(biāo)為主的學(xué)術(shù)評(píng)價(jià)體系之下，邏輯學(xué)工作者經(jīng)常被置于一種尷尬地位；邏輯學(xué)界內(nèi)部也存在觀念更新、能力增強(qiáng)、學(xué)術(shù)寬容氣氛有待形成、相互之間的團(tuán)結(jié)協(xié)作有待加強(qiáng)等問題。特別是，如何把邏輯學(xué)研究與當(dāng)代社會(huì)各方面的實(shí)際需要結(jié)合起來，把邏輯學(xué)的教學(xué)與研究工作做活、做好，更是一個(gè)迫切需要考慮的問題。不過，由于有一批對(duì)學(xué)術(shù)忠誠的教學(xué)研究人員，我們?nèi)杂谐浞值睦碛上嘈?，邏輯學(xué)界在2006年及其以后會(huì)有更出色的表現(xiàn)。