Intro to Formal Logic (PHIL 2303)

The purpose of this course is to introduce the student to symbolic logic, including syllogisms, propositional and predicate logic, and logical proofs in a system of rules (Texas ACGM). It emphasizes the rules of translating language into symbols as well as the semantic and syntactic implications of the system of first-order logic, a method of reasoning ingredient to philosophy, mathematics, and computer programming (HCC Catalogue). This course stresses the HCC Core Objectives of Critical Thinking, Communication Skills, Empirical and Quantitative Literacy, and Teamwork.