判断题 数理逻辑是现代的形式逻辑。

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

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