Showing posts with label Quine. Show all posts
Showing posts with label Quine. Show all posts

18 February 2012

The Endogenous given: why I am not satisfied with McDowell on this front

I ended my last post on the endogenous given with this summary of how I think the dialectic of pure thought has gone:

Quine rejects the very idea of an endogenous given, and so becomes prone to speaking of logic as merely "obvious", of our knowledge of the law of non-contradiction as simply on a par with our knowledge of the solidity of the earth beneath our feet. He loses pure thought into the world. Carnap had tried to secure pure thought on a conventionalist basis, but this is hopeless; Quine reacted by jettisoning the very idea of it. But as Davidson showed, Quine also made empiricism impossible; where Quine wanted to maintain a link between thought and world, he lapsed into incoherence. McDowell showed that Davidson, in making empiricism impossible, unintentionally made thought itself impossible, and so sought to resecure empiricism. A task I think McDowell has left unfinished is a further retrieval: once empiricism has been vindicated, how are we to further vindicate pure thought?
In the comments, Nikhil asks a fair question: Didn't McDowell already answer this question in section nine of "Davidson in Context"? Why do I think he's left something unfinished? This post is my answer.

In section nine, McDowell says rejecting the dualism of scheme and content does not threaten "the idea that there are limits to what makes sense: that our mindedness, as Jonathan Lear puts it, has a necessary structure.... And analytic truths (in an interesting sense, not just definitionally guaranteed truisms like "A vixen is a female fox") might be just those that delineate such a necessary structure." This "interesting" sense of "analytic truth" is what I was calling "pure thought" in my previous post.

(To support my talking in this way, I note that two pages later (p.160) McDowell mentions that "An analytic statement should be a statement with no vulnerability to experience", and that the idea of the synthetic a priori comes up nowhere in the book. So I feel confident that the bolded claim from my last post was on the right track: the endogenous given includes both the analytic and the synthetic a priori.)

I take what follows in this section of "Davidson in Context" to be a series of gestures towards how we to think about "the idea that there are limits to what makes sense", how to think about pure thought.

First, Lear: if one turns to the Lear essay that McDowell mentions above, "Leaving the World Alone", one finds that Lear articulates his idea of a necessary form of mindedness in terms of the Tractarian doctrine of truths which can only be shown, and cannot be said. Statements that articulate the necessary forms of our mindedness are a special sort of nonsense, in that they show us thinking of both sides of the limits of how we can be minded. I think this idea is simply incoherent, as any serious attention to it shows. If we can't think something, we can't think it; we can't whistle it, either.

I think it's also not a doctrine espoused in the Tractatus, because that book is not a book of doctrine, and Wittgenstein did not conceive of philosophy as a body of doctrine. When I met him in 2010, I asked McDowell about his occasional use of "The world is all that is the case" to express the view of "the world" he wanted to call our attention to in, for example, the closing pages of "Conceptual Capacities in Perception". (p.143 in Having the World in View, where he calls it "idealism in an obvious sense".) I put the question to him: Does he deny that the world is all that is; that the world is the totality of things, not facts? Happily, he answered "No". Those are both perfectly fine ways of using the word "world", and he agreed with me that Wittgenstein did not mean in the Tractatus to promote one of them to the exclusion of the other; he likes the "resolute" approach to the book. He also emphasized that the closing pages of "Conceptual Capacities in Perception" must be read in the context of the Ayer essay it's responding to, which he clearly felt was just awful and deserved the response he gave it: "You think I can't talk in this way? Well I can, so nyah!" [My paraphrase.]

So, I think McDowell cannot be happy with resting on the idea that we can articulate the necessary structure of our mindedness by attempting to say what can only be shown, in Tractarian fashion. The Lear essay is a dead-end so far as rehabilitating the idea of pure thought goes.

The second way I see McDowell trying to think about pure thought is in terms of an idea of Sellars, discussed earlier in section four of "Davidson in Context". Sellars wrote in "Empiricism and Philosophy of Mind" that "empirical knowledge, like its sophisticated extension, science, is rational, not because it has a foundation but because it is a self-correcting enterprise which can put any claim in jeopardy, though not all at once." McDowell glosses this as saying "that any of our beliefs, including beliefs about structures that must be instantiated in intellectually respectable belief systems -- the beliefs that implicitly or explicitly govern adjustments in belief systems in response to experience -- are open to revision." (p.136) In section nine he returns to this claim: "Sellars's thought [that all forms of Givenness are to be overcome]... did not require him to claim that absolutely everything we think is up for revision. Immunity to revision, come what may, is a mark of Givenness only if it is understood in terms of the two factors [of scheme and content], and it need not be." (p. 158) So, he thinks that Sellars slipped up, and that immunity to revision come what may is an idea that needs rehabilitation.

Now, one reason I have for not being happy with this way of thinking about pure thought is just the fact that I like what Sellars had to say, in its full radicalness: thought is rational because it can put any claim in jeopardy, thought not all at once. (This may be stronger than Sellars himself meant it; I'm not sure if "empirical knowledge" is a pleonasm for him.) It seems to me that even in the realm of pure thought, there is room for disputation (though of a non-empirical sort).

For example: it is part of our form of mindedness that all thinkers have beliefs, have a way that they take the world to be. This is not an empirical claim, as if it just so happened that all thinkers we have found have beliefs, but a pure one: it is an interesting analytic truth, in McDowell's sense. But some have denied this: the ancient Pyrrhonists wrote that to live without doxa lead one to ataraxia, and some have read this as claiming that one should not have beliefs, or a view of the world, at all: one should suspend judgement about it, and be lead by impressions (which one does not take to give oneself a view of the world). Alternatively, Richard Jeffrey claimed that Ramsey "sucked the marrow from the bone of belief", and that we should henceforth talk of subjective probabilities instead: belief-talk was "the old religion" that has been replaced by the clear sunshine of probabilism, and it should be discarded, like phlogiston-talk has been. I want to say that it's good that these positions get argued over; I think we get clearer on what's involved with belief-talk, with it being a necessary part of our mindedness that we have beliefs, by seeing what's wrong with these alternative views. Why, then, would I want to deny that what I take to articulate a necessary form of our mindedness is up for dispute? I don't say this on Quinean grounds (the idea that everything is more or less physics), but on grounds of pure thought: I think dialectical encounters like this, which require that parts of our conceptual scheme be actually called into doubt by some parties to the encounter, are good for us reasoners. They help us to understand ourselves.

Historically, I suspect that the very idea of belief-talk in our familiar form got banged out because of Ancient philosophy's dealing with Parmenides: his weird split between the one truth/reality/Being and the "likely story" of the universe that is false (which occupies most of the proem that the goddess tells him) leads to Plato distinguishing various points along the divided line in the Republic, etc. It can be hard to take Parmenides seriously now, since he seems to simply say bizarre things, but he really was taken incredibly seriously by Plato and Aristotle, both of whom thought that his views were subtle and difficult to properly handle. I think a case can be made that Aristotle's distinctions among the ways in which "being" is said are due to his having to handle Parmenides: and Aristotle's success has passed into our common sense, which is why Parmenides now seems to simply be goofy. Such goofiness is the soil in which common sense is nurtured.

(Random aside, since I found it while trying to find that Jolley post: Yo Yo Ma on the floor of a bathroom, with a wombat.)

On another front: I continue to feel the attraction of Isaac Levi's version of decision theory/pragmatism, where all of my beliefs are on a par: I presently expect to revise none of them, ever, and for all of them to endure come what may. This is just what it comes to for me to take seriously that my beliefs are my worldview: this is how I take the world to be, and so I can't take the world to maybe not be this way. If I want to doubt my own view of the world, I can only do this on the basis of my own view of the world: thus I can only put things into question piecemeal, and not all at once, just as Sellars said. Empirical knowledge, on Levi's view, has a sort of unrevisability that is shared with pure knowledge: I have utmost confidence in it, and reject what is incompatible with it just on the grounds that it is incompatible with it. To have a view of the way the world is means also having a view of the way the world can't be, and isn't. All of this knowledge is revisable in the light of "experience" in Dewey's sense, the sense in which a job listing can ask for a typist with three years' experience, but this is just to say that (in some way or other) all parts of it can be put into question. It is still fully compatible with saying that Quine was wrong to think that logic and all the rest of pure thought were revisable because they were only remote parts of physical theory.

But, these are external criticisms (though ones I think McDowell should be somewhat sympathetic to). Can I also find internal criticisms to make of McDowell's idea that pure thought is what is unrevisable come what may?

I think I can, to some extent. One of the things McDowell implied above is that he wants to think that "beliefs about structures that must be instantiated in intellectually respectable belief systems" are unrevisable. But this idea of "structures that must be instantiated in intellectually respectable belief systems" strikes me as unsteady in the way that the Tractarian doctrine mentioned above is: it suggests that also thinkable are intellectually unrespectable belief systems, belief systems which lack the structures which are our necessary forms of mindedness. McDowell wants to deny that one could have beliefs about the structures which are our necessary form of mindedness such that one is thinking of such a belief system; if he does not, then I do not understand how he could claim that such beliefs are unrevisable. For unless one cannot get these structures wrong, beliefs about them must be revisable, lest we be stuck in eternal error about them. But if we can't get this sort of thing wrong, then I don't know what the contrast is supposed to be between intellectually respectable and intellectually unrespectable belief systems. The distinction can't be between those who do and don't make mistakes (fall for illusions, trust bad testimony), because the sort of structures McDowell is talking about have to be common between those if they are to be structures of our mindedness as such. But then the contrast seems to be: between minds which are minded and minds which are not. But this is no contrast at all. So, I think McDowell actually meant a contrast between minds which make mistakes regarding pure thought and those which don't. Intellectually respectable belief systems are those which are respectable qua intellect: they are not confused about thought as such, even if they are confused about empirical matters in various fashions. But then it looks like pure thought is a realm in which one can make mistakes (in a non-empirical fashion), and so one ought to hold beliefs about pure thought open to revision in the light of "experience" in Dewey's sense: further life and dialogue with others might lead one to see that one had not gotten clear about thinking, even when one thought one had.

The rest of section nine is involved in a discussion of transcendental idealism and its mere semblance of securing our beliefs, and some very brief remarks about Wittgenstein's talk of "how we go on". I think McDowell's simply right about Wittgenstein not being a transcendental idealist (at least in his later work), but that part of the essay seems to me tangential. The real issue is how Wittgensteinian "reminders" can do their work without providing the illusion of security that transcendental idealism (or conventionalism, I'd add) can appear to. But this post is already long and tangled, so I'll leave off here, with more closing obscure questions: McDowell, p.159: ""How we go on" is just our mindedness, which is ex hypothesi in constituted harmony with our world; it is not something that constitutes the harmony, as it were from outside." -- Is this harmony always so constituted? Can this hypothesis be false, in particular cases? What is one to say if one appeals to "How we go on" and is asked "But must we do this?" or "But should we do this?" or "Who is this we, Kemosabe?"

30 January 2012

The Endogenous given: a possible breakthrough on my part?

The Myth of the Given is usually approached as if it was simply another name for sense-data theories, but Sellars had broader aims than that, as the opening of his essay makes clear. McDowell is sensitive to this; even though most of his discussions of the Myth occur in the context of discussions of perception, he is aware that this form of the Given is only "the exogenous Given".

I have hitherto been unable to make sense of what "the endogenous Given" would be, in McDowell's sense. I am now going to have another go at it, because I couldn't get back to sleep while it kept coming to mind.

The idea of the exogenous Given can be put like this: there are some truths which we must take notice of, give credit to, anterior to language. Language is the sphere of our conceptual sovereignty, and we can speak as we like, but we must pay respect to some superlative Facts (sensory stimuli, sense data, unschematized intuitions, raw feels). Whenever we rework our web of language-belief, there are some items which we regard as Given (prior to any way we wish to work out our web of language-belief, as these items have empirical content each on their own, and we must work around them in reworking our web). These are the items which impinge on our web of belief from outside, in Quine's terms, and prompt us to rework it in the first place; they are also what enable items within our web to have reference, to link up with the world at all, to be either true or false.

I will leave the problems with the exogenous Given aside; my readers are presumably very familiar with them. Now: can I modify this picture to depict an endogenous Given?

An attempt at doing so: the idea of an endogeous Given can be put like this: there are some truths which we can be secure in, anterior to the relating of language to the world. Experience is the tribunal in which our thoughts are tested, and the world is always liable to prove us wrong, but there are some truths which are safe from the world's onslaught: they are due solely to our free decisions. (Semantical rules, rules of grammar, L-rules and P-rules.) Whenever we rework our web of language-belief, there are some items which are not open to revision: not on the grounds that we must work around them out of respect, but on the grounds that they cannot possibly be causing trouble: they were part of the web before the web had any possible friction with experience. We rework our webs to accommodate experience's verdicts, but there are some items within the web which are prior to the linking-up of the web with any possible experience: and since they do not speak to experience, experience cannot speak to them. They are items within the web which are independent of the world, and have their position in our thought prior to thought's contact with the world. They give a structure to the web which we find useful, but which has nothing to do with the world.

McDowell thinks that Quine's attack on analyticity may manifest an awareness that there can be no endogenous Given. If I am now groping towards a correct understanding of what McDowell means by this, then I can make sense of his reading of "Two Dogmas" in this way: Carnap's language-systems laid out rules of various sorts (L-Rules and P-Rules in "Logical Syntax of Language", Semantical Rules once he decided he should add semantics to his arsenal), and these rules were 1) purely up to our free pragmatic decision, and incapable of theoretical defense or critique; 2) part of the language as soon as they were added (the analytic statements of the language, which were true before the language was put to work in science); 3) included in the language prior to decisions were made about how to handle protocol sentences within the language (the synthetic statements of the language, which would be made true or false by experience only). One way of putting a complaint of Quine's is then this: the sentences which Carnap calls "analytic" are not actually capable of defense or attack in a way distinct from any other sentences; as Carnap already allowed in "Logical Syntax of Language" section 82, any sentence (synthetic, L-Rule, or P-Rule) can be revised if it seems expedient to do so in the light of awkwardness among protocols, in the face of recalcitrant experience. Carnap had added that some revisions constituted changes of language while others constituted moves within a language, but it is hard to find a practical difference between the two. What Carnap called a move "within a language" was a change of truth-value of a synthetic statement when experience showed that it was necessary to revise some member of a cluster of statements (Carnap was already aware of Duhem, and is explicit that scientific hypotheses are not tested one by one). What Carnap called a "change of language" was a change of truth-value of an analytic statement when experience showed that it was necessary to change some member of a cluster of statements. The supposed safety of analytic statements from challenge by experience is illusory: they are only immune to revision so long as we are sovereign to continue speaking "the same language", to keep using the same artificial Carnapian construct, without any possible judgement from the world. But the idea that we can choose a language in the way that Carnap thought we could is illusory: we never inhabit a realm of "purely pragmatic" judgements anterior to theoretical defense or criticism, where Carnapian conventionalism could be the order of the day. No part of our language is in place before our language hooks up to the world, independently of our obligations as beings which think the world.

If this is right, then Quine's attack on Carnap is an attack on "the endogenous Given" because it is an attack on a purely pragmatic (a-theoretical, a-rational), conventionalist view of part of our language (part of our thinking). Carnap tried to lay out part of language prior to language, just as the exogenous Given tries to secure some experiences prior to experience: both are Given because each tries to have part of language-experience before both are operative. Meaning is not present without the world to articulate, and the world is not given without our thought articulating it.

Now, one of the central tasks of "Mind and World" is to lay out a way of thinking of an exogenous given (without the capital), such that within language-experience experience can serve as a tribunal for thought. In the first appendix to his book, "Davidson in Context", McDowell suggests that once this has been done, it can be seen that Quine's attacks on analyticity leave untouched "the endogenous given". This would have to be something like a way for language to structure thought within language-experience. The challenge to articulating an exogenous given was to make clear how experience could make a belief right or wrong without already being a belief, being something within our conceptual sovereignty; the challenge to articulating an endogenous given is to make clear how thought can be structured without already being among the items within thought, without simply being something the world contributes. The exogenous given always threatened to disappear within thought, leaving us with thought spinning frictionlessly; the endogenous given threatens to disappear into the world, leaving our minds as wax tablets which the world imprints upon.

This way of looking at it I think makes clearer what McDowell thinks as being in the extension of "the endogeous given": pure thought as such, in Kant's sense. This also makes clear why he refers to rehabilitating analyticity to articulate "the necessary structure of our mindedness", and to not simply contain "definitionally secured truisms like 'a vixen is a female fox'". The endogenous given will not simply be the analytic a priori, but also the synthetic a priori!

In Kant, the analytic a priori and the synthetic a priori are distinguished by the question of whether one needs to make reference to what can be given to us in a possible intuition, in our peculiar forms of intuition. McDowell follows Hegel in canceling part of this: the forms of intuition are not peculiarly ours, but belong to thought as such; all of pure thought thus has the generality Kant reserved for pure general logic. Where some of Kant's analytic a priori truths, such as the law of non-contradiction, had held independently of our forms of intuition, and others, such as the law of universal nomological causal connection, had not, for Hegel and McDowell no a priori truth can have less generality than another: they are the truths of thought as such.

This way of looking at it can leave mysterious why Kant held that a priori truths which had more limited application were synthetic, but this can be resolved by a Hegelian criticism: Kant held that those among his a priori truths which held only for thinkers with our peculiar spatiotemporal forms of intuition were synthetic because he held that they related concepts (our spontaneity) with forms of intuition (our receptivity), in dualistic fashion. What he called "analytic" he did not have to relate to a form of intuition which he regarded as being given independently of our concepts, our spontaneity; what he called "synthetic" he did have to relate to something he regarded as independently given. A symptom of this dualism in Kant's thought is the distinction between a "metaphysical" and a "transcendental" exposition/deduction of the forms of intuition and thought (space, time, and the categories): Kant lays out the forms of space and time and his Table of Judgements before going on to defend these as necessary forms of all our cognition (as united in the schematized categories). Hegel does not proceed in this way; his exposition of the categories in his system is immediately a defense of them as the necessary forms of our thought, for he produces them only as forms in which thought thinks itself. Hegel can thus say that the method of philosophy (his philosophy) is neither analytic nor synthetic: he neither reproduces what is provided from our spontaneity considered as something independent of our receptivity, nor relates our spontaneity to anything given in receptivity regarded as independent of our spontaneity. His label for his thinking is simply: Pure thought.

This way of thinking about the endogenous given, as encompassing pure thought as such, is especially helpful as a way of viewing Quine: Quine rejects the very idea of an endogenous given, and so becomes prone to speaking of logic as merely "obvious", of our knowledge of the law of non-contradiction as simply on a par with our knowledge of the solidity of the earth beneath our feet. He loses pure thought into the world. Carnap had tried to secure pure thought on a conventionalist basis, but this is hopeless; Quine reacted by jettisoning the very idea of it. But as Davidson showed, Quine also made empiricism impossible; where Quine wanted to maintain a link between thought and world, he lapsed into incoherence. McDowell showed that Davidson, in making empiricism impossible, unintentionally made thought itself impossible, and so sought to resecure empiricism. A task I think McDowell has left unfinished is a further retrieval: once empiricism has been vindicated, how are we to further vindicate pure thought?

15 January 2012

Was Heidegger an Analytic Philosopher?

Brian Leiter is poking fun at the analytic/continental distinction again, this time by way of the late Dummett:

Unnoted, of course, is that Dummett's conception of "analytic" philosophy--as "an armchair subject, requiring only thought" and as trying "to clarify the concepts in terms of which we conceive of [reality], and hence the linguistic expressions by means of which we formulate our conception" as he put it in his last book--was such that huge numbers of philosophers in the Anglophone world today wouldn't qualify, though one can happily stipulate that Dummett is an "analytic" philosopher in his sense, and Heidegger is not.
The funny thing is, I'm not sure that Heidegger doesn't get counted as an "analytic" philosopher, if all we look at from Dummett's book is this one claim. He clearly wasn't doing "empirical" work in the way that Leiter likes to promote, so he can only be ruled out by the second part of Dummett's quote's criterion: Did Heidegger attempt to "clarify the concepts in terms of which we conceive of [reality], and hence the linguistic expressions by means of which we formulate our conceptions"?

My initial reaction is to say that he did, at least in Being and Time. It's easy to find passages like the one from section 14, where Heidegger presents a list of four ways in which the word "world" is used, and notes that he's "unraveling" these uses so that "we can get an indication of the different kinds of phenomena that are signified, and of the way in which they are interconnected." (p.93 in the Macquarrie translation). This looks to be straightforwardly what Dummett's quote says analytic philosophers do. But this is only a particularly clear instance of a general strategy: Being and Time is largely made up of discussions of ordinary sorts of words and experiences in a context which makes clear that it's easy to get confused about them. For instance, Heidegger's discussion of "reality" (the concept) is largely focused on the ways in which Descartes misunderstood things in this area, and the problems it lead him into. (Also fun is Leiter's joking attempt to unify "analytic" philosophers by the fact "that they all probably read "On Sense and Reference" at some point, given that we know that Heidegger read this work.)

What spurred me to think about this was a post Enowning linked to the other day; the post itself doesn't interest me, but I quite liked being pointed to a passage I had overlooked (it wasn't highlighted in my copy of the book): "Nevertheless, the ultimate business of philosophy is to preserve the force of the most elemental words in which Dasein expresses itself, and to keep common understanding from leveling them off to that unintelligibility which functions in turn as a source of pseudo-problems." (p.262 in the Macquarrie) The context of this quote is section 44 of the first division of Being and Time, the discussion of truth which closes that division, and why Heidegger is looking at (what he thinks of as) the etymology of "ἀλήθεια" in Greek. He notes that he needs to avoid "uninhibited word-mysticism" in doing this, and I'm not sure he meets his own demand here (and later on I think he clearly falls into it). But the success of what he's aiming at here doesn't interest me as much as what the goal he set for himself was: he's trying to avoid "that unintelligibility which functions in turn as a source of pseudo-problems" which comes from a "common understanding" which "levels off" words.

It seems to me that one of the main things that Heidegger is concerned with warding off in this section is the idea that it is only in true thoughts (judgements, assertions) that we (our minds, our thoughts, our language) "come into contact" with the world. This comes to seem obvious to us when we think of truth as exhausted by things like the T-schema: "S" is true IFF S. Truth is here a predicate of concatenated strings of signs, and to say of a string that it is true "is just to say what the string says itself": truth is chased up the tree of grammar. As a truth-predicate can be added onto any existing language without changing the inferential connections between the portions of that language which do not contain a truth-predicate, it can thus appear that truth is "not deep", is "redundant", "does not refer to a real property": thus we should handle how the language works without truth, and then a truth-predicate can be added onto it. This is what Heidegger has in view when he criticizes the idea that truth is rightly thought of as simply a property of judgements: to do so makes it easy to think that judgement should be intelligible without truth, and then truth be made intelligible in terms of antecedently-understood judgements.

Against this, Heidegger tries (in various ways) to get us to see that our ability to judge at all, rightly or wrongly, is possible only because of our "disclosedness": there is a binary hiddenness/revealedness to the entities uncovered in our being-in-the-world which is more primordial than explicit judgements, and our ability to say anything (truely or falsely) by means of concatenated strings depends on it. The appearance that the binary true-false predicates of truth could be added onto a language which was antecedently understood thus covered up the fact that the language was understood only against a background of some such disclosedness, which should itself be apprehended in a discussion of truth and falsity, as its binary and the true-false binary are kin. The "common understanding" that allows concatenated strings of signs to be regarded as "saying something (in a language)", and to take these independently-intelligible relations as a foundation for work in semantics, can only be achieved by a "leveling off" which occludes the fact that we symbolize only in the course of our lives together, and that we leave things unsaid if we insist on treating language solely in terms of signs, sets, and satisfaction-relations. Signs "in the language" have the set-theoretic relations they are established to have in the set-theoretic universe; symbols have meanings only in our life together.

So, it seems to me that Heidegger was concerned with clarifying our concepts (our thoughts) and the words we use to express them; if it is necessary to any analytic/continental distinction that Heidegger be opposed to the "analytic" group, then Dummett's quote does not give us such a distinction.

27 April 2010

Putnam and Analyticity

As the previous post probably implied, I've been reading more about the analytic/synthetic distinction (and other Quinean themes). Just finished Putnam's essay "The Analytic and The Synthetic". I have mixed feelings about it.

On the one hand, much of what Putnam says against Quine's critics seems to me entirely right and laudable. It's certainly useful for some purposes to have arguments against many philosophical uses of the supposed distinction but which affirm that it exists (since so many people still feel it obviously must have some merit, including the Quine of "The Roots of Reference"). Certainly I'd prefer that everyone agree with Putnam here than with Carnap; if the analytic-synthetic distinction doesn't do any active harm in philosophy then it's rather moot what else we say on the topic.

On the other hand, I'm unconvinced by Putnam's attempt to distinguish "law-cluster concepts" from some other kind (with this other kind being what's susceptible to becoming the subject of an analytic truth). I still think Davidson is right in holding that a concept gets the sense it has by having the inferential connections it has, but that there are no privileged connections here; it's just that if we change too many of them, it's hard to see how we can be working with the same concept we started with. (And it's of a piece with this to not try to make the notion of "same concept" do any heavy theoretical lifting; we can, in general, make that judgement however we like, provided we make appropriate accommodations elsewhere in our story.) So I doubt that there's anything special about the laws connected with a given concept (as opposed to beliefs which make use of that concept more broadly), or that there's a good reason to think any part of language is not like this.

Also, it's worth noting that Putnam is in a sense not defending the analytic/synthetic distinction; he explicitly rejects the notion that analytic-synthetic forms a dichotomy. Putnam thinks there are analytic statements, synthetic statements, statements that are close to analytic, statements that are close to synthetic, and a fifth miscellaneous class. Putnam argues solely in defense of the notion of analyticity: he thinks there are some parts of language which we must not deny as analytic. It was striking how different his defense of analyticity was from Morton White's attack on the analytic/synthetic distinction, reading them back to back like this. (And as a trivial note, Putnam never mentions White in this article, though White was his teacher, nor to anyone else who attacked the distinction; his criticisms are solely directed at Quine.)

I'm not going to try to do justice to everything Putnam has to say in his essay (it's long and dense), but there are a few lines of argument that seem to me to be both central and flawed.

First, a bit I liked, from where Putnam is laying out what he means by way of talking about "law-cluster concepts":

I want to suggest that the term 'energy' is not one of which it is happy to ask, What is its intension? The term 'intension' suggests the idea of a single defining character or a single defining law, and this is not the model on which concepts like energy are to be construed. In the case of a law-cluster term such as 'energy', any one law, even a law that was felt to be defiitional or stipulative in character, can be abandoned, and we feel that the identity of the concept has, in a certain respect, remained. (p.53)
This is very agreeable. Talk of "intensions" carries around the baggage of the "Myth of Meanings": of there being such a thing as The Meaning of a word, and of this as being what a good dictionary entry is supposed to communicate. Dictionaries do not do this, and this is not a flaw; a good dictionary entry gives you some clues as to how a word is used (at least in general, in most cases, by normal speakers), often more by the examples than by the "definitions", and this is often enough sufficient for you to settle any doubts about what so-and-so meant by such-and-such you might've had. Talk of "intensions" or of "meanings" as entities is not a helpful way to understand this.

But, sadly, Putnam does not stop the essay there.
In the case of the terms 'energy' and 'kinetic energy', we want to say, or at any rate I want to say, that the meaning has not changed enough to affect 'what we are talking about'; yet a principle superficially very much like 'All bachelors are unmarried' [the "definition" e=1/2mv^2] has been abandoned. What makes the resemblance only superficial is the fact that if we are asked what the meaning of the term 'bachelor' is, we can only say that 'bachelor' means 'unmarried man', whereas if we are asked for the meaning of the term 'energy', we can do much more than give a definition. We can in fact show the way in which the use of the term 'energy' facilitates an enormous number of scientific explanations, and how it enters into an enormous bundle of laws. (p.53)
I really doubt that it's true that this is the only thing we can say if someone asks what "bachelor" means. Always more than one way to skin a cat, after all. We could, I think, exhibit a great number of sentences in which "bachelor" is used, and trust our hearer to work out the word's significance. And this is plausibly what happens in a great many cases of language-learning; even for terms which Putnam wants to say there are true analytic judgements which take those terms as subjects, it's hardly likely that the use of those terms is *always* taught by explicit statement of an "analytic" definition, or that there's any need for this to be the case. (I imagine this in some more detail in the post on "The Roots of Reference" I linked above.)

And this is connected to my next point: I don't see what's special about the "enormous number of scientific explanations" and "enormous bundle of laws" that "energy" enters into; it just looks to me like a particular case of a word having meaning because it has a use in a form of life (very broadly speaking). Putnam doesn't address this at any point in the essay; I suspect he's privileging laws just because he's using an example from the history of physics to make his anti-Quine's-critics points. Putnam's certainly right that it's this holistic web that gives "energy" the meaning it has, but I see no reason to think the vocabulary of the natural sciences is special in this respect.

I *think* the reason Putnam introduces the notion of a law-cluster concept is just because the notion of a "cluster concept" was already floating around, and Putnam regards this concept as applying solely to "typical general names like 'man' and 'crow'" (p.52). As a philological note, I don't know if this was standard. Putnam attributes the view to Wittgenstein, and the obvious proof-text there is the discussion of "Moses" in PI 79, which is not a general term but a proper name (I'm setting aside for now the nitpick that the "cluster concept" reading of that passage given by Searle is not the best reading). So I'm not sure where the link between "cluster concepts" and general terms is coming from. But as a philosophical matter, I don't see that there's any good reason to distinguish between "cluster concepts" which are "constituted by a bundle of properties" and "law-cluster concepts" which are constituted by "a cluster of laws which, as it were, determine the identity of the concept". Putnam says he agrees with Quine's emphasis on "the monolithic character of our conceptual system", but I think Quine does this monolith more justice by not making the distinctions Putnam here makes. In general, the web of inferential connections a concept is embedded in "as it were, determine the identity of the concept". We can leave out just what those inferential connections are as unimportant; inferential links are inferential links.

Putnam does have more to say about why "bachelor" is not a law-cluster concept:
... 'energy is a law-cluster term, and 'bachelor' is not. This is not to say that there are no laws underlying out use of the term 'bachelor'; there are laws underlying our use of any words whatsoever. But it is to say that there are no exceptionless laws of the form 'All bachelors are...' except 'All bachelors are unmarried', 'All bachelors are male', and consequences thereof. Thus, preserving the interchangeability of 'bachelor' and 'unmarried man' in all extensional contexts can never conflict with our desire to retain some other natural law of the form 'all bachelors are...'. This cannot happen because bachelors are a king of synthetic 'class'. The are not a 'natural kind' in Mill's sense. They are rather grouped together by ignoring all aspects except a single legal one. One is not going to find any laws, except complex statistical laws depending on sociological conditions, about such a class. Thus it cannot 'hurt' if we decide always to preserve the law 'All bachelors are unmarried'. And that it cannot hurt is all the justification we need; the positive advantages are obvious. (p.57)
The first part of this is simply wrong; "all bachelors are nonlobsters" is a counterexample. And Putnam later in the essay gives the definition of "bachelor" as "male adult human being who has never in his life been married" (p.59), which isn't a consequence of "all bachelors are both male and unmarried". And Putnam entertains the (logical) possibility that there are laws like "all and only bachelors suffer psychological trouble Phi" (where Phi is something like "sexual frustration"); he says that if it turns out anything like that is true, then it will have turned out that "bachelor" is a law-cluster concept. His confidence that nothing like this will happen is his ground for saying that "bachelor" is not a "natural kind" and that it cannot hurt to decide to always preserve the law "All bachelors are unmarried men"; if it turns out that "bachelor" is a law-cluster concept then Putnam would reject it as the possible subject of an analytic truth. All of this strikes me as fishy enough to be suspicious that Putnam's "analyticity" is something we'd be better of without. (We can still say that "All bachelors are unmarried men" is something to not give up simply because it's true, and stop there.) But, Putnam says that there are obvious benefits, and he appeals to these as one of the chief motivations for retaining the notion of analytic truths.

So I now turn to the supposedly obvious benefits:
Most important, there is the advantage of brevity. Also, there is the question of intelligibility. If some of the statements in a language are immune from revision and if some of the rules of a language are immune from revision, then linguistic usage with respect to the language as a whole is to a certain extent frozen. Now, whatever disadvantages this freezing may have, there is one respect in which a frozen language is very attractive. Different speakers of the same language can to a large extent understand each other better because they can predict in advance at least some of the uses of the other speaker. (p.56)
Putnam says nothing else on the topic of brevity. I doubt there's any real gain in saying "bachelor" rather than "single man"; both are trisyllabic. Certainly there are advantages to having multiple words with similar meanings (for poetry and to avoid monotony), but we don't need "strict synonymy" for that.

The gain in intelligibility, then, is what I take to be the real supposed benefit. But I don't see that this works, either. For one thing, if we reject Putnam's notion of analyticity we can still say that everyone believes that all bachelors are unmarried men, so we can still predict in advance that any particular speaker will believe this. There's no need to have a "frozen language" when there're frozen beliefs. This I take to be a fully adequate rejoinder; Putnam does not show any good reason to not drop "analytic" from our vocabulary, as Quine would have us do.

But I think there is a real risk that Putnam doesn't address. I think it's not entirely crazy that someone might chaff at "All bachelors are unmarried men"; certainly "married" and "man" are both terms certain people have problems with. (I vaguely recall reading an interview with Judith Butler where she complains about the supposed "necessity" of just this categorical statement, in the mouth of Kripke.) Perhaps there are some intersex persons who feel comfortable self-identifying as "bachelors" but not as "male". Or perhaps some unconventional partnership arrangements lead to men who regard themselves as equally husband and bachelor (perhaps it's an open marriage and they keep separate apartments). If Putnam is right, anything like this involves ceasing to speak English; a "nonmale bachelor" and a "married bachelor" would simply involve equivocation on the term "bachelor". But this seems to me unfair, at least on the a priori grounds Putnam supplies; presumably the intersexed person and the unconventional husband think of themselves as "bachelors" not because of some crazy new meaning they've attached to the word, but because they see themselves as being what is called in English a "bachelor". To say whether their projections of the term are reasonable seems to me impossible to decide without seeing how life works out if we do project with them or we don't. It's not something philosophers have any privileged view on.

So, my conclusion is the inverse of Putnam's: I don't see any gain to retaining the analytic/synthetic distinction, and I see some real possible risks. So I'm happy to go without it.

25 April 2010

Morton White and the Dualism of the Analytic and Synthetic

I just finished Morton White's 1950 essay "The Analytic and the Synthetic: An Untenable Dualism", which is something Quine footnotes near the end of "Two Dogmas of Empiricism". I liked it; it's a nice companion piece to Quine's essay. Here are some observations, largely made to help me remember them later.

White's essay opens as follows: "John Dewey has spent a good part of his life hunting and shooting at dualisms: body-mind, theory-practice, percept-concept, value-science, learning-doing, sensation-thought, external-internal. They are always fair game and Dewey's prose rattles with fire whenever they come into view."

It's this Deweyan approach to dualisms that guides White throughout the piece; whereas Quine seems (especially outside of "Two Dogmas" itself) purely skeptical of notions like "meaning" and "synonymy". Many of the arguments White makes are similar to ones in Quine, but the way they pose the challenge is slightly different: most of "Two Dogmas" is devoted to trying to find a non-circular definition of "analytic", most of "An Untenable Dualism" is devoted to trying to find a way to draw a sharp line between analytic and synthetic statements in ordinary language. In both cases, the conclusion reached is that any distinction we can make sense of here is plausibly one of degree rather than kind (centrality vs. periphery in a web of belief, for Quine), but this conclusion is much more centrally stated in White. White's piece ends as follows: "[If the analytic-synthetic distinction is only one of degree] an unbridgeable chasm will no longer divide those who see meanings or essences and those who collect facts. Another revolt against dualism will have succeeded."

It's also worth noting that Quine called his version of empiricism "pragmatist" just because that was the label Carnap gave to the view he was opposing, and this position was what Quine took up to defend; White does not call his view "pragmatist", but does align himself with Dewey. So you have primarily nominal versus primarily movementarian pragmatism in the two authors.

One place where White distinguishes himself from Quine (explicitly) is that where Quine suspected he would need a behavioristic criterion for sameness of meaning to make any sense of the notion, White only asks for a term extensionally equivalent to "X is synonymous with Y" (other than "X has the same meaning as Y" and others which are similarly in need of clarification), as "X is a featherless biped" is to "X is a rational animal". I don't think these demands differ a great deal in practice, but it's always nice to be able to trim away some of the mid-century behaviorist trappings of Quine's thought.

One bit from White that's not explicitly in "Two Dogmas" resembles an early version of the thesis of the indeterminacy of translation. White notes that if we're dealing with a formal language some logician has cooked up, it can be a simple matter to say whether "X is a rational animal" and "X is a man" mean the same or not: the language can simply have explicit meaning postulates (here he grants his opponent more than Quine does). But if we then try to decide whether a given artificial language is "the rational reconstruction" for a natural language, no means of deciding this has been provided; White concludes that the attempt is suspect. He makes the same point with regards to attempting to treat analyticity as a matter of convention: no criterion has been given for distinguishing between what is conventional in language and what is there for other reasons, though in particular cases we can establish explicit conventions of word-usage without much trouble.

White is also much more explicit about the sorry state of contrary-to-fact conditionals than Quine is (in "Two Dogmas" anyway), and his criticisms are more extensive than those Quine made (at least when it comes to modal semantics, as opposed to modal logic). Quine notes the connection between meaning and essence in passing ("Meaning is what essence becomes when it is divorced from the object of reference and wedded to the word"), but White explicitly sets himself against "essentialism" repeatedly. A discussion of C.I. Lewis's views on modality makes him sound awfully Kripkean:

He holds that I only need to make what he calls an "experiment in imagination" to find out whether all men are necessarily rational animals. And when I try this experiment I am supposed to conclude that I cannot consistently think of, that I cannot conceive of, a man who is not a rational animal. But how shall we interpret this "cannot"? How shall we understand "thinkable"? I suspect that this view leads us to a private, intuitive insight for determining what each of us individually can conceive.... One either sees or doesn't see the relationship and that is the end of the matter. It is very difficult to argue one's difficulties with such a position, and I shall only say that I do not find this early retreat to intuition satisfactory.
So, it seems that even before modal logic & semantics were made respectable (by Kripke's soundness and completeness proofs and his possible worlds semantics), the semantics had a similar sort of backing to it: we're supposed to just have intuitions about modal matters, and that's what the modal logic is used to talk about. This is exactly how Kripke handles things like the necessity of origins; the fact that we're supposed to get similar "insights" from science in the case of "Water is necessarily H2O" and "Gold is necessarily the element with the atomic number 79" does not seem to me to make those less suspect. In both cases the modal element seems to come from a magical faculty we are supposed to each have that lets us know an essential predication when we see one.

Finally, White's article is just a fun read. At one point he considers the defense that we can identify self-contradictory claims because they "produce a certain feeling of horror or queerness on the part of the people who use the language". White notes that for this to work
we will have to be careful to distinguish the horror associated with denying firmly believed synthetic statements from that surrounding the denials of analytic statements. The distinction must not only be a distinction that carves out two mutually exclusive classes of sentences but it must carve them out in a certain way. It would be quite disconcerting to the philosophers I have been criticizing to have the whole of physics or sociology turn out as analytic on their criterion and only a few parts of mathematics.

03 March 2009

McDowell's Certainty

Tim Thornton:

["Understanding Wittgenstein's On Certainty"] was suggested to me by one of Moyal-Sharrock’s PhD students at Hertfordshire, who said that it was an interesting counter to McDowell. I think that the contrast she had in mind was between McDowell’s commitment to the connection between mind and world being always within the realm of concepts and Moyal-Sharrock’s emphasis on a non-propositional bedrock of animal certainty / certainties.
Not having read the book, but having been keeping an eye out for McDowell's references to "On Certainty", my first impression is to expect that the difference comes in whether or not one wants to call "hinge propositions" things known. Wittgenstein pretty clearly thinks there's something wrong with that; McDowell thinks it's alright.

Now, going just by the bits I skimmed on Moyal-Sharrock's webpage and Thornton's remarks, I'm inclined to suspect that she crosses two different sorts of necessary conditions:

One has to be capable of reacting differentially to the sorts of things one is supposed to be regarding as salient in one's environment to be capable of reporting on how those things stand, or to be capable of "taking in" how those things are via experience. If one doesn't react in different ways to different sorts of stimuli, then one can't take notice of the distinctions between those sorts of things experientially. (I take this to be the point of Brandom's "RDRD"s, reliable discursive responsive dispositions.) If one's body was dead to the world, then one's mind would be, also. I take this to be what Thornton was gesturing at when speaking of the "animal" background necessary for the "game of giving and asking for reasons". All very standard Sellarsian stuff. This sort of thing is a necessary condition on being able to take a stand in the space of reasons (as it's a necessary condition on being able to know things noninferentially, and a body of knowledge needs noninferential "groundings" to distinguish it from "rumors and hoaxes", so being able to give reasons for what one holds requires RDRDs).

This is, I think, different from the sort of thing that bothered Wittgenstein in (large parts of) "On Certainty" -- "hinge propositions" (so-called because of two or three places where W. employs the metaphor of our practice "turning on them"). The thing that bothered Wittgenstein was that we can't sensibly try to figure out what is the case, in a particular instance, or what so-and-so means, in a particular instance, unless there is a great deal we simply do not put under question, in that instance. This is a necessary condition for inquiry or interpretation to be possible. Putting something in question requires not putting everything in question at once. (This is also a familiar Sellarsian/Davidsonian point.) It doesn't seem plausible to me to call this "animal" certainty -- what sort of certainty would it be being opposed to? For this sort of certainty is just: not doubting that that this is how things are.

This, I think, is what bothered Wittgenstein about Moore's "here's one hand, and here's another": In a situation in which no one is trying to figure out if there are any hands to be found, Moore presents himself as having concluded that: Yes, there are. Here is one hand, and here is another. But if this wasn't in question, then there's no conclusion drawn here. So Moore seems to "cross the streams". He takes something that was being held constant, and acts as if it was something he'd just discovered to be the case (or at least thought that we'd not noticed).

Now, McDowell. From a footnote in "Knowledge by Hearsay": "Much of "On Certainty" is about the status of this sort of knowledge. Wittgenstein himself is dubious about counting it as knowledge; but I think that is inessential to his main point, which is to warn against assimilating the sort of thing in question -- propositions that function as pivots on which our practices of looking for grounds for belief can hinge, by not being on the agenda for testing or confirmation -- to cases where it makes sense to look for the grounds of a belief. (Wittgenstein's doubt about counting these propositions as known may reflect the influence of the kind of conception of knowledge I am going to attack.)" For those who haven't read the essay, the attack in "Hearsay" is just what a reader of "Mind and World" would expect; McDowell thinks that testimony can put its hearer in touch with the facts themselves, and he opposes a "highest common factor" conception of what knowing via testimony must be like.

(A fun bit of trivia: in this essay, McDowell refers to his own position as "coherentism" and calls Davidsonian coherentism "the heroic position" -- heroic because it tries valiantly to just do without "absolute starting points" by just dropping noninferential groundings for knowledge tout court. The third position is still just the "Myth of the Given". I rather like the designation "the heroic position". And this way of laying out the dialect does a better job, I think, of making clear where Davidson fits into the dialectic of "Mind and World".)

Now, the way McDowell presents Wittgenstein's point here strikes me as agreeable. It is important to not assimilate things held in doubt to things not held in doubt. Missing this distinction will make a hash of any attempt to give an account of inquiry: it'll make it seem like Descartes was asking questions in the only way that it makes sense to ask them (or at least the only way that's not partly dogmatic). Any inquiry which doesn't begin by putting everything in question will look like it's "chickening out" in the face of hard, empirical Reality. From another vantage point: Not making Wittgenstein's distinction will make it seem like any claim to know something noninferentially is dependent for its strength on a background of premises which justify it, so that knowing that there's a pink cube in front of me must rely on my antecedently knowing that the world is laid open to view in front of me. And any attempt to know that the world is laid out in front of me by looking at it will beg the question, as the sort of knowledge I get from looking presumes what I here want to know by looking. Not drawing Wittgenstein's distinction then leads to a "highest common factor" view of knowledge. This is familiar territory for McDowell.

But, I think there's something more going on in McDowell here, and I don't like some of the other things I find. Spelling out what's bothering me here (and it's been bothering me since I first read the first appendix to "Mind and World") will require some quote-mining. I'll assume that the interested reader can look at section nine of the first appendix to "Mind and World" themself, but there are other bits that bear noting.

From the opening paragraphs of "Knowledge by Hearsay":
much of the knowledge we have through language was surely not acquired by understanding a linguistic production. Part of the point here is that we were not yet capable of understanding the elements of what we know through language when we started to acquire them. The body of sentences we accepted from our elders needs to have become quite comprehensive before any of them were comprehended. "Light dawns gradually over the whole." ("On Certainty" ss141) But the image of dawning light does not apply only to coming to understand the members of a stock of sentences accepted from one's elders. The image also fits a general sense in which growing into a language is growing into being in possession of the world, as opposed to having a mere animal ability to cope with a habitat. [Here McDowell footnotes "Truth and Method" p.443: "Language is not just one of man's possessions in the world, but on it depends the fact that man has a world at all."] And much of the knowledge that enters into our possession of the world, even though we have it through language, is not something we have been told. It need never have been enunciated in our hearing; rather, we find it implicit in the cognitive-practical ways of proceeding into which we were initiated when we learned our language.
Now, read in one way, I have no problem with any of this. Knowing something because one has been handed down the knowledge by one of the traditions one has been initiated into is a real way of knowing things. It's unwise to assimilate it to knowledge gained via testimony, for reasons McDowell explores in "Hearsay": being able to learn something via testimony requires having a conception of oneself as a hearer, and the other fellow as trying to impart knowledge. This sort of self-conception is necessary if one is to be capable of judging whether or not accepting a particular bit of testimony is doxastically responsible. And this sort of self-conception is only available downstream of picking up one's first language, being initially led into the space of reasons. So the sorts of things one knows because one has been initiated into a tradition aren't known by testimony. (I think this is a stronger way of putting the point than McDowell offers here -- from the fact that what is known hasn't been enunciated in one's hearing it remains an open question whether or not what one knows here mightn't be something gained via inference from what one learned via testimony. This is one sense in which something can be "implicit in the cognitive-practical ways of proceeding" in which we proceed as rational animals: the way of proceeding includes knowledge gained by experience or by testimony (because the way of proceeding involves communicating with others and taking in one's surroundings), and what is "implicit" is just what follows inferentially from this knowledge. This clearly isn't what McDowell wants to draw attention to.)

One neat benefit of drawing this distinction: We can rehabilitate the idea that two people can disagree with one another because of differing background commitments (or even "conceptual schemes") while agreeing on "empirical matters". For they can agree in what experience discloses to them while disagreeing about something each of them has been handed down by their tradition (one can be handed down P, the other ~P). This would be akin to two people disagreeing over whether or not a certain bird is an emu because one of them recalls the bird-book wrong (and so wants to call it an ostrich, and wants to say it lives in Africa and lays the largest egg of any bird etc.). Belief in the possibility of incommensurable conceptual schemes (in the relativistic sense) would then follow if one held that what one had been handed down by one's tradition was invulnerable to revision by experience or testimony; the sort of scheme-content dualism Davidson attributes to Kant (where there's only one scheme) would follow from believing that there's only one possible set of beliefs one can be handed down by one's tradition. (Both of these further claims, I hasten to add, seem implausible. And it would only be in certain narrow circumstances that two people could agree on what experience discloses while disagreeing on what inferences experience licenses them to draw. And narrower still cases where the disagreement about inferential licenses follows from a background difference in beliefs acquired via tradition, rather than differing in other beliefs picked up via experience or testimony.)

Where I want to differ with McDowell, then, is not on the very idea of knowing things via "the teachings of the elders" or things like that. One can simply have a belief because of how one was raised, and if it's true I have no problem with counting it as knowledge. (If one insists, you can add: and provided one has the belief due to being raised in the right way, so that it counts as justified in the right way to be knowledge.) And placing this sort of knowledge alongside learning a language seems right. Learning to cope with a novel vocabulary involves coming to know things through, so to speak, seeing that they're in the air around the practice. I don't think Davidson would reject this sort of thing, either -- when he denies that it's necessary that a speaker has ever spoken the same language as anyone else, he affirms that a speaker can only pick up what language they have by interacting with other speakers. So a child who doesn't learn to speak just as his teachers aimed at might still pick things up from their attempts, and this could be the same sort of knowledge by tradition that he would've gained if he had learned to speak just as his teachers wished. (He might have missed some of the things they aimed to teach, or he might have grasped some things they didn't think they were imparting, or even that they would reject. But I don't think any of this is a threat to the general Gadamerian idea McDowell is keen to defend.)

If this is all McDowell wants out of "the endogenous given", then the endogenous given is harmless. Where I think McDowell goes wrong is in linking this good Gadamerian idea about tradition to the good Wittgensteinian idea about a distinction between hinge propositions and others: McDowell assimilates the two, and further identifies them with "necessary forms of mindedness" and with analytic propositions (all in some very dense paragraphs at the end of the first appendix to "Mind and World"). Setting aside the further identifications, the first one seems to me to be wrong.

I think Wittgenstein was right to include "man has never been on the moon" among his examples of a "hinge proposition". It's something that (in the 50's) one would be right to hold fast as one went about in the world. If something implied that a man had been on the moon, then this would be sufficient to show it false (by modus tollens). Once the "space race" began, it would've gradually shifted from hinge to door (so to speak). And the way in which it could so shift would not be a matter of, say, experience simply revealing that it was no longer true: for hinge propositions are the standard by which we manage experience, by which we judge whether to accept or reject a particular case of things seeming to be thus-and-so. Experience would then not disprove a hinge proposition for the same reason that thermometers don't have a line that reads "this thermometer is broken". How one accounts for changing hinge propositions is just going to be a different sort of thing in epistemology. One which, as far as I can tell, McDowell doesn't give us any help in coping with.

It might be thought that McDowell was right to identify hinge propositions with analytic propositions and "necessary forms of mindedness", if experience can't threaten them. But here I think my presentation suffers from the fact that I don't have a clear grip on what I want to offer as an account of change in hinge propositions. (Barring unhappy surprises, I aim to just crib from Isaac Levi on the matter.) For I think that, in another sense, experience can lead one to reject a hinge proposition. Continuing the analogy with the thermometer, it would be similar to trashing a thermometer which read -20 degrees on a summer day, when one had intended to use the thermometer to measure the temperature outside. One had further ancillary commitments which lead one to reject the standard one was using, because of something in the way that standard had functioned in its use as a standard. It can't be "standards all the way down", so it might seem that McDowell must be right: there's a bedrock of absolutely firm standards, and these are the necessary forms any possible mindedness must take. But I think this is too quick. Levi gives an account of something he calls routine contraction, in which beliefs are rejected simply because they form a contradictory pair (P and ~P), and such things are unfit for use in the way beliefs are used (that is, as standards in inquiry). For anything is compatible with them -- anything which conflicts with P agrees with ~P, and vice-versa. The reason this is called "routine" is because it is parallel to routine expansion, in which beliefs are gained via an operating habit (as opposed to explicitly deciding to take what the map says as right, or to believe what one's mother says about how to treat a cold, or whatever). The set of beliefs one uses as a standard in inquiry function as a background against which such habits can be intelligible to have, but routine expansion is distinguished from expansion due to inquiry. I omit the details because I am not entirely firm on them; hopefully Duck can correct me if I've messed up any of this so far. But the upshot is: it is the case that taking one's experience at face value can lead to a routine contraction which eliminates a hinge proposition from one's set of beliefs. Or, more concretely, one might cease to hold as a hinge proposition the claim that Man has never been on the moon because of what one read on the front page of the New York Times. Though if one had been trying to make sense of an arbitrary stranger who was talking about NASA landing on the moon, one would have ruled out of court at the outset that he might be right that man had been on the moon -- the stranger would be taken to be a crank, as it were a priori. Like I said: the manner in which hinge propositions can be revised is tricky. (One can just say "one revises them as one judges best" but this says nothing, for they are the standard by which one judges what is best.)

Hinge propositions, I then want to say, are corrigible. This doesn't distinguish them from beliefs gained by tradition: here, too, I want to say they're corrigible. And here McDowell has to agree with me, or else his rhetoric about the "standing duty to reflect" on what one's traditions have handed one down, as what guarantees the rationality of taking the Gadamerian line on traditions, is just empty gassing.

What, then, prevents identification of hinge propositions with propositions held true because of how one was raised?

It is this: one can pick up hinge propositions other ways, too. It's easily thinkable that some children in Wittgenstein's day did not learn that man had never been on the moon via their tradition, but rather via reading about it in astronomy books, or by asking an adult whether or not there were men on the moon, as there were men in distant countries. And there's no reason to think that Wittgenstein gained this particular belief in any special way. Who knows when he first realized that men had never gone to the moon?

Now, it might seem that I'm stacking the deck against McDowell by my choice of example. But I think that the more standard examples of "hinge propositions" are not relevantly different. For in each case, the proposition's status as a "hinge" is contingent on how things fall out as life goes on. It might end up retracted due to the commitments one gained via habitual expansion. (And this would include cases such as accepting the conclusion of a skeptical argument, where it's the sort of thing one finds compelling.)

As a conclusion, I want to say: "Hinge" is a status, not a kind. A proposition which one holds as a hinge might later be rejected as simply false. And I want to say exactly the same thing about "invulnerability to experience" -- which is just to repeat C.I. Lewis's position on the issue from A Pragmatic Conception of the A Priori. And if I say the same thing about analyticity, then this is close to Quine's mature position: For late Quine, "a bachelor is an unmarried male" is analytic for a speaker because that speaker learns that this is a true sentence at the same time that the speaker learns to use the word "bachelor". For non-native speakers, it is not analytic, nor is it analytic for the odd native speaker who learns the word in some way other than learning that "a bachelor is an unmarried male" is true.

"Necessary forms of mindedness" are a different issue: here I don't want to hold on to the notion at all. If I can't make sense of someone holding that ~P where I hold that P, then I want to say that this is a failure of imagination on my part. (Which isn't to say it's blameworthy. Unlimited imaginative power is no duty, which is good because it's clearly impossible for we mortals. And of course it says nothing about the truth or falsity of P.) And where I want to talk about conceptual relations -- say, "belief is intrinsically veridical" -- it seems to me silly to claim to be limning the "necessary forms any mindedness must take" -- unless this be said with a keen awareness that philosophy is hard, and philosophers are often wrong. Rather, I want to just say: this is true, and the modality attached to it can go hang. (To deny "necessity" to a claim is not to say that it's only possible instead.) For the sorts of claims made here are as shaky as any (and so as firm as any). Rationality thus seems to demand that we recognize a standing duty to reflect on them. Which means not ruling out serious reflection a priori, by lumping them into a pile labeled "analytic" or "necessary" or "a priori".

As a final caveat, another of the few places where McDowell mentions "On Certainty". From "Knowledge and the Internal Revisited":
I recognize my own authority as a reporter of greenness. But I would be at a loss if pressed for premises for an argument that would have my reliability about greenness as a conclusion. My reliability about that kind of thing has for me, rather, a sort of status Wittgenstein considers in "On Certainty". It is held firm for me by my whole conception of the world with myself in touch with it, and not as the conclusion from an inference from some part of it.
I take it that this status is that of a hinge proposition. I also take it that there is no temptation whatsoever to claim that "McDowell can recognize green things, in normal lighting conditions" is analytic, or necessary, or anything of the kind. I also take it that it would be uncontentious to speculate that McDowell picked up his capacity to recognize green things when he learned to use the word "green", as taught by his elders. This would then be a case of an endogenously given hinge proposition which is neither analytic nor necessary, and which is further plainly in danger of being made false by experience -- if McDowell goes blind, for example (Heaven forbid). So it's not clear to me how much I'm trying to distance myself from McDowell, and how much I'm just trying to get clear on what his view is.

I can make up an interpretation on which it's reasonable to talk about rehabilitating "interesting analytic judgements" and an "endogenously given" conceptual scheme, but I can't both do this and claim to be disagreeing with "the familiar tenants of Quinean philosophy". And the necessity-talk (and the kind words for Lear's "Leaving the World Alone") just strike me as bad moves. Lear's piece tries to argue for an a priori refutation of Dummett's claims that our logic needs an intuitionistic revision, as in he doesn't deal with Dummett's arguments in reaching the conclusion that Dummett is wrong. This just seems to me to be as wrong as wrong can be. And McDowell shouldn't be so hard on Quine.

This post is an attempt to work things out that I'm not entirely settled on. What could be a better tribute to "On Certainty"?

07 February 2009

too good to be buried in the middle of a sea of scraps

From a recent post at Siris:

"Logic makes us reject certain arguments, but it cannot make us believe any argument." Lebesgue
- the editors of Lakatos, Proofs & Refs (p. 53n4) claim that modern logic shows this is false if taken literally; we can determine, precisely, that some arguments are valid, & therefore logic can make us believe the argument even if not the conclusion.
- But what we can characterize precisely is validity for a domain; and thus we are back at Lebesgue, for one can say that we still have the question of whether the domain is rightly chosen. The editors have slipped, either they have forgotten Lakatos for the moment or think logic works differently from mathematics.
-I see by their further note on Lakato's historical note (56n) that this is their considered opinion. Disappointingly unimaginative and uncritical; what is worse, they think they can have this for free: infallible arguments without infallible principles. This is simply absurd; it is pulling certainty out of a hat.

Incidentally, if anyone was wondering about the short piece on Lakatos in the recent Quine collection, here's a summary: "This is a book about Euler's formula. It is a lot of fun and I enjoyed it." About the only point of substance was: Quine liked that mathematics looked like it was being revised like happens in the other sciences. Apart from that, it's pretty much "This is fun, you should read the book if you like things that are fun." Which is a reasonable way to do a book review.

31 December 2008

Rorty and the Dogmas

In The Search for Logically Alien Thought Conant compares Descartes's pious refusal to claim that God was "bound by the laws of logic" to Quine's claim that there are no truths which are in principle immune to revision, that there are no a priori truths. Conant compares Cartesian piety (of the old-fashioned sort) to Quinean scientistic piety: Who are we to say what Future Science will show us it is correct to think? This comparison is only made as a segue into what really interests Conant in this paper (which I haven't gotten all the way through yet), but he thinks "there is certainly something to the thought that certain classic papers of Putnam and Quine offer perhaps the closest thing to be found in twentieth-century philosophy to an attempt to rehabilitate Descartes's claim that it would be hubris for us to assert of an omnipotent God that He would be inexorably bound by the laws of logic -- those laws which happen to bind our finite minds."

Put like this, it occurs to me that this is similar to something Rorty likes to say: We shouldn't rule out that someday smarter, better people will come along who will show us that what we've said and done up to this point isn't the best we could've said and done. (Which isn't to deny that, so far, the best we've come up with is the best we've come up with, and we can't presently see how it could be improved on, or perhaps can't even imagine something being better than it.) Rorty even connects this with piety (in the old-fashioned sense), since both are tied to hope, the future, what is-to-come etc. It seems to me that Rorty's way of tying Quine to old-fashioned religious "piety" has the inverse effect of Conant's: Rorty's makes the Quinean view of the a priori appear genuinely humble, rather than fanatical. We aren't bowing in awe of Future Science, but merely holding open the possibility that the future will disclose things which are world-shakingly important (as has happened before).

I think a Rortyan approach also lets us see what's wrong with responses to Quine that present certain propositions ("Not every statement is both true and false") and challenge the Quinean to show how it could be rational to reject them: The Rortyan-Quinean can agree that we can't make sense of how it could be rational to reject the given proposition, while holding back from the conclusion that the proposition is therefore a priori true, incorrigible, unrevisable, untouchable by all possible experience, etc. For it might just be our present epistemic limitations that prevent us from seeing what a rational revision would be like, in any given case. Note that these "limitations" aren't the limitations of "a finite thinker" or "a being who cognizes through concepts" or "a being with a discursive understanding" or anything like that -- they're just blind spots we happen to have at this current moment. That such blind spots are a real possibility is something we can see through historical study (people can just overlook possibilities for long periods of time), which is also how we can see that there doesn't appear to be anything particularly systematic or consistent in what blind spots thinkers have. Sometimes, people just miss things, or an inferior option becomes the dominant one, or a paralogism garners wide assent, without there being anything interesting to say about why this happens in myriad cases.

Of course, this sort of historicizing shouldn't lead us into skepticism (which Rorty is less reliable on). It might be the case that something we can't see a way to do without is just right, and that the alternatives we can't imagine would all be inferior to our current practices anyway. And even where we can imagine how things could be otherwise, this doesn't commit us to any real doubts about how things actually are -- a contingent/a posteriori/empirical truth can be as certain as any. The question of whether a proposition is true (or of whether we should be sure of its truth) is to be held apart from whether or not to we should say it's true a priori, unrevisable etc. The Quinean/Rortyan view I want to advocate is just that we shouldn't say the latter sort of thing about anything -- we shouldn't pretend that some of our beliefs are protected from criticism in the way some philosophers have taken them to be. For any belief, one ought to stand ready to modify that belief if given a compelling reason to do so, and there's no telling in advance what reasons might eventually present themselves (for if one knew all such reasons beforehand, they would never provide an occasion to change one's beliefs). Eternal corrigibility is the price of rationality.

04 November 2008

An Observation

I had my suspicions while reading Empiricism and the Philosophy of Mind, but reading Sellars's Autobiographical Reflections confirmed it for me: Sellars is a terrible prose stylist. Sellars complains in the piece about how difficult he found writing for publication, and I can easily believe that it didn't come naturally to him. This essay makes me want to go back and re-read Davidson's Autobiographical Sketch a third time, just to appreciate how pleasant a read it is.

(Holy crap, there's a used copy on Amazon for $36! That is like $90 less than the last one I saw on there, and I haven't seen one on there at all in months! Library of Living Philosophers volume Get. Alibris actually shows a cheaper copy, in hardcover, but the seller doesn't appear to be reliable and I prefer having Amazon back my transaction.)

One thing that leaped out at me from Sellars's autobiographical essay: He specifically notes that he studied everything but ethics to begin with, but one of the central segues in the piece is Sellars's desire to cash out "deontological intuitionism" in naturalistic terms, partly by means of an appropriation of emotivist insights. It's hard to avoid ethics entirely.

I had no idea that Sellars studied under Quine; I had always thought of them as contemporaries. I guess Quine did start teaching when he was pretty young; he's only Davidon's senior by nine years.

03 May 2008

Brief notes on various things

I am pretty satisfied with this comment on my previous post.

Paul Redding's "Hegel and Piercean Abduction" (European Journal of Philosophy 22:3) hits a lot of interesting material. It's mostly about the German Idealists' conceptions of the logical structure of judgements and the intuition/concept distinction. Redding, following Brandom, claims that the Idealists adopted an inferentialist approach to conceptual content. Hegel's opposition to Kant's distinction between intuitions (as singular representations) and concepts (as general representations) is shown to flow from his commitment to the notion that empirical judgements have their conceptual content because of their inferential relations; this is related to Hegel's treatment of the syllogism as "the truth of judgement". Empirical judgements are shown to have "syllogistic" structures, with concepts figuring variously as singular, as particular, and as universal, rather than (as on the Kantian account) being combinations of concepts with non-conceptual intuitions. This is related to the Romantic emphases on the authority of "feeling" and of the natural as normative, and Hegel's rejection of both of these, by way of Hegel's treatment of aesthetic judgements as the paradigm of judgements in general. There's also an extended discussion of Pierce's appropriation of Aristotle's syllogistic logic, and a few other lines of thought, all in fourteen pages. It'd be nice to have a more extended treatment of pretty much everything Redding mentions, but what's here is quite nice.

John Divers's "Quinean Skepticism about de re Modality after David Lewis" (European Journal of Philosophy 15:1) is a very nice discussion of Quine's "Reference and Modality", Lewis's response to it, Lewis's use of "On What There Is" to motivate his modal realism, and possible motivations for continued "Quinean" skepticism about de re modalities after all of this is taken into consideration. In the audio interview with Burton Dreben, Quine claims that he rejects Lewisian defenses of de re modality because they are ontologically profligate; "possible worlds" are too high a price to pay to be able to make sense of modal operators. Divers does a good job of showing how this sort of response is in tension with Quine's mathematical platonism: Quine is already willing to allow for unaesthetic extensions to his "desert landscape" ontology to accommodate number-talk, so it's not clear why he can refuse to do the same with modal-talk. Divers ends up offering a suggestion as to how de re modal-talk might still be resisted: Insist that de re modal-talk hasn't been shown to serve any useful purpose, and so there's no immediate reason why we should bother trying to make accomodations for it, rather than just dropping it altogether. I suspect that at least a partial response to this demand might be made by way of the Brandomian-Sellarsian notion that "the language of modality is a transposed language of norms", but this sort of answer would show as unmotivated many "metaphysical" uses of de re modal-talk -- there's no need for a theory of counterparts if "A is necessarily p" and "B is possibly q" can be fully cached out in terms of what moves are and aren't allowed in a language-game.

Haugeland's "The Intentionality All-Stars" (Philosophical Perspectives, volume 4, 1990 pp.383-427) has the best meta-philosophy joke ever. I won't spoil it. The article is good apart from that joke, too.

Huwe Price's Metaphysics After Carnap: The Ghost Who Walks?" is, as the title suggests, a discussion of the queer fact that metaphysics is alive and well nowadays, after so many attempts to kill it. Price focuses on the role Quine's "On What There Is" has (purportedly) played in the rehabilitation of metaphysics, with an eye to reversing the trend. Price notes that appeal to a supposed Quine-Putnam "argument from indispensability" plays a central role in debates about "modal realism", and offers a rebuttal to it: Refusing to either give or deny an "ontological" ground for our mathematical practices is not "intellectually dishonest" in the way Quine claims. Ironically, Putnam himself opposes the argument attributed to him in a variety of places; he thinks the Quinean insistence on a univocal reading of the quantifier is absurd, and so is mathematical platonism.

Price's "One Cheer for Representationalism" is slated to appear in the "Library of Living [sic] Philosophers" volume on Rorty, which is currently in development. Rorty plays almost no role in the paper. It is mostly about Brandom and Blackburn's "quasi-realism", which Price expands to a "global expressivism", as he has previously urged in other places. (Link has powerpoint slides and audio, for maximal "I-don't-feel-like-reading-this"-ness!) Price seems to me to recoil too far away from representation-talk, just as Rorty did, so perhaps the essay is not as inappropriate as it initially seems. Price only wants to rehabilitate talk of "representations" in an expressivist manner, but I can't see any motivation for stopping there, beyond a "naturalism" which makes the causal world seem "sparse" rather than "rich". I don't know how Price reconciles a global expressivism with this scientism; if no language plays the role of "representing how things are", then why are we supposed to take "our best current science" as somehow giving us a picture of "the causal order"? Why are we supposed to think there's any sense to talking about "the" causal order at all?

I have read in various places that Wiggins was influential for both Davidson and McDowell, so I looked him up on JStor. So far all I've read is "On Being in the Same Place at the Same Time", because it was only six pages long, and some book reviews. I can already sense why Wiggins might've been a cool dude. A quote from "On Being in the Same Place at the Same Time", p.92:

If it is a materialistic thesis that T = W [where T=a tree, W=the cellulose molecules that compose the tree], then my denial that T = W is a form of denial of materialism. It is interesting how very uninteresting an obstacle these Leibnizian difficulties-real though they are-put in the way of the reduction of botany and all its primitive terms to organic chemistry or to physics. (If it does not follow from T != W that trees are something over and above their matter, how much the less can it follow that they are immanent or transcendent or supervenient or immaterial beings. This is obviously absurd for trees. A Leibnizian disproof of strict identity could never be enough to show something so intriguing or obscure.) I should expect there to be equally valid, and from the point of view of ontology almost equally unexciting, difficulties in the reduction of persons to flesh and bones, in psychophysical event-materialism, and in the materialisms which one might formulate in other categories (such as the Aristotelian categories property and state or the categories situation and fact). Over and above is one question, identity is another. But of course the only stuff there is is stuff.
That's a pretty elegant way to avoid a bunch of ontological claims that I want to avoid. Is there some particular piece of Wiggins's I need to hunt down ASAP?

I read Derrida's "Signature Event Context"at Barnes&Noble. It was collected along with "limited ink abc...", an afterword where Derrida responded to some criticisms of "limited ink abc...", and a summary of Searle's article; apparently he wouldn't agree to having it reprinted in between the Derrida articles. Derrida's style still strikes me as the opposite of pleasant, but 'd' in "limited ink abc..." was pretty funny. Somewhere partway through 'e' I skipped to the afterword, where (paraphrasing since I didn't buy the book) Derrida is asked if he doesn't assume that concepts must have "rigid" rules for application, such that something is always "A or not-A" (vague or not vague, communicable or not communicable, etc.; he runs through a big list of them). Derrida answers in the affirmative: He does think concepts must be "rigid" in this way, so that one must always say, with the tradition, that (and here he runs through a whole slew of "A or not-A" phrases that I want not to affirm). I am now confident that I'll be fine not reading anything else Derrida wrote. Rorty's "Derrida and the Philosophical Tradition" left me with the strong impression that Rorty only praised Derrida so highly because of his style, and I am now convinced that this is how it is. As a philosopher, Derrida does not seem to have much to recommend him -- he is too caught up with dead projects.

Cavell would be easier to get into if he wasn't so damned erudite. Stop tying your philosophical points in to plays I haven't seen and novels I haven't read, dagnabit!

McDowell has an essay linked here which I can't recall anyone having linked to: "Why Is It Called "Empiricism and the Philosophy of Mind"?", which is a reading of Sellars as an empiricist, contra Brandom. I still haven't read Brandom's "study guide", and I'm now inclined to keep putting it off; McDowell's reading of Sellars strikes me as so obviously correct that I don't know how Brandom could read it otherwise. (I am of course aware that it is uncharitable to think Brandom is ever writing on something other than his own project. But Brandom's claim to be a Sellarsian is rather more forceful than his claim to be a Hegelian or Kantian, so a misreading here is more irksome.)

I'm slowly getting through "The Structure of Scientific Revolutions". The end of Chapter X left me still wondering why Kuhn thinks it's worthwhile to talk of scientists as "operating in different worlds" rather than just "doing different things" or "seeing things differently". Why the "swinging stone" could not have been seen as the same thing by both Aristotelians and Galileans is unclear to me -- the Aristotelians cannot see it as a pendulum, and the Galileans cannot see it as an object which by nature moves "down", but why can't both see it as a swinging stone? Doesn't Kuhn's presentation of the matter actually require this? Doesn't this leave "different worlds"-talk looking too strong? (A more detailed discussion of Kuhn's account would be needed to flesh this out, I realize.)

I suspect that this is tied to a passage that struck me as bizarre: speaking of the duckrabbit picture beloved of gestalt psychology (and the second part of Philosophical Investigations), Kuhn notes that a subject might eventually come to see the picture as neither duck nor rabbit, but as "lines on paper", "and he may then say (what he could not have legitimately said earlier) that it is these lines which he really sees but that he sees them alternately as a duck and as a rabbit." (p.114 in the third edition) -- Isn't it just as legitimate for him to say that he sees the picture of a duck (or of a rabbit) as "mere lines"? I don't get what "really sees" means here. Surely he sees the ink on the paper (or pixels on a screen) as lines; then it is really the ink (or the pixels) that he sees! But both of these strike me as absurd -- the duckrabbit isn't "really" ink or lines or a duck or a rabbit, though it can be seen as all of these. There isn't anything it "really" is, behind all the aspects that one can perceive. The aspects one sees are what it "really is", in the only sense in which it "really is" anything at all. It's not as if the duck-aspect disappears when we don't see it; if someone (at first) can only see the rabbit, or can't see either picture (as happens with some of the worse gestalt images), then it isn't the case that the aspects have yet to come into being (after all, other people might be able to see them already). The fellow simply hasn't noticed them yet. So "perspectival aspects" seem as real as anything has claim to be.

Kuhn claims that the absence of an "external standard" in duckrabbit-like cases distinguishes simple gestalt shifts from scientific revolutions. If the "seeing lines as such-and-such" approach was supposed to be this "external standard", then scientific revolutions seem to revert to "simple" gestalt phenomena if that line was unintelligible. I want to say: One could view phenomena as they were conceived under an obsolete paradigm, it's simply (exceedingly) inconvenient scientifically, and suicidal professionally, for any given scientist to do so. In fact, it's not clear to me why one can't always go back to "pre-paradigm science" talk, if one doesn't mind giving up huge amounts of utility -- one can always talk in terms of "that thingy over there" and "that other thingy", if nothing else. It's liable to be confusing and there's no reason anyone would ever want to do this, but I don't see that it would somehow fail to "get a grip" on the world discussed by our best paradigm-enabled science. There's an awful lot you won't be able to discuss profitably, but what you can talk about, you can talk about. Similarly, I don't see why anything other than psychological limitations prohibit a scientist from working with multiple incompatible paradigms, at different points in time, and suspect that there have been such individuals. Which seems to sap Kuhn of some of his philosophical interest.

Kuhn seems so focused on the theory-ladenness of observation (not his term) that he ignores how much conflicting paradigms can have in common. For instance, both the Ptolemaic and Copernican systems (and our modern systems of astronomy) agree that there are visible stars at some distance from us. There are many other theoretical commitments which incompatible paradigms do not share in common, but they aren't entirely exclusive of one another. There's no "core" of observational data that all theories share among themselves, nor any definite set of observation sentences which are independent of all paradigms. And perhaps there are not sentences shared by all paradigms, since the "is common to these two paradigms" relation needn't be transitive. But I don't see why one can't grant all of this, which seems to be what Kuhn is actually interested in convincing us of, without going to some of the rhetorical extremes that Kuhn does.

But, like I said in an earlier post, I should probably finish the book before thinking about it too much.

And finally, because I do not think I have posted enough random pictures recently: Cirno.

She is the strongest!