| |
Aug 27, 2025
|
|
|
|
|
2025-2026 Course of Study Bulletin
|
PHIL - 2340 Symbolic Logic I
Description
An introduction to formal deductive logic, covering propositional logic (truth-functional logic) and first-order predicate logic (quantification theory). Typical topics covered include: techniques of symbolization, truth tables, validity and soundness, and techniques of natural deduction. Symbolic notation is used extensively. Does not require 1341 as a prerequisite.
Credits: 3
Course Level: Lower Division
Academic Level: Undergraduate
|
|