《可能世界的名字》的研究內(nèi)容為哲學邏輯的一個新分支——混合邏輯。混合邏輯是標準模態(tài)邏輯的一個擴張，方式是對其語言進行改變。構成整個混合語言家族的基礎改變是引入一類特殊的符號——名字（nominal），由此可以明顯地指稱克里普克模型中的可能世界或者說個體狀態(tài)。這一研究方向的名稱反映出一個事實：名字既命名了模型中的狀態(tài)，同時又是模態(tài)語言的句子。這一領域肇端于普萊爾在20世紀50年代末關于模態(tài)邏輯與時態(tài)邏輯的工作，但深入、系統(tǒng)的研究直到20世紀90年代才開始。當代混合邏輯是現(xiàn)代模態(tài)邏輯最活躍的分支之一，為經(jīng)典結(jié)論提供了大量的改進。
　　與國際、國內(nèi)同行出版的混合邏輯著作相比，本書主要研究混合邏輯的極小系統(tǒng)方面，集中做了兩個方面的工作。
　　第一，全面介紹和研究混合邏輯在極小系統(tǒng)方面的主要成果。
　　本書在第一、第二章介紹混合邏輯的模態(tài)邏輯發(fā)展背景和時態(tài)邏輯的基本內(nèi)容之后，簡要介紹混合邏輯的基本思想，其主要內(nèi)容是研究混合邏輯在兩個方面所提供的優(yōu)勢。第一方面是混合語言表達力問題，在簡要介紹普通模態(tài)邏輯之后，我們綜述最重要的混合語言、混合邏輯以及它們的譜系；在每種情形中，我們都定義其最弱的邏輯及其完全的公理系統(tǒng)。在這一部分的內(nèi)容之后，我們介紹一階混合邏輯，主要關注混合邏輯的可判定性、復雜性以及關于內(nèi)插性的一些結(jié)果。第二方面是關于混合邏輯證明論的。我們盡量介紹迄今為止混合邏輯所有的演繹系統(tǒng)并描繪出它們最有意思的特征。對混合邏輯證明系統(tǒng)的全景式研究有一個更為廣闊的背景，那就是標記在證明系統(tǒng)中的應用。另外還有一個原因就是，模態(tài)邏輯證明方法的研究仍然是一個備受冷落的領域，而混合邏輯將為這一領域提供突破性進展。
　　第二，解決了混合核證邏輯的極小系統(tǒng)問題。
　　混合邏輯將自己的語義內(nèi)在化，而新近出現(xiàn)的核證邏輯則將各自的證明方法內(nèi)在化，很自然地，把兩種理念組合成一個系統(tǒng)就是一個很有趣的工作，而且具有哲學上的來源，即維特根斯坦在《邏輯哲學論》中的觀點——“在邏輯空間中的諸事實就是世界”。本書介紹并研究這一始于2010年的新方向，為混合的核證邏輯建立起極小系統(tǒng)，從而解決了世界著名邏輯學家梅爾文·菲�。∕elvin Fitting）在2010年提出的這個問題。
　　本書得到了2012年度國家社會科學基金項目“可能世界的名字”（項目編號：12BZX061）的資助（該項目于2015年結(jié)項，鑒定等級為“優(yōu)秀”），并納入了2016年度《國家哲學社會科學成果文庫》出版計劃。
　　本書的第十三章由祝瑞撰寫，其余由劉新文撰寫。在本書的寫作過程中學界很多專家和學者提出過寶貴意見，中國社會科學院哲學研究所科研處高穎女士在文獻收集方面做了大量工作，中國社會科學出版社田文女士和徐平女士為本書的出版提供了大量幫助。
　　特此致謝！