图书介绍

自由摹状词理论研究2025|PDF|Epub|mobi|kindle电子书版本百度云盘下载

冯艳著著
出版社：北京：人民出版社
ISBN：9787010106625
出版时间：2012
标注页数：211页
文件大小：9MB
文件页数：224页
主题词：摹状词－研究

PDF下载

点此进入-本书在线PDF格式电子书下载【推荐-云解压-方便快捷】直接下载PDF格式图书。移动端-PC端通用
种子下载[BT下载速度快]温馨提示：（请使用BT下载软件FDM进行下载）软件下载地址页直链下载[便捷但速度慢] [在线试读本书] [在线获取解压码]

点击复制MD5值：a03f9070a5a514be6c2117c88bf74240

下载说明

自由摹状词理论研究PDF格式电子书版下载

下载的文件为RAR压缩包。需要使用解压软件进行解压得到PDF格式图书。

点击复制85GB完整离线版磁力链接到迅雷FDM等BT下载工具进行下载详情点击-查看共享计划

建议使用BT下载工具Free Download Manager进行下载,简称FDM(免费,没有广告,支持多平台）。本站资源全部打包为BT种子。所以需要使用专业的BT下载软件进行下载。如BitComet qBittorrent uTorrent等BT下载工具。迅雷目前由于本站不是热门资源。不推荐使用！后期资源热门了。安装了迅雷也可以迅雷进行下载！

（文件页数要大于标注页数，上中下等多册电子书除外）

注意：本站所有压缩包均有解压码： 点击下载压缩包解压工具

图书目录

第一章自由摹状词理论产生之前的几种摹状词理论3

第一节弗雷格的摹状词理论4

第二节罗素的摹状词理论9

第三节希尔伯特-贝奈斯的摹状词理论17

第四节素朴的限定摹状词理论19

第二章自由摹状词理论的逻辑基础——自由逻辑25

第一节自由逻辑概述26

第二节自由逻辑的形式语言？L31

第三节肯定自由逻辑公理系统PFL及其形式语义33

第四节否定自由逻辑公理系统NFL及其形式语义51

第五节中性自由逻辑SFFL59

第六节自由逻辑中的“存在”60

第三章几个肯定的自由摹状词理论71

第一节列奥纳德的存在逻辑LE！72

第二节亨迪卡的自由摹状词理论LH76

第三节拉姆伯特的几个自由摹状词理论83

第四节斯科特的自由摹状词理论Ls92

第五节格兰迪的自由摹状词理论LG100

第六节肯定自由摹状词理论的主要特征109

第七节肯定自由摹状词理论之间的关系112

第四章否定的自由摹状词理论120

第一节博格提出的自由摹状词理论LB120

第二节否定自由摹状词理论LB的主要特征127

第三节否定自由摹状词理论与肯定自由摹状词理论的比较128

第四节自由摹状词理论研究的意义132

第五章一个自由模态的摹状词理论LFMDTK138

第一节形式语言？与公理系统LK139

第二节LK的形式语义148

第三节LK的可靠性证明161

第四节一致集和Henkin集170

第五节力迫模型与LK的完全性证明176

第六节关于理论LK的几点哲学讨论195

参考文献203

后记210