本課程介紹初階的符號邏輯。透過解說和反覆練習, 使同學熟悉一套能建構出有效論證的推論規則, 藉此培養抽象思考和推論之能力。
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. This course will familiarize students with the basic concepts of logic (argument, truth, validity, soundness, consistency, etc.) in one semester, and then introduce propositional logic and first-order predicate logic, as well as syllogism logic.
林正弘, 《邏輯》，臺北：三民書局，第四版 (2020)
Tomazzi, Paul. 1999. Logic. Routledge.
Patrick J. Hurley and Lori Watson. A Concise Introduction to Logic. Publisher: Wadsworth Publishing, 13th edition (2017).
Lin Zhenghong, "Logic", Taipei: Sanmin Book Company, 4th Edition (2020)
Tomazzi, Paul. 1999. Logic. Routledge.
Patrick J. Hurley and Lori Watson. A Concise Introduction to Logic. Publisher: Wadsworth Publishing, 13th edition (2017).
| 評分項目 Grading Method | 配分比例 Grading percentage | 說明 Description |
|---|---|---|
| 期中考期中考 midterm exam |
30 | |
| 期末考期末考 final exam |
30 | |
| 作業作業 Homework |
30 | 共三次。 |
