tag:blogger.com,1999:blog-6454161596094447448.post8206576839139610273..comments2024-02-20T12:26:24.682-05:00Comments on language goes on holiday: Fixing FregeDuncan Richterhttp://www.blogger.com/profile/15708344766825805406noreply@blogger.comBlogger7125tag:blogger.com,1999:blog-6454161596094447448.post-21703727079973712662018-05-18T19:57:53.974-04:002018-05-18T19:57:53.974-04:00You put that very well, indeed.You put that very well, indeed.Stuart W. Mirskyhttps://www.blogger.com/profile/12247784373895331173noreply@blogger.comtag:blogger.com,1999:blog-6454161596094447448.post-7219652449222858022018-05-16T16:37:53.748-04:002018-05-16T16:37:53.748-04:00Thanks for this. Looks like something productive h...Thanks for this. Looks like something productive has come from this post after all.Duncan Richterhttps://www.blogger.com/profile/15708344766825805406noreply@blogger.comtag:blogger.com,1999:blog-6454161596094447448.post-73136246587040946062018-05-16T16:22:41.289-04:002018-05-16T16:22:41.289-04:00Funnily enough, I recently finished a post on what...Funnily enough, I recently finished a post on what I think would constitute a therapy for Frege: http://metaphorhacker.net/2018/05/therapy-for-frege-a-brief-outline-of-the-theory-of-everything/. <br /><br />Reading this remind me to post it. I just changed the title and added a quick section at the start.<br /><br />The core argument is that the acceptance of the impossibility of perfect reference must be a starting point. And that its implications are everywhere in our daily practice rather than just theoretical possibilities.Dominik Lukešhttps://www.blogger.com/profile/03071876778771965740noreply@blogger.comtag:blogger.com,1999:blog-6454161596094447448.post-73271462139511448762018-05-16T13:49:10.475-04:002018-05-16T13:49:10.475-04:00Thanks. Yes, the idea about difficulties of the wi...Thanks. Yes, the idea about difficulties of the will is exactly what I was thinking about. And I like those examples from mathematics. The one about water and alcohol is especially interesting. Presumably it's not just that someone steals some of the alcohol. :)Duncan Richterhttps://www.blogger.com/profile/15708344766825805406noreply@blogger.comtag:blogger.com,1999:blog-6454161596094447448.post-71458432155671315032018-05-16T12:55:05.505-04:002018-05-16T12:55:05.505-04:00You put it, "Frege's problem is of a diff... You put it, "Frege's problem is of a different kind. There is something wrong with what he wants. He sees the problems himself, but still, apparently, goes on wanting the same thing. So pointing out the problems won't help at all." and I think this is right. And I am tempted to think of a fly voluntarily entering a fly bottle. However, the first thing your criticism suggested to me was something Wittgenstein said in various places in different formulations specifically about the difference between the intellect and the will. In The Big Typescript he phrases it this way:<br /><br />"What makes a subject difficult to understand - if it is significant, important - is not that some special instruction about abstruse things is necessary to understand it. Rather it is the contrast between the understanding of the subject and what most people *want* to see. Because of this the very things that are most obvious can become the most difficult to understand. What has to be overcome is not difficulty of the intellect but of the will."<br /><br />I think Frege gets credit for seeing his problem, but seeing is clearly not enough. You have to *want* different things for any chance of escaping the fly bottle, and that does seem to be more a matter of the will.....<br /><br />I have recently stuck my nose back in Remarks on the Foundations of Mathematics, and a bit into Lectures on the Foundations of Mathematics, and I just love Wittgenstein's examples that ignore the picture of mathematics as something otherworldly and instead turn to the understanding that the certainty we have is wrapped up in a practice, and that the practice can be challenged in various empirical ways.<br /><br />One example I liked was this"<br /><br />"If 2 and 2 apples add up to only 3 apples, i.e. if there are 3 apples there after I have put down two and again two, I don’t say: “So after all 2 + 2 are not always 4”; but “Somehow one must have gone”." [RFM I§157]<br /><br />Severin Schroeder explains this as well as I ever could in Mathematics and Forms of Life, in the Nordic Wittgenstein Review Special Issue 2015 • Wittgenstein and Forms of Life. He puts it,<br /><br />"That is to say, when on the basis of my experience with nuts and apples etc. I put forward the sum ‘2 + 2 = 4’ it is not presented as an empirical generalisation, but as a rule or norm of representation, which means that it is made immune from empirical falsification. We will insist on it even where experience seems to contradict it: in<br />that case we declare our experience as inaccurate. We say that something else must have happened that we didn’t see. However, even though no conflicting experience can falsify a mathematical proposition, repeated conflicting experiences can undermine its usefulness. If putting together pairs of apples frequently resulted in more or fewer than 4 apples, we would have to say that our arithmetic was not applicable to apples; as, in fact, it<br />is not applicable to drops of water (one and one make one) or measures of different liquids (one quart of alcohol and one quart of water yield only 1.8 quarts of vodka)."<br /><br />Wittgenstein spent a lot of time thinking about issues like these, and Mathematics was a fertile ground for exposing some of our common detours in better understanding. Being clear on the difference between things that function empirically for us and things that do not, in fact, seems a central theme in his later work. On Certainty is essentially that problem in a nutshell. Mathematics just holds up a picture that makes separating those roles perplexing, until we come to better grips with whether we are *discovering* mathematical truths in some mathematical space or are *inventing* practices, mathematical practices, that have more or less useful applications in the outside world.<br /><br />Not sure if I put that as well as I needed, but that is what your ruminations had me thinking :) carter gillieshttps://www.blogger.com/profile/12744265678233135968noreply@blogger.comtag:blogger.com,1999:blog-6454161596094447448.post-10695233519810073642018-05-14T17:44:51.235-04:002018-05-14T17:44:51.235-04:00I'm not seeing the connection you try to draw ...<i>I'm not seeing the connection you try to draw between the Mill criticism and Frege's remarks about elucidations.</i><br /><br />One passage reminded me of the other, that's about all really.<br /><br /><i>this has nothing to do with whether words are "pinned down" in their meanings or not, which is a metaphor</i><br /><br />Yes, you're right<br /><br /><i>if Mill complained back that our "mathematics" would indeed be quite different if nothing was capable of motion, it seems to me he'd have a point.</i><br /><br />Yes, but I think there's more to Frege's point than would be answered by this<br /><br /><i>The "theoretical" possibility of never reaching an end to elucidations is also not a real worry</i><br /><br />You're probably right. If it <i>were</i> something that someone really took seriously, though, then perhaps my remarks about something like therapy would apply. <br /><br />So what's my point? I might not have a good one, for reasons you've explained. But my thinking was a) here are two passages from Frege that bear a superficial resemblance, b) read a certain way, one of them suggests both a place for something like therapy in philosophy and a reason for philosophers to attend to practice (both Wittgensteinian themes, of course), and c) even if one grants that there is a place for such therapy in philosophy, it does not follow that this is the only tool that philosophers need (as perhaps some Wittgensteinians might be tempted to think). All of this being meant in a "it seems to me right now that maybe ..., what do you think?" spirit. <br /><br />Thanks for your reply, which is more thoughtful than the original post. Duncan Richterhttps://www.blogger.com/profile/15708344766825805406noreply@blogger.comtag:blogger.com,1999:blog-6454161596094447448.post-14837508756674757582018-05-14T12:54:01.507-04:002018-05-14T12:54:01.507-04:00I'm not seeing the connection you try to draw ...I'm not seeing the connection you try to draw between the Mill criticism and Frege's remarks about elucidations. The problem with Mill (according to Frege) is that he assumes the empirical fact that objects can be collected together and separated apart, and claims that this is what gives us knowledge of arithmetic; this has nothing to do with whether words are "pinned down" in their meanings or not, which is a metaphor. The Mill bit you bolded seems to me an unfair joke on Frege's part; if Mill complained back that our "mathematics" would indeed be quite different if nothing was capable of motion, it seems to me he'd have a point.<br /><br />Frege wanting mathematicians to be precise in their terminology (and especially to stop overloading their operators, like Boole did) seems to me a reasonable request after the 19th century spent quite a lot of time being confused over what a "function" was (because they didn't properly distinguish a function from its graph before Weierstrass). The first passage you quote strikes me as an ordinary defense of the use of technical terminology. The "theoretical" possibility of never reaching an end to elucidations is also not a real worry, as Frege's own practice shows: not all words of ordinary language are equally likely to cause misunderstandings, so using less troublesome words (like "some" and "all") to elucidate more troublesome words (like "successor") lets us avoid some practical troubles. The two bits you bolded are thus not in tension, as you seem to suggest: terms of ordinary language are (in some cases) too fluid for scientific purposes, but by elucidating troublesome terms by means of less-fluid terms, we can manage to produce rigorous proofs. (Think of the difference between the proof Socrates walks the slave-boy through in the Meno and a proof in Euclid.)Daniel Lindquisthttps://www.blogger.com/profile/05443116324301716578noreply@blogger.com