PHIL 303 - Introduction to Symbolic Logic
Fall 2017, Section 001
Instruction Mode: Section 001 is (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.


Requirements & Distribution:
Credit Exclusions:
No credit granted to those who have completed or are enrolled in PHIL 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:


Logic is typically understood as the systematic and rigorous study of inference and argument — the science of figuring out what follows from what, and why. Formal logic does this by thinking carefully about systems of inference: what are they good for; what choices we confront when devising them; how, if at all, can we show that we've made the right choices and that our systems of inference really accomplish their aims. We will study two of the most central and important logical systems, propositional logic and predicate logic. Each of these will be examined from several points of view (syntax/grammar, semantics/truth, truth tables, truth trees, natural deduction). We will practice the use of these systems and their application to garden-variety arguments. We will also establish some meta-theoretic results about our systems of logic (e.g., concerning the relation between what’s true and what we can use our systems to prove to be true).


PHIL 303 - Introduction to Symbolic Logic
Schedule Listing
001 (LEC)
 In Person
MW 4:00PM - 5:30PM
003 (DIS)
 In Person
F 11:00AM - 12:00PM
004 (DIS)
 In Person
F 12:00PM - 1:00PM

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 303.001

View/Buy Textbooks


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

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)