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

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

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

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

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

《语言的逻辑句法》是卡尔纳普最重要的哲学著作，它系统阐述了卡尔纳普成熟期的基本哲学思想。该书德文版，出版于1934年，英文版出版于1937年，卡尔纳普在英文版序言中明确地说：“这个英文版包含了一些原始德文版中没有的章节”，此外“我还对有些地方做了补充和更正”，其中有些补充和更正很重要。 所谓语言的逻辑句法指的是对一种语言的语言形式的形式化理论的系统表述，亦即对约束语言的形式化规则以及根据规则所获得的后承的系统表述。逻辑句法的目标是提供一个概念系统，即提供一种语言，这种系统可以精确表述逻辑分析的结果。所以，本书试图提供的是一种以精确的句法方法为形式，解决科学逻辑诸多问题的必要工具。

本书以汉语为研究对象，探讨作为过程语言的汉语如何影响被称作关联性思维的汉民族思维的样式，进而如何影响中国传统逻辑的产生和引申及发展，并在此基础上探讨了中国传统逻辑的特质。本书既有对汉语特征的描述，也有对中国逻辑特质的概括，是汉语和中国传统逻辑交叉研究的深度探索。适合作从事中国逻辑史、语言逻辑、比较文化研究的参考书目。

本书以汉语为研究对象，探讨作为过程语言的汉语如何影响被称作关联性思维的汉民族思维的样式，进而如何影响中国传统逻辑的产生和引申及发展，并在此基础上探讨了中国传统逻辑的特质。本书既有对汉语特征的描述，也有对中国逻辑特质的概括，是汉语和中国传统逻辑交叉研究的深度探索。适合作从事中国逻辑史、语言逻辑、比较文化研究的参考书目。

还愣着干啥，进来做题！ 【游戏+推理+智斗】 逻辑鬼才景川在两年前全身赤裸地被发现在路边的草坪，并失去了此前的全部记忆。 在收留所大放光彩的他被神秘的雇主委托成为代理人，替他参加一个神秘组织的游戏。 “他是天才，绝对的天才！” “输...