College Catalog
One College Avenue, Williamsport PA 17701-5799 · (570) 326-3761 or (800) 367-9222
Logic
PHL230
Introduction to the art and science of good reasoning. Topics cover the concepts of truth, validity, consequence, and proof in the context of informal reasoning and in the formal languages of propositional and predicate logic. Primary focus on constructing and evaluating arguments and proofs using formal and informal methods. Weekly laboratory sessions provides hands-on experience with constructing and evaluating formal arguments, building truth tables and counter models using logic learning software. Applications of logic in both everyday and scientific reasoning are addressed. Emphasis throughout the course is on developing problem solving skills and good reasoning techniques. 3 Credits (2.50 Lecture - 1.50 Lab) Prerequisite(s): CSC110 and ENL111 or CSC124 and ENL111.