國立臺灣大學哲學論評

摘要 / PDF 全文下載

自然演繹法（natural deduction）是大多數基礎邏輯課程中所教的證明系統，然而不同的教科書所採用的自然演繹法系統不盡相同，造成了教學與學習上的困擾。特別是在量詞推論規則上，我們有兩套完全不同的系統。其中一個系統（本文稱之為「Gentzen系統」）使用了一條看起來較為複雜的「存在個例化規則」（existential instantiation），而另一個系統（本文稱之為「Copi-Kahane系統」），則是用了一條看起來較為簡單的存在個例化規則。雖然目前大部分中文邏輯教科書都採用了「Copi-Kahane系統」的規則，然而也有少數中英文基礎邏輯或中階邏輯教科書是採用「Gentzen系統」。這造成了教學上的一些問題，例如它也許會造成基礎邏輯與中階邏輯課程銜接上的一些難度。在本文中，我將從邏輯教學的觀點來比較「Gentzen系統」與「Copi-Kahane系統」的優劣，並對於我們應該採用哪一個系統來教學提出我的建議。