PL 330 Advanced Symbolic Logic

H. Hamner Hill

Southeast Missouri State University

Spring 2015

 

Tentative schedule of reading assignments:

Unit 1 (Jan. 20)         Through chapter 2

Unit 2                        Through chapter 5

Unit 3                        Through chapter 8

Unit 4                        Through chapter 11

Unit 5                        Through chapter 13      First exam at end of Unit 5

Unit 6                        Chapters 14-17

Unit 7                        Chapters 18-22

Unit 8                        Chapters 23 & 24

Unit 9                        Chapters 25 & 26        Second exam at end of Unit 9

Unit 10                      Chapters 27 & 28

Unit 11                      Chapters 29 & 30

Unit 12                      Chapters 31 & 32

Unit 13                      Chapters 33 & 34        Third exam at end of Unit 13

Unit 14                      Meta-Logical theory

Unit 15                      Review