"Unclear statements don't get a bit clearer by being repeated!"

Wittgenstein's crack about Principia Ethica came to mind while reading this interview with Kit Fine:

Part of the problem here is that terms like ‘exists’ and ‘real’ are used in many different ways, especially in philosophy. For me, the fundamental question of ontology is not ‘what is there?’ but ‘what is real?’. But what do I mean by ‘real’?

As a first stab, I would say that what is real is what one must make reference to in giving a description of reality. Thus suppose you were a platonist and thought that reality included facts about numbers, such as that 2 + 2 = 4. Then numbers for you would be real. This is to explain the real in terms of reality. But what is reality? Here perhaps the best I can do is to explain the role of reality in metaphysical thinking.

Reality is what accounts, in the most perfect way possible, for everything that is the case. Suppose, for example, that I thought that the existence of a chair consisted in nothing more than certain atoms arranged in the shape of a chair. Then this would strongly suggest that reality did not include the existence of a chairs, since I could account for their existence in other terms.

I am impressed by how resolutely unclear this is: Every sentence seems like it might be the worst of the bunch.

3AM's interviews are odd. I don't know what determines their selection of subjects. The Setiya and Teichmann interviews were both pretty good, though.

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?"

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?

McDowell and Phenomenologists

This NDPR piece was a very enjoyable read.

I suspect the actual book would annoy me, though; McDowell is almost always misread when his position is assimilated to other analytic philosophers. When he says that all perceptual content is conceptual, he doesn't mean this to be contentious; "non-conceptual perceptual content" is not supposed to be intelligibly a sort of content rational animals could be given, so saying that our perceptual content is conceptual is not meant to be asserting a thesis. "Conceptual" is supposed to be pleonastic -- it has a use in a slogan, but not in any thesis. But when people find something awkward in McDowell (usually the McDowell of "Mind and World", in isolation from his later ~20 years of writings), they often want to articulate what bothers them as being that McDowell was "wrong" to "deny" non-perceptual content: so they find some thesis they would articular by means of the form of words "All perceptual content is conceptual", attribute it to McDowell, and then argue against it as if they were arguing against something McDowell had said. (Sean Kelly comes to mind as someone else who has done exactly this, but I know I'm forgetting others.)

This seems to be what has happened in the book under review: the author treats "All perceptual content is conceptual" as if it were saying that there is no way to distinguish the content of a judgement from the content of an experience, and then his points about percepts being accompanied by "empty intentions" lets him argue against it: for a perceptual content is always accompanied by empty intentions, and a judgemental content is not. But McDowell has no reason to deny this; he never pretended to have given an exhaustive phenomenology of perception, and he never wanted to say that perception just is a sort of judgement (indeed, this is basically the view of Davidson's he wanted to argue against). His later shift to talking of perceptual content as "not propositional" because merely "articulable", as opposed to judgemental content which "is propositional" because "articulated", marks this difference more clearly than he did in "Mind and World". But when he shifts to talking in this new way in "Avoiding the Myth of the Given", he's clear that he still wants to say "All perceptual content is conceptual" because he never meant this to say anything more than he now says: it's a reminder that our judgement and our perception belong together. Attacking that slogan is not a place to productively argue with McDowell.

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.

Heidegger on Frege

From "New Research in Logic" (1912, when Heidegger was 23), translated in "Becoming Heidegger", p. 33. To the best of my knowledge, this is the only time Frege is mentioned in Heidegger's corpus. I would be interested to learn otherwise, if I'm wrong about this.

Nevertheless, we ourselves are inclined to attribute a far-reaching significance to Husserl's penetratingly profound and very propitiously formulated Investigations, for they have truly broken the psychological spell and brought the above-mentioned clarification of principles into play. Husserl here does not hesitate to express his gratitude for the influential suggestions that he received from the Wissenschaftlehre (1837) of the Austrian mathematician and philosopher Bernard Bolzano. The planned reprint of this now rare book will probably soon appear. In this connection, the name of a German mathematician cannot be left unmentioned. Gottlob Frege's logical-mathematical researches are in my opinion not yet appreciated in their true significance, let alone exhausted. What he has written in his works on "Sense and Meaning" and on "Concept and Object" cannot be disregarded by any philosophy of mathematics. But it is also equally valuable for a universal theory of the concept. While Frege overcame psychologism in principle, Husserl in his Prolegomena to a Pure Logic has systematically and comprehensively confronted the essence, relativistic consequences, and theoretical worthlessness of psychologism.

Free Issue of Philosophical Investigations

The journal Philosophical Investigations has published a "virtual issue" that collects some of their best material from the past 30 years, without a paywall. It looks like a pretty good group. So far I've read the Stove review (which is fun fluff) and the Rush Rhees article, which I recommend to anyone who cares about Wittgenstein's views of what he was doing in (at least) his later philosophy. This bit in particular jumped out at me, given my most recent post:

There was something misleading about Wittgenstein’s use of the phrase Krankheiten des Verstandes: since we do not know what a Gesundheit des Verstandes would be. He certainly did not think that the unreflecting philistine was in a better state of mind than the person who knows genuine philosophical puzzlement. And the notions of ‘health‘ and ‘illness’ are not very helpful here.

Rhees also discusses the relationship between the übersichtliche Darstellung der Grammatik and the Tractarian say/show distinction, though at a disappointingly short length. This is an interesting bit though:

[The say/show distinction] was an idea which he did retain [in his later philosophy], in his account of recursive proofs or proofs by induction, for instance; and it had much to do with the discussion of generality.

Here we have a clear instance of a place where the thing "shown" has to have the shape of something like "how to go on". You can't add something propositional to an inductive proof that makes it into a deductive one -- there's no point at which "logic takes you by the throat" (and I think that the "What the Tortoise Said to Achilles" case is another example of this). If you try to add a premise like "If you've checked N cases and they've had results consistent with [x,y,z] then all cases will give results consistent with [x,y,z]" or "If you've checked N cases and they've had results consistent with [x,y,z], assume that all cases will have results consistent with [x,y,z]" then you have the problem of having to motivate those assumptions/imperatives, and there's no way to do that without falling back on induction. It's formally akin to the "interpretations" in the "rule-following paradox" of PI 201:

It can be seen that there is a misunderstanding here from the mere fact that in the course of our argument we give one interpretation after another; as if each one contented us at least for a moment, until we thought of yet another standing behind it. What this shews is that there is a way of grasping a rule which is not an interpretation, but which is exhibited in what we call "obeying the rule" and "going against it" in actual cases.

I think this passage from Rhees lends some support to Kremer's view of the say/show distinction as lining up with the knowing-that/knowing-how distinction. These aren't cases where you might (per impossible) be able to say something that "grammar" or "logical syntax" forbids you from saying, and have it do the work you want. There's something deeper to "showing" than that.