教學大綱 Syllabus

週次

Week

課程主題

Topic

課程內容與指定閱讀Content and Reading Assignment

教學活動與作業Teaching Activities and Homework

TA課之課程規劃

學習投入時間

Student workload expectation

課堂講授

In-class Hours

課程前後

Outside-of-class Hours

1

intro, propositions and arguments

textbook  ch1

課程內容著重在基本概念如「命題」與「論証」、「論證結構」的理解、習題演算（請見下面說明）

課程內容複習（著重在基本概念如「命題」與「論証」、「論證結構」的理解）、學習單討論與完成、習題演算（請見下面說明）

3

4.5

2

validity and truth, induction and deduction

textbook  ch1, ch2

課程內容著重在基本概念如「有效性」與「真理」、「歸納」與「演繹」等論證形式的理解、習題演算

課程內容複習（著重在基本概念如「有效性」與「真理」、「歸納」與「演繹」等論證形式的理解）、學習單討論與完成、習題演算

3

4.5

3

conditional, soundness, consistency, possibility

textbook  ch2

課程內容著重在基本概念如「條件句」與「論証穩固性」、「語句一致性」、各種「可能性」的理解、習題演算

課程內容複習（著重在基本概念如「條件句」與「論証穩固性」、「語句一致性」、各種「可能性」的理解）、學習單討論與完成、習題演算

3

4.5

4

SL connectives

textbook  ch2

課程內容著重在基本概念如語句邏輯的連接詞的理解與運用、習題演算

課程內容複習（著重在基本概念如語句邏輯的連接詞的理解與運用）、學習單討論與完成、習題演算

3

4.5

5

SL symbolization

textbook  ch2

課程內容著重在語句邏輯中的翻譯的理解與運用、習題演算

課程內容複習（著重在語句邏輯中的翻譯的理解與運用）、學習單討論與完成、習題演算

3

4.5

6

Symbolization and truth tables

textbook  ch2- ch3

課程內容著重在語句邏輯翻譯，與真值表的使用介紹、習題演算

課程內容複習（著重在語句邏輯翻譯，與真值表的使用介紹）、學習單討論與完成、習題演算

3

4.5

7

truth tables

textbook  ch3

課程內容著重在真值表的使用、習題演算

課程內容複習（著重在真值表的使用）、學習單討論與完成、習題演算

3

4.5

8

truth tables for validity and consistency

textbook  ch3

課程內容著重在真值表的使用，以檢測有效性與一致性、習題演算

課程內容複習（著重在真值表的使用，以檢測有效性與一致性）、學習單討論與完成、習題演算

3

4.5

9

Natural Deduction and review

textbook  ch4

課程內容著重在自然演繹法的介紹與熟悉、習題演算

課程內容複習（著重在自然演繹法的介紹與熟悉）、學習單討論與完成、習題演算

3

4.5

10

Midterm exam

textbook  ch1-4

期中考

期中考檢討

3

4.5

11

Rules of Inference and Rules of Replacement

textbook  ch4

課程內容著重在自然演繹法中推論規則與取代規則的介紹與演練、習題演算

課程內容複習（著重在自然演繹法中推論規則與取代規則的介紹與演練）、學習單討論與完成、習題演算

3

4.5

12

Conditional Proof and Indirect Proof

textbook  ch4

課程內容著重在自然演繹法中條件是證明與歸謬證明的介紹與演練、習題演算

課程內容複習（著重在自然演繹法中條件是證明與歸謬證明的介紹與演練）、學習單討論與完成、習題演算

3

4.5

13

PL symbolization

textbook  ch5

課程內容著重在述詞邏輯翻譯、習題演算

課程內容複習（著重在述詞邏輯翻譯）、學習單討論與完成、習題演算

3

4.5

14

PL symbolization 2

textbook  ch6

課程內容著重在述詞邏輯在數量上的翻譯、習題演算

課程內容複習（著重在述詞邏輯在數量上的翻譯）、學習單討論與完成、習題演算

3

4.5

15

PL proving invalidity

textbook  ch7

課程內容著重在述詞邏輯中對無效性的證明、習題演算

課程內容複習（著重在述詞邏輯中對無效性的證明）、學習單討論與完成、習題演算

3

4.5

16

PL proving invalidity and other proofs

textbook  ch8

課程內容著重在述詞邏輯中的證明演練、習題演算

課程內容複習（著重在述詞邏輯中的證明演練）、學習單討論與完成、習題演算

3

4.5

17

Limits of PL and categorical syllogism

textbook  ch10

課程內容著重在述詞邏輯的限制與相關哲學問題，並介紹範疇三段論法、習題演算

課程內容複習（著重在述詞邏輯的限制與相關哲學問題，並介紹範疇三段論法）、學習單討論與完成、習題演算

3

4.5

18

Review/ Final exam

textbook  ch1-10

期末考

課程內容複習

3

4.5