1：基于實質(zhì)蘊涵的數(shù)理邏輯并非傳統(tǒng)邏輯的現(xiàn)代發(fā)展，也不是什么現(xiàn)代的形式邏輯。
2：形式邏輯已經(jīng)從簡單命題邏輯發(fā)展到比較復(fù)雜的模態(tài)邏輯系列。
3：證明是一種形式邏輯的思維方式,論證是一種非形式邏輯的思維方式.
4：論證概念是包括非形式邏輯在內(nèi)的論辯理論的核心.
