Combining Texts

Ideas for 'The Runabout Inference Ticket', 'Mental Models' and 'Prior Analytics'

unexpand these ideas     |    start again     |     choose another area for these texts

display all the ideas for this combination of texts


2 ideas

5. Theory of Logic / G. Quantification / 1. Quantification
Affirming/denying sentences are universal, particular, or indeterminate [Aristotle]
     Full Idea: Affirming/denying sentences are universal, particular, or indeterminate. Belonging 'to every/to none' is universal; belonging 'to some/not to some/not to every' is particular; belonging or not belonging (without universal/particular) is indeterminate.
     From: Aristotle (Prior Analytics [c.328 BCE], 24a16)
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Aristotelian logic has two quantifiers of the subject ('all' and 'some') [Aristotle, by Devlin]
     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.
     From: report of Aristotle (Prior Analytics [c.328 BCE]) by Keith Devlin - Goodbye Descartes Ch.2
     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.