STIT是英文“see to it that”的缩写，可译为“确定、确保”。STIT逻辑是一种主事性（agency）的逻辑，其将主事性刻画为行动者与事件（结果）之间的二元关系，即行动者确保（或者确定）某一事件（结果）出现的这种关系。如果将行动（actions）理解为一种具有主事性的事件（events），那么就可以说主事性将行动从众多事件类别中区分了出来，因此STIT逻辑也被称为一种行动的逻辑。作为一本介绍STIT逻辑的书，本书详述了STIT逻辑中的基础理论及其扩张、STIT逻辑与其他行动理论的互动以及STIT逻辑的应用等问题。

本书是当代悖论研究中针对“说谎者悖论”的富有活力的情境语义学解悖方案的奠基之作。本书提出，由于情境具有部分性，可以被不断地扩充，所以说谎者命题会随着情境的变化而表现出不同的真值，而情境的变化就决定着这里不存在任何悖论。本书所提出的这一解悖方案非常符合直观，具有很高的非特设性，有力地推动了悖论研究的发展，并且在一系列相关研究领域中呈现出广泛的解题功能。

黑格尔是西方哲学的集大成者，而《小逻辑》则是黑格尔对西方两千多年文明的抽象总结，《小逻辑》在某种意义上可以称得上“西方文明的精华”，它几乎穷尽了人类迄今为止的所有思想范畴，可以说是理解黑格尔精神世界的最佳窗口。本书以42篇的规模将《小逻辑》的思想一一道来，从德国古典哲学的历史脉络中呈现黑格尔哲学面貌，往上追溯康德、费希特和谢林，向下论及马克思、恩格斯，力图带领读者进入到黑格尔深邃的精神世界，让传颂已久的黑格尔思想重新鲜活起来。

稳定匹配问题一直是数学、运筹学、经济学和社会学等领域研究的热点问题。稳定匹配问题通常以矩阵形式出现，因此多以组合数学的方法进行计算，比较依赖数组的顺序特性，适合求解性别优先的单个稳定匹配结果。图论也是求解稳定匹配较常用的理论之一，主要从稳定匹配问题的结构着手，通过求解符合某些特点的二分图来计算稳定匹配结果。《基于抽象论辩理论的稳定匹配问题研究》包含“论辩理论”“稳定匹配问题的论辩框架”“稳定匹配问题的论辩语义计算”等内容。

本书精选了从柏拉图到赫斯特豪斯等的伦理学经典之作共25篇，涵盖了西方伦理学史的各个时段，导读材料均属于各时段最有代表性的人物及其代表作，并节选其中最能代表原著核心思想的部分。各篇导读都秉持以西方原典为基础的原则，以第一手英文文献为依据。导读内容主要包括作者及作品简介、原著节选的翻译或订正、对节选内容的解读与简析，以及对作者及原著思想的简要评述等。本书不仅重点突出，而且以点带面地对西方伦理思想做了原汁原味的介绍和解析。

1903年，摩尔发表《伦理学原理》，宣告了“元伦理学”的诞生。1960年代以来，脱离规范伦理学而妄图独撑伦理学大厦的元伦理学开始走下坡路。元伦理学虽经摩尔、罗素和维特根斯坦等大师半个多世纪的研究，但其根本问题——亦即休谟难题“应该能否从事实产生和推导出来”——至今公认未能破解，以致连何为元伦理学对象都众说纷纭，主流观点竟然认为元伦理学是分析道德语言的科学。本书试图融会贯通古今中外元伦理学成果，通过破解休谟难题而构建元伦理学科学体系，进而解析一直争论不休的一系列元伦理学难题。

感冒应该坐公交车吗？反抗极恶一定是正确的吗？看前女友的照片有错吗？性别歧视比厌恶所有人好吗？相貌不出众者应该受到优待吗？如何正确纪念你的猫？恶人自卫有错吗？本书挑战你审视这些与道德相关的哲学问题。这些独特的经典悖论集合会打破你之前惯有的观念。作者将这些难题代入现代社会，并通过独特的“道德晴雨表”对每个难题进行分析，介绍它们的哲学背景、可能的解决方案和这些解决方案背后的隐含意义。两千年多来，哲学家们一直在构想道德难题。他们这么做并不是异想天开，而是认为解题方式能让我们加深对自己的了解，认真反思这些伦理问题有助于我们洞察自己的道德观，甚至影响我们对现实生活中众多争议的看法。

如何对待中国传统道德，这是一个既有理论意义又有现实意义的重大课题。本书稿就是研究这一课题的学术专著。书稿着重论述19世纪末到20世纪初中国先进知识分子对儒家道德为代表的传统道德的批判和继承。他们批判其为专制政治服务，否定个体独立自主性等内容，同时又弘扬其“仁”“恕”“信”等德性。作者在书稿中充分肯定了近代道德革命的历史意义，同时又指出其不足，强调了反对封建道德任务的艰巨性和必要性，同时还对儒学复兴提出了个人看法。

本书是一部通俗逻辑读本，也是写给初学者的逻辑学入门书。作者康斯坦斯·琼斯是哲学逻辑方面的权威，在本书中，作者以简明的写作形式介绍了逻辑学的基础知识，包括逻辑学中重要的命题、逻辑的定义和范围、命题的要素、分类命题、一般推理、直接推理、无条件间接推论、谬误、诱导、推论、逻辑学的原则和范畴等。 值得一提的是，索引前有一组问题集，它们主要取自剑桥大学发布的试卷，少数取自牛津或伦敦的试卷，感兴趣的读者可以在阅读完本书后，自测对逻辑学的理解程度。

本书以组合范畴语法为核心，从逻辑、语言和计算三个不同的视角，以交叉学科的方式对组合范畴语法进行了研究。从逻辑本身，本书追溯了组合范畴语法的逻辑源流，给出了组合范畴语法的基本理论。从语言的视角，本书以汉语为例，展示了组合范畴语法的丰富表达能力和解释力。从计算的维度，本书详细介绍如何从宾州中文树库算法转换为组合范畴语法树库（CCGbank），揭示了典型汉语中规则应用、规则例和词例的具体情况。最后，本书还给出了组合范畴语法在自然语言信息处理中的一些应用。