PHIL 414 - Mathematical Logic
Section: 001
Term: FA 2010
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Credits:
3
Requirements & Distribution:
BS, QR/1
Waitlist Capacity:
99
Advisory Prerequisites:
One PHIL or MATH course.
Other Course Info:
F.
BS:
This course counts toward the 60 credits of math/science required for a Bachelor of Science degree.
Repeatability:
May not be repeated for credit.
Primary Instructor:

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 logic
  • 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.

PHIL 414 - Mathematical Logic
Schedule Listing
001 (LEC)
P
45207
Open
9
1PHIL Ugrd
-
MW 1:00PM - 2:30PM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.


ISBN: 1568812388
Godel's theorem an incomplete guide to its use and abuse, Author: Torkel Franzen., Publisher: A K Peters [Nachdr.] 2005
Required
ISBN: 0486669807
On formally undecidable propositions of Principia mathematica and related systems, Author: Kurt Godel ; translated by B. Meltzer ; introduction by R.B. Braithwaite., Publisher: Dover Publications Reprint. 1992
Required
ISBN: 1584888768
Introduction to mathematical logic, Author: Elliott Mendelson., Publisher: CRC Press 5th ed. 2010
Required
Syllabi are available to current LSA students. IMPORTANT: These syllabi are provided to give students a general idea about the courses, as offered by LSA departments and programs in prior academic terms. The syllabi do not necessarily reflect the assignments, sequence of course materials, and/or course expectations that the faculty and departments/programs have for these same courses in the current and/or future terms.

Click the button below to view historical syllabi for PHIL 414 (UM login required)

View Historical Syllabi