43 ideas
| 19504 | My modus ponens might be your modus tollens [Pritchard,D] |
| 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] |
| 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] |
| 11897 | A principle of individuation may pinpoint identity and distinctness, now and over time [Mackie,P] |
| 11898 | Individuation may include counterfactual possibilities, as well as identity and persistence [Mackie,P] |
| 11883 | A haecceity is the essential, simple, unanalysable property of being-this-thing [Mackie,P] |
| 11889 | Essentialism must avoid both reduplication of essences, and multiple occupancy by essences [Mackie,P] |
| 11877 | An individual essence is the properties the object could not exist without [Mackie,P] |
| 11882 | No other object can possibly have the same individual essence as some object [Mackie,P] |
| 11886 | There are problems both with individual essences and without them [Mackie,P] |
| 11909 | Unlike Hesperus=Phosophorus, water=H2O needs further premisses before it is necessary [Mackie,P] |
| 11899 | Why are any sortals essential, and why are only some of them essential? [Mackie,P] |
| 11906 | The Kripke and Putnam view of kinds makes them explanatorily basic, but has modal implications [Mackie,P] |
| 11894 | Origin is not a necessity, it is just 'tenacious'; we keep it fixed in counterfactual discussions [Mackie,P] |
| 19503 | An improbable lottery win can occur in a nearby possible world [Pritchard,D] |
| 11887 | Transworld identity without individual essences leads to 'bare identities' [Mackie,P] |
| 11890 | De re modality without bare identities or individual essence needs counterparts [Mackie,P] |
| 11892 | Things may only be counterparts under some particular relation [Mackie,P] |
| 11893 | Possibilities for Caesar must be based on some phase of the real Caesar [Mackie,P] |
| 11884 | The theory of 'haecceitism' does not need commitment to individual haecceities [Mackie,P] |
| 19505 | Moore begs the question, or just offers another view, or uses 'know' wrongly [Pritchard,D, by PG] |
| 19499 | We can have evidence for seeing a zebra, but no evidence for what is entailed by that [Pritchard,D] |
| 19500 | Favouring: an entailment will give better support for the first belief than reason to deny the second [Pritchard,D] |
| 19502 | Maybe knowledge just needs relevant discriminations among contrasting cases [Pritchard,D] |
| 19498 | Epistemic internalism usually says justification must be accessible by reflection [Pritchard,D] |
| 19506 | Externalism is better than internalism in dealing with radical scepticism [Pritchard,D] |
| 19496 | Disjunctivism says perceptual justification must be both factual and known by the agent [Pritchard,D] |
| 19497 | Metaphysical disjunctivism says normal perceptions and hallucinations are different experiences [Pritchard,D] |
| 19495 | Epistemic externalism struggles to capture the idea of epistemic responsibility [Pritchard,D] |
| 19501 | We assess error against background knowledge, but that is just what radical scepticism challenges [Pritchard,D] |
| 19507 | Radical scepticism is merely raised, and is not a response to worrying evidence [Pritchard,D] |
| 11905 | Locke's kind essences are explanatory, without being necessary to the kind [Mackie,P] |
| 11907 | Maybe the identity of kinds is necessary, but instances being of that kind is not [Mackie,P] |