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

#### Details

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:

#### Description

Symbolic logic uses mathematical methods to study reasoning. It creates and studies artificial languages and forms of reasoning that make use of the representations that these languages provide.

Symbolic logic began by studying mathematical reasoning, and is an important part of mathematics to this day. Logical ideas have become an important part of philosophy, and also they form the basis for theoretical computer science.

The purpose of this course is to provide an introduction to the field, by studying two important systems of logic: (1) the logic of Boolean connectives (not, or, and), and (2) the logic of quantifiers (in which general statements like "Every triangle has three sides" can be formed).

Unlike most symbolic logic courses, this course will stress connections to computational ideas; for instance, we will explain how Boolean logic provides a basis for the design of digital computers. We will also stress the art of formalization, and will develop general methods for representing reasoning in common sense domains.

Part of the course will deal with the mathematical theory of logical systems. During this portion of the course, students will be asked to master proofs by mathematical induction.

There will be regular homework assignments, a midterm examination, and a final examination.

#### Schedule

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

15235
Open
38

-
 MW 10:00AM - 11:00AM G127 AH
002 (DIS)
P
32783
Open
9
 1 PHIL Ugrd
-
 MW 11:00AM - 12:00PM G160 AH
003 (DIS)
P
44748
Open
15
 1 PHIL Ugrd
-
 MW 12:00PM - 1:00PM G228 AH
004 (DIS)
P
40815
Open
14
-
 MW 1:00PM - 2:00PM G228 AH

#### Textbooks/Other Materials

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

#### 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.