模态版本相关硕士博士期刊学术论文

安瑟尔姆提出的关于上帝存在的＂本体论证明＂,曾受到康德的摧毁性批判。以现代模态逻辑为基本工具,哈特肖恩、普兰丁格和哥德尔分别构......