本書內(nèi)容分為三個部分：算術(shù)、真和悖論。**部分\算術(shù)\部分主要闡述形式真理論在二十世紀(jì)三十年代的成果，包括了哥德爾不接近性定理中與真理論密切相關(guān)的技術(shù)思想和方法，重點闡述了塔斯基不可定義性定理及其相關(guān)的延伸性結(jié)果。這一部分為后續(xù)理論提供了技術(shù)與思想兩方面的準(zhǔn)備。第二部分\真\部分除闡述了塔斯基的語言層次理論之外，主要闡述六十年代直到*近邏輯學(xué)家圍繞真與悖論問題而建立起的占主流地位的幾個基本理論，包括里普、赫茲伯格、古普塔、貝爾納普、萊特格布等人的理論。這一部分側(cè)重于真在形式語言中的可定義性問題的探究。第三部分\悖論\部分是筆者自2005年以來在形式真理論領(lǐng)域一系列成果的總結(jié)和發(fā)展。這部分側(cè)重于與真相關(guān)的悖論的可描述性問題的探索�？傮w說來，**部分是全書的基礎(chǔ)，而第二、三部分則是全書的主體，內(nèi)容上各有側(cè)重。我們希望提供這種構(gòu)架把形式真理論的基本理論與*新成果進(jìn)行融會貫通，既全面系統(tǒng)地闡述形式真理論的核心理論，又深入研究領(lǐng)域的腹地開拓新問題為形式真理論的發(fā)展指明新的研究課題和研究方向。熊明，1973年生，云南昭通人，先后就讀于北京大學(xué)哲學(xué)系、中山大學(xué)數(shù)學(xué)系，獲哲學(xué)學(xué)士、碩士學(xué)位、理學(xué)博士學(xué)位。麻省理工學(xué)院語言學(xué)與哲學(xué)系訪問學(xué)者�，F(xiàn)為華南師范大學(xué)政治與行政學(xué)院教授、博士生導(dǎo)師。主要研究方向為真理論與數(shù)學(xué)基礎(chǔ)，出版專著一部、教材一部，在靠前靠前學(xué)術(shù)期刊上發(fā)表論文二十余篇。代表作品有論文“AnIntuitionistic Characterization of Classical Logic”(Journal of Philosophical Logic，2008)、“Tarski’S Theoremand Liar-like Paradoxes”(Logic Journal of the IGPL，2014)和專著《塔斯基定理與真理論悖論》。成果獲金岳霖學(xué)術(shù)獎、洪謙哲學(xué)獎、廣東省哲學(xué)社會科學(xué)獎、中國邏輯學(xué)會科研獎等多個獎項。
|
