PHIL 414 - Mathematical Logic
Winter 2021, Section 001
Instruction Mode: Section 001 is  Online (see other Sections below)
Subject: Philosophy (PHIL)
Department: LSA Philosophy
See additional student enrollment and course instructor information to guide you in your decision making.

Details

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:

Description

This course is an advanced introduction to symbolic logic, intended to provide a foundation for understanding current research in mathematical and philosophical logic. The course will concentrate on the theory of logic, and will cover the following topics:

  • - Data Types and models of computation
  • - Formalized proofs, models, and validity
  • - Semantic completeness of propositional and quantificational logic
  • - The art of formalization
  • - Incompleteness and undecidability

Course Requirements:

Written work will consist of problem sets 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 without a background in mathematics or a previous course equivalent to Phil 303 should not choose this course. Anyone who is uncertain about their mathematical background may wish to consult with the instructor before taking this course.

Class Format:

The course will be taught remotely. Examinations will be oral. The textbook will be made available online.

Schedule

PHIL 414 - Mathematical Logic
Schedule Listing
001 (LEC)
 Online
34372
Open
8
 
-
TuTh 2:30PM - 4:00PM
Note: course materials will be posted in Canvas.

Textbooks/Other Materials

The partner U-M / Barnes & Noble Education textbook website is the official way for U-M students to view their upcoming textbook or course material needs, whether they choose to buy from Barnes & Noble Education or not. Students also can view a customized list of their specific textbook needs by clicking a "View/Buy Textbooks" link in their course schedule in Wolverine Access.

Click the button below to view and buy textbooks for PHIL 414.001

View/Buy Textbooks

Syllabi

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

CourseProfile (Atlas)

The Atlas system, developed by the Center for Academic Innovation, provides additional information about: course enrollments; academic terms and instructors; student academic profiles (school/college, majors), and previous, concurrent, and subsequent course enrollments.

CourseProfile (Atlas)