more on this theme | more from this thinker
Full Idea
Aristotelian logic has two quantifiers of the subject ('all' and 'some'), and two ways to combine the subject with the predicate ('have', and 'have not'), giving four propositions: all-s-have-p, all-s-have-not-p, some-s-have-p, and some-s-have-not-p.
Gist of Idea
Aristotelian logic has two quantifiers of the subject ('all' and 'some')
Source
report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2
Book Ref
Devlin,Keith: 'Goodbye Descartes: the end of logic' [Wiley 1997], p.39
A Reaction
Frege seems to have switched from 'some' to 'at-least-one'. Since then other quantifiers have been proposed. See, for example, Ideas 7806 and 6068.
Related Ideas
Idea 7806 Boolos invented plural quantification [Boolos, by Benardete,JA]
Idea 6068 We need an Intentional Quantifier ("some of the things we talk about.."), so existence goes into the proposition [McGinn]
11060 | Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought [Aristotle, by Hanna] |
13819 | Aristotle's said some Fs are G or some Fs are not G, forgetting that there might be no Fs [Bostock on 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] |
18896 | Aristotle places terms at opposite ends, joined by a quantified copula [Aristotle, by Sommers] |
3300 | Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties [Aristotle, by Benardete,JA] |
8079 | Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin] |
18911 | Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things [Aristotle, by Engelbretsen] |
11149 | Affirming/denying sentences are universal, particular, or indeterminate [Aristotle] |
11148 | Deduction is when we suppose one thing, and another necessarily follows [Aristotle] |
9403 | There are three different deductions for actual terms, necessary terms and possible terms [Aristotle] |
14641 | A deduction is necessary if the major (but not the minor) premise is also necessary [Aristotle] |
8071 | Aristotle listed nineteen valid syllogisms (though a few of them were wrong) [Aristotle, by Devlin] |