課程概述
本課程是以學習初階形式邏輯(Formal first-order logic)為
目標。自從十九世紀末德國哲學家弗雷格(G.
Frege)認識到數學基礎的問題開始,他認為應該替數學找到一個更堅實的基礎,由於這樣的動機,他成就了創建現代邏輯的非凡成果。也正由於他的努力,使
得人們在處理學科的基本問題上有了更強大的工具。雖然他遺留下許多哲學問題尚待現代哲學家們努力,但是顯而易見的是,這些問題反而促進現代邏輯多樣化的發
展。初階形式邏輯包括命題邏輯(propositional logic)和述詞邏輯(predicate logic),命題邏輯是以命題為單位所建構的邏輯,而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由於處理的對象的差異,述詞邏輯顯然需要更多的考慮,然而也因此會有更強大的解釋力。在本課程中,教師將讓學生認識到初階邏輯的語言、各種處理語言的系統及如何演算。
為了使課程內容更加豐富,在命題邏輯與述詞邏輯之外,本課程也會談及亞里斯多德的傳統邏輯,也就是一般所稱的三段論,並且將傳統邏輯與述詞邏輯比較,尤其 是傳統邏輯和述詞邏輯之間語法思考結構的不同,對於當代科學理論的發展有著相當重要的啟發和影響,非常值得進一步探討。另外,本課程也將討論常見的謬誤, 相信對任何人而言,具有分析論證問題的能力以及培養談判的技巧,都是非常重要的。而學習論證可能出現的謬誤,正是提升思考能力及談判能力不可或缺的訓練, 因此,本課程將會盡可能詳細介紹在論證中可能出現的問題。
為了使課程內容更加豐富,在命題邏輯與述詞邏輯之外,本課程也會談及亞里斯多德的傳統邏輯,也就是一般所稱的三段論,並且將傳統邏輯與述詞邏輯比較,尤其 是傳統邏輯和述詞邏輯之間語法思考結構的不同,對於當代科學理論的發展有著相當重要的啟發和影響,非常值得進一步探討。另外,本課程也將討論常見的謬誤, 相信對任何人而言,具有分析論證問題的能力以及培養談判的技巧,都是非常重要的。而學習論證可能出現的謬誤,正是提升思考能力及談判能力不可或缺的訓練, 因此,本課程將會盡可能詳細介紹在論證中可能出現的問題。