Symbolic Logic

Catalog description

An introduction to logic from the standpoint of modern symbolic methods, including techniques of formal deductive proof, quantification, the logic of relations, and properties of formal deductive systems. Discussions focus on philosophical issues in recent and contemporary logical theory. This course counts towards the fulfillment of the Disciplinary Perspectives element of the CLAS general education curriculum.