| 中文版序 前言 符号与标记的约定 第一章 供语言学家用的逻辑学 第二章 集合论 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 其他模态 …… 第八章 内涵逻辑和范畴语法 第九章 进一步的扩展 第十章 有适用于语言学家的逻辑学吗？ 参考书目 习题解答 索引 译者后记 |
内容加载中，请稍后...
商品评论（0条）