本書是模態(tài)形而上學(xué)領(lǐng)域內(nèi)的一部最新力作，在英美哲學(xué)界被譽(yù)為自1986年大衛(wèi)·劉易斯的《論復(fù)數(shù)的世界》出版以來最重要的模態(tài)形而上學(xué)著作。本書探討模態(tài)邏輯獲得合法性地位后所面臨的最主要爭議——巴坎公式BF及其逆公式CBF引發(fā)的語義學(xué)、形而上學(xué)方面的廣泛爭議。作者認(rèn)為這一爭議反映著基底層面的重要形而上學(xué)爭論，即必然論(necessitism)與偶然論(contingentism)的分歧。通過回顧始自伊本·西拿，歷經(jīng)卡爾納普、巴坎·馬科斯，終至普萊爾的BF及CBF觀念演進(jìn)，作者試圖從邏輯思想史視角澄清這兩個公式的涵義。進(jìn)而，作者將BF及CBF所包含的形而上學(xué)議題與模態(tài)邏輯模型論(即可能世界語義學(xué))聯(lián)系起來，說明如何將量化模態(tài)邏輯系統(tǒng)解讀為形而上學(xué)理論，以促使模態(tài)邏輯模型論應(yīng)用于形而上學(xué)。作為批評靶子的典型，該書詳盡地考察、審視一個得到最充分發(fā)展的偶然論理論形式——由羅伯特·斯塔爾內(nèi)克提出的帶等詞的量化模態(tài)邏輯及其兩種語義學(xué)，從同一性、存在、抽象、現(xiàn)實(shí)性、表征意義等多個視角論證斯塔爾內(nèi)克形式語義學(xué)未能為這一版本偶然論提供堅(jiān)實(shí)的基礎(chǔ)。隨后，作者引介C.I.劉易斯和朗福德模態(tài)邏輯的命題量化、巴坎和卡爾納普的二階模態(tài)邏輯、蒙塔古的內(nèi)涵邏輯等高階模態(tài)邏輯及其語義解釋，希望以此激勵哲學(xué)家們更多地采用這一款功能強(qiáng)大的工具，后者很適于實(shí)現(xiàn)其哲學(xué)目標(biāo)。通過運(yùn)用高階模態(tài)邏輯，本書認(rèn)為由于能夠提供一個更為充分的高階模態(tài)邏輯理論，必然論優(yōu)于偶然論。最后，作者探討了必然論的一些理論后果，如對象的必然性框架、隨附性、使真者及偶然、變化、差異等重要模態(tài)形而上學(xué)話題。