| |
Nov 21, 2024
|
|
|
|
|
PHIL 2303 - Introduction to Formal Logic
The purpose of the course is to introduce the student symbolic logic, including syllogisms, propositional and predicate logic, and logical proofs in a system of rules.
Learning Outcomes: Upon successful completion, students will be able to:
- determine the logical structure of English arguments by identifying premises and conclusions;
- understand basic concepts in logic, such as truth functionality, validity, soundness, counter-examples, tautology, self-contradiction, logical equivalence, logical contradictoriness, and logical consistency;
- translate English statements into propositional and/or predicate notation;
- determine the validity of symbolic propositional or predicate arguments using such methods as direct/indirect truth tables, natural deduction, and/or the finite universe method.
Credit Hour(s): 3
Lecture Hour(s): 48
Add to Portfolio (opens a new window)
|
|
