Combining Texts

All the ideas for 'The Elm and the Expert', 'Hilbert's Programme' and 'How Things Might Have Been'

unexpand these ideas     |    start again     |     specify just one area for these texts


51 ideas

2. Reason / A. Nature of Reason / 8. Naturalising Reason
A standard naturalist view is realist, externalist, and computationalist, and believes in rationality [Fodor]
     Full Idea: There seems to be an emerging naturalist consensus that is Realist in ontology and epistemology, externalist in semantics, and computationalist in cognitive psychology, which nicely allows us to retain our understanding of ourselves as rational creatures.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
3. Truth / A. Truth Problems / 5. Truth Bearers
Psychology has to include the idea that mental processes are typically truth-preserving [Fodor]
     Full Idea: A psychology that can't make sense of such facts as that mental processes are typically truth-preserving is ipso facto dead in the water.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.3)
5. Theory of Logic / A. Overview of Logic / 4. Pure Logic
Inferences are surely part of the causal structure of the world [Fodor]
     Full Idea: Inferences are surely part of the causal structure of the world.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §3)
6. Mathematics / A. Nature of Mathematics / 5. The Infinite / a. The Infinite
Gödel showed that the syntactic approach to the infinite is of limited value [Kreisel]
     Full Idea: Usually Gödel's incompleteness theorems are taken as showing a limitation on the syntactic approach to an understanding of the concept of infinity.
     From: Georg Kreisel (Hilbert's Programme [1958], 05)
6. Mathematics / B. Foundations for Mathematics / 1. Foundations for Mathematics
The study of mathematical foundations needs new non-mathematical concepts [Kreisel]
     Full Idea: It is necessary to use non-mathematical concepts, i.e. concepts lacking the precision which permit mathematical manipulation, for a significant approach to foundations. We currently have no concepts of this kind which we can take seriously.
     From: Georg Kreisel (Hilbert's Programme [1958], 06)
     A reaction: Music to the ears of any philosopher of mathematics, because it means they are not yet out of a job.
9. Objects / A. Existence of Objects / 5. Individuation / a. Individuation
A principle of individuation may pinpoint identity and distinctness, now and over time [Mackie,P]
     Full Idea: One view of a principle of individuation is what is called a 'criterion of identity', determining answers to questions about identity and distinctness at a time and over time - a principle of distinction and persistence.
     From: Penelope Mackie (How Things Might Have Been [2006], 8.2)
     A reaction: Since the term 'Prime Minister' might do this job, presumably there could be a de dicto as well as a de re version of individuation. The distinctness consists of chairing cabinet meetings, rather than being of a particular sex.
Individuation may include counterfactual possibilities, as well as identity and persistence [Mackie,P]
     Full Idea: A second view of the principle of individuation includes criteria of distinction and persistence, but also determines the counterfactual possibilities for a thing.
     From: Penelope Mackie (How Things Might Have Been [2006], 8.5)
     A reaction: It would be a pretty comprehensive individuation which defined all the counterfactual truths about a thing, as well as its actual truths. This is where powers come in. We need to know a thing's powers, but not how they cash out counterfactually.
9. Objects / A. Existence of Objects / 5. Individuation / d. Individuation by haecceity
A haecceity is the essential, simple, unanalysable property of being-this-thing [Mackie,P]
     Full Idea: Socrates can be assigned a haecceity: an essential property of 'being Socrates' which (unlike the property of 'being identical with Socrates') may be regarded as what 'makes' its possessor Socrates in a non-trivial sense, but is simple and unanalysable.
     From: Penelope Mackie (How Things Might Have Been [2006], 2.2)
     A reaction: I don't accept that there is any such property as 'being Socrates' (or even 'being identical with Socrates'), except as empty locutions or logical devices. A haecceity seems to be the 'ultimate subject of predication', with no predicates of its own.
9. Objects / D. Essence of Objects / 1. Essences of Objects
Essentialism must avoid both reduplication of essences, and multiple occupancy by essences [Mackie,P]
     Full Idea: The argument for unshareable properties (the Reduplication Argument) suggests the danger of reduplication of Berkeley; the argument for incompatible properties (Multiple Occupancy) says Berkeley and Hume could be in the same possible object.
     From: Penelope Mackie (How Things Might Have Been [2006], 2.8)
     A reaction: These are her arguments in favour of essential properties being necessarily incompatible between objects. Whatever the answer, it must allow essences for indistinguishables like electrons. 'Incompatible' points towards a haecceity.
9. Objects / D. Essence of Objects / 3. Individual Essences
An individual essence is the properties the object could not exist without [Mackie,P]
     Full Idea: By essentialism about individuals I simply mean the view that individual things have essential properties, where an essential property of an object is a property that the object could not have existed without.
     From: Penelope Mackie (How Things Might Have Been [2006], 1.1)
     A reaction: This presumably means I could exist without a large part of my reason and consciousness, but could not exist without one of my heart valves. This seems to miss the real point of essence. I couldn't exist without oxygen - not one of my properties.
No other object can possibly have the same individual essence as some object [Mackie,P]
     Full Idea: Individual essences are essential properties that are unique to them alone. ...If a set of properties is an individual essence of A, then A has the properties essentially, and no other actual or possible object actually or possibly has them.
     From: Penelope Mackie (How Things Might Have Been [2006], 2.1/2)
     A reaction: I'm unconvinced about this. Tigers have an essence, but individual tigers have individual essences over and above their tigerish qualities, yet the perfect identity of two tigers still seems to be possible.
There are problems both with individual essences and without them [Mackie,P]
     Full Idea: If all objects had individual essences, there would be no numerical difference without an essential difference. But if there aren't individual essences, there could be two things sharing all essential properties, differing only in accidental properties.
     From: Penelope Mackie (How Things Might Have Been [2006], 2.5)
     A reaction: Depends how you define individual essence. Why can't two electrons have the same individual essence. To postulate a 'kind essence' which bestows the properties on each electron is to get things the wrong way round.
9. Objects / D. Essence of Objects / 5. Essence as Kind
Unlike Hesperus=Phosophorus, water=H2O needs further premisses before it is necessary [Mackie,P]
     Full Idea: There is a disanalogy between 'necessarily water=H2O' and 'necessarily Hesperus=Phosphorus'. The second just needs the necessity of identity, but the first needs 'x is a water sample' and 'x is an H2O' sample to coincide in all possible worlds.
     From: Penelope Mackie (How Things Might Have Been [2006], 10.1.)
     A reaction: This comment is mainly aimed at Kripke, who bases his essentialism on identities, rather than at Putnam.
Why are any sortals essential, and why are only some of them essential? [Mackie,P]
     Full Idea: Accounts of sortal essentialism do not give a satisfactory explanation of why any sortals should be essential sortals, or a satisfactory account of why some sortals should be essential while others are not.
     From: Penelope Mackie (How Things Might Have Been [2006], 8.6)
     A reaction: A theory is not wrong, just because it cannot give a 'satisfactory explanation' of every aspect of the subject. We might, though, ask why the theory isn't doing well in this area.
9. Objects / D. Essence of Objects / 8. Essence as Explanatory
The Kripke and Putnam view of kinds makes them explanatorily basic, but has modal implications [Mackie,P]
     Full Idea: Kripke and Putnam chose for their typical essence of kinds, sets of properties that could be thought of as explanatorily basic. ..But the modal implications of their views go well beyond this.
     From: Penelope Mackie (How Things Might Have Been [2006], 10.1)
     A reaction: Cf. Idea 11905. The modal implications are that the explanatory essence is also necessary to the identity of the thing under discussion, such as H2O. So do basic explanations carry across into all possible worlds?
9. Objects / E. Objects over Time / 12. Origin as Essential
Origin is not a necessity, it is just 'tenacious'; we keep it fixed in counterfactual discussions [Mackie,P]
     Full Idea: I suggest 'tenacity of origin' rather than 'necessity of origin'. ..The most that we need is that Caesar's having something similar to his actual origin in certain respects (e.g. his actual parents) is normally kept fixed in counterfactual speculation.
     From: Penelope Mackie (How Things Might Have Been [2006], 6.9)
     A reaction: I find necessity or essentially of origin very unconvincing, so I rather like this. Origin is just a particularly stable way to establish our reference to something. An elusive spy may have little more than date and place of birth to fix them.
10. Modality / E. Possible worlds / 3. Transworld Objects / a. Transworld identity
Transworld identity without individual essences leads to 'bare identities' [Mackie,P]
     Full Idea: Transworld identity without individual essences leads to 'bare identities'.
     From: Penelope Mackie (How Things Might Have Been [2006], 2.7)
     A reaction: [She gives an argument for this, based on Forbes] I certainly favour the notion of individual essences over the notion of bare identities. We must distinguish identity in reality from identity in concept. Identities are points in conceptual space.
10. Modality / E. Possible worlds / 3. Transworld Objects / c. Counterparts
De re modality without bare identities or individual essence needs counterparts [Mackie,P]
     Full Idea: Anyone who wishes to avoid both bare identities and individual essences, without abandoning de re modality entirely, must adopt counterpart theory.
     From: Penelope Mackie (How Things Might Have Been [2006], 4.1)
     A reaction: This at least means that Lewis's proposal has an important place in the discussion, forcing us to think more clearly about the identities involved when we talk of possibilities. Mackie herself votes for bare indentities.
Things may only be counterparts under some particular relation [Mackie,P]
     Full Idea: A may be a counterpart of B according to one counterpart relation (similarity of origin, say), but not according to another (similarity of later history).
     From: Penelope Mackie (How Things Might Have Been [2006], 5.3)
     A reaction: Hm. Would two very diverse things have to be counterparts because they were kept in the same cupboard in different worlds? Can the counterpart relationship diverge or converge over time? Yes, I presume.
Possibilities for Caesar must be based on some phase of the real Caesar [Mackie,P]
     Full Idea: I take the 'overlap requirement' for Julius Caesar to be that, when considering how he might have been different, you have to take him as he actually was at some time in his existence, and consider possibilities consistent with that.
     From: Penelope Mackie (How Things Might Have Been [2006], 6.5)
     A reaction: This is quite a large claim (larger than Mackie thinks?), as it seems equally applicable to properties, states of affairs and propositions, as well as to individuals. Possibility that has no contact at all with actuality is beyond our comprehension.
10. Modality / E. Possible worlds / 3. Transworld Objects / d. Haecceitism
The theory of 'haecceitism' does not need commitment to individual haecceities [Mackie,P]
     Full Idea: The theory that things have 'haecceities' must be sharply distinguished from the theory referred to as 'haecceitism', which says there may be differences in transworld identities that do not supervene on qualitative differences.
     From: Penelope Mackie (How Things Might Have Been [2006], 2.2 n7)
     A reaction: She says later [p,43 n] that it is possible to be a haecceitist without believing in individual haecceities, if (say) the transworld identities had no basis at all. Note that if 'thisness' is 'haecceity', then 'whatness' is 'quiddity'.
13. Knowledge Criteria / C. External Justification / 5. Controlling Beliefs
Control of belief is possible if you know truth conditions and what causes beliefs [Fodor]
     Full Idea: Premeditated cognitive management is possible if knowing the contents of one's thoughts would tell you what would make them true and what would cause you to have them.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I love the idea of 'cognitive management'. Since belief is fairly involuntary, I subject myself to the newspapers, books, TV and conversation which will create the style of beliefs to which I aspire. Why?
14. Science / A. Basis of Science / 3. Experiment
Participation in an experiment requires agreement about what the outcome will mean [Fodor]
     Full Idea: To be in the audience for an experiment you have to believe what the experimenter believes about what the outcome would mean, but not necessarily what the outcome will be.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
An experiment is a deliberate version of what informal thinking does all the time [Fodor]
     Full Idea: Experimentation is an occasional and more or less self-conscious exercise in what informal thinking does all the time without thinking about it.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
We can deliberately cause ourselves to have true thoughts - hence the value of experiments [Fodor]
     Full Idea: A creature that knows what makes its thoughts true and what would cause it to have them, could therefore cause itself to have true thoughts. …This would explain why experimentation is so close to the heart of our cognitive style.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
Interrogation and experiment submit us to having beliefs caused [Fodor]
     Full Idea: You can put yourself into a situation where you may be caused to believe that P. Putting a question to someone who is in the know is one species of this behaviour, and putting a question to Nature (an experiment) is another.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
14. Science / B. Scientific Theories / 1. Scientific Theory
Theories are links in the causal chain between the environment and our beliefs [Fodor]
     Full Idea: Theories function as links in the causal chains that run from environmental outcomes to the beliefs that they cause the inquirer to have.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
14. Science / D. Explanation / 2. Types of Explanation / k. Explanations by essence
Locke's kind essences are explanatory, without being necessary to the kind [Mackie,P]
     Full Idea: One might speak of 'Lockean real essences' of a natural kind, a set of properties that is basic in the explanation of the other properties of the kind, without commitment to the essence belonging to the kind in all possible worlds.
     From: Penelope Mackie (How Things Might Have Been [2006], 10.1)
     A reaction: I think this may be the most promising account. The essence of a tiger explains what tigers are like, but tigers may evolve into domestic pets. Questions of individuation and of explaining seem to be quite separate.
15. Nature of Minds / A. Nature of Mind / 1. Mind / e. Questions about mind
I say psychology is intentional, semantics is informational, and thinking is computation [Fodor]
     Full Idea: I hold that psychological laws are intentional, that semantics is purely informational, and that thinking is computation (and that it is possible to hold all of these assumptions at once).
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: When he puts it baldly like that, it doesn't sound terribly persuasive. Thinking is 'computation'? Raw experience is irrelevant? What is it 'like' to spot an interesting connection between two propositions or concepts? It's not like adding 7 and 5.
15. Nature of Minds / B. Features of Minds / 1. Consciousness / f. Higher-order thought
We are probably the only creatures that can think about our own thoughts [Fodor]
     Full Idea: I think it is likely that we are the only creatures that can think about the contents of our thoughts.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I think this is a major idea. If you ask me the traditional question - what is the essential difference between us and other animals? - this is my answer (not language, or reason). We are the metathinkers.
17. Mind and Body / A. Mind-Body Dualism / 2. Interactionism
Cartesians consider interaction to be a miracle [Fodor]
     Full Idea: The Cartesian view is that the interaction problem does arise, but is unsolvable because interaction is miraculous.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: A rather unsympathetic statement of the position. Cartesians might think that God could explain to us how interaction works. Cartesians are not mysterians, I think, but they see no sign of any theory of interaction.
Semantics v syntax is the interaction problem all over again [Fodor]
     Full Idea: The question how mental representations could be both semantic, like propositions, and causal, like rocks, trees, and neural firings, is arguably just the interaction problem all over again.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: Interesting way of presenting the problem. If you seem to be confronting the interaction problem, you have probably drifted into a bogus dualist way of thinking. Retreat, and reformulate you questions and conceptual apparatus, till the question vanishes.
17. Mind and Body / E. Mind as Physical / 1. Physical Mind
Type physicalism equates mental kinds with physical kinds [Fodor]
     Full Idea: Type physicalism is, roughly, the doctrine that psychological kinds are identical to neurological kinds.
     From: Jerry A. Fodor (The Elm and the Expert [1993], App A n.1)
     A reaction: This gets my general support, leaving open the nature of 'kinds'. Presumably the identity is strict, as in 'Hesperus is identical to Phosphorus'. It seems unlikely that if you and I think the 'same' thought, that we have strictly identical brain states.
17. Mind and Body / E. Mind as Physical / 4. Connectionism
Hume has no theory of the co-ordination of the mind [Fodor]
     Full Idea: What Hume didn't see was that the causal and representational properties of mental symbols have somehow to be coordinated if the coherence of mental life is to be accounted for.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: Certainly the idea that it all somehow becomes magic at the point where the brain represents the world is incoherent - but it is a bit magical. How can the whole of my garden be in my brain? Weird.
18. Thought / A. Modes of Thought / 2. Propositional Attitudes
Propositional attitudes are propositions presented in a certain way [Fodor]
     Full Idea: Propositional attitudes are really three-place relations, between a creature, a proposition, and a mode of presentation (which are sentences of Mentalese).
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.II)
     A reaction: I'm not sure about 'really'! Why do we need a creature? Isn't 'hoping it will rain' a propositional attitude which some creature may or may not have? Fodor wants it to be physical, but it's abstract?
18. Thought / A. Modes of Thought / 5. Rationality / a. Rationality
Rationality has mental properties - autonomy, productivity, experiment [Fodor]
     Full Idea: Mentalism isn't gratuitous; you need it to explain rationality. Mental causation buys you behaviours that are unlike reflexes in at least three ways: they're autonomous, they're productive, and they're experimental.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: He makes his three ways sound all-or-nothing, which is (I believe) the single biggest danger when thinking about the mind. "Either you are conscious, or you are not..."
18. Thought / C. Content / 5. Twin Earth
XYZ (Twin Earth 'water') is an impossibility [Fodor]
     Full Idea: There isn't any XYZ, and there couldn't be any, and so we don't have to worry about it.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.I)
     A reaction: Jadeite and Nephrite are real enough, which are virtually indistinguishable variants of jade. You just need Twin Jewellers instead of Twin Earths. We could build them, and employ twins to work there.
18. Thought / C. Content / 6. Broad Content
Truth conditions require a broad concept of content [Fodor]
     Full Idea: We need the idea of broad content to make sense of the fact that thoughts have the truth-conditions that they do.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.II)
     A reaction: There seems to be (as Dummett points out) a potential circularity here, as you can hardly know the truth-conditions of something if you don't already know its content.
18. Thought / C. Content / 7. Narrow Content
Concepts aren't linked to stuff; they are what is caused by stuff [Fodor]
     Full Idea: If the words of 'Swamp Man' (spontaneously created, with concepts) are about XYZ on Twin Earth, it is not because he's causally connected to the stuff, but because XYZ would cause his 'water' tokens (in the absence of H2O).
     From: Jerry A. Fodor (The Elm and the Expert [1993], App B)
     A reaction: The sight of the Eiffel tower causes my 'France' tokens, so is my word "France" about the Eiffel Tower? What would cause my 'nothing' tokens?
18. Thought / C. Content / 10. Causal Semantics
Knowing the cause of a thought is almost knowing its content [Fodor]
     Full Idea: If you know the content of a thought, you know quite a lot about what would cause you to have it.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I'm not sure where this fits into the great jigsaw of the mind, but it strikes me as an acute and important observation. The truth of a thought is not essential to make you have it. Ask Othello.
18. Thought / C. Content / 12. Informational Semantics
Is content basically information, fixed externally? [Fodor]
     Full Idea: I assume intentional content reduces (in some way) to information. …The content of a thought depends on its external relations; on the way that the thought is related to the world, not the way that it is related to other thoughts.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.2)
     A reaction: Does this make Fodor a 'weak' functionalist? The 'strong' version would say a thought is merely a location in a flow diagram, but Fodor's 'mentalism' includes a further 'content' in each diagram box.
18. Thought / D. Concepts / 3. Ontology of Concepts / b. Concepts as abilities
In the information view, concepts are potentials for making distinctions [Fodor]
     Full Idea: Semantics, according to the informational view, is mostly about counterfactuals; what counts for the identity of my concepts is not what I do distinguish but what I could distinguish if I cared to (even using instruments and experts).
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.I)
     A reaction: We all differ in our discriminations (and awareness of expertise), so our concepts would differ, which is bad news for communication (see Idea 223). The view has some plausibility, though.
19. Language / A. Nature of Meaning / 1. Meaning
Semantic externalism says the concept 'elm' needs no further beliefs or inferences [Fodor]
     Full Idea: It is the essence of semantic externalism that there is nothing that you have to believe, there are no inferences that you have to accept, to have the concept 'elm'.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §2.I)
     A reaction: [REMINDER: broad content is filed in 18.C.7, under 'Thought' rather than under language. That is because I am a philospher of thought, rather than of language.
If meaning is information, that establishes the causal link between the state of the world and our beliefs [Fodor]
     Full Idea: It is the causal connection between the state of the world and the contents of beliefs that the reduction of meaning to information is designed to insure.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: I'm not clear why characterising the contents of a belief in terms of its information has to amount to a 'reduction'. A cup of tea isn't reduced to tea. Connections imply duality.
19. Language / A. Nature of Meaning / 4. Meaning as Truth-Conditions
To know the content of a thought is to know what would make it true [Fodor]
     Full Idea: If you know the content of a thought, you thereby know what would make the thought true.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: The truthmaker might by physically impossible, and careful thought might show it to be contradictory - but that wouldn't destroy the meaning.
19. Language / A. Nature of Meaning / 7. Meaning Holism / b. Language holism
For holists no two thoughts are ever quite the same, which destroys faith in meaning [Fodor]
     Full Idea: If what you are thinking depends on all of what you believe, then nobody ever thinks the same thing twice. …That is why so many semantic holists (Quine, Putnam, Rorty, Churchland, probably Wittgenstein) end up being semantic eliminativists.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.2b)
     A reaction: If linguistic holism is nonsense, this is easily settled. What I say about breakfast is not changed by reading some Gibbon yesterday.
19. Language / B. Reference / 4. Descriptive Reference / a. Sense and reference
It is claimed that reference doesn't fix sense (Jocasta), and sense doesn't fix reference (Twin Earth) [Fodor]
     Full Idea: The standard view is that Frege cases [knowing Jocasta but not mother] show that reference doesn't determine sense, and Twin cases [knowing water but not H2O] show that sense doesn't determine reference.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.3)
     A reaction: How about 'references don't contain much information', and 'descriptions may not fix what they are referring to'? Simple really.
19. Language / C. Assigning Meanings / 2. Semantics
Broad semantics holds that the basic semantic properties are truth and denotation [Fodor]
     Full Idea: Broad semantic theories generally hold that the basic semantic properties of thoughts are truth and denotation.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §1.2b)
     A reaction: I think truth and denotation are the basic semantic properties, but I am dubious about whole-hearted broad semantic theories, so I seem to have gone horribly wrong somewhere.
19. Language / C. Assigning Meanings / 6. Truth-Conditions Semantics
Externalist semantics are necessary to connect the contents of beliefs with how the world is [Fodor]
     Full Idea: You need an externalist semantics to explain why the contents of beliefs should have anything to do with how the world is.
     From: Jerry A. Fodor (The Elm and the Expert [1993], §4)
     A reaction: Since externalist semantics only emerged in the 1970s, that implies that no previous theory had any notion that language had some connection to how the world is. Eh?
26. Natural Theory / B. Natural Kinds / 6. Necessity of Kinds
Maybe the identity of kinds is necessary, but instances being of that kind is not [Mackie,P]
     Full Idea: One could be an essentialist about natural kinds (of tigers, or water) while holding that every actual instance or sample of a natural kind is only accidentally an instance or a sample of that kind.
     From: Penelope Mackie (How Things Might Have Been [2006], 10.2)
     A reaction: You wonder, then, in what the necessity of the kind consists, if it is not rooted in the instances, and presumably it could only result from a stipulative definition, and hence be conventional.
27. Natural Reality / C. Space / 3. Points in Space
The natural conception of points ducks the problem of naming or constructing each point [Kreisel]
     Full Idea: In analysis, the most natural conception of a point ignores the matter of naming the point, i.e. how the real number is represented or by what constructions the point is reached from given points.
     From: Georg Kreisel (Hilbert's Programme [1958], 13)
     A reaction: This problem has bothered me. There are formal ways of constructing real numbers, but they don't seem to result in a name for each one.