新中国社会科学五十年
作者：编辑、剪辑:中国社会科学院科研局
ISBN：10位［7500427298］13位［9787500427292］
出版社：中国社会科学出版社
出版日期：2000-05
定价：￥35.00元
编辑推荐《新中国社会科学五十年》是总结新中国成立50年社会科学领域所取得的进步的权威之作。新中国成立50年，创建社会主义现代化建设的实践，深刻的社会变革，五彩缤纷的社会生活为人文社会科学的研究和发展提供了丰富的素材，开拓了无比广阔的思维空间。收集、积累这些经验成果，本书作为总结性著作具有极高的参考和使用价值。
作者简介吴大英（1932—）是我国法学界和政治学界的知名学者，20世纪50年代曾在苏联留学，获法学副博士学位。回国后一直在法学和政治学研究岗位上辛勤耕耘，发表了不少研究成果。
目录代序：伟大的时代辉煌的成就
——新中国人文社会科学50年李铁映
总结50年走向新世纪
——在“新中国哲学50年”学术研讨会上的讲话李铁映
新中国成立以来哲学研究事业的回顾和展望陈筠泉
马克思主义研究50年靳辉明
……
书摘1978年，在思想解放、改革开放的形势下，逻辑学界提出了“逻辑现代化”的口号，号召加强对现代逻辑的研究，追赶国际逻辑研究的水平，这是一个富于远见的主张，对我国逻辑学的发展具有重要意义。
现代逻辑的基本理论大致有以下6个方面：1．数理逻辑方面。包括一阶逻辑、高阶逻辑、模型论、证明论、递归论和公理集合论。数理逻辑是现代逻辑的基础，它既是以推理规律为主要研究对象的逻辑科学，又是现代数学的一大分支。2．哲学逻辑方面。这是20世纪50年代以来兴起的一些逻辑分支的群体。它们以数理逻辑特别是一阶逻辑为基础，与传统哲学中的概念、范畴和问题有直接或间接的联系。可分为两大类：一类是在原来经典的一阶逻辑中增加初始概念，成为经典逻辑的扩充系统。例如，模态逻辑中有模态词“必然”、“可能”；时态逻辑中有时态算子“过去”、“未来”；在认知逻辑中有关于“知道”、“相信”的算子；在道义逻辑中有关于“必须”、“允许”、“禁止”的算子。另一类哲学逻辑主要是对通常所说的命题联结词和量词作不同的解释，成为经典逻辑的异释系统。例如，直觉主义逻辑对联结词和量词都作构造性解释；相干逻辑认为蕴涵的前后件应当相干。3．自然语言逻辑。它是在现代逻辑、现代语言学和符号学的基础上形成的一个分支。它不仅关注语言表达认知内容的功能，而且也关注语言表达情感内容的功能；不仅关注语言的表达功能，而且也关注语言的传达和交际功能。4．逻辑与计算机科学的交叉研究。主要有：程序逻辑、逻辑型程序设计语言、变换型程序设计、程序验证、程序综合、形式语义学、计算复杂性理论等领域。5。现代归纳逻辑。它是用数理逻辑、哲学逻辑、概率论和数理统计等工具对归纳推理进行量化、形式化和公理化的研究，并对归纳推理中提出的理论问题进行方法论的研究。6．逻辑哲学。它形成为一门学科是现代逻辑与现代哲学相互作用的结果，它是对逻辑学中一些基本问题的哲学反思，例如，逻辑的范围、逻辑真理的性质、逻辑与其它科学的关系、一些基本逻辑概念的解释问题、意义理论、逻辑悖论、形式化的本质，等等。
近几十年来，国际逻辑界在上述的现代逻辑诸领域都取得了举世瞩目的成果。现代逻辑的各个分支，现在正以飞快的速度向前发展，旧的课题不断得到完满解决，新的逻辑分支，特别是研究具体科学中逻辑问题的应用逻辑又不断涌现。这是一个不可阻挡的发展潮流，在这股潮流之上形成了一个客观的、不断提高的“国际逻辑研究水平”。
……