模态逻辑之为形而上学

定　　价：198 元

• 作者：(英)蒂莫西·威廉森著
• 出版时间：2025/10/1
• ISBN：9787305288807
• 出 版 社：南京大学出版社

• 中图法分类：B815.1 
• 页码：716页
• 版次：1
• 开本：23cm

内容简介

本书是模态形而上学领域内的一部最新力作，在英美哲学界被誉为自1986年大卫·刘易斯的《论复数的世界》出版以来最重要的模态形而上学著作。本书探讨模态逻辑获得合法性地位后所面临的最主要争议——巴坎公式BF及其逆公式CBF引发的语义学、形而上学方面的广泛争议。作者认为这一争议反映着基底层面的重要形而上学争论，即必然论(necessitism)与偶然论(contingentism)的分歧。通过回顾始自伊本·西拿，历经卡尔纳普、巴坎·马科斯，终至普莱尔的BF及CBF观念演进，作者试图从逻辑思想史视角澄清这两个公式的涵义。进而，作者将BF及CBF所包含的形而上学议题与模态逻辑模型论(即可能世界语义学)联系起来，说明如何将量化模态逻辑系统解读为形而上学理论，以促使模态逻辑模型论应用于形而上学。作为批评靶子的典型，该书详尽地考察、审视一个得到最充分发展的偶然论理论形式——由罗伯特·斯塔尔内克提出的带等词的量化模态逻辑及其两种语义学，从同一性、存在、抽象、现实性、表征意义等多个视角论证斯塔尔内克形式语义学未能为这一版本偶然论提供坚实的基础。随后，作者引介C.I.刘易斯和朗福德模态逻辑的命题量化、巴坎和卡尔纳普的二阶模态逻辑、蒙塔古的内涵逻辑等高阶模态逻辑及其语义解释，希望以此激励哲学家们更多地采用这一款功能强大的工具，后者很适于实现其哲学目标。通过运用高阶模态逻辑，本书认为由于能够提供一个更为充分的高阶模态逻辑理论，必然论优于偶然论。最后，作者探讨了必然论的一些理论后果，如对象的必然性框架、随附性、使真者及偶然、变化、差异等重要模态形而上学话题。