|
May 11, 2024
|
|
|
|
PHIL 305 - Symbolic Logic Prerequisites: PHIL 205 (formerly PHIL 103) or consent of instructor Examines the process of deduction from the perspective of modern logic and stresses the value of symbolic logic as a language. Students will use traditional symbolic notation to develop strategies for proving the validity or invalidity of arguments ranging from Aristotelian syllogisms to more complex asyllogistic arguments. The course will begin with propositional logic using standard rules of inference, transformation, and assumption. After studying quantification theory and its rules of generalization and instantiation, students will work on problems involving relations, identity and definite description. Students who took PHIL 203 cannot take PHIL 305 for credit.
3 credits Alternate Spring
Add to Portfolio (opens a new window)
|
|