自由摹状词理论研究

图书标准信息

• 作者 冯艳 编
• 出版社 人民出版社
• 出版时间 2012-04
• 版次 1
• ISBN 9787010106625
• 定价 42.00元
• 装帧 平装
• 开本 其他
• 纸张 其他
• 丛书 国家哲学社会科学成果学术文库

【内容简介】

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

【作者简介】

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

【目录】

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