自由摹状词理论研究pdf电子书版本下载

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

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

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

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

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

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

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

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

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

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

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

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

第一节 自由逻辑概述 26

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

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

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

第五节 中性自由逻辑SFFL 59

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

第二节LK的形式语义 148

第三节LK的可靠性证明 161

第四节 一致集和Henkin集 170

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

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

参考文献 203

后记 210