|
|
|
Dec 15, 2025
|
|
University General Course Catalog 2020-2021 ARCHIVED CATALOG: LINKS AND CONTENT ARE OUT OF DATE. CHECK WITH YOUR ADVISOR.
|
PHIL 114 - Intro Symbolic Logic (3 units)
Principles of correct reasoning, using modern symbolic techniques of the propositional calculus and simple quantification theory.
Units of Lecture: 3
Offered: Every Fall and Spring
Student Learning Outcomes
Upon completion of this course, students will be able to:
1. translate ordinary English sentences into standard notation for sentential and predicate logic.
2. construct truth tables in order to distinguish valid and invalid reasoning, and to express other semantic concepts (logical equivalence and implication, logical consistency, types of statement form).
3. construct formal proofs for valid arguments in both sentential and predicate logic, applying given rules of inference in order to justify each step in the proof.
4. state rigorous definitions of crucial concepts in formal logic (for example, truth-functionality).
Click here for course scheduling information. | Check course textbook information
|
|
|