相关考题
-
多项选择题
中世纪的经院哲学家们进一步发展了逻辑学的工作主要包括（）
A.完善了三段论的四个格
B.对复合命题进行真值函项解释，发展了推论学说
C.进一步发展了模态逻辑
D.比较细致地讨论了各种悖论问题
E.建立了各种各样的非经典逻辑系统 -
单项选择题
特别是（）在1930年的博士论文中证明了一阶谓词逻辑的完全性，标志着现代逻辑基础理论的成熟。
A.亚里士多德
B.哥德尔
C.罗素
D.怀特海 -
单项选择题
以下哪一个属于纯逻辑内容（）
A.原理论
B.拓展研究
C.直觉主义逻辑
D.逻辑应用及其与其他学科的交叉等
