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
11060

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

8080

Aristotelian identified 256 possible syllogisms, saying that 19 are valid

8071

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

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
