Introduction to formal logic. Sentential and predicate logic (with identity), proof systems, introduction to metatheory. Primarily lecture-based.
COVID-19 notice: Students can participate synchronically via live online lectures, or asynchronously by reviewing video. Where possible, synchronous participation is recommended.