Overview
Description
Developments in modern logic, including characteristics of deductive systems, analysis of propositions and techniques of deduction.
Requirements
Prerequisites
PHIL 114
Original catalog text
Prerequisites
Prerequisite(s): PHIL 114.
Units
Lecture3
Learning Outcomes
- construct natural deductions in first-order quantificational logic, including multiple quantifiers, relations, and identity.
- demonstrate mastery of basic concepts in the meta-theory of symbolic logic, such as axiomatization and decidability.
- outline proof procedures for some key meta-theoretical results in logic, such as consistency and completeness.