The first half of this course examines various axiomatic systems, and the student develops both intrasystematic and metasystematic techniques of proof. During the second half of the course, attention is given to certain important philosophical problems which arise from reflection on logical systems, e.g., the cognitive processes of abstraction and instantiation, the general notion of form, and questions of consistency and interpretation.