PHIL 303 - Introduction to Symbolic Logic
Section: 001
Term: WN 2008
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Credits:
4
Requirements & Distribution:
BS, MSA
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.
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:

This is an introduction to formal logic, focusing on propositional logic and first-order predicate logic with identity. In studying these artificial languages we will get a better understanding of the principles and techniques of good reasoning, the distinctive features of natural languages, the foundations of mathematics, and the fundamental philosophical notions of meaning, truth, and proof. We will cover the metatheory of truth-functional logic in detail, and also basic concepts of the proof theory and model theory for first-order languages.

PHIL 303 - Introduction to Symbolic Logic
Schedule Listing
001 (LEC)
 
12627
Open
1
 
-
TuTh 10:00AM - 11:30AM
002 (DIS)
P
23387
Open
1
 
-
Th 9:00AM - 10:00AM
NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.
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 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)