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

This course is meant to be a second course in symbolic logic, intended to provide a foundation for understanding current research in philosophical logic and related areas of cognitive science. I will devote some time to review of basic techniques of formalization, in propositional logic and first-order predicate logic, but it will be assumed that students are familiar with this from an introductory course. The course will concentrate on the theory of logic and computation, and will cover the following topics:

  1. The nature of algorithms; some models of computation; basic limitative results
  2. Proof techniques and proof theory
  3. Models and validity
  4. Semantic completeness of propositional and quantificational logic; Löwenheim-Skolem theorem
  5. Incompleteness of formal arithmetic and undecidability of first-order logic; Gödel's second theorem on the unprovability of consistency.

Course Requirements:

Written work will consist of problem sets every two weeks, plus and midterm and final exams.

Intended Audience:

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.

Class Format:

Two lectures of 1.5 hours each

PHIL 414 - Mathematical Logic
Schedule Listing
001 (LEC)
TuTh 2:30PM - 4:00PM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.

ISBN: 0521701465
Computability and logic, Author: George S. Boolos ; John P. Burgess ; Richard C. Jeffrey., Publisher: Cambridge Univ. Press 5. ed., re 2009
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
The CourseProfile (ART) system, supported by the U-M Provost’s 3rd Century Initiative through a grant to the Digital Innovation Greenhouse, provides additional information about: course enrollments; academic terms and instructors; student academic profiles (school/college, majors), and previous, concurrent, and subsequent course enrollments.

CourseProfile (ART)