PHIL& 120 Symbolic Logic

5 credits

A comprehensive introduction to symbolic logic, including its historical development, the structure of logical forms, deductive tools and techniques, the role of logic in language, mathematics, and philosophy, and applications in decision-making, computer programming, and silicon circuitry.

Prerequisites: MATH 098 or MATH 099, and ENGL 093, or equivalent placement test scores.

Course Outcomes
Upon successful completion of this course students will be able to:

Identify logical elements in natural and artificial languages
Determine tautological, contradictory, and contingent logical forms
Apply logical techniques to arrive at valid conclusions
Manipulate a symbolic language to arrive at deductive conclusions
Apply logical rules of inference, replacement, and quantification
Apply the mathematical skills of problem solving, pattern recognition, substitution, following structural rules, quantitative modeling, and formal logic to solve problems requiring reasoning, critical thinking, and rational problem solving

Total Hours: 50 Lecture Hours: 50