Intermediate Logic

3 Credits · Level: Graduate, Undergraduate

This class serves as a second course in logic for undergraduates, as well as the core required logic course for graduate philosophy students. We will review axiomatic sentential logic and natural deduction in quantificational logic. We will then look at: formal semantics for quantificational logic, modal logic and possible world semantics, basic set theory and foundations of mathematical logic, and a few of the key metalogical proofs, such as completeness, compactness, and Godel's incompleteness theorem. We will also discuss issues in the philosophy of logic as we go.