Catalog 2016-2017 
    Mar 20, 2018  
Catalog 2016-2017 [ARCHIVED CATALOG]

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.

Student Outcomes/Competencies:
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