PHIL& 120 - Symbolic Logic

Credits: 5
Introduces students to modern symbolic logic, including both propositional logic translation and proofs and predicate logic translation and proofs. Topics may include recognizing arguments, translating from a natural to a formal language, validity of arguments, logical implication, equivalency, and consistency.

Prerequisite: MATH 097 with a grade of 2.0 or higher; or eligible for MATH 107 or higher.

Satisfies Requirement: Natural Science or, under certain conditions, the quantitative component of the basic skills requirement.

Course Outcomes:
Students who successfully complete this class will be able to:

Distinguish key concepts and terms in logic.
Translate from English to the language of propositional and predicate logic.
Construct truth tables to reveal the logical structure of individual statements, multiple statements, and determine the validity of an argument.
Construct proofs in propositional and predicate logic.

Program Outcomes
Form, analyze, and assess beliefs while demonstrating intellectual humility and respect towards the beliefs of others.

College-wide Outcomes

Critical Thinking - Critical thinking finds expression in all disciplines and everyday life. It is characterized by an ability to reflect upon thinking patterns, including the role of emotions on thoughts, and to rigorously assess the quality of thought through its work products. Critical thinkers routinely evaluate thinking processes and alter them, as necessary, to facilitate an improvement in their thinking and potentially foster certain dispositions or intellectual traits over time.
Quantitative and Symbolic Reasoning - Quantitative Reasoning encompasses abilities necessary for a student to become literate in today’s technological world. Quantitative reasoning begins with basic skills and extends to problem solving.