|12A||Introduction to Logic||Yalcin||MWF 1-2||2060 Valley|
An introduction to the concepts and principles of deductive logic. Students will learn how to formalize basic patterns of argument and how to evaluate them for correctness systematically. The course covers the the syntax and semantics of propositional and first-order logic. Time permitting, we will touch upon some metalogical results. Throughout we emphasize philosophical applications of logical tools and distinctions.