The syntax and semantics of sentential and quantificational logic, culminating in the Godel Completeness Theorem. The Godel Incompleteness Theorem and its ramifications for computability and philosophy. Also offered as CAS PH 461.