A.古罗马B.古希腊C.古巴比伦D.古印度逻辑的英文单词logic源自（）。……

多项选择题中世纪的经院哲学家们进一步发展了逻辑学的工作主要包括（）

A.完善了三段论的四个格
B.对复合命题进行真值函项解释，发展了推论学说
C.进一步发展了模态逻辑
D.比较细致地讨论了各种悖论问题
E.建立了各种各样的非经典逻辑系统

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

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

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

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

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

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

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

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

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

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

单项选择题（）被公认为因明学的代表人物。

A.陈那
B.亚里士多德
C.哥德尔
D.弗雷格

多项选择题五支论式包括什么（）

A.宗：声是无常
B.因：所作性故
C.喻：譬如瓶等
D.合：瓶有所作性，瓶是无常；声有所作性，声是无常
E.结：故声是无常