本书主要包括：总论、区域概况、生态区创建SWOT分析、生态创建指标解析、生态足迹与生态承载力分析、生态功能区别等内容。
电子书
内容简介
本书的创新之处在于把谓词抽象的思想应用于逻辑和哲学两个领域的研究。在逻辑领域，通过引入谓词抽象这一具体的技术，突破了模态逻辑领域Herbrand 定理研究的难题，从而为模态自动定理证明提供了理论基础。在哲学领域，通过将谓词抽象思想应用于相关哲学问题的研究，延续了哲学研究中的逻辑分析传统。
章节目录
- 封面
- 前折页
- 《华侨大学哲学社会科学文库》编辑委员会
- 书名页
- 发展哲学社会科学 推动文化传承创新
- 内容提要
- Abstract
- 引言
- 第一节 现代模态逻辑的建立及存在的问题
- 第二节 西方哲学研究中的逻辑分析传统
- 第三节 谓词抽象：主题与脉络
- 第一章 谓词抽象的观念与发展历程
- 第一节 一类特殊的日常语言歧义现象及其哲学意义
- 第二节 谓词抽象思想的引入
- 第三节 菲汀与谓词抽象的完善
- 第二章 谓词抽象与模态Herbrand定理
- 第一节 经典Herbrand定理
- 第二节 模态系统K′的Herbrand定理
- 第三章 模态系统K′的Herbrand定理的证明
- 第一节 从右到左方向的证明
- 第二节 加标公式表列系统K′
- 第三节 从左到右方向的证明
- 第四章 模态系统D′、T′、S4′的Herbrand定理及证明
- 第一节 模态系统D′、T′、S4′的Herbrand定理
- 第二节 D′、T′、S4′的Herbrand定理的证明
- 第五章 谓词抽象与同一问题
- 第一节 形上学视阈下的同一问题
- 第二节 逻辑视阈下的同一问题
- 第三节 谓词抽象视阈下的同一问题
- 第六章 谓词抽象与摹状词理论
- 第一节 经典逻辑视阈下的摹状词指称问题
- 第二节 模态逻辑视阈下的摹状词指称问题
- 第三节 谓词抽象视阈下的摹状词指称问题
- 第七章 谓词抽象与葛梯尔问题
- 第一节 葛梯尔问题及传统解答方案
- 第二节 葛梯尔问题的认知逻辑解答方案
- 第三节 谓词抽象视阈下的葛梯尔问题
- 参考文献
- 版权页
- 后折页
- 封底
展开全部
谓词抽象研究是2017年由社会科学文献出版社出版,作者魏燕侠 著。
版权说明：本电子书已获得正版授权，由出版社通过知传链发行。
得书感谢您对《谓词抽象研究》关注和支持，如本书内容有不良信息或侵权等情形的，请联系本网站。
电子书
本书主要包括：总论、区域概况、生态区创建SWOT分析、生态创建指标解析、生态足迹与生态承载力分析、生态功能区别等内容。
电子书
本书收录了《大脚革命，建设美丽三亚——兼论三亚的城市“双修”实践》《三亚“双修”“双城”的认知》《浅析海绵城市建设与中国城市发展转型的关系——以三亚海绵城市建设为例》等文章，反...
电子书
气候变化是人类社会发展中最具挑战性的全球性环境问题。自气候变化问题国际政治化以来，国际社会采取了诸多措施来应对气候变化。欧盟不仅是当今世界主要的温室气体排放体，而且是应对气候变...
电子书
电子书
本书紧紧围绕时下中国生态环境管理中的焦点问题，对美国相应的综合性环境政策、空气污染治理政策、水污染治理政策、土壤污染治理政策进行分析和研究，旨在为我国打好污染防治攻坚战提供参考...
电子书
本书主要探讨了近代基督教、国际法在亚洲的传播及其对各国经济和政治发展、国家转型的重要作用与影响，近代早期越南与日本关系、越南明乡人与地区发展，西班牙对日通商、中英茶叶贸易与澳门...