This course is an advanced introduction to symbolic logic, intended to provide a foundation for understanding current research in philosophical logic and related areas of cognitive science. The course will concentrate on the theory of logic, and will cover the following topics:
- The nature of algorithms; some models of computation
- Proof techniques and proof theory
- Models and validity
- Semantic completeness of propositional and quantificational
- The art of formalization
- Incompleteness and undecidability
Written work will consist of problem sets and midterm and final exams.
This is a fast-moving course that assumes some previous familiarity with logic and the ability to understand and construct mathematical proofs. Students who are uncertain about their mathematical background may wish to consult with the instructor before taking this course. More information on the course will be available from the course home page at: http://www.eecs.umich.edu/~rthomaso/courses/phil414.