Study of the basic principles of deductive inference.
Open to Degree and PACE students
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.
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.
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.