PHIL 414 - Mathematical Logic
Section: 001
Term: WN 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:

The course will cover propositional logic and predicate logic, with an introduction to the methods of logic and proofs of metatheorems about the systems. There will also be introductory material on logicism, set theory and a proof of the undecidability of predicate logic.

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


All resources and texts will be available on C-Tools site for the course.
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