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