PHIL 3350: Contemporary Logic

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. Prerequisites: PHIL 2314 or PHIL 2316/3316.