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