《国家社科基金后期资助项目·模态与本质：一个逻辑哲学的研究进路 》探究当代模态逻辑获得成熟发展背后的本质主义复兴系列问题，阐述模态背景下专名、自然种类词与本质主义的内在逻辑关系，讨论可能世界语义学基本概念"可能世界"的本体论地位及与之关联的翻版本质主义问题，提议、论证一个秉承亚里士多德主义传统、量化模态逻辑语境下的本质主义方案。
　　《国家社科基金后期资助项目·模态与本质：一个逻辑哲学的研究进路 》填补国内尚无专门探讨模态逻辑哲学著作的空白，试图改善国内的逻辑研究长期游离于主流哲学话语之外的边缘化处境，让逻辑学者了解模态逻辑工作的哲学意义，促使他们进一步深入思考某些技术性结论的哲学后果，能够在语言哲学、形而上学或认识论等背景下，带有一定的哲学视野从事技术化工作，同时也让广大哲学工作者了解当代哲学越来越技术化、专门化的趋势，让他们能够有意识地使用一些常见的模态手段去构筑论证，质疑、审视一些习以为常的哲学预设，促进国内哲学研究在方法论上推陈出新。

　　张力锋，安徽繁昌人。北京大学哲学博士，南京大学哲学博士后。现任江苏警官学院公安管理系副教授，兼任江苏省逻辑学会副秘书长、常务理事，南京大学现代逻辑与逻辑应用研究所兼职研究员。主要研究领域为哲学逻辑与逻辑哲学、当代分析哲学研究。2006年入选江苏省高校“青蓝工程”优秀青年骨干教师培养对象。

前言
一 国内外有关研究的回顾与综述
二 研究模态逻辑哲学问题的重要性
三 本文的内容设置及主要观点

第一章 预备知识：模态逻辑概述
第一节 一些模态逻辑系统
一 模态命题逻辑
二 模态谓词逻辑
第二节 可能世界语义学
一 模态命题逻辑的语义学
二 模态谓词逻辑的语义学

第二章 模态逻辑哲学问题
第一节 经典一阶逻辑原则的失效
一 经典一阶逻辑原则失效问题的产生
二 经典一阶逻辑原则失效问题的分析
第二节 从物模态引发的本质主义哲学纠纷
一 从物模态引发的本质主义哲学纠纷问题的产生
二 量词的替换解释：从物模态纷争的一副良剂？
三 从物模态的不可还原性
第三节 关于可能世界的哲学纷争
一 可能世界哲学问题的产生
二 可能世界哲学问题的分析
第四节 对模态词的几种不同解读及其分析
第五节 应对策略：建设性的本质主义方案

第三章 可能世界理论研究
第一节 极端形态的可能世界学说
一 大卫·刘易斯的模态柏拉图主义
二 语言替代论的可能世界学说
三 对两种极端理论的总结性评判
第二节 一个具有代表性的温和模态实在论体系
一 普兰丁格的温和实在论可能世界观
二 普兰丁格温和模态实在论的理论得失
第三节 一个重构的温和模态实在论方案
一 可能世界学说应具备的可行性理论特征
二 一个新的温和模态实在论纲要

第四章 本质主义和反本质主义之争
第一节 “爱好数学的骑车人悖论”解析：模态语境下的本质
主义正名
一 “爱好数学的骑车人悖论”的结构辨析
二 消解蒯因式悖论的方案
第二节 模态逻辑和本质主义的关系
一 亚里士多德的本质主义
二 亚里士多德本质主义在模态逻辑中的形式表征
三 模态逻辑究竟在何种意义上承诺了本质主义?
第三节 克里普克论类的本质
一 自然种类词与严格性
二 自然种类词与自然种类本质
第四节 普特南论自然种类词
一 自然种类的本质：内部结构
二 范型、索引性和跨世界关系
三 来自世界的贡献：科学实在论立场
四来自社会的贡献：语言分工
第五节 个体本质——“个体起源说”和“个体构造说”
一 个体本质的起源说
二 个体本质的构造说

第五章 捍卫本质主义：一个新的方案及论证
第一节 自然种类词的严格性
一 质疑自然种类词的严格性：一种典型的反对意见
二 不确定性论题探究
三 自然种类词的指称与意义
第二节 自然种类的本质
一 本质主义方法论
二 不同意义上的自然种类
三 本质属性与非本质属性
第三节 个体本质：一条亚里士多德主义路径
一 亚里士多德本质主义原典解读
二 本质与存在
三 个体本质的内部结构加起源说

结语
参考文献
后记