Lectures on Tuesday and Thursday 11:40-12:30.
The following schedule may be modified depending
on the interests and needs of the class. The readings
will consist of about one half of an introductory text
by Vann McGee which the author has kindly made
freely available on the internet. This reading will be
supplemented by course handouts provided by the
instructor. As a supplementary text for Arts students
I recommend Paul Tomassi's book Logic, which is
available online through the HKU library.
Introduction: Different Kinds
of Languages
4 September
Optional Reading: P. Tomassi, Logic, Chapter 1
Sentential
Logic: Syntax
6 September
Reading: V. McGee, Chapter 3
Sentential
Logic: Derivations
11 September, 13
September
Reading: Natural deduction handout 1 and handout 2
Homework 1 due
Sentential
Logic: More Derivations
18 September, 20
September
Homework 2 due
Sentential
Logic: Semantics
25 September, 27
September
Reading: V. McGee, Chapter 4, Chapter 5
Sentential
Logic: More Semantics
2 October, 4
October
Reading: V. McGee, Chapter 6
Homework 3 due
Natural deduction
practice
Review for Midterm
9 October
Midterm quiz
11 October
Reading Week (no class)
15-19 October
Reading: V. McGee, Chapter 9 and Chapter 11
Sentential
Logic: Compactness
23 October
Reading: V. McGee, Chapter 9
Sentential
Logic: Completeness
25 October, 30
October
Reading: Completeness handout and V. McGee,
Chapter 11
Sentential
Logic: Translation
1 November
Reading: Critical Thinking Web, Formalization in SL
Translation practice
Monadic
Predicate Logic: Syntax and Semantics
6, 8 November
Reading: MPL01, MPL02, MPL03, MPL04,
MPL05
Optional Reading: V. McGee, Chapter 15
Homework 4 due
Monadic
Predicate Logic: Derivations, Completeness, Decidability
13, 15 November
Reading: MPL derivations, MPL derivation examples
Optional Reading: V. McGee, Chapter 17
Homework 5 due
Predicate Logic
20 November, 22
November
Reading: handout
Optional Reading: V. McGee, Chapter 18
Incompleteness
27
November
Final Quiz
29
November