In Introduction to Logic classes, students are taught classical logic. However, there are formal systems of reasoning that have different rules and different axioms. There are philosophical motivations for developing and adopting the different formal systems, and there are philosophical disagreements between logicians. Students will be exposed to a few of the more radical formal systems that make claims meant to represent logical reasoning, and will examine the philosophical thesis that there can be a plurality of formal logical systems. Prerequisite: Introduction to Logic.

Professor Friend michele@gwu.edu

PHIL 4198.10 CRN 40841

Wednesdays 11:10 am– 1:00 pm