Ideas from 'Prior Analytics' by Aristotle [328 BCE], by Theme Structure
[found in 'Prior Analytics' by Aristotle (ed/tr Smith,Robin) [Hackett 1989,0872200647]].
Click on the Idea Number for the full details 
back to texts

expand these ideas
4. Formal Logic / A. Syllogistic Logic / 1. Aristotelian Logic
8080

Aristotelian identified 256 possible syllogisms, saying that 19 are valid

8071

Aristotle listed nineteen valid syllogisms (though a few of them were wrong)

11060

Aristotelian syllogisms are threepart, subjectpredicate, existentially committed, with laws of thought

4. Formal Logic / D. Modal Logic ML / 4. Alethic Modal Logic
9403

There are three different deductions for actual terms, necessary terms and possible terms

5. Theory of Logic / B. Logical Consequence / 3. Deductive Consequence 
11148

Deduction is when we suppose one thing, and another necessarily follows

5. Theory of Logic / E. Structures of Logic / 7. Predicates in Logic
3300

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
11149

Affirming/denying sentences are universal, particular, or indeterminate

5. Theory of Logic / G. Quantification / 3. Objectual Quantification
8079

Aristotelian logic has two quantifiers of the subject ('all' and 'some')

10. Modality / A. Necessity / 4. De re / De dicto modality
14641

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
18911

Linguistic terms form a hierarchy, with higher terms predicable of increasing numbers of things
