邏輯是一門研究推論結構的形式科學，著眼於論證中前提與結論之間的形式關係，一方面以評判論證正確與否（演繹論證的有效性） ，另一方面對於有效論證可藉由邏輯規則與證明方法，從前提形式推演出結論。本門課將介紹論證的基本概念、邏輯規則、以及論證的檢驗與證明，以引導學習者進入當代初階邏輯，內容將包括命題邏輯與述詞邏輯兩大部份。在介紹初階邏輯之後，本門課將介紹後續的邏輯發展，包括模態邏輯、多值邏輯、自由邏輯等領域的基本概念。