|
|
Oct 18, 2024
|
|
2022-2023 Undergraduate Catalog [ARCHIVED CATALOG]
|
PHIL 0103 - Symbolic Logic I Credits: 3
An introduction to standard, first-order propositional calculus and natural deduction. Topics include: identifying and classifying inference as emotive, inductive, or deductive; judging inference as tautologous, contingent, or contradictory; distinguishing between the truth of statements and the validity of arguments; identifying valid argument forms and substitution rules; evaluating truth-functions using natural deduction; evaluating arguments using alternative truth table techniques; forcing, direct proof, indirect proof, conditional proof, and the strengthened rule of conditional proof.
|
|
|