PHIL1120 — Symbolic Logic
PHIL 1120 - Symbolic Logic PHIL 1120 - Symbolic Logic 3 Credits Uses propositional and predicate calculus to study deductive reasoning via the symbolic languages of propositional and predicate logic. Examines basic logical concepts (validity, logical truth, contradiction, entailment, equivalence), the symbolization of arguments expressed in natural language, and evaluates them via truth tables, formal proofs, or truth trees. This course is ideal for students interested in computer science, engineering, mathematics, or in pursuing further studies in philosophy. Major Content Areas Truth Tables: construction and use to demonstrate logical properties of sentences and the relations between sentences as well as a test for validity/invalidity 15% Predicate Logic 10% Basic Concepts, including deductive validity, invalidity, soundness, logical truth, contradiction, entailment, logical equivalence 20% Formal Proofs or Truth Trees: construction and use to demonstrate logical properties of sentences and their relations, including as proof of validity 30% Symbolization of natural language into symbolic logic 25% Learning