An introduction to symbolic logic. Students learn an artificial symbolic language which is designed to clarify the logical structure of an argument. The course investigates both the theoretical properties of this language and its use within philosophy. Prerequisite: Math 99