A.完善了三段论的四个格B.对复合命题进行真值函项解释，发展了推论学说C.进一步发展了模态逻辑D.比较细致地讨……

单项选择题特别是（）在1930年的博士论文中证明了一阶谓词逻辑的完全性，标志着现代逻辑基础理论的成熟。

A.亚里士多德
B.哥德尔
C.罗素
D.怀特海

单项选择题以下哪一个属于纯逻辑内容（）

A.原理论
B.拓展研究
C.直觉主义逻辑
D.逻辑应用及其与其他学科的交叉等

多项选择题现代逻辑已经发展成为一个非常庞大的学科门类。它主要包括哪些学科分支（）

A.纯逻辑
B.直觉主义逻辑
C.逻辑应用及其与其他学科的交叉等
D.弗协调逻辑
E.应用逻辑

单项选择题古希腊，（）建立了系统的形式逻辑体系。

A.亚里士多德
B.哥德尔
C.罗素
D.怀特海

单项选择题三支论式不包括（）

A.宗：声是无常
B.因：所作性故
C.喻：若是所作，见彼无常，譬如瓶等；若是其常，见非所作，譬如空等。
D.结：故声是无常