PHIL 114 - Introduction Symbolic Logic

(3 units)

Principles of correct reasoning, using modern symbolic techniques of the propositional calculus and simple quantification theory.

Grading Basis: Graded
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