PHIL 303 - Introduction to Symbolic Logic
Section: 001
Term: FA 2010
Subject: Philosophy (PHIL)
Department: LSA Philosophy
Page Index

#### Details

Credits:
4
Requirements & Distribution:
BS, MSA, QR/1
Credit Exclusions:
No credit granted to those who have completed or are enrolled in PHIL 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:

#### Description

Historically, at least two concerns have driven the development of formal systems of logic to make explicit principles of good reasoning and to systematize inquiry in mathematics and the physical sciences. Central to these concerns is the idea that good reasoning is 'truth-preserving' reasoning. ('Truth-preserving' reasoning cannot fail to take one from true premises to true conclusions.) One goal we have in the study of logic is to get a grasp on which forms of argument are truth-preserving and which are not. In this course, we study two simple yet powerful systems of formal logic — 'sentential' logic, which takes sentences as the basic unit of logical analysis, and 'predicate' logic, which takes predicates and terms as the basic units. In the course of learning these systems, we will have the chance to apply formal techniques in analyzing ordinary, garden-variety arguments, and in solving various practical problems. After mastering these logics, we'll raise some important questions concerning their power and dependability. In order to answer our questions we will have to develop a 'meta-theory' for the systems we've studied. And along the way, we will learn to employ the extremely important tool of mathematical induction. No previous training in logic is required. Frequent homework assignments, two midterm examinations, and a final examination.

#### Schedule

PHIL 303 - Introduction to Symbolic Logic
Schedule Listing
001 (LEC)

15087
Open
5

-
 MW 10:00AM - 11:00AM G127 AH
002 (DIS)
P
31769
Closed
0
-
 MW 11:00AM - 12:00PM 2407 MH
003 (DIS)
P
40917
Open
5
-
 MW 12:00PM - 1:00PM 1650 CHEM

#### Textbooks/Other Materials

NOTE: Data maintained by department in Wolverine Access. If no textbooks are listed below, check with the department.

ISBN: 0915144506
Beginning logic, Author: E. J. Lemmon., Publisher: Hackett Publ. 10. print. 2002
Required
Other Textbook Editions OK.
ISBN: 0773524231
Logic : an introduction, Author: Greg Restall., Publisher: McGill-Queen's University Press 2006
Required
Other Textbook Editions OK.
ISBN: 9780415166966
Logic, Author: Tomassi, Publisher: Routledge 1999
Required
Other Textbook Editions OK.

#### 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 303 (UM login required)

#### CourseProfile (ART)

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.