PHIL 25200 - Intermediate Logic

An advanced introduction to formalized basic logic. The classical concept of consequence is studied from both a syntactic and semantic point of view in the areas of propositional logic, quantificational logic, and axiomatics. The main technique introduced is natural deduction style proofs, exposing students to an intuitive but rigorous concept of deductive proof.

Preparation for Course
R: PHIL 15000.

Cr. 3.