![逻辑语义学研究](https://cover.qianqiantushu.cc/9/s65810d6.jpg)
![逻辑语义学研究](https://cover.qianqiantushu.cc/9/s65810d6.jpg)
逻辑语义学研究PDF电子书下载
- 电子书积分:13 积分如何计算积分?
- 作 者:朱水林主编
- 出 版 社:上海:上海教育出版社
- 出版年份:1992
- ISBN:7532026884
- 页数:368 页
第一章 引言 1
1.1 逻辑语义学的涵义 1
1.2 沿革 5
1.3 发展 13
1.3.1 关于逻辑学方面的发展 14
1.3.2 关于哲学方面的发展 19
1.3.3 关于语言学方面的发展 24
1.3.4 关于人工智能方面的发展 29
参考文献 34
第二章 弗雷格:逻辑语义学缘起 35
2.1 概述 35
2.2 概念文字及其解释 36
2.2.1 对形式语言的说明 37
2.2.2 对公式推导的解释 39
2.2.3 对演绎系统的解释 40
2.3 意义和所指 41
2.3.1 符号的意义和所指 42
2.3.2 专名的意义和所指 43
2.3.3 句子的意义和所指 44
2.3.4 概念的意义和所指 48
2.4 逻辑研究真 51
2.4.1 什么是真 51
2.4.2 如何研究真 53
2.4.3 为什么要研究真 54
2.5 弗雷格逻辑语义学思想评价 56
2.5.1 关于语形和语义 56
2.5.2 关于意义理论 57
2.5.3 关于专名 58
2.5.4 关于真 59
参考文献 60
第三章 塔斯基的外延语义理论 61
3.1 概述 61
3.2 定义真性概念的目标、要求 66
3.2.1 目标 66
3.2.2 约定T 69
3.2.3 日常语言和人工语言 70
3.2.4 对象语言和元语言 72
3.3 类演算中真句子概念的语义理论 75
3.3.1 类演算语言 76
3.3.2 满足和真性概念 80
3.3.3 结论 85
3.4 评价 88
3.4.1 开创外延逻辑语义学 88
3.4.2 运用分析方法的典型 89
3.4.3 中立主义的真理论 91
3.4.4 朴素的唯物论和辩证法因素 92
参考文献 94
第四章 卡尔纳普的外延内涵方法 95
4.1 卡尔纳普语义学思想的沿革 95
4.1.1 从逻辑语形学到逻辑语义学 96
4.1.2 从外延语义学到内涵语义学 99
4.1.3 引进内涵的必要性 102
4.2 外延内涵方法 107
4.2.1 真和L-真 110
4.2.2 语言表达式的双重意义——外延和内涵 116
4.2.3 各种语境中的可互换性 119
4.2.4 内涵同构 122
4.3 三个理论问题 127
4.3.1 对于内涵的成功的形式刻画 128
4.3.2 分析性定义的改进 133
4.3.3 内涵与内涵结构 138
参考文献 142
5.1 概述 144
第五章 克里普克的可能世界语义学 144
5.2 可能世界语义学 148
5.2.1 基本思想 148
5.2.2 叠置模态和特征公理的语义分析 151
5.2.3 模型结构和模型 154
5.2.4 克里普克语义图 156
5.2.5 模态谓词逻辑语义学 163
5.3 讨论 172
5.3.1 克里普克的名字理论 172
5.3.2 关于可能世界语义学的一些哲学问题 183
参考文献 190
第六章 蒙太古语法 191
6.1 概述 191
6.1.1 内涵和外延 192
6.1.2 内涵逻辑 193
6.1.3 范畴语法 198
6.2 PTQ语法 206
6.2.1 FE的语形学 206
6.2.2 IL的语形学 214
6.2.3 IL的语义学 218
6.2.4 从FE到IL的翻译 225
6.3 结束语 237
参考文献 243
第七章 λ-演算与组合逻辑 245
7.1 概述 246
7.2 λ-演算的语言 248
7.2.1 基本符号 248
7.2.2 自由出现与约束出现,代入 249
7.3 λ-演算的语法 251
7.3.1 归纳与转换 251
7.3.2 Church-Risser定理 252
7.3.3 外延λ-演算 253
7.4 组合逻辑的语法 254
7.4.1 组合逻辑的组成 254
7.4.2 组合逻辑中的抽象运算 255
7.4.3 与λ-演算定理等价的组合逻辑的扩充 256
7.4.4 与外延λ-演算定理等价的组合逻辑的扩充 257
7.5 组合逻辑的语义 258
7.5.1 贴合结构 258
7.5.2 组合代数 260
7.5.3 λ-代数 262
7.6 λ-演算的语义 263
7.6.1 λ-演算的模型的定义 263
7.6.2 λ-演算的项模型 266
7.6.3 λ-演算的代数模型 268
7.6.4 λ-演算的泛函模型 270
7.6.5 λ-演算的连续映射模型 272
7.6.6 Engeler λ-模型 274
7.6.7 外延λ-演算的模型 276
7.6.8 具体的λ-模型 277
参考文献 280
第八章 人工智能涉及的某些语义问题 281
8.1 什么是人工智能 281
8.2 一阶谓词逻辑的知识表示 284
8.2.1 一阶逻辑表示领域知识 285
8.2.2 语义演绎系统 291
8.2.3 子句演绎系统 293
8.2.4 Horn子句演绎系统 299
8.3 prolog语言及其指称语义和操作语义 302
8.3.1 演绎推理的实施机构——prolog语言 302
8.3.2 prolog逻辑程序的指称语义 307
8.3.3 prolog逻辑程序的操作语义 309
8.4 知识表示的其它方法 310
8.5.2 单词的获取 315
8.5 自然语言理解 315
8.5.1 理解的定义 315
8.5.3 句子的结构分析 316
8.5.4 句子的语义分析 324
参考文献 328
第九章 语言学中的逻辑语义研究 329
9.1 概述 329
9.2 库珀与“语言—逻辑—体化科学理论” 338
9.2.1 语言自动装置 340
9.2.2 演绎逻辑与语义、语用 342
9.2.3 归纳逻辑与语义 345
9.3 预设逻辑 346
9.3.1 语义预设 349
9.3.2 超赋值 351
9.3.3 语用预设 353
9.4 结语 356
参考文献 357
〔附录〕逻辑语义学和论证逻辑体系的认识论前提 358
- 《红色旅游的社会效应研究》吴春焕著 2019
- 《汉语词汇知识与习得研究》邢红兵主编 2019
- 《生物质甘油共气化制氢基础研究》赵丽霞 2019
- 《东北民歌文化研究及艺术探析》(中国)杨清波 2019
- 《联吡啶基钌光敏染料的结构与性能的理论研究》李明霞 2019
- 《异质性条件下技术创新最优市场结构研究 以中国高技术产业为例》千慧雄 2019
- 《《国语》和《战国策》词汇比较研究》陈长书著 2017
- 《中国制造业绿色供应链发展研究报告》中国电子信息产业发展研究院 2019
- 《行政保留研究》门中敬著 2019
- 《新课标背景下英语教学理论与教学活动研究》应丽君 2018
- 《培智学校义务教育实验教科书教师教学用书 生活适应 二年级 上》人民教育出版社,课程教材研究所,特殊教育课程教材研究中心编著 2019
- 《习近平总书记教育重要论述讲义》本书编写组 2020
- 《办好人民满意的教育 全国教育满意度调查报告》(中国)中国教育科学研究院 2019
- 《教育学考研应试宝典》徐影主编 2019
- 《语文教育教学实践探索》陈德收 2018
- 《家庭音乐素养教育》刘畅 2018
- 《学前教育学》王换成主编 2019
- 《近代体育游戏教育史料汇编 第1辑 1》王强主编 2016
- 《全国学前教育专业(新课程标准)“十三五”规划教材 简谱手风琴教程 第2版》(中国)杨克勤,王宝庆 2019
- 《现代教育技术》李志河主编 2019