Mar 29, 2024  
2018-2019 Undergraduate Catalog 
    
2018-2019 Undergraduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

PHIL 307 - Introduction to Formal Logic


Description:
An introduction to formal logic, focusing on propositional and predicate calculus. Logical operators, symbolization, truth functions, truth tables, natural deduction (including conditional and direct proofs), and quantifiers.

Credits: (5)

Learner Outcomes:
Upon successful completion of this course, the student will be able to:

  • Symbolize English statements into formal logic, using the propositional and predicate calculus.
  • Classify and compare statements, and determine validity of arguments, by using the truth table method – for both the propositional and predicate calculus.
  • Use the method of natural deduction to derive the conclusions of valid arguments, in both the propositional and predicate calculus.
Learner Outcomes Approval Date:
5/3/2012



Add to Portfolio (opens a new window)