公理化真理論研究

　　本書的目的是為了介紹、完善和豐富公理化真理論的成果。全書內(nèi)容從三個(gè)方面進(jìn)行：第一個(gè)方面：以尋求能夠避免說謊者悖論及其變體的“理想真理論”為線索，對(duì)以一階邏輯和皮亞諾算術(shù)為基礎(chǔ)理論的經(jīng)典公理化真理論的基本理論和研究框架進(jìn)行概述。第二個(gè)方面：減弱經(jīng)典公理化真理論的基礎(chǔ)理論，將一階邏輯減弱為直覺主義邏輯，系統(tǒng)地研究基于直覺主義邏輯的公理化真理論。第三個(gè)方面：加強(qiáng)經(jīng)典公理化真理論的基礎(chǔ)理論，將皮亞諾算術(shù)加強(qiáng)為集合論，系統(tǒng)地研究基于集合論的公理化真理論。

　　李娜，南開大學(xué)哲學(xué)院邏輯教研室教授、博士生導(dǎo)師。主要研究方向?yàn)楝F(xiàn)代邏輯。專著《集合論含有原子的自然模型和布爾值模型》《反基礎(chǔ)公理的邏輯研究》兩次入選國(guó)家哲學(xué)社會(huì)科學(xué)成果文庫(kù)。發(fā)表《GB 的布爾值模型》等多篇學(xué)術(shù)論文；獲得教育*人文社會(huì)科學(xué)優(yōu)秀成果二等獎(jiǎng)、三等獎(jiǎng)各一次。