|
|
Oct 08, 2024
|
|
PHIL 114 - Introduction to Symbolic Logic Credits: 3 Description Introduces principles of correct reasoning, using modern symbolic techniques of the propositional calculus and simple quantification theory.
Student Learning Outcomes
- Recognize formal structures of arguments and reasoning.
- Understand fundamental concepts of formal reasoning, e.g., validity, interpretation, translation, deduction, etc.
- Understand and evaluate reasoning using methods common within symbolic/formal logic, e.g., truth tables, truth trees, formal proofs, etc.
- Apply the basic techniques of symbolic logic notably propositional calculus and simple quantification.
- Recognize and use formal rules of interference.
- Understand and evaluate the formal structure of categorical propositions and categorical syllogisms.
- Construct formal derivations in propositional and predicate logic.
- Appreciate basic principles of simple quantification theory.
Prerequisite: None
Add to Portfolio (opens a new window)
|
|
|