PHIL.2300 Philosophy of Symbolic Logic (Formerly 45.330 and PHIL.3300)

Id: 005537 Credits: 3-3

Description

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.

Prerequisites

PHIL.1020 Intro to Logi and Critical Reasoning.

View Current Offerings

Course prerequisites/corequisites are determined by the faculty and approved by the curriculum committees. Students are required to fulfill these requirements prior to enrollment. For courses offered through online or GPS delivery, students are responsible for confirming with the instructor or department that all enrollment requirements have been satisfied before registering.