About PHIL 013 A

Study of the basic principles of deductive inference.


Credit not awarded for more than one PHIL course below 100 except 013; Open to degree and CDE students

Section Description

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.

Course Dates



L/L Commons 216 (View Campus Map)


to on Monday, Wednesday and Friday

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.