Combining Philosophers

All the ideas for Iamblichus, Euclid and Peter Abelard

expand these ideas     |    start again     |     specify just one area for these philosophers

21 ideas

2. Reason / E. Argument / 6. Conclusive Proof
8623 Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege]
4. Formal Logic / C. Predicate Calculus PC / 2. Tools of Predicate Calculus / c. Derivations rules of PC
13907 If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon]
4. Formal Logic / G. Formal Mereology / 1. Mereology
10397 Abelard's mereology involves privileged and natural divisions, and principal parts [Abelard, by King,P]
6. Mathematics / A. Nature of Mathematics / 2. Geometry
6297 Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / b. Types of number
9603 An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR]
6. Mathematics / A. Nature of Mathematics / 3. Nature of Numbers / m. One
9894 A unit is that according to which each existing thing is said to be one [Euclid]
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
8738 Postulate 2 says a line can be extended continuously [Euclid, by Shapiro]
6. Mathematics / B. Foundations for Mathematics / 3. Axioms for Geometry
22278 Euclid relied on obvious properties in diagrams, as well as on his axioms [Potter on Euclid]
8673 Euclid's parallel postulate defines unique non-intersecting parallel lines [Euclid, by Friend]
10250 Euclid needs a principle of continuity, saying some lines must intersect [Shapiro on Euclid]
10302 Euclid says we can 'join' two points, but Hilbert says the straight line 'exists' [Euclid, by Bernays]
14157 Modern geometries only accept various parts of the Euclid propositions [Russell on Euclid]
6. Mathematics / B. Foundations for Mathematics / 5. Definitions of Number / b. Greek arithmetic
1600 Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik]
8. Modes of Existence / E. Nominalism / 1. Nominalism / b. Nominalism about universals
10396 If 'animal' is wholly present in Socrates and an ass, then 'animal' is rational and irrational [Abelard, by King,P]
10395 Abelard was an irrealist about virtually everything apart from concrete individuals [Abelard, by King,P]
8. Modes of Existence / E. Nominalism / 3. Predicate Nominalism
15384 Only words can be 'predicated of many'; the universality is just in its mode of signifying [Abelard, by Panaccio]
10. Modality / A. Necessity / 4. De re / De dicto modality
8481 The de dicto-de re modality distinction dates back to Abelard [Abelard, by Orenstein]
18. Thought / E. Abstraction / 8. Abstractionism Critique
15385 Abelard's problem is the purely singular aspects of things won't account for abstraction [Panaccio on Abelard]
19. Language / C. Assigning Meanings / 3. Predicates
15383 Nothing external can truly be predicated of an object [Abelard, by Panaccio]
26. Natural Theory / B. Natural Kinds / 7. Critique of Kinds
10398 Natural kinds are not special; they are just well-defined resemblance collections [Abelard, by King,P]
28. God / A. Divine Nature / 6. Divine Morality / b. Euthyphro question
1515 Pythagoreans believe it is absurd to seek for goodness anywhere except with the gods [Iamblichus]