Philosophy | Logical Theory I
P505 | 3783 | Weiner

This is a graduate level introduction to symbolic logic.  The aim
will be to cover the logical background presupposed in much of the
contemporary philosophical literature.  This includes symbolization,
intra-systematic proof, definitions of truth under interpretation,
logical consequence and logical truth, metatheoretic proofs of
completeness, compactness and the Loewenheim-Skolem theorems.  There
will be weekly graded homework as well as a mid-term and final
examination.  The text is Benson Mates’, Elementary Logic.