公理化真理論研究

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

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