数理逻辑是现代的形式逻辑。

亚里士多德的演绎逻辑奠定了古代知识体系的方法论基础。

判断题亚里士多德的演绎逻辑奠定了古代知识体系的方法论基础。

培根的《新工具》是逻辑史上第一本逻辑书。

判断题培根的《新工具》是逻辑史上第一本逻辑书。

形式逻辑属于社会科学，是一门以思维的基本形式、基本规律为研究对象的科学。

判断题形式逻辑属于社会科学，是一门以思维的基本形式、基本规律为研究对象的科学。