辩证逻辑并非是真正的逻辑学说，其实它就是辩证法。

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

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

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

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

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

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