PHIL 341 – LEC 0.50 – Course ID: 009525 – Intermediate Classical Logic

A systematic investigation of classical predicate logic, with an emphasis on proving key results significant in other areas of philosophy. The course will include soundness and completeness, basic model theory including the L