本书对穆勒的名称理论、命题理论、分类和定义理论、“哲学语言”等语言逻辑思想作了较为全面而系统的研究，其中针对“涵谓”与“指谓”、“系词”、“数学符号语言”等问题的讨论进一步揭示了穆勒语言逻辑思想的丰富性，由此纠正了既有的穆勒语言逻辑思想研究偏向语义学而忽视语形学的倾向，并进而表明穆勒作为传统逻辑学者实际上在十九世纪后期传统逻辑向现代逻辑的转化过程中发挥了积极的作用。通过本书可管窥19世纪西方逻辑、语言、数学、自然科学尤其是博物学之间的密切关系，从而为我国汉语逻辑甚至汉语的研究提供更多可资借鉴的资源。

自然语言逻辑是运用现代逻辑方法研究自然语言的新学科，其开端是蒙太格语法，以后发展出话语表现理论、类型-逻辑语法等理论。本书是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。本书还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。本书在自然语言逻辑的基础上，构造了一个汉语部分语句系统，据此给出汉语多种时态（如进行态，完成态和短暂态等）的严格定义，为全面深入研究汉语的时间结构提供了逻辑基础。

自然语言逻辑是运用现代逻辑方法研究自然语言的新学科，其开端是蒙太格语法，以后发展出话语表现理论、类型-逻辑语法等理论。本书是从技术角度比较详尽地论述了这些理论对自然语言逻辑结构的分析处理。本书还评述了蒙太格语法和话语表现理论所产生的各具特色的逻辑推演系统。本书在自然语言逻辑的基础上，构造了一个汉语部分语句系统，据此给出汉语多种时态（如进行态，完成态和短暂态等）的严格定义，为全面深入研究汉语的时间结构提供了逻辑基础。

蔡曙山，贵阳市人，知识青年（1968—1972，贵州省独山县上司公社），哲学博士（1989-1992，中国社会科学院研究生院，师从著名逻辑学家周礼全先生），美国哈佛大学访问学者（2004—2005）；近年在美国和欧洲多所大学做访问研究。现任清华大学心理学与认知科学研究中心主任。

蔡曙山，贵阳市人，知识青年（1968—1972，贵州省独山县上司公社），哲学博士（1989-1992，中国社会科学院研究生院，师从著名逻辑学家周礼全先生），美国哈佛大学访问学者（2004—2005）；近年在美国和欧洲多所大学做访问研究。现任清华大学心理学与认知科学研究中心主任。

《面向知识表示与推理的自然语言逻辑》以知识表示与推理为应用牵引，以非经典逻辑(包括哲学逻辑和语言逻辑)为理论驱动，针对自然语言的内涵性、模糊性、交互性、形态性和多样性，分别构造了若干自然语言逻辑系统，包括：语境内涵逻辑、模糊量词逻辑、带群体知识的公开宣告逻辑、时态句型逻辑以及汉语灵活语序逻辑和汉语致使句逻辑，对现有的许多逻辑理论成果，如超内涵逻辑、自然逻辑、动态认知逻辑、多模态范畴逻辑和Lambek演算等进行了修正、拓展和改进，为今后的自然语言逻辑研究指明了新的方向。 知识表示与推理研究是探索人类智能的众多途径之一。传统的基于逻辑方法的知识表示与推理主要依赖于经典逻辑。经典逻辑并不是直接为基于自然语言的推理而设计的，而是为基于半人工化数学语言的推理量身定制的。但是，人类的大多数知识是用自然语言而不是用数学语言表达的。这就使得传统的知识表示与推理在应用...(展开全部)

本书的创新， 主要在于以辩证唯物论关于哲学基本问题的原理为基础，提出了比较系统的关于语言和思维的逻辑结构和机制的理论——语言层面和语言阶的理论，作为解析悖论的基本工具， 从而势如破竹地解析了许多困扰人类思维的语言逻辑悖论，特别是困惑人类两千多年的“说谎者悖论”。作者自认为本书在学界已有的研究成果的基础上大大地推进了一步，应当能引起学界的重视和争鸣。

在二战以后出现的社会理论中，德国社会学家尼克拉斯?卢曼创建的社会系统理论无疑具有重要地位。它所蕴含的描写现代社会的能量庞大，正在国际学术界引起越来越多的关注。在近40年的学术生涯中，卢曼建筑了一座思想之楼。这座楼很宏大。这座楼的基础由他在哲学、社会学、法学、政治学、经济学、宗教学等学科已有的一些核心概念的基础上分析、拓展和修正的新概念构成，其主要柱石由他发展出的关于法律、政治、经济、科学、宗教、教育等社会系统的理论塑成，其屋顶则是他的以功能分化为主要观点的社会（系统）理论。 本书是一部比较全面地研究卢曼理论和思想的专著，是作者在十多年的教学和科研工作中探讨卢曼思想的一个阶段性成果。书中首先介绍和分析了卢曼系统理论中的一些核心概念（复杂性、沟通、双重或然性等等），进而探讨了作为其理论基础的差异论的认识论和等值功能主义的方法思想。在探析了卢曼运用其系统理...(展开全部)

在二战以后出现的社会理论中，德国社会学家尼克拉斯?卢曼创建的社会系统理论无疑具有重要地位。它所蕴含的描写现代社会的能量庞大，正在国际学术界引起越来越多的关注。在近40年的学术生涯中，卢曼建筑了一座思想之楼。这座楼很宏大。这座楼的基础由他在哲学、社会学、法学、政治学、经济学、宗教学等学科已有的一些核心概念的基础上分析、拓展和修正的新概念构成，其主要柱石由他发展出的关于法律、政治、经济、科学、宗教、教育等社会系统的理论塑成，其屋顶则是他的以功能分化为主要观点的社会（系统）理论。 本书是一部比较全面地研究卢曼理论和思想的专著，是作者在十多年的教学和科研工作中探讨卢曼思想的一个阶段性成果。书中首先介绍和分析了卢曼系统理论中的一些核心概念（复杂性、沟通、双重或然性等等），进而探讨了作为其理论基础的差异论的认识论和等值功能主义的方法思想。在探析了卢曼运用其系统理...(展开全部)

《语言的逻辑句法》，本书作者卡尔纳普哲学思想的发展，一般说来，有语义、句法、语用三个阶段。在句法这个阶段，他强调把哲学变成科学语言的元语言——即句法。旨在把科学研究的内容与科学的语言形式分别开来。他认为，内容或对象属于具体的自然科学范围，与哲学无关。