逻辑的社会功能

《逻辑时空》：
倡导理性 恪守逻辑 正确思维

《逻辑时空》丛书的基本定位是大众读物和教学参考书。《逻辑时空》丛书的主要内容是探索和阐释人们社会生活各个领域里的逻辑问题。具体写法是：针对社会生活某个特定领域里的思维实际，突出该领域里很常见的逻辑问题，结合具体的典型的案例进行阐释，介绍相关的逻辑知识。介绍逻辑知识时不求逻辑体系完备，力求突出重点，也就是说在某特定的领域里，有什么突出的逻辑问题，我们就重点写什么。在说明逻辑知识时，为方便读者理解，必要时适当介绍相关的预备知识。
《逻辑时空》丛书也精选了近20年来在靠前产生较大影响的几部逻辑普及读物。这几部读物都请作者做了新的修订。

王习胜，安徽舒城人。逻辑学专业博士，思想政治教育专业博士后。现任安徽省高校人文社会科学重点研究基地安徽师范大学马思主义研究中心研究员，安徽师范大学政法学院教授，皖西学院政法系教授。兼任中国逻辑学会理事、辩证逻辑专业委员会常务委员兼副秘书长，安徽省伦理学会常务理事，南京大学现代逻辑与逻辑应用研究所兼职研究员。
张建军，河北沧州人。现任南京大学逻辑学博士点学科带头人，现代逻辑与逻辑应用研究所所长，哲学系教授、系副主任兼学位委员会副，文科公共基础课首席教授。兼任中国逻辑学会副会长，江苏省逻辑学会会长，教育部马思主义理论研究和建设工程重点教材逻辑学课题组首席专家。1993年被评为“为我国社会科学事业作出突出贡献”专家，获国务院政府特殊津贴。

导言
1．转型社会：呼唤逻辑理性的规约
2．逻辑史话：千锤百炼的理性工具
第一章 失范失序：社会需要“逻辑”
1．激情的悲歌
2．利令智昏
3．法理项背
4．“颠覆”与“恶搞”
5．警世箴言

第二章 演绎求“真”：形式理性的法庭
1．“真理”之假
2．演绎的特质
3．以规则保证
4．预见的方式
5．质疑的工具
6．创新之利器

第三章 归纳求“信”：合理置信的底蕴
1．偏好与臆断
2．归纳与置信
3．直觉与合理
4．信度与确证
5．多数与民主
6．归纳意识与归纳域

第四章 辩证求“和”：条件链上的动态平衡
1．“辩证”溯源
2．辩证要义
3．何以辩证
4．辩证误识
5．悖论与辩证
6．动态的和谐

第五章 逻辑精神：社会理性的内核
1．社会理性的特质及其取向
2．以逻辑分析考辨社会共识
3．以逻辑论证审议民主法治
4．以逻辑素养支撑科技人文
附录
关于开展逻辑社会学研究的构想
真正重视“逻先生”
——简论逻辑学的三重学科性质
从“逻先生”看“德先生”与“赛先生”
——关于逻辑的社会文化功能的对话
逻辑精神与和谐社会的构建
逻辑与宗教对话
关于普通高中实验课程“科学思维常识”
后记(王习胜)
后记(张建军)

    哥德尔的第二项成果，是所谓“哥德尔不接近性定理”。其所证明的是：对于任何足够复杂（其复杂度达到初等数论）的形式系统而言，如果它是相容的（无矛盾的），那么它就必定不是语义接近的。这个结果有一个重要推论（史称“哥德尔第二不接近性定理”）：对于任何足够复杂的形式系统而言，如果它是相容的，那么它的相容性是不可能在该系统之内得到证明的。哥德尔的这个结果在当时学界引起了极大的震动，因为它不仅清楚地揭示了作为公理化方法之优选成就的形式系统方法的局限性，而且否定了希尔伯特提出“证明论”的初始追求：有效证明现有数学系统的相容性，确保悖论不再出现。由于哥德尔的证明严格遵循了“证明论”的要求，是无懈可击的，从此人们只得把希尔伯特的“保证相容性”诉求弱化为“相对相容性”诉求。
    “哥德尔不接近性定理”的证明，也粉碎了为当时已经确立的“公理化集合论系统”提供严格的相容性证明、确保其不再出现悖论的希望。这些公理化集合论系统都是为消除导致所谓“第三次数学危机”的集合论悖论而建立的，它们都因为其复杂性高于初等数论而被哥德尔不接近性定理所统摄。哥德尔定理尽管说明了形式系统方法的局限性，但同时也有力展示了形式系统方法的巨大威力，使得现代逻辑基本研究方法和现代演绎科学方法论得以很终确立。
    上述意义的“证明论”、“模型论”，加上“集合论”和“递归论”，经常被称为“狭义数理逻辑”（有时再加上逻辑演算基础理论），其中“集合论”可视为布尔的“类演算”向无限类研究扩张的结果；递归论则是对“能行可计算”这种“受控推理”的研究（也为哥德尔在证明不接近定理时所创立），是计算机科学和人工智能的直接理论基础之一。在现代学科分类体系中，它们经常被归到“数学基础”研究之下，但它们又都具有一般哲学与方法论价值，属于当代逻辑学与数学学科的交叉研究领域。
    现代演绎逻辑另一个方面的巨大发展，是“哲理逻辑”学科群的兴起。
    由上面的评述可以看出，现代逻辑的创生是在一批数学家的手中完成的，但这些数学家都具有强烈的哲学关怀，许多人本身就是出色的哲学家。
    ……