37 ideas
| 17621 | What matters in mathematics is its objectivity, not the existence of the objects [Dummett] |
| 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] |
| 10537 | The ordered pairs <x,y> can be reduced to the class of sets of the form {{x},{x,y}} [Dummett] |
| 10542 | To associate a cardinal with each set, we need the Axiom of Choice to find a representative [Dummett] |
| 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] |
| 10554 | Intuitionists find the Incompleteness Theorem unsurprising, since proof is intuitive, not formal [Dummett] |
| 1600 | Euclid's common notions or axioms are what we must have if we are to learn anything at all [Euclid, by Roochnik] |
| 10552 | Intuitionism says that totality of numbers is only potential, but is still determinate [Dummett] |
| 10515 | Ostension is possible for concreta; abstracta can only be referred to via other objects [Dummett, by Hale] |
| 10544 | The concrete/abstract distinction seems crude: in which category is the Mistral? [Dummett] |
| 10546 | We don't need a sharp concrete/abstract distinction [Dummett] |
| 10540 | We can't say that light is concrete but radio waves abstract [Dummett] |
| 10548 | The context principle for names rules out a special philosophical sense for 'existence' [Dummett] |
| 10281 | The objects we recognise the world as containing depends on the structure of our language [Dummett] |
| 10532 | We can understand universals by studying predication [Dummett] |
| 10534 | 'Nominalism' used to mean denial of universals, but now means denial of abstract objects [Dummett] |
| 10541 | Concrete objects such as sounds and smells may not be possible objects of ostension [Dummett] |
| 10545 | Abstract objects may not cause changes, but they can be the subject of change [Dummett] |
| 10555 | If we can intuitively apprehend abstract objects, this makes them observable and causally active [Dummett] |
| 10543 | Abstract objects must have names that fall within the range of some functional expression [Dummett] |
| 10320 | If a genuine singular term needs a criterion of identity, we must exclude abstract nouns [Dummett, by Hale] |
| 10547 | Abstract objects can never be confronted, and need verbal phrases for reference [Dummett] |
| 10531 | There is a modern philosophical notion of 'object', first introduced by Frege [Dummett] |
| 19168 | Concepts only have a 'functional character', because they map to truth values, not objects [Dummett, by Davidson] |
| 10549 | Since abstract objects cannot be picked out, we must rely on identity statements [Dummett] |
| 10516 | A realistic view of reference is possible for concrete objects, but not for abstract objects [Dummett, by Hale] |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |