Introduction to symbolic logic (through first-order predicate logic); interpretations; formal proofs, consistency; some practical applications. Only one of the following may be counted: Philosophy 313, 313K, 313Q. Three lecture hours and one discussion hour a week for one semester.