本書內(nèi)容分為三個部分：算術(shù)、真和悖論。第一部分算術(shù)部分主要闡述形式真理論在二十世紀三十年代的成果，包括了哥德爾不完全性定理中與真理論密切相關(guān)的技術(shù)思想和方法，重點闡述了塔斯基不可定義性定理及其相關(guān)的延伸性結(jié)果。這一部分為后續(xù)理論提供了技術(shù)與思想兩方面的準備。第二部分真部分除闡述了塔斯基的語言層次理論之外，主要闡述六十年代直到*近邏輯學家圍繞真與悖論問題而建立起的占主流地位的幾個基本理論，包括克里普克、赫茲伯格、古普塔、貝爾納普、萊特格布等人的理論。這一部分側(cè)重于真在形式語言中的可定義性問題的探究。第三部分悖論部分是筆者自2005年以來在形式真理論領(lǐng)域一系列成果的總結(jié)和發(fā)展。這部分側(cè)重于與真相關(guān)的悖論的可描述性問題的探索?？傮w說來，第一部分是全書的基礎(chǔ)，而第二、三部分則是全書的主體，內(nèi)容上各有側(cè)重。我們希望提供這種構(gòu)架把形式真理論的基本理論與*新成果進行融會貫通，既全面系統(tǒng)地闡述形式真理論的核心理論，又深入研究領(lǐng)域的腹地開拓新問題為形式真理論的發(fā)展指明新的研究課題和研究方向。

　　熊明，1973年生，云南昭通人，先后就讀于北京大學哲學系、中山大學數(shù)學系，獲哲學學士、碩士學位、理學博士學位。麻省理工學院語言學與哲學系訪問學者?，F(xiàn)為華南師范大學政治與行政學院教授、博士生導(dǎo)師。主要研究方向為真理論與數(shù)學基礎(chǔ)，出版專著一部、教材一部，在國內(nèi)國際學術(shù)期刊上發(fā)表論文二十余篇。代表作品有論文“An Intuitionistic Characterization of Classical Logic”（Journal ofPhilosophical Logic，2008）、“Tarski’S Theorem and Liar-like Paradoxes”（Logic Journal o fthe IGPL，2014）和專著《塔斯基定理與真理論悖論》。成果獲金岳霖學術(shù)獎、洪謙哲學獎、廣東省哲學社會科學獎、中國邏輯學會科研獎等多個獎項。