公理化真理論研究

定　價(jià)：￥98.00

作　者：	李娜、李晟
出版社：	北京師范大學(xué)出版社
叢編項(xiàng)：
標(biāo)　簽：	暫缺

購(gòu)買這本書可以去

當(dāng)當(dāng)網(wǎng) (￥73.50)

ISBN：	9787303289547	出版時(shí)間：	2023-07-01	包裝：	精裝
開(kāi)本：	16開(kāi)	頁(yè)數(shù)：		字?jǐn)?shù)：

內(nèi)容簡(jiǎn)介

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

作者簡(jiǎn)介

　　李娜，南開(kāi)大學(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)各一次。