Logic & Philosophy SP20 (PHIL-22000-01)

PHIL 22000. LOGIC AND PHILOSOPHY This course examines the development of formal logic from categorical logic to sentential and predicate logic. In addition, the course evaluates the nature of formal logical systems and the philosophical issues related to them. Such issues include puzzles about sets, conditional statements, induction, contradiction, and the nature of truth and meaning. [AH]