《公理化真理論研究》是2023年北京師範大學出版社出版的圖書。
基本介紹
- 中文名：公理化真理論研究
- 作者：李娜、李晟
- 出版時間：2023年7月
- 出版社：北京師範大學出版社
- ISBN：9787303289547
- 開本：16 開
- 裝幀：精裝
內容簡介,作者簡介,
內容簡介
本書的目的是為了介紹、完善和豐富公理化真理論的成果。全書內容從三個方面進行：第一個方面：以尋求能夠避免說謊者悖論及其變體的“理想真理論”為線索，對以一階邏輯和皮亞諾算術為基礎理論的經典公理化真理論的基本理論和研究架構進行概述。第二個方面：減弱經典公理化真理論的基礎理論，將一階邏輯減弱為直覺主義邏輯，系統地研究基於直覺主義邏輯的公理化真理論。第三個方面：加強經典公理化真理論的基礎理論，將皮亞諾算術加強為集合論，系統地研究基於集合論的公理化真理論。
作者簡介
李娜，南開大學哲學院邏輯教研室教授、博士生導師。主要研究方向為現代邏輯。專著《集合論含有原子的自然模型和布爾值模型》《反基礎公理的邏輯研究》兩次入選國家哲學社會科學成果文庫。發表《GB 的布爾值模型》等多篇學術論文；獲得教育*人文社會科學優秀成果二等獎、三等獎各一次。
