I think this is really hard to 'see', and it's again something I'm struggling to articulate, but maybe if you throw more words at me you can midwife me.
Yeah, I think you're onto something too, and I can't quite place it either. Let me throw some more words then:
But isn't a 'pair of like objects' a type? I mean, one of the things I want to say is that there are no types in general. There are only these types and those types but never types per se (or, putting it so as to avoid performative contradiction: 'types in general' are themselves a particular kind of type). So I want to grant you your point but also deprive it of it's power. — sx
I think here you may inadvertently be granting the point
more power. A [pair of like objects] is definitely a type, but as you say, there are no types in general. It's exactly for this reason that I don't think we can generalize from the conditions under which monkeys can identify pairs of objects (qua pairs of objects) to a broader set of necessary conditions for identifying
any type. I think it's worth noting that the Hegelian approach you've outlined is perhaps the apotheosis of treating all types as types in general. The dizziness that sets in when we realize that any type can be treated as a token and any token as a type (or when we realize that any level can be either object-level or meta-language) - the dizziness of a kind of fractal infinity that stretches inward and outward, with no firm ground - is linked directly to a procedure of thought that is indifferent to the things its thinking about. The weird dialectical combustion that's happening is taking place at a level of abstraction so abstract that it creates a kind of cognitive ouroborous. It's the place of thought
par excellence that treats all things as things-in-general.
--------
Aside, that may or not be relevant:
[one way to dramatize the beginning of Hegel's Phenomenology is to imagine a kid trying to show their parent something. The parent doesn't understand -
say what you
mean! No, just
look, the kid says. I don't know what you're trying to show me, says the parent, you need to
say what you
mean. The kid finally gives up, and accedes to the linguistic demands of the parent. He wants to find a way to say what he means, and will try to do so on the parent's terms. But he's routed at every turn by this or that contradiction. He never loses faith in the possibility that one day he will say what he means, so he will follow every contradiction through to its bitter end, in hope of finally reaching the point where he will succeed, and communicate. He works diligently, painstakingly, toward this end. Some of his peers look on: Their parents were less demanding, had some innate capacity to
share a moment in silence with their children, without experiencing the anxiety of needing to report on it. They look on sympathetically but sorrowfully. They realize that the game was rigged from the beginning. There will never be a moment where he can communicate, the very structure of linguistic demand imposed on the child ensures that. He will be led from contradiction to contradiction endlessly, like some tortured soul in a fable. They see that in some moments the child even recognizes this
"When consciousness feels this violence, its anxiety may well make it retreat from the truth, and strive to hold on to what it is in danger of losing. But it can find no peace. If it wishes to remain in a state of unthinking inertia, then thought troubles its thoughtlessness, and its own unrest disturbs its inertia."
These friends recognize that the child holds onto the dream of the final moment when all its struggles will be rendered meaningful, in order to sustain this pursuit.
And maybe, in bad dreams, the child sees a dim future figure, an exotic Algerian, who, like him, accepts the demand of the parent, but who, unlike him, refuses to believe that the child can ever succeed. In the dreams the child knows that the Algerian is right, but wonders why he still accepts the demand.
/End Aside.
----------
but - and I'm struggling to articulate this - what I want to say is that token-type distinctions always bear on relations, for structural reasons. To identify even an apple is to identify it as similar to other (hypothetical) apples.
What I'm tempted to say here, or at least something that seems plausible to me, is that this is a retrojection of higher-order linguistic abstraction onto a more basic ability. To see an apple as an apple is to recognize it as an apple. Does this imply other apples? I'm not sure. I recognize Paul when I see him, as paul. This doesn't imply other hypothetical Pauls. There is only one Paul. Perhaps the way in which I recognize him is a flood of affection - It's paul! I can imagine this same sort of thing happening with a little kid seeing a dog. "Doggie!" the kid says, but the kid doesn't recognize the dog as a particular dog among many. It's more like a welling-up of excitement. Perhaps, for the kid, 'doggie' is just the way one expresses the welling-up of excitement at seeing a dog. And, importantly, in this conception - it's not just that welling-up of excitement is one instance of welling-up in general. It's the same thing, from the same source. the welling-up doesn't relate to itself - it just
is that welling up. Perhaps one says doggie, the same way one does a certain dance move to express a certain feeling.
Nevertheless we can use 'doggie' as a stepping-stone to a different sort of game that involves relating pieces of the world to a static conceptual grid. The first 'game' provides the foundation for the second. However there's something peculiar about the second game in that sometimes it wants to be the Only game (speculation: the second game involves order, in some ways
is order. There are no surprises. In this respect, its an excellent, if potentially soporofic, way to allay anxiety.)
The upshot of this conception - which I'm not saying is right, just a possible alternative not precluded by the OP - is that the work universals are doing might take place in a 'middle space' between bluzzing blooming etc and type-token sorting. Which is to say: why do we
want to say that an apple has to be a self-relation (some internal self-difference, which underlies its self-sameness.)?
This may actually work with the Sellars thing, I'm not sure, but it seems to lay the ground for 'levels of games' each with their own internal logic, and each related to other things. The specter of bootstrapping that haunts a world without givens could be explained as a sharpening of distinctions already present but unreflected upon in patterns of behavior/feelings/thoughts and words. Only once this kind of pattern is sufficiently in place can we even begin to have something like knowledge (and its linguistic expression.) I.e. We can't talk about 'red' unless we already have a
pattern of behavior/experience/feeling etc that has been linked to a linguistic pattern.