Nor is it clear in what way they’re objects in the first place. I mean, arguably there’s no such thing in reality as an apple—there’s a bunch of atoms which smoothly coexist with other atoms we think of as air or table, and any cutoff point is inherently arbitrary.
In fact, that’s my theory, or perhaps a proto-theory: that what’s needed to develop mathematics is not so much an evolved faculty of syntax, but something more basic: an ability to conceptualize something that’s different from something else. A way of holding an object in your mind, and another object, and understand one to be different from the other (and “different” here might well be a primitive concept, best defined as an expression of that fundamental understanding and not given to further breaking-down). It doesn’t seem that the universe out there is giving us any objective reason to think this way about it (well, the space and time may or may not be discrete on the Planck scale, but that’s irrelevant to our evolved senses and the faculty of thought). Once you have discreteness as a feature of your thought, counting follows and geometry follows.
When I say “there are 10 apples here”, I’m denoting the fact that another being with an ontology sufficiently similar to my own will recognize that there are 10 apples (though I don’t think about it that way, this is an implicit assumption).
If I’m reading you correctly, you deny any ontological status to “10”. But then I’m not sure how you square that with the following experiment: show 10 apples to two people separately, one will say “ten apples”, the other will say “dix pommes”. Repeat many times with other people similarly, establish unambiguously the correspondence between ‘ten’ and ‘dix’; where does it come from? Linguistically, it doesn’t feel very different from establishing the correspondence between ‘red’ and ‘rouge’. If you’re saying that the common thing is “a set of statistical regularities”, that seems to just delay the question—what exactly are those and why do they match in humans with different cultures and mutually unintelligible language?
Viewing mathematics in this way, as a set of evolved cognitive phenomena that works because being able to extract, organize and communicate information about you/your environment is evolutionarily advantageous, seems to make it tough to be a Platonist.
A Platonist may think that we’ve evolved the ability to query and study the world of platonic ideas.
Nor is it clear in what way they’re objects in the first place. I mean, arguably there’s no such thing in reality as an apple—there’s a bunch of atoms which smoothly coexist with other atoms we think of as air or table, and any cutoff point is inherently arbitrary.
That’s a very important point. What you’re talking about is known as object individuation and there are actually quite a few interesting studies on it.
In fact, that’s my theory, or perhaps a proto-theory: that what’s needed to develop mathematics is not so much an evolved faculty of syntax, but something more basic: an ability to conceptualize something that’s different from something else.
So in effect your proto-theory is that object individuation is sufficient to develop mathematics? I’m not sure that I buy that. Non-human apes seem to have a capacity for object individuation and even categorization, yet lack mathematics. I will say this: the writers of that article do issue the caveat that the matter of whether this is full blown object individuation rather than some sort of tracking is not yet settled. Nor does it seem that we fully understand the mechanisms for object individuation. So you could be right, but I think that while object individuation is a necessary condition for the development of mathematics, it doesn’t seem to be sufficient.
Also, to further clarify what I mean by “syntax”, I would include in (as the key feature) an evolved faculty of syntax the ability to think in combinatorial/recursive terms, but again I readily concede that in order for this to work in the way that it does in humans, you certainly seem to need object individuation. I just don’t see how you can have mathematics without the further ability to think in combinatorial terms once you have this discrete mapping of the world object individuation gives you. At the very least, I don’t see how object individuation alone can give rise to mathematics.
If I’m reading you correctly, you deny any ontological status to “10”. But then I’m not sure how you square that with the following experiment: show 10 apples to two people separately, one will say “ten apples”, the other will say “dix pommes”. Repeat many times with other people similarly, establish unambiguously the correspondence between ‘ten’ and ‘dix’; where does it come from? Linguistically, it doesn’t feel very different from establishing the correspondence between ‘red’ and ‘rouge’. If you’re saying that the common thing is “a set of statistical regularities”, that seems to just delay the question—what exactly are those and why do they match in humans with different cultures and mutually unintelligible language?
First, I want to be clear that the “statistical set of regularities” I’m talking about isn’t at the level of language or grammar recognition/learning. When I say statistical set of regularities I’m talking about the “object” level. Whatever allows you to discretize apple as something in particular in your environment.
Also, I don’t know if I’m going as far as denying ontological status to “10”, and even if I were, I’m having trouble figuring out the point of your experiment or how it relates to my position. I might just be totally missing your point here. Language isn’t sufficient for indicating the ontology of a group of people, if that’s an underlying assumption here. There are indigenous peoples that have no word for the color blue, yet still have blue-green cone cells. I think maybe part of the confusion is that I’m stripping this language/grammar down to a sort of combinatorial/recursive modality of thought, this is effectively the universal grammar thesis. There is some additional research suggesting that the confluence of recursive thought and object individuation still would not be sufficient for mathematics. I tend to interpret this to mean that the boost in computing power you get when you can actually communicate ideas to multiple minds is necessary to get very far with creating mathematics, though you might still have the capacity for mathematical thought without this additional ability to communicate highly complex ideas.
As far as you last question:
If you’re saying that the common thing is “a set of statistical regularities”, that seems to just delay the question—what exactly are those and why do they match in humans with different cultures and mutually unintelligible language?
The way I’m reading you, you don’t give any ontological status to “apple” since, as you said,
I mean, arguably there’s no such thing in reality as an apple—there’s a bunch of atoms which smoothly coexist with other atoms we think of as air or table, and any cutoff point is inherently arbitrary.
So you have more or less the same problem, correct? I don’t really feel like I have a nice answer to it. How do you account for this issue? You basically seem to be asking me how object individuation works, which is something that doesn’t seem to be well understood yet, so I don’t see how I could answer this. Am I reading you right or am I misinterpreting you (on the question or on the issue with the apple)?
A Platonist may think that we’ve evolved the ability to query and study the world of platonic ideas.
I think that’s the Penrose argument, from Emperor’s New Mind? I’m really unclear on what that would mean, because I don’t know what it would mean to “query” the “Platonic realm”, nor do I know what the “world of platonic ideas” is supposed to be or what its actual relation to the physical world is. It sounds like an extreme form of dualism, specified to mathematical thought rather than subjective feeling or qualia. I mean, what if I were to try to explain subjective experience by suggesting that we evolved the ability to access the realm of qualia? How is that different?
If you think it’s sensible and that I’ve totally misunderstood it, could you please explain it to me or send me a relevant link?
Thank you for the links to interesting studies, and for teaching me a bit of jargon. I mostly thought about discreteness (or “object individuation”) as a prerequisite for mathematical thought in the context of the philosophy of mathematics, a few years back when I was keenly interested in Platonism vs formalism and related issues, and read some sources in that field. I didn’t know it was studied in the context of the development of the infant mind, although in hindsight that seems a perfectly logical thing to study.
So you could be right, but I think that while object individuation is a necessary condition for the development of mathematics, it doesn’t seem to be sufficient.
My vague idea is that once what you call object individuation is available, it is only “raw intelligence” and object memory that are needed to hold several objects in one’s mind and develop their numerical properties (see below for a sketch). I’m using “raw intelligence” here in a naive (and probably unhelpful) sense, and with the caveat that even though humans generally possess enough of it to develop mathematical thought, the degree to which they do is clearly influenced by culture. For example, cases of indigenous languages with no numerals beyond 3 (one, two, three, lots) have been firmly established by linguists; we can’t prove that their speakers have no distinct mental notion of “10”, but it seems likely.
I can’t rule out that the right elucidation of what I just called “raw intelligence” w.r.t. developing math is actually combinatorial/recursive syntactic ability, as you suggest; but neither do I see the connection as obvious. By the way, in the above examples, the indigeneous languages are of course as complex as all human languages generally are, and yet their speakers seem to only engage in what’s at best an extremely reduced form of mathematical thought.
Also, to further clarify what I mean by “syntax”, I would include in (as the key feature) an evolved faculty of syntax the ability to think in combinatorial/recursive terms,
Can you spell out more suggestively what you actually mean by this? That is, can you give some examples of sentences (or thoughts, since you’re talking of an ability to think; are you referring to the inner-monologue kind of thoughts here? - because if not, the connection to “syntax” becomes somewhat tenuous, I think, or at least worthy of further elucidation) that exhibit what you call combinatorial/recursive properties, and suggest, even if very crudely, how they hypothetically transform into mathematical thinking?
At the very least, I don’t see how object individuation alone can give rise to mathematics.
Numbers could arise from pairwise matching, I think. Let’s assume I can hold separate objects in my mind and understand them to be separate. I then go on to develop the habit of matching, in my mind, groups of related objects one-to-one to make sure that there’s enough of something (e.g. I kill three birds to feed my three children; at first I may need to haul the dead birds and place them next to the children to be able to mentally pair them off, but after enough training I can hold the children individually and together in my imagination w/o seeing them in front of me). The next (admittedly huge) step is matching arbitrary objects to keep count, e.g. I set aside a stone for each sheep I let out of the fold, match again when they come back to see if any’s missing. The next step is creating a reference sequence in my mind, and so on. I’m not sure I actively needed recursive syntax at any point so far—have I?
First, I want to be clear that the “statistical set of regularities” I’m talking about isn’t at the level of language or grammar recognition/learning. When I say statistical set of regularities I’m talking about the “object” level. Whatever allows you to discretize apple as something in particular in your environment.
I think I’m confused as to what you mean by “statistical set of regularities” on the “object” level. Whatever it is that allows me to discretize an apple from other stuff around it doesn’t seem to automatically let me distinguish 9 apples from 10 apples.
Also, I don’t know if I’m going as far as denying ontological status to “10”, and even if I were, I’m having trouble figuring out the point of your experiment or how it relates to my position.
I phrased that poorly. I meant to say that you’re denying ontological mental status to “10”. That is, it seemed from your description that you didn’t believe that there is something in the map of mental concepts of each individual human that can be said to represent “10″, but only that humans who communicate with each other will have shared experiences that will cause them to assign a particular word to represent one of those experiences. As you said,
It seems like counting is really just a method for attaching a token that points at a space of possible meanings, or more realistically, a token that picks out a fuzzy parameter representing a subjective impression of a scenario.
Whereas I think that while this is true, we can go further and state that that there’s an “objective” (in the sense of, at the very least, applicable to all humans) impression of experiencing 10 objects such that each individual human’s subjective impression is a very good approximation of it. I think we can state that because words used to express individual subjective impressions will stay highly consistent over time even between mutually incomprehensible languages and cultures not in contact with each other. The analogy seems strong with other kinds of words that denote “objective-mental” properties such as colors.
So you have more or less the same problem, correct? I don’t really feel like I have a nice answer to it. How do you account for this issue? [...] I don’t know what it would mean to “query” the “Platonic realm”, nor do I know what the “world of platonic ideas” is supposed to be or what its actual relation to the physical world is.
Right; neither do I, and I can’t really answer these questions. The best I can do is to suggest that mathematical thinking flows as a necessary consequence out of a notion of a discrete sequence, and that flows as a necessary logical consequence out of a notion of an individual object that’s distinct from another individual object; and that given two humans who have evolved an ability to individuate objects, they will have access to the same “Platonic realm” of elucidating the extremely rich, but “objectively” necessary, logical consequences of that ability. I don’t think I’ve successfully eliminated dualism here, maybe only draped it over a bit, but that’s the best I can do for now.
Nor is it clear in what way they’re objects in the first place. I mean, arguably there’s no such thing in reality as an apple—there’s a bunch of atoms which smoothly coexist with other atoms we think of as air or table, and any cutoff point is inherently arbitrary.
In fact, that’s my theory, or perhaps a proto-theory: that what’s needed to develop mathematics is not so much an evolved faculty of syntax, but something more basic: an ability to conceptualize something that’s different from something else. A way of holding an object in your mind, and another object, and understand one to be different from the other (and “different” here might well be a primitive concept, best defined as an expression of that fundamental understanding and not given to further breaking-down). It doesn’t seem that the universe out there is giving us any objective reason to think this way about it (well, the space and time may or may not be discrete on the Planck scale, but that’s irrelevant to our evolved senses and the faculty of thought). Once you have discreteness as a feature of your thought, counting follows and geometry follows.
If I’m reading you correctly, you deny any ontological status to “10”. But then I’m not sure how you square that with the following experiment: show 10 apples to two people separately, one will say “ten apples”, the other will say “dix pommes”. Repeat many times with other people similarly, establish unambiguously the correspondence between ‘ten’ and ‘dix’; where does it come from? Linguistically, it doesn’t feel very different from establishing the correspondence between ‘red’ and ‘rouge’. If you’re saying that the common thing is “a set of statistical regularities”, that seems to just delay the question—what exactly are those and why do they match in humans with different cultures and mutually unintelligible language?
A Platonist may think that we’ve evolved the ability to query and study the world of platonic ideas.
That’s a very important point. What you’re talking about is known as object individuation and there are actually quite a few interesting studies on it.
So in effect your proto-theory is that object individuation is sufficient to develop mathematics? I’m not sure that I buy that. Non-human apes seem to have a capacity for object individuation and even categorization, yet lack mathematics. I will say this: the writers of that article do issue the caveat that the matter of whether this is full blown object individuation rather than some sort of tracking is not yet settled. Nor does it seem that we fully understand the mechanisms for object individuation. So you could be right, but I think that while object individuation is a necessary condition for the development of mathematics, it doesn’t seem to be sufficient.
Also, to further clarify what I mean by “syntax”, I would include in (as the key feature) an evolved faculty of syntax the ability to think in combinatorial/recursive terms, but again I readily concede that in order for this to work in the way that it does in humans, you certainly seem to need object individuation. I just don’t see how you can have mathematics without the further ability to think in combinatorial terms once you have this discrete mapping of the world object individuation gives you. At the very least, I don’t see how object individuation alone can give rise to mathematics.
First, I want to be clear that the “statistical set of regularities” I’m talking about isn’t at the level of language or grammar recognition/learning. When I say statistical set of regularities I’m talking about the “object” level. Whatever allows you to discretize apple as something in particular in your environment.
Also, I don’t know if I’m going as far as denying ontological status to “10”, and even if I were, I’m having trouble figuring out the point of your experiment or how it relates to my position. I might just be totally missing your point here. Language isn’t sufficient for indicating the ontology of a group of people, if that’s an underlying assumption here. There are indigenous peoples that have no word for the color blue, yet still have blue-green cone cells. I think maybe part of the confusion is that I’m stripping this language/grammar down to a sort of combinatorial/recursive modality of thought, this is effectively the universal grammar thesis. There is some additional research suggesting that the confluence of recursive thought and object individuation still would not be sufficient for mathematics. I tend to interpret this to mean that the boost in computing power you get when you can actually communicate ideas to multiple minds is necessary to get very far with creating mathematics, though you might still have the capacity for mathematical thought without this additional ability to communicate highly complex ideas.
As far as you last question:
The way I’m reading you, you don’t give any ontological status to “apple” since, as you said,
So you have more or less the same problem, correct? I don’t really feel like I have a nice answer to it. How do you account for this issue? You basically seem to be asking me how object individuation works, which is something that doesn’t seem to be well understood yet, so I don’t see how I could answer this. Am I reading you right or am I misinterpreting you (on the question or on the issue with the apple)?
I think that’s the Penrose argument, from Emperor’s New Mind? I’m really unclear on what that would mean, because I don’t know what it would mean to “query” the “Platonic realm”, nor do I know what the “world of platonic ideas” is supposed to be or what its actual relation to the physical world is. It sounds like an extreme form of dualism, specified to mathematical thought rather than subjective feeling or qualia. I mean, what if I were to try to explain subjective experience by suggesting that we evolved the ability to access the realm of qualia? How is that different?
If you think it’s sensible and that I’ve totally misunderstood it, could you please explain it to me or send me a relevant link?
Thank you for the links to interesting studies, and for teaching me a bit of jargon. I mostly thought about discreteness (or “object individuation”) as a prerequisite for mathematical thought in the context of the philosophy of mathematics, a few years back when I was keenly interested in Platonism vs formalism and related issues, and read some sources in that field. I didn’t know it was studied in the context of the development of the infant mind, although in hindsight that seems a perfectly logical thing to study.
My vague idea is that once what you call object individuation is available, it is only “raw intelligence” and object memory that are needed to hold several objects in one’s mind and develop their numerical properties (see below for a sketch). I’m using “raw intelligence” here in a naive (and probably unhelpful) sense, and with the caveat that even though humans generally possess enough of it to develop mathematical thought, the degree to which they do is clearly influenced by culture. For example, cases of indigenous languages with no numerals beyond 3 (one, two, three, lots) have been firmly established by linguists; we can’t prove that their speakers have no distinct mental notion of “10”, but it seems likely.
I can’t rule out that the right elucidation of what I just called “raw intelligence” w.r.t. developing math is actually combinatorial/recursive syntactic ability, as you suggest; but neither do I see the connection as obvious. By the way, in the above examples, the indigeneous languages are of course as complex as all human languages generally are, and yet their speakers seem to only engage in what’s at best an extremely reduced form of mathematical thought.
Can you spell out more suggestively what you actually mean by this? That is, can you give some examples of sentences (or thoughts, since you’re talking of an ability to think; are you referring to the inner-monologue kind of thoughts here? - because if not, the connection to “syntax” becomes somewhat tenuous, I think, or at least worthy of further elucidation) that exhibit what you call combinatorial/recursive properties, and suggest, even if very crudely, how they hypothetically transform into mathematical thinking?
Numbers could arise from pairwise matching, I think. Let’s assume I can hold separate objects in my mind and understand them to be separate. I then go on to develop the habit of matching, in my mind, groups of related objects one-to-one to make sure that there’s enough of something (e.g. I kill three birds to feed my three children; at first I may need to haul the dead birds and place them next to the children to be able to mentally pair them off, but after enough training I can hold the children individually and together in my imagination w/o seeing them in front of me). The next (admittedly huge) step is matching arbitrary objects to keep count, e.g. I set aside a stone for each sheep I let out of the fold, match again when they come back to see if any’s missing. The next step is creating a reference sequence in my mind, and so on. I’m not sure I actively needed recursive syntax at any point so far—have I?
I think I’m confused as to what you mean by “statistical set of regularities” on the “object” level. Whatever it is that allows me to discretize an apple from other stuff around it doesn’t seem to automatically let me distinguish 9 apples from 10 apples.
I phrased that poorly. I meant to say that you’re denying ontological mental status to “10”. That is, it seemed from your description that you didn’t believe that there is something in the map of mental concepts of each individual human that can be said to represent “10″, but only that humans who communicate with each other will have shared experiences that will cause them to assign a particular word to represent one of those experiences. As you said,
Whereas I think that while this is true, we can go further and state that that there’s an “objective” (in the sense of, at the very least, applicable to all humans) impression of experiencing 10 objects such that each individual human’s subjective impression is a very good approximation of it. I think we can state that because words used to express individual subjective impressions will stay highly consistent over time even between mutually incomprehensible languages and cultures not in contact with each other. The analogy seems strong with other kinds of words that denote “objective-mental” properties such as colors.
Right; neither do I, and I can’t really answer these questions. The best I can do is to suggest that mathematical thinking flows as a necessary consequence out of a notion of a discrete sequence, and that flows as a necessary logical consequence out of a notion of an individual object that’s distinct from another individual object; and that given two humans who have evolved an ability to individuate objects, they will have access to the same “Platonic realm” of elucidating the extremely rich, but “objectively” necessary, logical consequences of that ability. I don’t think I’ve successfully eliminated dualism here, maybe only draped it over a bit, but that’s the best I can do for now.