《邏輯時空》叢書的基本定位是大眾讀物和教學參考書。
《邏輯時空》叢書的主要內容是探索和闡釋人們社會生活各個領域里的邏輯問題。具體寫法是:針對社會生活某個特定領域里的思維實際,突出該領域里最常見的邏輯問題,結合具體的典型的案例進行闡釋,介紹相關的邏輯知識。介紹邏輯知識時不求邏輯體系完備,力求突出重點,也就是說在某特定的領域里,有什么突出的邏輯問題,我們就重點寫什么。在說明邏輯知識時,為方便讀者理解,必要時適當介紹相關的預備知識。
《邏輯時空》叢書也精選了近20年來在國內產生較大影響的幾部邏輯普及讀物。這幾部讀物都請作者做了新的修訂。
2003年4—5月間,首都10多家主流媒體紛紛在顯著位置、以醒目標題報道了10位著名邏輯學家和語言學家發(fā)出的強烈呼吁:社會生活中邏輯混亂和語言失范現象令人擔憂。
《人民日報》(記者蘇顯龍)在要聞版報道說,專家們從不同角度探討了當前社會生活中存在的不重視邏輯、不能正確使用祖國語言的現象,并就如何提高人們的邏輯水平和語言表達能力,提出了富有建設性的意見。
《人民日報》(海外版)(記者劉國昌)教科文衛(wèi)版頭條的大字標題是:《邏輯混亂、語言失范現象亟待改變》。文章說,專家們對社會生活方方面面存在的邏輯混亂、語言失范現象表示擔憂,強烈呼吁進一步凈化邏輯語言環(huán)境,提高人們的思維能力和表達水平。
《光明日報》(記者李瑞英)在理論版顯著位置指出,邏輯是人類長期思維經驗的總結,是正確思維與成功交際的理論與工具,它以特有的性質和功能服務于社會,對提高人的基本素質、培育人的理性和科學精神都有重要作用。專家呼吁人們要學習邏輯知識,自覺培養(yǎng)邏輯思維習慣,學會邏輯分析方法。
《中國教育報》(記者潘國霖)以《呼喚全社會關注邏輯、語言》的大字標題,用2/3版面刊登了專家們發(fā)言詳細摘要。編者特別在按語里提示說,專家們重申邏輯與語言的社會功能和作用,從政治、經濟、文化等不同角度闡述了學習、推廣邏輯科學的現實意義,對于我們做好教育教學工作具有一定的幫助。
《法制日報》(通訊員梅淑娥)以《邏輯性是立法與司法公正性的內在要求》為題強調指出,我國在立法和司法領域里發(fā)生問題的重要原因之一,是我們的某些立法司法人員沒有邏輯意識,缺乏邏輯素養(yǎng)和邏輯思維能力。
《工人日報》(記者王金海)在《新聞觀察》欄目里刊出通欄標題:《讓邏輯學從“象牙塔”中走出來》。文章提要說:“我們今天正面臨著某種程度的邏輯混亂、語言失范的危險,而大多數人對此還根本沒有意識到!蔽恼抡f,邏輯學不是少數專家們研究的學問,它同每個人的生活和切身利益息息相關,要大力提倡邏輯學的大眾化。
《北京日報》(記者戚海燕)在頭版用大字標題《邏輯缺失現象令人擔憂》報道了專家的意見,強調“普及邏輯知識,規(guī)范思維與語言是當務之急”。
王習勝,安徽舒城人。邏輯學專業(yè)博士,思想政治教育專業(yè)博士后。現任安徽省高校人文社會科學重點研究基地安徽師范大學馬克思主義研究中心研究員,安徽師范大學政法學院教授,皖西學院政法系教授。兼任中國邏輯學會理事、辯證邏輯專業(yè)委員會常務委員兼副秘書長,安徽省倫理學會常務理事,南京大學現代邏輯與邏輯應用研究所兼職研究員。
張建軍,河北滄州人,F任南京大學邏輯學博士點學科帶頭人,現代邏輯與邏輯應用研究所所長,哲學系教授、系副主任兼學位委員會副主席,文科公共基礎課首席教授。兼任中國邏輯學會副會長,江蘇省邏輯學會會長,教育部馬克思主義理論研究和建設工程重點教材邏輯學課題組首席專家。1993年被評為“為我國社會科學事業(yè)作出突出貢獻”專家,獲國務院政府特殊津貼。
導言
1.轉型社會:呼喚邏輯理性的規(guī)約
2.邏輯史話:千錘百煉的理性工具
第一章 失范失序:社會需要“邏輯”
1.激情的悲歌
2.利令智昏
3.法理項背
4.“顛覆”與“惡搞”
5.警世箴言
第二章 演繹求“真”:形式理性的法庭
1.“真理”之假
2.演繹的特質
3.以規(guī)則保證
4.預見的方式
5.質疑的工具
6.創(chuàng)新之利器
第三章 歸納求“信”:合理置信的底蘊
1.偏好與臆斷
2.歸納與置信
3.直覺與合理
4.信度與確證
5.多數與民主
6.歸納意識與歸納域
第四章 辯證求“和”:條件鏈上的動態(tài)平衡
1.“辯證”溯源
2.辯證要義
3.何以辯證
4.辯證誤識
5.悖論與辯證
6.動態(tài)的和諧
第五章 邏輯精神:社會理性的內核
1.社會理性的特質及其取向
2.以邏輯分析考辨社會共識
3.以邏輯論證審議民主法治
4.以邏輯素養(yǎng)支撐科技人文
附錄
關于開展邏輯社會學研究的構想
真正重視“邏先生”
——簡論邏輯學的三重學科性質
從“邏先生”看“德先生”與“賽先生”
——關于邏輯的社會文化功能的對話
邏輯精神與和諧社會的構建
邏輯與宗教對話
關于普通高中實驗課程“科學思維常識”
后記(王習勝)
后記(張建軍)
哥德爾的第二項成果,是所謂“哥德爾不完全性定理”。其所證明的是:對于任何足夠復雜(其復雜度達到初等數論)的形式系統(tǒng)而言,如果它是相容的(無矛盾的),那么它就必定不是語義完全的。這個結果有一個重要推論(史稱“哥德爾第二不完全性定理”):對于任何足夠復雜的形式系統(tǒng)而言,如果它是相容的,那么它的相容性是不可能在該系統(tǒng)之內得到證明的。哥德爾的這個結果在當時學界引起了極大的震動,因為它不僅清楚地揭示了作為公理化方法之最高成就的形式系統(tǒng)方法的局限性,而且否定了希爾伯特提出“證明論”的初始追求:徹底證明現有數學系統(tǒng)的相容性,確保悖論不再出現。由于哥德爾的證明嚴格遵循了“證明論”的要求,是無懈可擊的,從此人們只得把希爾伯特的“絕對相容性”訴求弱化為“相對相容性”訴求。
“哥德爾不完全性定理”的證明,也粉碎了為當時已經確立的“公理化集合論系統(tǒng)”提供嚴格的相容性證明、確保其不再出現悖論的希望。這些公理化集合論系統(tǒng)都是為消除導致所謂“第三次數學危機”的集合論悖論而建立的,它們都因為其復雜性高于初等數論而被哥德爾不完全性定理所統(tǒng)攝。哥德爾定理盡管說明了形式系統(tǒng)方法的局限性,但同時也有力展示了形式系統(tǒng)方法的巨大威力,使得現代邏輯基本研究方法和現代演繹科學方法論得以最終確立。
上述意義的“證明論”、“模型論”,加上“集合論”和“遞歸論”,經常被稱為“狹義數理邏輯”(有時再加上邏輯演算基礎理論),其中“集合論”可視為布爾的“類演算”向無限類研究擴張的結果;遞歸論則是對“能行可計算”這種“受控推理”的研究(也為哥德爾在證明不完全定理時所創(chuàng)立),是計算機科學和人工智能的直接理論基礎之一。在現代學科分類體系中,它們經常被歸到“數學基礎”研究之下,但它們又都具有一般哲學與方法論價值,屬于當代邏輯學與數學學科的交叉研究領域。
現代演繹邏輯另一個方面的巨大發(fā)展,是“哲理邏輯”學科群的興起。
由上面的評述可以看出,現代邏輯的創(chuàng)生是在一批數學家的手中完成的,但這些數學家都具有強烈的哲學關懷,許多人本身就是出色的哲學家。
……