算術(shù)、真與悖論

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

　　熊明，1973年生，云南昭通人，先后就讀于北京大學(xué)哲學(xué)系、中山大學(xué)數(shù)學(xué)系，獲哲學(xué)學(xué)士、碩士學(xué)位、理學(xué)博士學(xué)位。麻省理工學(xué)院語(yǔ)言學(xué)與哲學(xué)系訪問(wèn)學(xué)者?，F(xiàn)為華南師范大學(xué)政治與行政學(xué)院教授、博士生導(dǎo)師。主要研究方向?yàn)檎胬碚撆c數(shù)學(xué)基礎(chǔ)，出版專著一部、教材一部，在國(guó)內(nèi)國(guó)際學(xué)術(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）和專著《塔斯基定理與真理論悖論》。成果獲金岳霖學(xué)術(shù)獎(jiǎng)、洪謙哲學(xué)獎(jiǎng)、廣東省哲學(xué)社會(huì)科學(xué)獎(jiǎng)、中國(guó)邏輯學(xué)會(huì)科研獎(jiǎng)等多個(gè)獎(jiǎng)項(xiàng)。