1：基于實質蘊涵的數理邏輯并非傳統邏輯的現代發展，也不是什么現代的形式邏輯。
2：傳統邏輯中專名和限定摹狀詞都是單獨概念，在謂詞邏輯中則被稱為個體詞。
3：傳統邏輯和模態邏輯在分析自然語言假言命題方面都存在缺陷。
4：實質蘊涵因其刻劃真值函數關系故此并非傳統邏輯表示充分條件關系的“若，則”的邏輯抽象。
5：傳統邏輯對這個問題的回答似乎是不言而喻的，但數理邏輯卻使這個問題變得復雜起來。
