Skip to Main Content

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

Id: 005537 Credits Min: 3 Credits Max: 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