LING 20102 Elementary Logic

An introduction to the concepts and principles of symbolic logic. We learn the syntax and semantics of truth-functional and first-order quantificational logic, and apply the resultant conceptual framework to the analysis of valid and invalid arguments, the structure of formal languages, and logical relations among sentences of ordinary discourse. Occasionally we will venture into topics in philosophy of language and philosophical logic, but our primary focus is on acquiring a facility with symbolic logic as such.

Virginia Schultheis -- Autumn 2020

Michael Kremer -- Winter 2021