本課程是以學習初階形式邏輯(Formal first-order logic)為目標。自從十九世紀末德國哲學家弗雷格(G. Frege)認識到數學基礎的問題開始，他認為應該替數學找到一個更堅實的基礎，由於這樣的動機，他成就了創建現代邏輯的非凡成果。也正由於他的努力，使得人們在處理學科的基本問題上有了更強大的工具。雖然他遺留下許多哲學問題尚待現代哲學家們努力，但是顯而易見的是，這些問題反而促進現代邏輯多樣化的發展。初階形式邏輯包括命題邏輯(propositional logic)和述詞邏輯(predicate logic)，命題邏輯是以命題為單位所建構的邏輯，而述詞邏輯是更深入地分析語句的結構而建構的邏輯。由於處理的對象的差異，述詞邏輯顯然需要更多的考慮，然而也因此會有更強大的解釋力。在本課程中，教師將讓學生認識到初階邏輯的語言、各種處理語言的系統及如何演算。

為了使課程內容更加豐富，在命題邏輯與述詞邏輯之外，本課程也會談及亞里斯多德的傳統邏輯，也就是一般所稱的三段論，並且將傳統邏輯與述詞邏輯比較，尤其是傳統邏輯和述詞邏輯之間語法思考結構的不同，對於當代科學理論的發展有著相當重要的啟發和影響，非常值得進一步探討。另外，本課程也將討論常見的謬誤，相信對任何人而言，具有分析論證問題的能力以及培養談判的技巧，都是非常重要的。而學習論證可能出現的謬誤，正是提升思考能力及談判能力不可或缺的訓練，因此，本課程將會盡可能詳細介紹在論證中可能出現的問題。