Mar 28, 2024  
2013-2014 Undergraduate Bulletin 
    
2013-2014 Undergraduate Bulletin [Archived Catalog]

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
P: PHIL 15000 or consent of instructor.

Cr. 3.