“数理逻辑，又称符号逻辑，它是从形式逻辑分化出来的一门学科。数理逻辑（）。用（），是数理逻辑最主要的特征。现代数理逻辑主要有四个分支学科：（）。

逻辑学可分为演绎逻辑与非形式逻辑。() 数理逻辑的工具语言是自然语言，传统逻辑的工具语言是符号语言 现代逻辑是以19世纪中期出现的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究演绎推理及规律，是传统形式逻辑的直接延续和（）。填入括号部分最恰当的一项是（）。 数理逻辑先驱者是（） 数理逻辑是（）的分支学科。 数理逻辑先驱者是 数理逻辑先驱者是() 皮亚杰认为，数理逻辑经验是（　　） 从广义非形式逻辑来看,逻辑学的历史还可以追溯到( ) 现代逻辑是以19世纪中期出现的数理逻辑为起点的，它使用特别符号和形式系统的方法来研究演绎推理及规律，是传统形式逻辑的直接延续和______。填入画横线部分最恰当的一项是（）。 逻辑学家( )从符号逻辑的水平首先确认了不分明性。 创立了数理逻辑的是谁（）？ 逻辑学家罗素从符号逻辑的水平首先确认了不分明性。（ ） 逻辑包括形式逻辑、辩证逻辑和科学逻辑。（ ） 广义的非形式逻辑包括论辩逻辑、论证理论或论证学。() 非形式逻辑和形式逻辑的相同点是:() 形式逻辑仅仅考察逻辑的形式,不涉及逻辑的内容 形式推理又称分析推理，就是运用形式逻辑进行推理。() 广义上的逻辑包括形式逻辑和（　　）。 现代逻辑是以19世纪中期出现的数理逻辑为起点，使用特别的符号和方法来研究演绎推理及逻辑规律的，是传统逻辑的直接延续和（）