more from this thinker
|
more from this text
Single Idea 11060
[filed under theme 4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
]
Full Idea
Aristotle's logic is based on the triadic syllogism, the distinction between subject and one-place predicates, that universal claims have existential commitment, and bivalence, excluded middle and noncontradiction.
Gist of Idea
Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought
Source
report of Aristotle (Prior Analytics [c.328 BCE]) by Robert Hanna - Rationality and Logic 2.2
Book Ref
Hanna,Robert: 'Rationality and Logic' [MIT 2006], p.31
The
15 ideas
with the same theme
[Aristotle's original account of formal syllogistic logic]:
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]
|