自由摹状词理论研究

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

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

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