1：基于實質蘊涵的數理邏輯并非傳統邏輯的現代發展，也不是什么現代的形式邏輯。
2：形式邏輯已經從簡單命題邏輯發展到比較復雜的模態邏輯系列。
3：證明是一種形式邏輯的思維方式,論證是一種非形式邏輯的思維方式.
4：論證概念是包括非形式邏輯在內的論辯理論的核心.
