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

Logic aims to clarify principles of good reasoning in a range of areas: ordinary day-to-day reasoning as well as more abstract investigations in mathematics and the physical sciences. A basic guiding idea is the idea that logically good reasoning is 'truth-preserving'. ('Truth-preserving' reasoning cannot fail to take you from true premises to true conclusions. If the premises of truth-preserving reasoning are true, the conclusions must be as well.) So one goal we have in the study of logic is to get a grip on which forms of argument are truth-preserving and which are not. Another guiding idea is that the steps of a good argument should be “simple”, or “obvious”, or “clear”; so another goal will be to get an informative analysis of what it is for a step in an argument to be “simple”, or “obvious”, or “clear”.

In this course, we study two simple yet powerful systems of formal logic — 'sentential' logic, and 'predicate' logic. In the course of learning these systems, we will have the chance to apply formal techniques in analyzing arguments, and to solve practical problems. After mastering these systems, we'll address some 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. That is, we'll develop techniques for studying the systems themselves: what can be proven in these systems? How do we know that the systems are reliable? And along the way, we will learn to employ the extremely important tool of mathematical induction.

Course Requirements:

Weekly homework assignments will be turned in through Canvas. A midterm examination & a final examination will be administered synchronously through Canvas.

Intended Audience:

No previous training in logic is required. This course welcomes entirely online participation. While there will be optional in-person components, no part of this course requires you to be on campus or present in-person.

Class Format:

Lectures will be offered synchronously and also posted in Canvas. Discussion sections will be held in-person with a remote synchronous option. Recordings of the discussion will also be posted in Canvas.

#### Schedule

PHIL 303 - Introduction to Symbolic Logic
Schedule Listing
001 (LEC)
Online
32995
Open
6

-
 TuTh 10:00AM - 11:30AM REMOTE
002 (DIS)
In Person
32996
Open
0

-
 Tu 3:00PM - 4:00PM AUD C AH
003 (DIS)
In Person
32997
Open
0

-
 Th 3:00PM - 4:00PM AUD A AH
004 (DIS)
In Person
32998
Closed
0

-
 Th 4:00PM - 5:00PM AUD A AH
012 (DIS)
Online
39109
Closed
0

-
 Tu 3:00PM - 4:00PM AUD C AH
013 (DIS)
Online
39110
Closed
0

-
 Th 3:00PM - 4:00PM AUD A AH
014 (DIS)
Online
39111
Closed
0

-
 Th 4:00PM - 5:00PM AUD A AH

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

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