Logic Chapter Fifteen
Next Chapter
Hints: Can names be replaced? What about bound variables? How many instances must be replaced? Does UG use "$?"
(Remember, a name is a lower case letter from "a" to "t," a variable is a lower case letter from "w" to "z"
In logic, a syllogism is a three line argument in which all three lines (two premises and a conclusion) are universal statements. Aristotle, who founded formal logic, studied syllogisms intensively and came up with all kinds of rules and special drawings to explain the relationships between different types of universal statements, and to determine the validity of various types of syllogisms. I don't teach this stuff because it's very difficult, very boring, and the logic of it all can be communicated effectively without Aristotle's terminology.


Copyright © 2007 by Martin C. Young
Next Chapter
This Site is Proudly Hosted By:
