HUP 112 — Logic & Philosophy
An introduction to modern symbolic logic with a focus on its application to actual philosophical problems. Topics to be discussed include validity, entailment, truth-tables, proofs, translations from English into symbolic form, as well as more philosophical topics like the relation of modern logic to earlier syllogistic logic, the possibility of the use of logic to resolve philosophical problems (e.g. God's existence or free will), the relation of English to logic, and the possibility of `alternative' logics.CUNY Pathways: Flexible Core-Scientific World