35 ideas
12249 | 'Animal' is a genus and 'rational' is a specific difference [Oderberg] |
12242 | Definition distinguishes one kind from another, and individuation picks out members of the kind [Oderberg] |
8623 | Proof reveals the interdependence of truths, as well as showing their certainty [Euclid, by Frege] |
13907 | If you pick an arbitrary triangle, things proved of it are true of all triangles [Euclid, by Lemmon] |
6297 | Euclid's geometry is synthetic, but Descartes produced an analytic version of it [Euclid, by Resnik] |
12238 | The Aristotelian view is that numbers depend on (and are abstracted from) other things [Oderberg] |
9603 | An assumption that there is a largest prime leads to a contradiction [Euclid, by Brown,JR] |
9894 | A unit is that according to which each existing thing is said to be one [Euclid] |
8738 | Postulate 2 says a line can be extended continuously [Euclid, by Shapiro] |
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] |
1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
12254 | Being is substantial/accidental, complete/incomplete, necessary/contingent, possible, relative, intrinsic.. [Oderberg] |
12253 | If tropes are in space and time, in what sense are they abstract? [Oderberg] |
12256 | We need to distinguish the essential from the non-essential powers [Oderberg] |
12252 | Empiricists gave up 'substance', as unknowable substratum, or reducible to a bundle [Oderberg] |
12241 | Essences are real, about being, knowable, definable and classifiable [Oderberg, by PG] |
12244 | Nominalism is consistent with individual but not with universal essences [Oderberg] |
12240 | Essentialism is the main account of the unity of objects [Oderberg] |
12247 | Essence is not explanatory but constitutive [Oderberg] |
12258 | Properties are not part of an essence, but they flow from it [Oderberg] |
12257 | Could we replace essence with collections of powers? [Oderberg] |
12236 | Leibniz's Law is an essentialist truth [Oderberg] |
12250 | Bodies have act and potency, the latter explaining new kinds of existence [Oderberg] |
12234 | Realism about possible worlds is circular, since it needs a criterion of 'possible' [Oderberg] |
12235 | Necessity of identity seems trivial, because it leaves out the real essence [Oderberg] |
12237 | Rigid designation has at least three essentialist presuppositions [Oderberg] |
2713 | Are sense-data independent, with identity, substance and location? [Tye] |
12245 | Essence is the source of a thing's characteristic behaviour [Oderberg] |
12246 | What makes Parmenidean reality a One rather than a Many? [Oderberg] |
12239 | The real essentialist is not merely a scientist [Oderberg] |
12243 | The reductionism found in scientific essentialism is mistaken [Oderberg] |