图书介绍
语言学中的逻辑PDF|Epub|txt|kindle电子书版本网盘下载
- Jens Allwood,Lars-Gunnar Andersson,Osten Dahl著 著
- 出版社: 北京:北京大学出版社
- ISBN:7301111533
- 出版时间:2006
- 标注页数:185页
- 文件大小:8MB
- 文件页数:227页
- 主题词:语言逻辑学-英文
PDF下载
下载说明
语言学中的逻辑PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
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 抽象算子(λ-算子)155
10. 语言学家所使用的逻辑学?158
10.1 一般问题158
10.2 意义的概念158
10.3 形式语言在自然语言分析中的作用164
10.4 经典逻辑的限度168