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