| 課程編碼 Course Code | 中文課程名稱 Course Name (Chinese) | 英文課程名稱 Course Name (English) | 總學分數 Credits | 總時數 Hours |
|---|---|---|---|---|
| 1416012 | 邏輯推理與應用 | Logical Inference and Application | 2.0 | 2 |
| 中文概述 Chinese Description | 學習邏輯推理主要的目的便是幫助我們培養一種邏輯能力，使我們能夠為我們的人生做出正確的判斷。本課程包括:邏輯的基本觀念，真值表推論法，語句邏輯中自然演繹法的18條基本推論規則，語句邏輯的基本公理系統，量化邏輯中自然演繹法的基本規論推測，量化邏輯的詮釋方法，量化邏輯的基本公理系統，語句邏輯的後設理論，量化邏輯的後設理論，傳統的三段論法，謬誤理論、與介於自然與形式語言之間的翻譯等等。 | |||
| 英文概述 English Description | The main purpose of studying "Logical Inference" is to help us obtain a kind of logical ability, by means of which we will be able to make right choices for our life. This courses covers at least the following topics: basic ideas in logic, the truth table method, 18 basic rules of inference in the method of natural deduction in sentential logic, basic axiomatic systems in sentential logic, basic rules of inference in the method of natural deduction in quantificational logic, interpretations in quantificational logic, basic axiomatic systems in quantificational logic, meta-theorem in sentential logic, meta-theorem in quantificational logic, traditional syllogism, the fallacy theory, and the translation between natural and formal language, etc. | |||
備註：