Undergraduate Catalog 2020-2021

PHIL 2210 Symbolic Logic

An introduction to deductive logic using contemporary logical notation. Students learn how to translate English claims into logical symbols and use them, along with valid rules of inference, to form a natural deductive system. Emphasis is placed on the construction of formal proofs of validity.

Credits

3

Typically Offered

Demorest Campus: spring even years

Student Learning Outcomes

Upon the completion of this course, students will be able to demonstrate the following outcome-based learning skills:

  1. Identify and analyze arguments.
  2. Understand better the natural rules of deductive reasoning.
  3. Symbolize English arguments in contemporary logical notation and perform various logical manipulations such as the construction of proofs of validity.