About PHIL 1400 C

Study of the basic principles of deductive inference.


Open to Degree and PACE students

Section Description

In Symbolic Logic, ordinary statements are expressed using a language consisting of a system of symbols. An argument — i.e. a series of statements that is supposed to support a conclusion — can then be evaluated to see if it is deductively valid, i.e. if the truth of the premises guarantees the truth of the conclusion. We will learn how to represent statements using the symbolic notation of first-order logic, and we will then apply the rules of logic to assess the validity of arguments. We begin with the simpler propositional logic and then proceed to predicate logic.

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.

Interest Form

PHIL 1400 C is closed to new enrollment.

But we can remind you a few days before the next term opens. You can also see what terms are enrolling currently.