自由摹状词理论研究

内容概要

冯艳 女，1975年生，河北省沧州市人。现为首都师范大学文学院副教授，中国逻辑学会应用逻辑专业委员会副秘书长。1998年获河北大学哲学学士学位，2003年获南京大学哲学硕士学位，2006年获北京大学哲学博士学位。主要研究方向：哲学逻辑与逻辑哲学。在《哲学研究》、《哲学动态》等刊物发表学术论文十余篇，出版译著《实在论的多副面孔》(独译)、《当代语言哲学导论》(合译)，任《语言学习：发现与提升》、《语言教学：课程与改革》著作副主编。参加《语义学》、《逻辑学》、《现代汉语》等校级或市级精品课程建设，主持国家社科基金青年项目“自由摹状词理论研究”、教育部人文社会科学规划基金项目“逻辑思维能力与创新型人才培养研究”、首都师范大学教学改革项目“逻辑学教学改革与创新”。

书籍目录

序

引言

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

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

第二节罗素的摹状词理论

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

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

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

第一节自由逻辑概述

第二节自由逻辑的形式语言&FL

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

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

第五节中性自由逻辑SFFL

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

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

第一节列奥纳德的存在逻辑LE1

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

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

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

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

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

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

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

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

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

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

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

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

第一节形式语言&K与公理系统LK

第二节LK的形式语义

第三节LK的可靠性证明

第四节一致集和Henkin集

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

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

参考文献

后记

编辑推荐

冯艳编著的《自由摹状词理论研究》内容介绍：本书是国内外第一部系统地论述自由摹状词理论的专著。本书从自由摹状词理论产生的理论背景、逻辑基础以及该理论的历史发展等方面对其进行系统、全面的研究，史论结合，重点突出；并且在自由逻辑和以往提出的自由摹状词理论的基础上，创造性地提出一个把自由摹状词理论与模态逻辑相结合的新理论，把自由摹状词理论的研究进一步推向深入。本书采用创新性强、难度高的技术手段，证明了新理论的可靠性和完全性，在理论上具有国际前沿性。

作者简介

本书是国内外第一部系统地论述自由摹状词理论的专著。本书从自由摹状词理论产生的理论背景、逻辑基础以及该理论的历史发展等方面对其进行系统、全面的研究，史论结合，重点突出；并且在自由逻辑和以往提出的自由摹状词理论的基础上，创造性地提出一个把自由摹状词理论与模态逻辑相结合的新理论，把自由摹状词理论的研究进一步推向深入。本书采用创新性强、难度高的技术手段，证明了新理论的可靠性和完全性，在理论上具有国际前沿性。

图书封面

---

 自由摹状词理论研究下载

---