自由摹状词理论研究

出版时间：2012-4  出版社：冯艳 人民出版社 (2012-04出版)  作者：冯艳  
Tag标签：无  

内容概要

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

作者简介

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

书籍目录

序引  言第一章  自由摹状词理论产生之前的几种摹状词理论  第一节  弗雷格的摹状词理论  第二节  罗素的摹状词理论  第三节  希尔伯特一贝奈斯的摹状词理论  第四节  素朴的限定摹状词理论第二章  自由摹状词理论的逻辑基础——自由逻辑  第一节  自由逻辑概述  第二节  自由逻辑的形式语言&FL  第三节  肯定自由逻辑公理系统PFL及其形式语义  第四节  否定自由逻辑公理系统NFL及其形式语义  第五节  中性自由逻辑SFFL  第六节  自由逻辑中的“存在”  第三章  几个肯定的自由摹状词理论  第一节  列奥纳德的存在逻辑LE1  第二节  亨迪卡的自由摹状词理论LH  第三节  拉姆伯特的几个自由摹状词理论  第四节  斯科特的自由摹状词理论LS  第五节  格兰迪的自由摹状词理论LG  第六节  肯定自由摹状词理论的主要特征  第七节  肯定自由摹状词理论之间的关系第四章  否定的自由摹状词理论  第一节  博格提出的自由摹状词理论LB  第二节  否定自由摹状词理论LB的主要特征  第三节  否定自由摹状词理论与肯定自由摹状词理论的比较  第四节  自由摹状词理论研究的意义第五章  一个自由模态的摹状词理论LFMDTX  第一节  形式语言&K与公理系统LK  第二节  LK的形式语义  第三节  LK的可靠性证明  第四节  一致集和Henkin集  第五节  力迫模型与LK的完全性证明  第六节  关于理论LK的几点哲学讨论参考文献后记

编辑推荐

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