迷惘于繁多的语言学术语?纠结于不知道看哪本语言学的着作?论着期刊多如牛毛，思路混乱，头脑发麻，欲登堂而不知门径?研究选题毫无头绪?来瞧瞧这本书吧，帮你理清思路，一起来讨论语言的基本理论与现实问题：语言从哪里来，将来会怎样，我们的汉语为什么和英语不同，为什么要学英语，为什么要使用汉语拼音，为什么汉语里同音字特别多，为什么会有那么多种汉字的字体，为什么要用计算机研究语言，修辞手法能不能计算，为什么语言研究那么难，为什么语言研究有那么多禁区，为什么语言信息产业如此红火……
本书在语言大数据和人工智能的知识体系下，将语言学和汉语的基本问题，用对话的形式来讨论，步步推进，深入浅出地揭示语言的神奇与奥妙。对语言学、现代汉语、词汇语义学、计算语言学等方向的科研人员、本科生、研究生具有较高参考价值。

该书收集了蒙太古在1960-1970年间发表的一系列文章，这些文章建立了以真值条件、模型论语义学为基础的蒙太古语义学。它致力于把在数理逻辑中发展起来的技巧，应用于自然语言语义学。

This long-awaited book replaces Hughes and Cresswell's two classic studies of modal logic: An Introduction to Modal Logic and A Companion to Modal Logic. A New Introduction to Modal Logic is an entirely new work, completely re-written by the authors. They have incorporated all the new developments that have taken place since 1968 in both modal propositional logic and modal predicate logic, without sacrificing tha clarity of exposition and approachability that were essential features of their earlier works. The book takes readers from the most basic systems of modal propositional logic right up to systems of modal predicate with identity. It covers both technical developments such as completeness and incompleteness, and finite and infinite models, and their philosophical applications, especially in the area of modal predicate logic.

为什么铁路信号系统工作正常时，列车仍然会发生撞车事故？为什么所有操作人员都警觉地坚守着工作岗位，核反应堆依然会发生灾难性的熔化事故？为什么我们制定得甚好的那么多专业和个人计划，会如此频繁地出岔子？
迪特里希·德尔纳，德国最高科学将获得者，在此考虑为什么--假定具备所有的 智能、经验和信息条件--我们却仍然会犯错误，有时甚至引起灾难性的后果。令人惊讶的是，他发现问题的答案不在于疏忽或粗心，而是缘于他所谓的"失败的逻辑"：我们思维模式中的某些倾向--诸如一次只做一件事，因果关系，还有线性思维--它们适合于过去的简单世界，对于我们现在所生活的复杂世界却有着灾难性影响。当今世界，一切事物都是相互关联的。我们不能一次只做一件事情，因为每件事都有多重结果；我们不能用孤立的因果模式考虑问题，因为所有的情况都有副作用和长远影响。
德尔纳给我们找到了不少例子。为什么阿斯旺水坝的规划者们，只想到会给埃及带来廉价用电的好处，却没有意识到他们也将会中断几千年来维持尼罗河谷地肥沃富饶的一年一次的洪水漫灌？为什么第三世界健康计划的规划者们不能认识到提高平均寿命就要求增加食物供应，从而疏忽地终止对饥民的捐助？
德尔纳指出，在未了解一个复杂系统中所有连锁因素之前就采取行动，即使我们怀着善良的意愿，也难免铸成大错。面对我们力不能及的问题，小错误累积起来，最后就会酿成严重的错误结论。过于频繁地忽视问题的大局，却只在我们知道如何做的范围内寻求权宜之计--这只能是杯水车薪无济于事。
德尔纳用他自己编制的引人入胜的计算机模拟程序，揭示了我们思维中的这些缺陷。他的例子--有时是开心的，有时是吓人的--和他那"梳脑"思维实验，使我们认识到应该如何处理复杂问题。这些实例使本书成为一件矫正工具，一种明智的规划和决策指南，使商业经理、决策者以及面临由此及彼日常挑战的每一个人的思维技巧更加敏锐。本书将改变我们构思变化的方法本身，使我们对成功之路的判断能力得到提高。

This book contains updated and substantially revised versions of Angelika Kratzer's classic papers on modals and conditionals, including 'What "must" and "can" must and can mean', 'Partition and Revision', 'The Notional Category of Modality', 'Conditionals', 'An Investigation of the Lumps of Thought', and 'Facts: Particulars or Information Units?'. The book's contents add up to some of the most important work on modals and conditionals in particular and on the semantics-syntax interface more generally. It will be of central interest to linguists and philosophers of language of all theoretical persuasions.

Over 350 ingenious problems involving classical logic: logic is expressed in terms of symbols; syllogisms and the sorites are diagrammed; logic becomes a game played with two diagrams and a set of counters. Two books bound as one.

本书是吉登斯的社会理论纲领，也是吉登斯最重要的理论成果之一。在书中，吉登斯对结构化理论的基本原则进行了提纲契领式的总结，论述了社会结构和个人能动性这两者之间的关系，这也是社会学家们一直想解决的问题。通过对各相关学派思想的批判性总结和创造性论述，吉登斯提出了自己的“结构化理论”：一种建立在结构二重性基础上的理论。本书的主要贡献就在于打破了以往的二元方法论，确立了“结构二重性”理论。一方面，社会结构本身既是由人类的行动建构起来的，因此，它应当受制于人的活动，另一方面，经过人的实践活动建构起来的结构又是行动得以建立起来的桥梁和中介。

《从逻辑的观点看》是W.V.O．蒯因的第一部哲学论著，由九篇论文结集而成。文中提出了一系列具有独创性和挑战性的观点，如关于何物存在的本体论许诺的学说，关于共相（抽象物）问题上唯名论和实在论之争的折中解决方案（概念论），关于经验论“两个教条”（分析命题和综合命题之分与还原论）的批评和整体主义的知识观，关于意义和指称的区别和对“意义”观念的否定，关于数理逻辑的新基础（NF）以及对内涵（模态）逻辑的批评等，都曾引起广泛而热烈的争论，对当代西方哲学的发展产生了重大的影响。

本书共6卷，大致按年代顺序编辑而成。但出于各卷篇幅方面的考试，有时也打破了这种顺序。
第1卷收入两部论著：《威拉德·范·奥曼·蒯因自传》和《数理逻辑》
第2卷收入两部论著：《逻辑方法》和《本体论的相对性及其他论文》
第3卷收入两部论著：《集合论及其逻辑》和《逻辑哲学》
第4卷收入三部论著：《从逻辑的观点看》、《指称之根》以及《语词和对象》
第5卷收入两部论著：《悖论的方式及其他论文》和《信念之网》
第6卷收入四部论著：《理论和事物》、《一些离奇的想法——一部不连贯的哲学辞典》、《真之追求》、《从刺激到科学》
以上6卷收入了蒯因的绝大部分逻辑论著和哲学论著，只有少数论著未收入。

本书是理论计算机科学领域的名作，是计算机科学核心主题的导论性教材。全书分为可计算性、文法与自动机、逻辑学、复杂性及语义学5个部分，分别讲述了可计算性理论、形式语言、逻辑学与自动演绎、可计算复杂性（包括NP完全问题）和编程语言的语义等主题，并展示了它们之间如何相互关联。.
本书是计算机及相关专业高年级本科生和研究生的理想教学参考书，对于计算机领域的专业人士也是很好的技术参考书。

《逻辑、信息和互动》既有关于逻辑数学基础的探索，又有对逻辑应用领域的拓展，适合从事逻辑学研究的学生和教师阅读。也适合从事其他逻辑相关学科专业的学生和教师参阅。“逻辑之门”是当代世界著名的逻辑学家约翰，范本特姆经典著作的中文翻译。丛书收集了他的经典论文和主要专著，其涵盖的主题有：关于信息、进程和智能互动的模态逻辑，自然语言中范畴语法和量词语义的逻辑：逻辑与认识论、科学方法论和博弈论之间的相互影响，等等。丛书展现了现代逻辑作为数学、哲学、语言学、计算机科学、认知科学等学科之间媒介和催化剂的新视角。

本书是哥德尔的权威传记，全面描述了这位逻辑学家和哲学家的工作及生活细节。逻辑学家和科学史家道森对哥德尔的文献和保存下来的信件进行了深入研究。研究表明，哥德尔在数学基础方面的工作从根本上改变了我们对这个领域的看法，并在20世纪激发了许多研究方向。道森还探讨了哥德尔的个性与他的科学成就之间的关系，并阐释了哥德尔的成就对我们现代世界观的影响。

Kurt Godel (1906 - 1978) was the most outstanding logician of the twentieth century, famous for his hallmark works on the completeness of logic, the incompleteness of number theory, and the consistency of the axiom of choice and the continuum hypothesis. He is also noted for his work on constructivity, the decision problem, and the foundations of computability theory, as well as for the strong individuality of his writings on the philosophy of mathematics. He is less well known for his discovery of unusual cosmological models for Einstein's equations, in theory permitting time travel into the past. The Collected Works is a landmark resource that draws together a lifetime of creative thought and accomplishment. The first two volumes were devoted to Godel's publications in full (both in original and translation), and the third volume featured a wide selection of unpublished articles and lecture texts found in Godel's Nachlass. These long-awaited final two volumes contain Godel's correspondence of logical, philosophical, and scientific interest. Volume IV covers A to G, with H to Z in volume V; in addition, Volume V contains a full inventory of Godel's Nachlass. L All volumes include introductory notes that provide extensive explanatory and historical commentary on each body of work, English translations of material originally written in German (some transcribed from the Gabelsberger shorthand), and a complete bibliography of all works cited. Kurt Godel: Collected Works is designed to be useful and accessible to as wide an audience as possible without sacrificing scientific or historical accuracy. The only comprehensive edition of Godel's work available, it will be an essential part of the working library of professionals and students in logic, mathematics, philosophy, history of science, and computer science and all others who wish to be acquainted with one of the great minds of the twentieth century.

First English translation of revolutionary paper (1931) that established that even in elementary parts of arithmetic, there are propositions which cannot be proved or disproved within the system. It is thus uncertain that the basic axioms of arithmetic will not give rise to contradictions. Introduction by R. B. Braithwaite.

《博弈论平话》是由我国知名经济学家王则柯教授写作的一本给中国人的“极简博弈论”读物。
本书简要、生动、准确地介绍了每个非经济学专业人士应该掌握的一些博弈论的知识、概念，更重要的是，告诉我们每个人生活中处处有博弈，无论是家人之间、工作场合、商务往来还是游戏比赛中。
本书适合帮助中学生、大学生还有“门外汉”了解博弈论的若干极简知识。
循着作者娓娓道来的博弈论故事，你不必具有很好的数学基础或掌握系统的经济学知识，就可以初步领会博弈论的真谛，在商业活动和日常生活中做出理性的决策和选择。

A Turing Award-winning computer scientist and statistician shows how understanding causality has revolutionized science and will revolutionize artificial intelligence
“Correlation is not causation.” This mantra, chanted by scientists for more than a century, has led to a virtual prohibition on causal talk. Today, that taboo is dead. The causal revolution, instigated by Judea Pearl and his colleagues, has cut through a century of confusion and established causality–the study of cause and effect–on a firm scientific basis. His work explains how we can know easy things, like whether it was rain or a sprinkler that made a sidewalk wet; and how to answer hard questions, like whether a drug cured an illness. Pearl’s work enables us to know not just whether one thing causes another: it lets us explore the world that is and the worlds that could have been. It shows us the essence of human thought and key to artificial intelligence. Anyone who wants to understand either needs The Book of Why.

皮尔士和詹姆士俩人很少把实用主义看做一套学说，而更多地将其视为一种方法。他们希望，实用主义的意义准则，既能够终结无止无休且毫无意义的论辩，又能够提供处理合法的哲学问题的一种途径。（虽然在它集中关注意义标准这一点上，实用主义与后来的逻辑实证主义有某些相似，但是，与逻辑实证主义不同的是，无论从其意图和实际效果上来说，古典实用主义都不是反形而上学的。）
没有任何一个专题文集，对于像实用主义这样丰富、复杂、充满了竞争的甚至是相互矛盾的观念的哲学学派，能够做到完全公正。但是，作者已经收入了一些篇章，力图反映皮尔士对逻辑学、形而上学和科学哲学的值得注意的贡献；詹姆士对心理学哲学、宗教哲学、形而上学和伦理学的贡献；杜威对政治哲学、教育哲学、认识论和艺术哲学的贡献；以及米德对社会心理学的基础的贡献。——作者希望，这足够反映实用主义的超乎寻常的范围和丰富性。并且，作者在选择现当代实用主义的支持者的作品时，有意选入这样的作品，它们既能够反映较保守的、改良的一翼，又能够反映较端的、革命的一翼。