1：基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。

2：形式逻辑已经从简单命题逻辑发展到比较复杂的模态逻辑系列。

3：证明是一种形式逻辑的思维方式,论证是一种非形式逻辑的思维方式.

4：论证概念是包括非形式逻辑在内的论辩理论的核心.