Graham Priest

雖然運用論證是理性的人的基本能力，但有系統地研究論證，其開端卻是亞里士多德。經過二千多年的發展，邏輯變成了一個大家族，除了被視為正宗的「古典邏輯」外，還有各式各樣的邏輯系統。

邏輯系統的演變和革新，許多時候就是在於非形式論證、符號表達（翻譯過程）及形式論證這三個元素。

邏輯系統的演變和革新，許多時候就是在於非形式論證、符號表達（翻譯過程）及形式論證這三個元素。