PHIL 301: Symbolic Logic
PHIL 301: Symbolic Logic
The Generic Catalog Description
An introduction to the use of symbolic logic as a tool emphasizing the arts of formalization and proof construction, introducing the students to the terminology and chief concepts of logic.
PHIL 301: Symbolic Logic
Arnold vander Nat
This course is a study of the formal principles and techniques of modern symbolic logic as they can be applied to various logical problems and issues found in ordinary reasoning, as well as philosophical, scientific, and mathematical reasoning. This course will study the three systems of Logic:
• Propositional Logic
• Modal Logic
• Quantificational Logic
This is an introductory course, but it is more advanced and difficult than the Core course in logic, and students taking this course must have a special interest in the technical and symbolic aspects of reasoning.
Course materials include a logic textbook with extensive exercises. Students will be assigned logic exercises on a regular basis, and there will be tests and a final exam.