9 ideas
| 8956 | What is a singleton set, if a set is meant to be a collection of objects? [Szabó] |
| Full Idea: The relationship between an object and its singleton is puzzling. Our intuitive conception of a set is a collection of objects - what are we to make of a collection of a single object? | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 4.1) | |
| A reaction: The ontological problem seems to be the same as that of the empty set, and indeed the claim that a pair of entities is three things. For logicians the empty set is as real as a pet dog, but not for me. |
| 9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
| Full Idea: Most accounts of the concept of mathematical truth can be identified with serving one or another of either semantic theory (matching it to ordinary language), or with epistemology (meshing with a reasonable view) - always at the expense of the other. | |
| From: Paul Benacerraf (Mathematical Truth [1973], Intro) | |
| A reaction: The gist is that language pulls you towards platonism, and epistemology pulls you towards empiricism. He argues that the semantics must give ground. He's right. |
| 17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
| Full Idea: Benacerraf argues that realists about mathematical objects have a nice normal semantic but no epistemology, and anti-realists have a good epistemology but an unorthodox semantics. | |
| From: report of Paul Benacerraf (Mathematical Truth [1973]) by Mark Colyvan - Introduction to the Philosophy of Mathematics 1.2 |
| 9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
| Full Idea: The principle defect of the standard (platonist) account of mathematical truth is that it appears to violate the requirement that our account be susceptible to integration into our over-all account of knowledge. | |
| From: Paul Benacerraf (Mathematical Truth [1973], III) | |
| A reaction: Unfortunately he goes on to defend a causal theory of justification (fashionable at that time, but implausible now). Nevertheless, his general point is well made. Your theory of what mathematics is had better make it knowable. |
| 8953 | Abstract entities don't depend on their concrete entities ...but maybe on the totality of concrete things [Szabó] |
| Full Idea: It is better not to include in the definition of abstract entities that they ontologically depend on their concrete correlates. Note: ..but they may depend on the totality of concreta; maybe 'the supervenience of the abstract' is part of ordinary thought. | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
| A reaction: [the quoted phrase is from Gideon Rosen] It certainly seems unlikely that the concept of the perfect hexagon depends on a perfect hexagon having existed. Human minds have intervened between the concrete and the abstract. |
| 8954 | Geometrical circles cannot identify a circular paint patch, presumably because they lack something [Szabó] |
| Full Idea: The vocabulary of geometry is sufficient to identify the circle, but could not be used to identify any circular paint patch. The reason must be that the circle lacks certain properties that can distinguish paint patches from one another. | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
| A reaction: I take this to be support for the traditional view, that abstractions are created by omitting some of the properties of physical objects. I take them to be fictional creations, reified by language, and not actual hidden entities that have been observed. |
| 8955 | Abstractions are imperceptible, non-causal, and non-spatiotemporal (the third explaining the others) [Szabó] |
| Full Idea: In current discussions, abstract entities are usually distinguished as 1) in principle imperceptible, 2) incapable of causal interaction, 3) not located in space-time. The first is often explained by the second, which is in turn explained by the third. | |
| From: Zoltán Gendler Szabó (Nominalism [2003], 2.2) | |
| A reaction: Szabó concludes by offering 3 as the sole criterion of abstraction. As Lewis points out, the Way of Negation for defining abstracta doesn't tell us very much. Courage may be non-spatiotemporal, but what about Alexander the Great's courage? |
| 1748 | Archelaus was the first person to say that the universe is boundless [Archelaus, by Diog. Laertius] |
| Full Idea: Archelaus was the first person to say that the universe is boundless. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Diogenes Laertius - Lives of Eminent Philosophers 02.Ar.3 |
| 5989 | Archelaus said life began in a primeval slime [Archelaus, by Schofield] |
| Full Idea: Archelaus wrote that life on Earth began in a primeval slime. | |
| From: report of Archelaus (fragments/reports [c.450 BCE]) by Malcolm Schofield - Archelaus | |
| A reaction: This sounds like a fairly clearcut assertion of the production of life by evolution. Darwin's contribution was to propose the mechanism for achieving it. We should honour the name of Archelaus for this idea. |