Formal Logic II

3.00 credits · Undergraduate

Exploration of propositional logic and first-order predicate logic and their philosophical applications. Topics may include validity and soundness, atomic vs. compound statements, relations, truth-functionality, truth tables, natural deduction, proving validity, strategies for proof, quantification theory, and the completeness and undecidability of first-order logic.