80-110: The Nature of Mathematical Reasoning

Carnegie Mellon University

Spring 2015

Homework 3

Due Monday, Feb. 2

Read this excerpt from Glymour's Thinking Things Through. It describes the logical system of Aristotle. This system is related to the system of universal, existential, and conditional statements that we've discussed in class, although the terminology is different.

Answer study questions 1 and 2 on page 49 of the excerpt.