|
|
|
Sep 27, 2024
|
|
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:
1. Students will be able to translate ordinary English sentences into standard notation for sentential and predicate logic.
2. Students will be able to 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. Students will be able to 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. Students will be able to state rigorous definitions of crucial concepts in formal logic (for example, truth-functionality).
Click here for course scheduling information. | Check course textbook information
Add to Portfolio (opens a new window)
|
|
|