本書是我國學(xué)術(shù)界第一部關(guān)于集合論、余代數(shù)與模態(tài)邏輯交叉研究的著作。首先，以非良基集合為語義結(jié)構(gòu)對模態(tài)邏輯進(jìn)行解釋，研究模態(tài)邏輯在集合論語義下的對應(yīng)理論、可定義性及表達(dá)力等問題，取得了一些新的研究成果，豐富了集合論理論和邏輯理論。其次，把余代數(shù)看做非良基集合的抽象數(shù)學(xué)模型，它作為對關(guān)系語義學(xué)的推廣，著重研究余代數(shù)模態(tài)邏輯。史璟，女，1980年生，河南省鄭州市人。從2003年開始師從我國著名邏輯學(xué)家李娜教授研習(xí)現(xiàn)代邏輯，于2009年畢業(yè)于南開大學(xué)哲學(xué)學(xué)院，哲學(xué)博士，現(xiàn)為中央財(cái)經(jīng)大學(xué)文化與傳媒學(xué)院副教授。主要從事符號邏輯、模態(tài)邏輯研究，著有《非良基集與模態(tài)邏輯》，在《哲學(xué)動(dòng)態(tài)》《自然辯證法研究》和《邏輯學(xué)研究》等刊物上發(fā)表學(xué)術(shù)論文三十余篇。
|
