more from this thinker | more from this text
Full Idea
Aristotelian logic is complete.
Clarification
'complete' means all the accepted truths can be proved
Gist of Idea
Aristotelian logic is complete
Source
Stewart Shapiro (Foundations without Foundationalism [1991], 2.5)
Book Ref
Shapiro,Stewart: 'Foundations without Foundationalism' [OUP 1991], p.43
A Reaction
[He cites Corcoran 1972]
639 | Socrates developed definitions as the basis of syllogisms, and also inductive arguments [Socrates, by Aristotle] |
22272 | Aristotle's later logic had to treat 'Socrates' as 'everything that is Socrates' [Potter on Aristotle] |
9405 | Square of Opposition: not both true, or not both false; one-way implication; opposite truth-values [Aristotle] |
22271 | Aristotle was the first to use schematic letters in logic [Aristotle, by Potter] |
18909 | Aristotelian sentences are made up by one of four 'formative' connectors [Aristotle, by Engelbretsen] |
8080 | Aristotelian identified 256 possible syllogisms, saying that 19 are valid [Aristotle, by Devlin] |
13912 | Aristotle replaced Plato's noun-verb form with unions of pairs of terms by one of four 'copulae' [Aristotle, by Engelbretsen/Sayward] |
11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |
18953 | Modern notation frees us from Aristotle's restriction of only using two class-names in premises [Putnam] |
13643 | Aristotelian logic is complete [Shapiro] |
23505 | Aristotelian logic cannot express 'Everyone loves someone' [White,RM] |
13913 | The four 'perfect syllogisms' are called Barbara, Celarent, Darii and Ferio [Engelbretsen/Sayward] |
13914 | Syllogistic logic has one rule: what is affirmed/denied of wholes is affirmed/denied of their parts [Engelbretsen/Sayward] |
18913 | Traditional term logic struggled to express relations [Engelbretsen] |