本书是一本专为语言学家而编写的逻辑学教材,涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法,还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法,*后一章讨论了语言逻辑和语言哲学的重要理论问题。语言学家想要了解语言分析所使用的逻辑理论和方法,有此一卷足矣!
本书的特色是将现代逻辑的理论和方法应用于对自然语言的分析,包括句法分析、语义分析和语用分析。各章后面附有练习,全书后面附有练习答案。
本书是一部长销不衰的经典教材,出版以来重印达11次之多,并有芬兰语、德语、西班牙语、瑞典语、日语等多种语言版本。
本书适合于语言学和逻辑学及其相关专业的教师和学生以及其他关注语言学和逻辑学的读者使用,是语言学和逻辑学的非常值得**的一本**的人门教材。

**章 供语言学家用的逻辑学
20世纪的大多数语言学家都把语言的结构方面作为他们研究的主要对象。这不但包括通常称之为结构主义者的那些语言学家(如索绪尔(Saussure)、叶尔姆斯列夫(Hjelmslev)、布龙菲尔德(Bloomfield)和布拉格学派),而且包括对语言结构的形式的研究有重要突破的乔姆斯(Chomsky)和生成转换学派。①结构主义在音位学、形态学、语法学等领域有着突出的成就。但当涉及到语言的内容或意义的形式结构的时候,就很少有为大家所公认的进展。许多结构主义者实际上不去理会语言的内容,甚至达到否认语义学是语言学的一部分的程度。
这样,一些既描绘一般的结构又描绘内容的结构的极其引人注目的尝试,就不是出现在狭义的语言学中,而是出现在形式逻辑中。尽管20世纪的逻辑学注意力集中在数理逻辑、数理语言学方面,而普通的日常语言却仍被像弗莱格(Frege)、罗素(Russell)、卡尔纳普(Carnap)、赖辛巴(Reiehenbach)和蒙塔古(Montague)②这样的逻辑学家所分析,虽然还不十分完善。现在语言学家和逻辑学家已开始认真地把逻辑方法应用于自然语言的研究,而且已出现了对语义结构的某些非常有趣的分析。
……

中文版序
前言
符号与标记的约定
**章 供语言学家用的逻辑学
第二章 集合论
2.1 集合和元素
2.2 集合之间的关系
2.3 集合的运算
2.4 关系和函项
第三章 推理和语句的逻辑分析
3.1 推理
3.2 逻辑形式
3.3 语句和命题
3.4 可能世界和命题的真值集
3.5 分析性语句和综合性语句
3.6 简单句和复合句
3.7 逻辑分析的深度
第四章 命题逻辑
4.1 联结词
4.2 逻辑联结词的意义
4.3 如何表示组成成分的结构
4.4 命题演算的语法学(syntax)和语义学
4.5 语法学(syntax)
4.6 语义学
4.7 重言式和矛盾式
4.8 真值表
第五章 谓词逻辑
5.1 逻辑分析的扩展
5.2 量词
5.3 谓词逻辑语法概述
5.4 谓词逻辑的语义学
5.5 在所有解释中都真
5.6 谓词逻辑语义学概述
5.7 语义学的一种形式的表述
5.8 关系的形式的性质
第六章 演绎
6.1 演绎系统
6.2 日常会话中的演绎规则
第七章 模态逻辑
7.1 模态算子
7.2 严格蕴涵
7.3 其他模态
……
第八章 内涵逻辑和范畴语法
第九章 进一步的扩展
第十章 有适用于语言学家的逻辑学吗?
参考书目
习题解答
索引
译者后记