(PHIL 014) Symbolic Logic

4 Credits

This course is an introduction to logical theory. Our primary goal is to study the notions of logical consequence and provability. The central question that we will try to answer is this: What exactly does it mean to say that some conclusion is a logical consequence of or is provable from a certain collection of premises? To answer this question as clearly and rigorously as possible, we will develop three symbolic logical systems: Term Logic, Sentence Logic, and Predicate Logic. Attribute/Distribution: MA, Q