80-110: The Nature of Mathematical Reasoning
Carnegie Mellon University
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.