本課程介紹初階的符號邏輯。透過解說和反覆練習, 使同學熟悉一套能建構出有效論證的推論規則, 藉此培養抽象思考和推論之能力。
This course introduces elementary symbolic logic. Through explanations and repeated exercises, students will become familiar with a set of inference rules that can be used to construct effective arguments, thereby cultivating their ability to think abstractly and make inferences.
理則學是有關推論形式的科學。本課程將在一學期的時間中，使學生熟悉邏輯基本概念（論證、真、有效、健全、一致等），再介紹命題邏輯與一階述詞邏輯，並旁及三段論邏輯。
Logos is the science of forms of inference. In one semester, this course will familiarize students with the basic concepts of logic (argument, truth, validity, soundness, consistency, etc.), and then introduce propositional logic and first-order predicate logic, as well as syllogism logic.
林正弘, 《邏輯》，臺北：三民書局，四版 (出版日期: 2020-11-20)
Tomazzi, Paul. 1999. Logic. Routledge.
Lin Zhenghong, "Logic", Taipei: Sanmin Book Company, fourth edition (Publication date: 2020-11-20)
Tomazzi, Paul. 1999. Logic. Routledge.
| 評分項目 Grading Method | 配分比例 Grading percentage | 說明 Description |
|---|---|---|
| 期中考期中考 midterm exam |
30 | |
| 期末考期末考 final exam |
30 | |
| 作業作業 Homework |
30 | 共三次。 |
