PHIL 2030 Logic

Logic offers the study and application of the four integrated systems of formal logic: categorical, propositional, symbolic, and predicate logic. Study of these systems provides in-depth analysis of deductive reasoning and arguments. You will learn how to quantify ordinary language statements, analyze their component logical functions, evaluate and construct deductive arguments, classify premises and conclusions, test for truth value, prove the validity of arguments, test and provide for missing premises, and apply the skills and methods of formal logic to complex arguments.