PHIL 303 - Introduction to Symbolic Logic
Section: 101
Term: SP 2009
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Requirements & Distribution:
Credit Exclusions:
No credit granted to those who have completed or are enrolled in PHIL 203, 296 or 414.
Other Course Info:
F, W, Sp.
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:

An introduction to formal logic with emphasis on truth-functional languages and predicate logic with identity. The course will cover basic concepts of the proof theory and model theory for first-order languages as well as some metatheory.

PHIL 303 - Introduction to Symbolic Logic
Schedule Listing
101 (LEC)
MW 2:00PM - 5:00PM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.

Please make sure to get a NEW copy. We will make extensive use of the software and you will not be able to submit homework with software that has already been used.
ISBN: 9781575863740
Language, proof, and logic text/software package, Author: Jon Barwise, John Etchemendy ; [in collaboration with] Gerard Allwein, Dave Barker-Plummer, and Albert Liu., Publisher: CSLI Publications 5th print. 2002
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 303 (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 Office of 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 (ART)