Ideas from 'Prior Analytics' by Aristotle [328 BCE], by Theme Structure

[found in 'Prior Analytics' by Aristotle (ed/tr Smith,Robin) [Hackett 1989,0-87220-064-7]].

Click on the Idea Number for the full details    |     back to texts     |     expand these ideas

4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
Aristotelian syllogisms are three-part, subject-predicate, existentially committed, with laws of thought
Aristotelian identified 256 possible syllogisms, saying that 19 are valid
Aristotle listed nineteen valid syllogisms (though a few of them were wrong)
4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
There are three different deductions for actual terms, necessary terms and possible terms
5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence |-
Deduction is when we suppose one thing, and another necessarily follows
5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
Aristotle's logic is based on the subject/predicate distinction, which leads him to substances and properties
5. Theory of Logic / G. Quantification / 1. Quantification
Affirming/denying sentences are universal, particular, or indeterminate
5. Theory of Logic / G. Quantification / 3. Objectual Quantification
Aristotelian logic has two quantifiers of the subject ('all' and 'some')
10. Modality / A. Necessity / 4. De re / De dicto modality
A deduction is necessary if the major (but not the minor) premise is also necessary
15. Nature of Minds / C. Capacities of Minds / 5. Generalisation by mind
Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things