Introduction to Modern Logic

Logic is concerned with good reasoning; as such, it stands at the core of the liberal arts. In this course we will develop our reasoning skills by identifying and analyzing arguments found in philosophical, legal, and other texts, and also by formulating our own arguments. We will use the formal techniques of modern propositional and predicate logic to codify and test various reasoning strategies and specific arguments. No prior knowledge of logic, formal mathematics, or computer science is presupposed in this course, which does not count towards the PHL distribution requirement but instead towards the deductive reasoning requirement. PHIL 0180 is not open to students who have already taken PHIL 0280/LNGT0280. 3 hrs. lect./1 hr. disc.