準備做的邏輯課筆記目次


1.
a. 什麼是邏輯
b. 說話與推理， 推理的有效性
2.
a. 命題與論證：論證結構
b. 論證的兩個重要概念
c. 語句和命題
d. 命題的判准與論證形式
e. 充分條件與必要條件
f. 有效論證的定義
3.
a. 命題邏輯語言：日常語言的複雜性與歧異
b. 含混性、開放性、與形式語言的必要性
c. 命題邏輯語言
d. 句式結構樹，關於句式的重要觀念
4.
a. 古典邏輯語意學：語意學
b. 古典邏輯語意學預設
c. 連接詞語意
d. 恆真句、矛盾句與偶真句
e. 句式之間的關係
f. 一群句式之間的關係
5.
a. 真值表法；結構、模型
b. 爭執表法演算步驟，無效論證與反例結構
c. 無前提或無結論的論證
d. 可決定性與簡易真值表法
6.
a. 函映完備式：具備函映完備式的連接詞集合與謝斐爾線
b. 選言標準是，連言標準是，等值句式的D N F與C N F
7.
a. 真值數法：語法蘊含關係與兩種證明策略
b. 真值數的結構與規則：基本類型
c. 真值數系統規則
d. 有效論證實例
e. 無效論証實例，與一致性的證明
8.
a. 公理系統：結構與公理的取代句式
b. 定理與論證的有效性
9.
a. 自然演繹法：特性與分類，與樹狀自然演繹法規則
b. 樹狀自然演繹法範例
c. 線型自然演繹法等值規則
d. 線性自然演繹法蘊涵規則
e. 線性自然演繹法範例
10.
a. 傳統語言邏輯：語詞邏輯的起源與句型結構解析
b. 三段論的論證結構、樣態與有效性
c. 三段論範例與文式圖
d. 文式圖範例
e. 作業解析
11.
a. 述詞邏輯語言：必要性與新元素
b. 述詞邏輯語言與句式說明
c. 一元述詞的解釋，二元關係述詞的重要性質
12.
a. 日常語言與邏輯語言：量詞的翻譯原則
b. 二元述詞的翻譯
c. 超用語詞解釋
d. 論域
e. 量詞與連接詞
f. 確定描述詞
13.
a. 真值樹法（述詞邏輯）：推論規則說明
b. 有效論證實例說明
c. 無效論証實例說明，不可決定性
d. 有效論證實例，無效論證實例
14.
a. 自然演繹法（述詞邏輯）：推論規則、否定規則與個例規則
b. 通稱規則
c. 存在預設
d. 自然演繹法實例（一）
e. 自然演繹法實例（二）
15.
a. 常見的謬誤：謬誤的分類與形式謬誤
b. 不相干的謬誤
c. 誤導的謬誤
d. 假定的謬誤