邏輯學

週次計畫

週次	主題
第 1 週	Activities: Arguments, validity, soundness, symbolization Reading: For all x, pp. 2-17, 26-31 2020/03/05
第 2 週	Activities: Logical connectives Homework 1 assigned Reading: For all x, pp. 32-48 2020/03/12
第 3 週	Activities: Sentences Use and mention (take-home lesson) Homework 1 due Reading: For all x, pp. 49-55, 56-60 2020/03/19
第 4 週	Activities: Truth-tables Homework 1 returned Homework 2 assigned Reading: For all x, pp. 61-77 2020/03/26
第 5 週	No Class 2020/04/02
第 6 週	Activities: Semantic concepts for TFL Homework 2 due Reading: For all x, pp. 78-88 2020/04/09
第 7 週	Activities: Natural deduction for TFL: Basic rules Homework 2 returned Reading: For all x, pp. 102-134 2020/04/16
第 8 週	Midterm exam 2020/04/23
第 9 週	Activities: Introduction to FOL Reading: For all x, pp. 184-193 2020/04/30
第 10 週	Activities: Quantifiers Reading: For all x, pp. 194-220 2020/05/07
第 11 週	Activities: Identity, Definite descriptions Homework 3 assigned Reading: For all x, pp. 221-235 2020/05/14
第 12 週	Activities: Sentences, Interpretations Homework 3 due Reading: For all x, pp. 236-249 2020/05/21
第 13 週	Activities: Truth in FOL, Semantic concepts for FOL Homework 3 returned Homework 4 assigned Reading: For all x, pp. 250-261 2020/05/28
第 14 週	Activities: Using interpretations Homework 4 due Reading: For all x, pp. 262-273 2020/06/04
第 15 週	Activities: Natural deduction for FOL: Basic rules Homework 4 returned Reading: For all x, pp. 274-300 2020/06/11
第 16 週	Final exam 2020/06/18
第 17 週	No Class 2020/06/25
第 18 週	3/19 take-home lesson (see above) 2020/07/02