图书介绍
逻辑、语言与意义 第1卷PDF|Epub|txt|kindle电子书版本网盘下载
- （荷）L.T.F.，哈姆特著；满海霞，张璐，邹崇理译 著
- 出版社： 北京：商务印书馆
- ISBN：9787100121286
- 出版时间：2017
- 标注页数：355页
- 文件大小：28MB
- 文件页数：364页
- 主题词：逻辑学；语言学
PDF下载
下载说明
逻辑、语言与意义 第1卷PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！
（文件页数 要大于 标注页数，上中下等多册电子书除外）
注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具
图书目录
前言1
序言3
第1章 绪论7
1.1 证明、有效证明和证明模式7
1.2 逻辑与意义11
1.3 逻辑常项和逻辑系统14
1.4 20世纪之前的逻辑学和语言学17
1.5 20世纪25
1.5.1 逻辑形式vs．语法形式25
1.5.2 日常语言哲学29
1.5.3 语言学与哲学31
1.6 形式语言35
第2章 命题逻辑38
2.1 真值函项联结词38
2.2 联结词与真值表39
2.3 公式48
2.4 函项57
2.5 命题逻辑的语义60
2.6 真值函项72
2.7 并列联结词和从属联结词77
第3章 谓词逻辑84
3.1 原子句84
3.2 量化表达式：量词90
3.3 公式96
3.4 更多量化表达式及其翻译101
3.5 集合109
3.6 谓词逻辑的语义113
3.6.1 解释函项114
3.6.2 替换解释法115
3.6.3 指派解释法121
3.6.4 普遍有效性126
3.6.5 规则130
3.7 等同131
3.8 关系的一些性质139
3.9 函项符号142
第4章 证明和推理145
4.1 证明和证明模式145
4.2 语义推理关系148
4.2.1 语义有效性148
4.2.2 外延性原则155
4.3 自然演绎：推理的句法方法161
4.3.1 引入规则与消去规则161
4.3.2 合取162
4.3.3 蕴涵165
4.3.4 析取169
4.3.5 否定172
4.3.6 量词177
4.3.7 规则184
4.4 可靠性和完全性185
第5章 非经典逻辑194
5.1 引言194
5.2 限定摹状词197
5.3 受限量化：多体谓词逻辑204
5.4 二阶逻辑208
5.5 多值逻辑214
5.5.1 引言214
5.5.2 三值逻辑系统214
5.5.3 三值逻辑及预设的语义概念220
5.5.4 多于三值的逻辑系统226
5.5.5 四值逻辑与预设的语义概念229
5.5.6 多值逻辑在分析预设时的局限性233
5.6 变项消去235
第6章 语用学：意义与使用241
6.1 非真值条件语义241
6.2 逻辑上的合取式和词序243
6.3 使用与合作原则245
6.4 相容析取和不相容析取246
6.5 析取和信息充足适量性248
6.6 会话准则和会话隐涵251
6.7 析取式的会话隐涵255
6.8 蕴涵和信息充足适量性257
6.9 预设和会话隐涵261
6.10 规约隐含、预设和蕴涵式263
第7章 形式句法269
7.1 重写规则的层级269
7.2 语法和自动机272
7.3 关于形式语言的理论274
7.4 自然语言的语法复杂性276
7.5 语法、自动机和逻辑279
练习答案282
参考文献说明333
参考文献336
索引342
译后记353