2021-2022 Catalog and Student Handbook 
    
    Oct 08, 2024  
2021-2022 Catalog and Student Handbook [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHIL 114 - Introduction to Symbolic Logic


Credits: 3
Description
Introduces principles of correct reasoning, using modern symbolic techniques of the propositional calculus and simple quantification theory.

Student Learning Outcomes
  1. Recognize formal structures of arguments and reasoning.
  2. Understand fundamental concepts of formal reasoning, e.g., validity, interpretation, translation, deduction, etc.
  3. Understand and evaluate reasoning using methods common within symbolic/formal logic, e.g., truth tables, truth trees, formal proofs, etc.
  4. Apply the basic techniques of symbolic logic notably propositional calculus and simple quantification.
  5. Recognize and use formal rules of interference.
  6. Understand and evaluate the formal structure of categorical propositions and categorical syllogisms.
  7. Construct formal derivations in propositional and predicate logic.
  8. Appreciate basic principles of simple quantification theory.

Prerequisite: None



Add to Portfolio (opens a new window)