# Mathematical Logic

## University of South Alabama, Department of Philosophy, Spring 2013

### 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

Set Theory

2.2 Relations
HW TBA

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

FINALS WEEK

Final exam