Well Kripke's Crusoe is isolated from birth IIRC. The distinction is important and has led to the differentiation between your Tarzans (always isolated) and your Crusoes (isolated at some later point).
To be honest, the whole debate seems like a sort of philosophical blind alley to me.
It's a while since I've read Kripke's text, but that seems to be right. But it's a bit more complicated than that. If the thesis is that meaning is established by practices, then it does not seem to be wrong to say that there is no fact of the matter that determines it. However, given that the sky is blue, it is true to say that there is a fact of the matter that makes the statement "the sky is blue" true. IMO.
Well, this is tricky. The fact that we call the sky blue, think water is composed of hydrogen and oxygen, or think that dogs and cats are different species is not "social practices all the way down." The shape of language games, their evolution, the hinge propositions we accept as fundemental, etc.— these don't spring into our minds uncaused. It would be a mistake to think that just because we cannot formulate propositions outside of language games and the context of social practices that nothing exists outside that context or that such things are unknowable tout court.
At the root of deflationary theories of truth (which is often how On Certainty is read) lies an error that is isomorphic to the Cartesian error that Wittgenstein is at pains to correct. The error is to assume that language games, theories, models, words, ideas, etc. are
what we know instead of
that through which we know. It's unsurprising that a deflationary reader of Wittgenstein like Rorty uses the image of words and ideas as "a mirror of nature" as a foil through which to dismiss metaphysical notions of truth, while a phenomenologist relying on the pre-modern tradition like Sokolowski would rather have us speak of "lenses we look
through" (not at).
Why do practices develop the way they do? Why do some things seem "self-evident?" If it isn't "for no reason at all," then we have
something sitting posterior to any individual language game or any hinge propositions, namely metaphysical truth. What's missing from deflationary or skeptical accounts is any concept of the causality specific to signs, that they make us think one thing instead of another. Instead, we have the sign vehicle mistaken from the sign, leading to it becoming disconnected from its object. This turns the sign vehicle into an impermeable barrier between the interpretant and the world, rather than it being what joins them in an irreducible tripartite gestalt, a nuptial union. (Reductionist assumptions might play a role here too, in that it is assumed that sign relations can be decomposed into their parts without losing anything).
I think the move to deflation vis-á-vis truth became inevitable after the move to place logic entirely within the "subject." After the Cartesian divide between been subject and object, things has to be assigned to one or the other, leading to Lewis' "bloated subject," the sui generis source of beauty, goodness, logic, intelligibility, meaning, and eventually truth itself. (The "What is Logic?" thread discussed this:
https://thephilosophyforum.com/discussion/14593/what-is-logic/p1)
But if we're willing to allow that we and our language games have causes external to ourselves, then there is no need to question the existence of "facts" that lie outside any specific game. After all, the absolute view is not reality as set over and against appearances, but rather must itself include all of reality and appearance. When Kripke or Rorty want to appeal to usefulness they have to allow that there is some truth about what is actually useful, and presumably this will be determined by factors outside of any language game. Otherwise we get the infinite regress of appeals to pragmatism that deny any truth (e.g.
https://thephilosophyforum.com/discussion/15308/pragmatism-without-goodness/p1). That or usefulness is just whatever we currently prefer, which then leaves us in the position of Protagoras in the Theatetus, having no reason to philosophize because no one can ever be wrong about anything.
I'm always uncomfortable with those grand philosophical concepts. But I would agree in many cases that our access to - no, better, our practices in - a world "outside" language does ground meaning. I think the game may be differently played in fields like mathematics and logic - though even there, there are facts that kick us in the face; we are not simply in control.
Seems to me that all sorts of facts can "kick us in the face," e.g. when we design a plane based on a flawed understanding of lift and it crashes. Reason might be "defenseless," in that it cannot justify itself from outside itself, but truth asserts itself in our lives all the time. Regardless of which hinge propositions you hold to, if you jump off a building, it seems truth will show up to hit you on the way down.
But you just said his view wasn't about certainty?
Imo, I don't think you are offering any solution that is inherently different from the sceptical solution since what you are saying seems to come down to just ignoring indeterminacy, which then brings up the question of "how are you doing what you are doing?" which comes to be the same kind of acting "blindly".
The set up for the skeptical problem is based on a very analytic notion of certainty and also seems to assume that meaning must be grounded in a nominalist context. I would say there are grounds for rejecting the "skeptical problem" rather than finding a solution for it. So this isn't the same thing as the skeptical solution. Kripke's argument could be framed as a dilemma syllogism, and we could "grab it by the horns," and reject its premises, rather than looking for a path through the horns.
This entails neither "ignoring indeterminacy" nor "acting blindly." Gadamer's views re hermeneutics are instructive here. The fact is, a prejudice against all prejudices is itself a prejudice. The "view from nowhere," isn't a coherent model of knowledge. Most of philosophy accepts this now, and yet the VFN continues to haunt us because it is often dragged out as a strawman/punching bag to argue for various flavors of relativism or nihilism, as if realism can only exist within the context of the VFN.
It is possible to rely upon one's prejudices and still question them. We can question the Law of Non-Contradiction or the Law of the Excluded Middle while still maintaining that we must hold to them. Folks like Hegel have done this fruitfully for example. But we always keep some things constant. We don't "begin from nowhere." Indeed, on the classical and phenomenological view we begin untied to the intelligibility of being; meaning is "always already there." The solution, à la Gadamer (or Hegel), is a consciousness that is aware of the process by which it comes to know things. E.g., we don't become dislodged for
any historical context, but rather we become aware of and can question our specific context.
This sort of finding isn't new. Aristotle's solution to the skeptical problem re syllogisms (that every premise in a syllogism must be justified by a prior syllogism, and so on, ad infinitum) relies on using self-evident truths as axioms. Likewise, Plato looks at how it is impossible to give an argument justifying reason and argument that isn't circular. Reason is transcedent, hence it can question its own foundations. Like G.E. Moore's point re goodness, we can always ask coherently of any proposition "but what if it is false?" or "what if we are mistaken?" But the problem only results in a sort of nihilistic crisis if other presuppositions are in play (i.e., subject/object dualism, nominalism).
I guess one key difference here is the idea that abstraction is just induction. On the Aristotlean, immanent realist account they aren't the same thing; abstraction involves the mind's access to the intelligibility of things, the eidos that makes them anything at all. A purely inductive account of abstraction cannot overcome indeterminacy and the problem of induction. But then such an approach assumes subject/object dualism.
Against this view we might consider Eric Perl on Plotinus:
In arguing that being qua intelligible is not apart from but is the content of intellectual apprehension, Plotinus is upholding what may be called an 'identity theory of truth,’ an understanding of truth not as a mere extrinsic correspondence but as the sameness of thought and reality. The weakness of any correspondence theory of truth is that on such a theory thought can never reach outside itself to that with which it supposedly corresponds.1 Thought can be ‘adequate’ (literally, ‘equal-to’) to reality only if it is one with, the same as, reality. In Aristotle’s formulation, which as we have seen Plotinus cites in support of his position, knowledge is the same as the known.2
If thought and reality are not together in this way, then, as Plotinus argues, there is no truth, for truth just is the togetherness of being with thought. Plotinus’ arguments against the separation of intellect and being thus resonate profoundly with the nihilistic predicament of modernity. If
thought and reality are conceived in modern terms, as ‘subject’ and ‘object,’ extrinsic to and over against one another, and truth is conceived as a mere correspondence between them, then thought cannot get to reality at all,
then there can be no knowledge, and in the end, since nothing is given to thought, no truth and no reality. We must rather understand thought in classical Platonic, Aristotelian, and Plotinian terms, as an openness to,
an embracing of, a being-with reality, and of reality as not apart from but as, in Plotinus’ phenomenological terms, “given” (V.5.2.9) to thought. This, again, is the very meaning of the identification of being as εἶδος or ἰδέα. Being means nothing if it is not given to thought; thought means nothing if it is not the apprehension of being. Hence at the pure and paradigmatic level of both, intellect as perfect apprehension and the forms as perfect being,
they coincide. “We have here, then, one nature: intellect, all beings, truth” (V.5.3.1–2).