Aristotle thought of his logic and methodology as applications of the Socratic questioning method. In particular, logic was originally a study of answers necessitated by earlier answers. For Aristotle, thought-experiments were real experiments in the sense that by realizing forms in one's mind, one can read off their properties and interrelations. Treating forms as independent entities, knowable one by one, committed Aristotle to his mode of syllogistic...