《邏輯時(shí)空》叢書(shū)的基本定位是大眾讀物和教學(xué)參考書(shū)。
    《邏輯時(shí)空》叢書(shū)的主要內(nèi)容是探索和闡釋人們社會(huì)生活各個(gè)領(lǐng)域里的邏輯問(wèn)題。具體寫(xiě)法是：針對(duì)社會(huì)生活某個(gè)特定領(lǐng)域里的思維實(shí)際，突出該領(lǐng)域里最常見(jiàn)的邏輯問(wèn)題，結(jié)合具體的典型的案例進(jìn)行闡釋，介紹相關(guān)的邏輯知識(shí)。介紹邏輯知識(shí)時(shí)不求邏輯體系完備，力求突出重點(diǎn)，也就是說(shuō)在某特定的領(lǐng)域里，有什么突出的邏輯問(wèn)題，我們就重點(diǎn)寫(xiě)什么。在說(shuō)明邏輯知識(shí)時(shí)，為方便讀者理解，必要時(shí)適當(dāng)介紹相關(guān)的預(yù)備知識(shí)。
    《邏輯時(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è)性的意見(jiàn)。
    《人民日?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)道了專家的意見(jiàn)，強(qiáng)調(diào)“普及邏輯知識(shí)，規(guī)范思維與語(yǔ)言是當(dāng)務(wù)之急”。

    王習(xí)勝，安徽舒城人。邏輯學(xué)專業(yè)博士，思想政治教育專業(yè)博士后�，F(xiàn)任安徽省高校人文社會(huì)科學(xué)重點(diǎn)研究基地安徽師范大學(xué)馬克思主義研究中心研究員，安徽師范大學(xué)政法學(xué)院教授，皖西學(xué)院政法系教授。兼任中國(guó)邏輯學(xué)會(huì)理事、辯證邏輯專業(yè)委員會(huì)常務(wù)委員兼副秘書(shū)長(zhǎng)，安徽省倫理學(xué)會(huì)常務(wù)理事，南京大學(xué)現(xiàn)代邏輯與邏輯應(yīng)用研究所兼職研究員。
    張建軍，河北滄州人�，F(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ù)見(jiàn)的方式
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)于開(kāi)展邏輯社會(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í)勝）
后記（張建軍）

    哥德?tīng)柕牡诙��?xiàng)成果，是所謂“哥德?tīng)柌煌耆�性定理”。其所證明的是：對(duì)于任何足夠復(fù)雜（其復(fù)雜度達(dá)到初等數(shù)論）的形式系統(tǒng)而言，如果它是相容的（無(wú)矛盾的），那么它就必定不是語(yǔ)義完全的。這個(gè)結(jié)果有一個(gè)重要推論（史稱“哥德?tīng)柕诙�不完全性定理”）：�?duì)于任何足夠復(fù)雜的形式系統(tǒng)而言，如果它是相容的，那么它的相容性是不可能在該系統(tǒng)之內(nèi)得到證明的。哥德?tīng)柕倪@個(gè)結(jié)果在當(dāng)時(shí)學(xué)界引起了極大的震動(dòng)，因?yàn)樗�不僅清楚地揭示了作為公理化方法之最高成就的形式系統(tǒng)方法的局限性，而且否定了希爾伯特提出“證明論”的初始追求：徹底證明現(xiàn)有數(shù)學(xué)系統(tǒng)的相容性，確保悖論不再出現(xiàn)。由于哥德?tīng)柕淖C明嚴(yán)格遵循了“證明論”的要求，是無(wú)懈可擊的，從此人們只得把希爾伯特的“絕對(duì)相容性”訴求弱化為“相對(duì)相容性”訴求。
    “哥德?tīng)柌煌耆�性定理”的證明，也粉碎了為當(dāng)時(shí)已經(jīng)確立的“公理化集合論系統(tǒng)”提供嚴(yán)格的相容性證明、確保其不再出現(xiàn)悖論的希望。這些公理化集合論系統(tǒng)都是為消除導(dǎo)致所謂“第三次數(shù)學(xué)危機(jī)”的集合論悖論而建立的，它們都因?yàn)槠鋸?fù)雜性高于初等數(shù)論而被哥德?tīng)柌煌耆�性定理所統(tǒng)攝。哥德?tīng)柖ɡ肀M管說(shuō)明了形式系統(tǒng)方法的局限性，但同時(shí)也有力展示了形式系統(tǒng)方法的巨大威力，使得現(xiàn)代邏輯基本研究方法和現(xiàn)代演繹科學(xué)方法論得以最終確立。
    上述意義的“證明論”、“模型論”，加上“集合論”和“遞歸論”，經(jīng)常被稱為“狹義數(shù)理邏輯”（有時(shí)再加上邏輯演算基礎(chǔ)理論），其中“集合論”可視為布爾的“類演算”向無(wú)限類研究擴(kuò)張的結(jié)果；遞歸論則是對(duì)“能行可計(jì)算”這種“受控推理”的研究（也為哥德?tīng)栐谧C明不完全定理時(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é)家。
    ……