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