About PHIL 1400 C

Study of the basic principles of deductive inference.


Open to degree and PACE students

Section Description

PLEASE NOTE: due to the overwhelming number of requests I receive, I cannot grant any overrides for course capacity before the beginning of the term. Symbolic logic is about the representation and analysis of argument. We will be studying deductive arguments, in which (if the argument is valid) the truth of the premises absolutely guarantees the truth of the conclusion. We will represent and analyze these arguments with formal systems, systems of symbols that schematically break down arguments into their logical structure and allow us to determine whether the arguments are valid. We will study the symbols of sentential logic, which analyzes arguments in terms of components that are complete sentences, and predicate logic, which allows for a finer-grained analysis. We will learn how to translate English sentences and arguments to and from the formal systems and how to assess the validity of arguments within the systems.


Grades will be based on homework (self-checked), three midterm examinations, and a cumulative final examination.

Important Dates

Note: These dates may change before registration begins.

Note: These dates may not be accurate for select courses during the Summer Session.

Last Day to Add
Last Day to Drop
Last Day to Withdraw with 50% Refund
Last Day to Withdraw with 25% Refund
Last Day to Withdraw


There are no courses that meet this criteria.