The study of formal, deductive logic emphasizing the methods for demonstrating the validity of arguments. Includes truth functional propositional logic and quantification theory through the logic of relations.
PHIL 130: Symbolic Logic
Program
Attributes
Analytical Reasoning,
Humanities Division