图书介绍
蒙太古语法及其应用研究PDF|Epub|txt|kindle电子书版本网盘下载
- 朱水林著 著
- 出版社: 上海:上海社会科学院出版社
- ISBN:9787552006278
- 出版时间:2014
- 标注页数:191页
- 文件大小:62MB
- 文件页数:197页
- 主题词:蒙太古,R.(1930~1971)-逻辑-语法学-研究
PDF下载
下载说明
蒙太古语法及其应用研究PDF格式电子书版下载
下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台)。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用!后期资源热门了。安装了迅雷也可以迅雷进行下载!
(文件页数 要大于 标注页数,上中下等多册电子书除外)
注意:本站所有压缩包均有解压码: 点击下载压缩包解压工具
图书目录
第一章 引论1
第一节 蒙太古语法的涵义1
第二节 蒙太古语法的构架2
第三节 应用4
第二章 两种简单语言的语形和语义16
第一节 自然语言和形式语言16
第二节 两种语言LO和LOE18
第三节 说明28
第三章 一阶逻辑形式语言33
第一节 引言33
第二节 两种语言L1和L1E33
第三节 说明43
第四章 高阶类型论语言45
第一节 引言45
第二节 高阶类型论语言Ltype46
第五章 时态和模态算子61
第一节 时态算子和它们的解释61
第二节 模态逻辑的其他变型:算子□和◇63
第三节 同时含时态和模态算子的语言、坐标语义学64
第六章 蒙太古内涵逻辑68
第一节 可构成性和内涵-外延的区分68
第二节 PTQ内涵逻辑76
第三节 说明80
第七章 PTQ语法84
第一节 引言84
第二节 FE的语形规则和翻译规则94
第三节 说明98
第八章 逻辑学方面的应用129
第一节 引言129
第二节 现代逻辑是逻辑学高度形式化发展的结果131
第三节 蒙太古理论实现了现代逻辑的转向139
第九章 哲学方面的应用147
第一节 数学在现代逻辑中一直处于中心地位147
第二节 一个重要的新趋势151
第三节 弗雷格、塔斯基、卡尔纳普、克里普克的成果152
第十章 语言学方面的应用159
第一节 语言学的定义和地位159
第二节 语言学的沿革161
第三节 应用实例分析166
第十一章 信息科学中的应用173
第一节 机器翻译概述173
第二节 蒙太古语法在机器翻译中的应用实例175
第三节 分析178
附录:蒙太古语法的英-日机器翻译应用实例186
参考文献188