This course aims to introduce students to the significant philosophical advances
made in the past 150 years in the field of logic. Some of this material can be
grouped under the rubric of symbolic logic, but this course will go beyond the field
of mathematical logic by discussing theories of modal and tense logic, and, more
generally, by discussing why 20th century philosophers see such formal logic as
the most suitable tool for the discovery and development of logical truth.
Course Component