UGA Bulletin Logo

Symbolic Logic


Course Description

The methods and principles used to distinguish correct from incorrect deductive arguments, with emphasis on contemporary techniques of analysis.


Athena Title

Symbolic Logic


Equivalent Courses

Not open to students with credit in PHIL 2500, PHIL 2500H


Non-Traditional Format

This course will be taught 95% or more online.


Semester Course Offered

Offered summer semester every year.


Grading System

A - F (Traditional)


Student Learning Outcomes

  • Students will be able to symbolize arguments in the notion of truth-functional logic.
  • Students will be able to evaluate arguments symbolized in truth-functional notation using truth tables.
  • Students will be able to use a proof system for sential logic to construct derivations for truth-functionally valid arguments.
  • Students will be able to symbolize arguments using the notation of predicate logic.
  • Students will be able to formulate counterexamples for invalid arguments symbolized in the notation of predicate logic.
  • Students will be able to use a proof system for predicate logic to construct derivations for arguments which are valid in predicate logic.

Topical Outline

  • Topics may include: I. Symbolization in truth-functional logic II. Truth tables III. Derivations in truth-functional logic IV. Symbolization in predicate logic V. Invalidity in predicate logic VI. Derivations in predicate logic

General Education Core

CORE III: Quantitative Reasoning