課程簡介

中文課程名稱：邏輯 (2020版)
英文課程名稱：Logic (2020)
授課教師：傅皓政
學分數：2 學分
開課單位：
建立日期：2020 年 2 月

課程概述

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

課程目標

1. 認識邏輯所處理的對象及問題。
2. 論證與形式化的重要性。
3. 初階邏輯語言（包括語句邏輯與述詞邏輯）及演算。
4. 初階邏輯語意學。
5. 如何將日常語言翻譯為邏輯語言。

課程要求

1. 每 2-3 週一份作業，須以手寫完成之後將檔案以掃描或圖像檔方式上傳。
2. 每週均有指定閱讀，請依進度閱讀。
3. 期中考與期末考。

成績評量方式

1. 作業 40% 每 2-3 週會指派回家作業，線上繳交。
2. 期中考 25% 考試範圍：論證有效性、命題邏輯語言、語意學、真值表、真值樹法
3. 期末考 25% 考試範圍：語詞邏輯、述詞邏輯、公理法、自然演繹法、謬誤
4. 自我探究與實作 10% 以課程涉及之邏輯課題進行自我探究，並繳交500以內的探究成果報告，線上繳交。