Mathematical Logic

University of South Alabama, Department of Philosophy, Spring 2013

Syllabus | Schedule | Professor

Course Schedule

We will be following our main text closely throughout the term. However, our pace will be determined in part by my evaluations of student progress (through homeworks, class discussions, and such). Thus, the schedule below should be thought of as tentative, subject to many many changes throughout the semester. Make sure you visit this page regularly in order to keep track of the reading and homework assignments. Below, in the right column, I list your assigned reading for the week, then supplementary material, then any homework, review sessions, exams, and the like.

 

Week 1 (1.14 to 1.19)

Course Introduction, Sentential Calculus

0 Introduction and 1.1-1.3 Syntax & Semantics of SC
HW TBA

Week 2 (1.23 to 1.25)

Sentential Calculus

1.4-1.5 SC Derivations and some metatheory
HW pp. 77-8 E 1-47 (all), E 1-48, E 1-49, E 1-52 (due on Monday)

Week 3 (1.28 to 2.1)

Sentential Calculus and Set Theory

1.6, 1.7, and 2.1 Sets
HW TBA

Week 4 (2.4 to 2.8)

Set Theory

2.2 Relations
HW TBA

Week 5 (2.11 to 2.15)

Set Theory

2.3 Functions
HW TBA

Week 6 (2.18 to 2.22)

Set Theory

2.4 Functions & Relational Systems
HW TBA

Week 7 (2.25 to 3.1)

Recursion and Mathematical Induction

3.1 The Natural Number System
HW TBA

Week 8 (3.4 to 3.8)

Recursion and Mathematical Induction

3.2 Basic Arithmetic

HW TBA

Week 9 (3.18 to 3.22)

Recursion and Mathematical Induction

3.3 Recursion and Induction
HW TBA

Week 10 (3.25 to 3.29)

Recursion and Mathematical Induction

3.3 Recursion and Induction
HW TBA

Week 11 (4.1 to 4.5)

Predicate Calculus

4.1 Syntax of PC
HW TBA

Week 12 (4.8 to 4.12)

Predicate Calculus

4.2 Semantics of PC
HW TBA

Week 13 (4.15 to 4.19)

Predicate Calculus

4.3-4.4 PC Derivations
HW TBA

Week 14 (4.22 to 4.26)

Predicate Calculus

4.5 Identity and Function Symbols
HW TBA

Week 15 (4.29 to 5.3)

Predicate Calculus

Review
HW TBA

Final Exam (5.8, Wednesday 1-3pm)

FINALS WEEK

Final exam