45.330 Philosophy of Symbolic Logic

Philosophy of Symbolic Logic

Course Details
Min Credits 3
Max Credits 3
Course ID 5537
Status Active

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.