作者:史璟 日期:2022-01-15 05:08:22
本书是我国学术界第一部关于集合论、余代数与模态逻辑交叉研究的著作。首先,以非良基集合为语义结构对模态逻辑进行解释,研究模态逻辑在集合论语义下的对应理论、可定义性及表达力等问题,取得了一些新的研究成果,丰富了集合论理论和逻辑理论。其次,把余代数看做非良基集合的抽象数学模型,它作为对关系语义学的推广,着重研究余代数模态逻辑。史璟,女,1980年生,河南省郑州市人。从2003年开始师从我国著名逻辑学家李娜教授研习现代逻辑,于2009年毕业于南开大学哲学学院,哲学博士,现为中央财经大学文化与传媒学院副教授。主要从事符号逻辑、模态逻辑研究,著有《非良基集与模态逻辑》,在《哲学动态》《自然辩证法研究》和《逻辑学研究》等刊物上发表学术论文三十余篇。