语言是人类真正的遗传密码。我们生活在一个语言编织而成的世界里，每时每刻都会受到我们自己听到、看到和使用的语言的影响，并会被无意中对语言所下的臆断所支配。语言既能让人走到一起，也能让人走向对立；既能促成善行，也能粉饰恶政；既能促进沟通，也能引起争讼。洞悉语言的本质，有助于我们更深刻地认识人性，避免让语言成为控制我们思想的工具，享受语言带给我们的愉悦，获得自由的心境，拥有美好的人生。

"Its publication should be a major event for cognitive linguistics and should pose a major challenge for cognitive science. In addition, it should have repercussions in a variety of disciplines, ranging from anthropology and psychology to epistemology and the philosophy of science. . . . Lakoff asks: What do categories of language and thought reveal about the human mind? Offering both general theory and minute details, Lakoff shows that categories reveal a great deal."--David E. Leary, "American Scientist"

《结构语义学》系作者在法国亨利·普安卡雷学院讲授“结构语义学”的讲稿，1966年初版，成为法国百年来第一部语义学专著。此书提出了一系列符号学方法论新概念，建立了文本的叙事和话语研究，被视为符号学法国学派奠作，也一直是语义研究者的重要参考著作。

This book provides the foundation for understanding the theory and pracitce of compilers. Revised and updated, it reflects the current state of compilation. Every chapter has been completely revised to reflect developments in software engineering, programming languages, and computer architecture that have occurred since 1986, when the last edition published. The authors, recognizing that few readers will ever go on to construct a compiler, retain their focus on the broader set of problems faced in software design and software development. Computer scientists, developers, and aspiring students that want to learn how to build, maintain, and execute a compiler for a major programming language.

This lively book provides a truly comprehensive introduction to current linguistic semantics. Used in introductory and intermediate courses in semantics, it will supply teachers with an easy to use basic text and students with an accessible source of dependable information'. Ronnie Cann, University of Edinburgh. "This is a solid, well-written and very comprehensive textbook that will prove an invaluable resource in introductory semantics classes. The exercises are especially useful and the sections on theoretical approaches represent ideal links to more advanced semantic theory' David Adger, University of York This volume provides an engaging introduction to semantics for readers new to the subject. The book has three sections. Part I is concerned with the place of semantics within linguistics and its relation with the disciplines of philosophy and psychology. Part II introduces central topics in the description of word and sentence meaning. Part III reviews the three main current theoretical approaches to semantics; componential theory, formal semantics and cognitive semantics. The book discusses semantic phenomena from a wide range of languages. Each chapter contains exercises to alow the reader to explore the issues raised, and suggestions for further teadings.

语义外在论是心灵哲学和语言哲学中最受关注也是最困难的主题之一，对我们理解社会制度和物理环境对语言和心灵的影响具有非常重要的意义。本书首先深入介绍了描述主义和指称主义的各种理论版本，尤其是对弗雷格和克里普克的相关理论做了重点的考察，随后讨论了语义外在论在研究索引性思想、认识论的怀疑论、自我知识和心灵因果关系等重大论题中的核心作用，书中对普特南的“孪生地球”论证、伯奇的“关节炎”论证和戴维森的“沼泽人”论证等著名的论证做了精彩的分析。本书内容丰富，介绍和探讨了大量名家关于语义外在论的文献，对该主题的研究提供了一份极其宝贵的“地图”.

《辞书研究丛书：汉语中的日语借词研究》阐释了日语借词概貌、特点与影响，借词的研究所意义。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。
全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。

这是一本有原创性的著作。意义与指称问题是分析哲学乃至整个哲学的一个具有根本重要性的问题，它是哲学领域中其他问题和讨论的概念基础。长期以来，在意义理论中占统治地位的观念，都把指称解释为语言与世界中对象的关系，并据此而把意义与世界联系起来。传统观念在理论上造成一系列困难，不能解决虚构对象的名字等诸多语言现象。本书针对过去流行理论的困难，而提出一种解决方案，它力图重新解释指称概念，并由此而解释意义对指称的直接决定作用。在此方案之下，意义与世界的关系不再是一种直接的概念关系，而是一种发生学的关系。这个分析的结果同时修改了弗雷格关于意义决定指称的理论，从而确定了意义所具有的自主的性质。本书从对当代语言哲学的主流观念的分析入手，提出了对于指称问题，指称与意义的关系问题，分析性概念的性质问题，意义本身的性质问题等一系列基本的主张，这些主张建立在语言相对于世界的自主性质的基础之上。对于意义与指称概念的不同于传统的解释，引出对真理，对语言的历史发生，对语言的社会性等的重新理解。它的直接结果将使哲学中困扰人们多年的否定存在问题等等，有了不同于传统的解释的可能。

本书研究词汇化现象及其规律。词汇化指非词形式在发展过程中变为词的过程。除联绵词和音译词之外的双音词在历史上的产生主要是词汇化的结果。汉语双音词的词汇化主要有三条途径：从短语降格而来；从由语法性成分参与形成的句法结构发展出来；从本来不在同一句法层次上但在线性顺序上紧邻的两个成分所形成的跨层结构中脱胎出来。词汇化的发生要受到句法、语义和语用因素的制约。词汇化是一个连续渐进的过程，不同的形式可能具有不同的词汇化程度。

唐纳德·戴维森是20世纪最重要的哲学家之一。戴维森的哲学论著涉及一系列哲学基本问题；其影响力跨越不同哲学传统。无论是赞成还是反对戴维森(某些)观点的哲学家都一致认为，戴维森思想是激发他们深入进行哲学思考的原动力之一。本卷《真理、意义与方法--戴维森哲学文选》是在《真理、意义、行动与事件--戴维森哲学文选》一书基础上增选9篇文章、重新组织结构并充实有关内容而成。

本书从为什么学习程序设计语言入手，深入细致地讲解了命令式语言的主要结构及其设计与实现，内容涉及变量、数据类型、表达式和赋值语句、控制语句、子程序、数据抽象机制、支持面向对象程序设计（继承和动态方法绑定）、并发和异常处理等方面。最后两章介绍了函数式程序设计语言和逻辑程序设计语言。
本书内容丰富，剖析透彻，被美国和加拿大多所高等院校采用作为教材。本书既可用做高等院校计算机及相关专业本科生程序设计语言课程的教材和参考书，也可供程序设计人员参考。

在科学哲学中运用形式方法的一个根本原因是拥有一个固定的指称框架的可取性，这种指称框架可以被用来组织手头的许多学说。《科学结构的表征与不变性》考察了集合论方法是如何提供这样一种指称框架的，全书内容涵盖了公理化方法、表征、不变性、概率、力学以及语言等问题，同时还包括对关于语词和句子的脑波表征的研究。本书是帕特里克•苏佩斯教授的代表作，是苏佩斯教授数十年研究成果的结晶，是了解科学哲学当前进展的必读作品。

简介：
《自足语义学》是当代知名哲学家赫尔曼·开普兰和厄尼·利珀尔的一部哲学力作。本书对哲学中形形色色的语境论倾向进行了系统而深入的归纳和分析，并根据不同的语境论展开了颇有针对性的批评，在此基础上提出了他们自己的哲学主张，即语义最简论和言语行为多元论
本书很巧妙地辩护了通常视为不相容的两个哲学立场：真值条件语义学和语义最简论。开普兰和利珀尔所提出的充满争议的观点，已经而且还会持续不断地成为探讨语言交流本质的核心论题。
——杰森·斯坦利，密歇根大学
开普兰和利珀尔把语境论争论中的各种脉络整理出来，并在已有的理论流派基础上提出语义最简论，他们的工作卓有成效。
——詹姆斯·希金博特姆，南加州大学
这是一个不多见而又非常复杂的哲学讨论，它意在说明戴维森的理论是如何处理语言使用中所广泛出现的语境敏感性的，很棒的哲学著作。
——保罗·彼得罗斯基，马里兰大学
目　录
主编序………………………………………………………………………………………………
译者的话……………………………………………………………………………………………
作者前言……………………………………………………………………………………………
鸣　谢………………………………………………………………………………………………
第一章　概览…………………………………………………………………………………
第一部分　从温和语境论到激进语境论…………………………………………………………
第二章　诠释：语境论者的方法论…………………………………………………………
第三章　语境转移论证的不稳定性…………………………………………………………
第四章　诊断：为什么语义学家误用语境转移论证………………………………………
第五章　不完全性论证的不稳定性…………………………………………………………
第六章　插曲：约束和隐蔽索引词…………………………………………………………
第二部分　对激进语境论的驳斥…………………………………………………………………
第七章　反驳激进语境论（一）：没有通过语境敏感性测试……………………………
第八章　反驳激进语境论（二）：致使交流无法实现……………………………………
第九章　反驳激进语境论（三）：内在矛盾………………………………………………
第三部分　语义最简论和言语行为多元论………………………………………………………
第十章　语义最简论…………………………………………………………………………
第十一章　语义学与形而上学………………………………………………………………
第十二章　语义学和心理学…………………………………………………………………
第十三章　言语行为多元论…………………………………………………………………
参考文献……………………………………………………………………………………………
索　引………………………………………………………………………………………………

Category theory is a branch of pure mathematics that is becoming an increasingly important tool in theoretical computer science, especially in programming language semantics, domain theory, and concurrency, where it is already a standard language of discourse. Assuming a minimum of mathematical preparation, Basic Category Theory for Computer Scientists provides a straightforward presentation of the basic constructions and terminology of category theory, including limits, functors, natural transformations, adjoints, and cartesian closed categories. Four case studies illustrate applications of category theory to programming language design, semantics, and the solution of recursive domain equations. A brief literature survey offers suggestions for further study in more advanced texts. Benjamin C. Pierce received his doctoral degree from Carnegie Mellon University.Contents : Tutorial. Applications. Further Reading.

In the late 1960s, Berlin and Kay argued that there are commonalities of basic colour term use that extend across languages and cultures, and probably express universal features of perception and cognition. In 1992, at the Asilomar Conference Centre, visual scientists and psychologists met with linguists and anthropologists for the first time to examine how these claims have fared in the light of current knowledge. To what extent can cross-cultural regularities be explained by the operation of the human visual system? What can the study of colour categorisation tell us about concept formation? Are the Berlin-Kay results an artifact of their methods? What tools have been and should be used to probe the structure of human colour categories? In this volume, which arose from that conference but also incorporates new work, a distinguished team of contributors survey key ideas, results and techniques from the study of human colour vision, as well as field methods and theoretical interpretations drawn from linguistic anthropology.

本书的两位作者全面考察了文献中介绍过的词汇化的各种概念，根据当代语法化的研究，她们提出了词汇化和语法化的一个全新的统一模型。她们的方法是用英语历史中的各种个案研究来说明的，包括现在分词、多项动词、副词、话语标记以及来自其他印欧语言中的一些例子。作为首次对词汇化研究各种方法的综述，本书对于研究历史语言学和语言演变的学生和学者来讲，其价值是无法估量的。

《逻辑、语言与意义》是国内外第一部系统全面的逻辑和语言学跨学科的逻辑语法（也叫形式语义学或语言逻辑）教材。由荷兰五位逻辑学、语言学学者合作撰写，并共用“哈姆特”之名出版。
全书分为两卷，第一卷从分析自然语言的需要出发，系统地介绍了现代逻辑的基础部分（古典命题逻辑和谓词逻辑）、现代逻辑的变异部分（多值逻辑），以及进行形式语言学研究所需要的其他知识（语用学和形式文法等内容）。这本书主要有两大特点。一、不同于通常偏重数理逻辑技术基础的逻辑书籍，它以自然语言语义研究为目的，主要介绍有关的思想背景。讲解深入浅出，很适宜语言学系和哲学系的教学用书。二、全书体现出数理逻辑、语言哲学与计算语言学等不同学科内容的互相渗透，精心介绍了相关的核心发展成果，加上丰富的例子，可以作为理论语言学、逻辑学、语言哲学和自然语言的计算机理解等多个领域学者的教学科研参考资料。

Combining up-to-date scholarship with clear and accessible language and helpful exercises, Metaphor: A Practical Introduction is an invaluable resource for all readers interested in metaphor. This second edition includes two new chapters-on 'metaphors in discourse' and 'metaphor and emotion'-along with new exercises, responses to criticism and recent developments in the field, and revised student exercises, tables, and figures.

Language is the most important of all the instruments of civilization. This is the premise of a work whose significance to the study of language, literature, and philosophy has remained undiminished since its original publication in 1923. New Introduction by Umberto Eco; Indices.