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
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.
L/L Commons 315 (View Campus Map)
to on Monday, Wednesday and Friday
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.