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