本书是一部长销不衰的经典教材，出版以来重印达11次之多，并有芬兰语、德语、西班牙语、瑞典语、日语、汉语等多种语言版本。

本书是一本专为语言学家而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言哲学的重要理论问题。

本书适合于语言学和逻辑学及其相关专业的教师和学生以及其他关注语言学和逻辑学的读者使用，是语言学和逻辑学的非常值得推荐的一本优秀的入门教材。

本书是一本专为语言学家而编写的逻辑学教材，涉及经典的命题逻辑和谓词逻辑、模态逻辑、内涵逻辑和范畴语法，还涉及自然语言的逻辑分析方法、自然推理系统、语用分析方法等逻辑方法，最后一章讨论了语言逻辑和语言哲学的重要理论问题。语言学家想要了解语言分析所使用的逻辑理论和方法，有此一卷足矣!

本书的特色是将现代逻辑的理论和方法应用于对自然语言的分析，包括句法分析、语义分析和语用分析。各章后面附有练习，全书后面附有练习答案。

本书是一部长销不衰的经典教材，出版以来重印达11次之多，并有芬兰语、德语、西班牙语、瑞典语、日语、汉语等多种语言版本。

本书适合于语言学和逻辑学及其相关专业的教师和学生以及其他关注语言学和逻辑学的读者使用，是语言学和逻辑学的非常值得推荐的一本优秀的入门教材。

前言 ／ viii

符号 ／ ix

1 语言学家所使用的逻辑学／1

2 集合论／3

 2．1集合和元素／3

 2．2集合间的关系／5

 2．3集合上的运算／6

 2．4关系和函数／9

3 推理和语句的逻辑分析／15

 3．1推理／15

 3．2逻辑形式／18

 3．3语句和命题／20

 3．4可能世界和命题的真值集／22

 3．5分析语句和综合语句／23

 3．6简单语句和复合语句／24

 3．7逻辑分析的深度／25

4 命题逻辑／26

 4．1联结词／26

 4．2逻辑联结词的意义／30

4．2．1 否定／30

4．2．2合取／32

4．2．3析取／34

4．2．4蕴涵／37

4．2．5等值／40

 4．3如何显示语句成分结构／42

 4．4命题演算的语形和语义／44

 4．5句法／45

 4．6语义／47

 4．7重言式和矛盾式／50

 4．8真值表／50

5 谓词逻辑／58

 5．1逻辑分析的扩展／58

 5．2量词／61

 5．3谓词逻辑句法概要／71

 5．4谓词逻辑的语义学／72

 5．5在所有解释中都真／77

 5．6谓词逻辑语义概要／83

 5．7语义学的一种形式表述／84

 5．8关系的形式属性，／88

5．8．1 自反性，／88

5．8．2对称性／89

5．8．3传递性／89

5．8．4逆／90

5．8．5关系的域和伴域的结构／90

6 推演／／96

 6．1推演系统／96

 6．2日常会话中的推演规则／104

7 模态逻辑／108

 7．1模态算子／108

 7．2严格蕴涵／110

 7．3其他模态／111

 7．4模态逻辑中与辖域和同一性相关的问题／114

7．4．1模糊性／114

7．4．2特异性／116

7．4．3晦暗性／117

7．4．4跨世界的同一性／119

 7．5反事实语句／120

 7．6时态逻辑和参照点／121

8 内涵逻辑和范畴语法／125

 8．1内涵和外延／125

 8．2内涵／127

 8．3弗雷格原则／130

 8．4弗雷格原则和范畴语法／132

 8．5范畴、内涵和类型／136

9 进一步的扩展／148

 9．1二阶谓词逻辑和谓词算子／148

 9．2预设和限定的描述／149

 9．3预设的语用分析／153

 9．4抽象算子(r-算子)／155

10 语言学家所使用的逻辑学?／158

 10．1一般问题／158

 10．2意义的概念／158

 10．3形式语言在自然语言分析中的作用／164

 10．4经典逻辑的限度／168

参考文献／172

练习答案／175

索引／181