Oct 02, 2022  
2020-2021 Undergraduate Catalog 
    
2020-2021 Undergraduate Catalog [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
R: PHIL 15000.

Cr. 3.