1：基于实质蕴涵的数理逻辑并非传统逻辑的现代发展，也不是什么现代的形式逻辑。
2：传统逻辑中专名和限定摹状词都是单独概念，在谓词逻辑中则被称为个体词。
3：传统逻辑和模态逻辑在分析自然语言假言命题方面都存在缺陷。
4：实质蕴涵因其刻划真值函数关系故此并非传统逻辑表示充分条件关系的“若，则”的逻辑抽象。
5：传统逻辑对这个问题的回答似乎是不言而喻的，但数理逻辑却使这个问题变得复杂起来。
