
《语言的逻辑分析--语言学家关注的逻辑问题》的第一版包含了预设逻辑、关于集合名词和非标准量词的逻辑、模糊逻辑这些内容,而在这一版中麦考莱又对其进行了更新与扩充,包括增添了条件句的逻辑的语料、类型理论的语言学运用、古波塔的等值原则的研究,以及用推广量词的方法对限定词的逻辑性质的探讨。
《语言的逻辑分析--语言学家关注的逻辑问题》的作者是J.D.麦考莱。
编辑推荐
这本《语言的逻辑分析--语言学家关注的逻辑问题》是麦考莱对其1981年的重要著作的更新,其中扩充了模型论和λ-演算的相关篇幅。对句法处理方式进行了提炼,同时扩展了练习和脑筋急转弯的部分。对20世纪末的语言学家而言,第二版是集语义学和语用学的多用途的必备工具书;对于非专业的逻辑爱好者,本书则是一本教科书;而对于行家来说,本书也是一本参考书。 作者简介
作者:(美)J.D.麦考莱 译者:王维贤、徐颂列、黄华新 目录
第二版序言
第一版序言
1逻辑的对象
1.1逻辑与“逻辑式”
1.2关于命题的性质
1.3歧义
1.4逻辑与分工
1.5某种句法的先决条件
2谓词逻辑Ⅰ:句法
2.1“形式逻辑系统”的概念
2.2量词、谓词和变项
2.3变项的一致性条件
2.4逻辑学家偏爱的量词
2.5推理规则
3命题逻辑Ⅰ:句法
3.1命题联结词及其形成规则
3.2推理规则
3.3公理、推理规则、意义假设之比较
3.4关于if的进一步讨论
3.5关于联结词的进一步讨论
3.6关于证明的结构
3.7由命题逻辑补充的谓词逻辑
4命题逻辑Ⅱ:语义学
4.1真值表
4.2推理规则如何限制真值?
4.3语言与元语言
4.4不同类型的完全性
4.5附录A:对元语言的进一步讨论
4.6附录B:一个语义完全性证明的概述
5集合论插说
5.1“集合”的概念
5.2集合的运算
5.3有穷集与无穷集
5.4关系与函项
5.5整体
5.6赋值
5.7归纳证明
6谓词逻辑Ⅱ:语义学
6.1谓词逻辑中的真值
6.2带相等的谓词逻辑
6.3空真和域的语用限制
6.4约束和非约束的量词
6.5可满足性和有效性
7谓词逻辑的进一步探讨
7.1对S的语言学证明:Q’S
7.2罗素对the的分析
7.3对象语言中的集合:广义谓词逻辑
7.4其他量词
7.5物质表达式
7.6多元量词
8类别、类型与种类
8.1域的一致性与类别
8.2逻辑类型与入演算
8.3种类与总称命题
8.4收敛(“分枝”)量词
8.5联结词与量词
9语言行为与含义
9.1语言行为与言外之力
9.2会话含义:Grice Saves
9.3约定含义
10预设
10.1预设的种类
10.2语义预设的某些可能情况
10.3超赋值
10.4语用预设
10.5广义的假与狭义的假
10.6话语指称
11模态逻辑
11.1必然的概念
11.2模态命题逻辑的语形学与语义学
11.3模态谓词逻辑
11.4严格蕴涵与相关衍推逻辑
11.5附录:关于可达性关系R的自返性、对称性和传递性定理的逆定理
12可能世界的运用
12.1“建构世界”谓词
12.2时间逻辑
12.3关于证明结构的进一步讨论
13多值逻辑与模糊逻辑
13.1真和假之间的值
13.2模糊谓词逻辑
13.3模糊集合
13.4真实度
13.5真的维数
14内涵逻辑与蒙太格语法
14.1内涵逻辑
14.2蒙太格句法和语义研究的进路
14.3“广义量词”
15条件命题
15.1反事实条件句
15.2直陈条件句
参考文献
符号表
译后记
补记
ISBN | 9787308091329 |
---|---|
出版社 | 浙江大学出版社 |
作者 | J.D.麦考莱 |
尺寸 | 16 |