Undergraduate Catalog 2022-2023

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.

Registration Name

Symbolic Logic

Lecture Hours

3

Lab Hours

0

Credits

3

Offered

Demorest: 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.