19 ideas
| 8195 | Undecidable statements result from quantifying over infinites, subjunctive conditionals, and the past tense [Dummett] |
| Full Idea: I once wrote that there are three linguistic devices that make it possible for us to frame undecidable statements: quantification over infinity totalities, as expressed by word such as 'never'; the subjunctive conditional form; and the past tense. | |
| From: Michael Dummett (Truth and the Past [2001], 4) | |
| A reaction: Dummett now repudiates the third one. Statements containing vague concepts also appear to be undecidable. Personally I have no problems with deciding (to a fair extent) about 'never x', and 'if x were true', and 'it was x'. |
| 8194 | Surely there is no exact single grain that brings a heap into existence [Dummett] |
| Full Idea: There is surely no number n such that "n grains of sand do not make a heap, although n+1 grains of sand do" is true. | |
| From: Michael Dummett (Truth and the Past [2001], 4) | |
| A reaction: It might be argued that there is such a number, but no human being is capable of determing it. Might God know the value of n? On the whole Dummett's view seems the most plausible. |
| 8714 | Fictionalists say 2+2=4 is true in the way that 'Oliver Twist lived in London' is true [Field,H] |
| Full Idea: The fictionalist can say that the sense in which '2+2=4' is true is pretty much the same as the sense in which 'Oliver Twist lived in London' is true. They are true 'according to a well-known story', or 'according to standard mathematics'. | |
| From: Hartry Field (Realism, Mathematics and Modality [1989], 1.1.1), quoted by Michèle Friend - Introducing the Philosophy of Mathematics 6.3 | |
| A reaction: The roots of this idea are in Carnap. Fictionalism strikes me as brilliant, but poisonous in large doses. Novels can aspire to artistic truth, or to documentary truth. We invent a fiction, and nudge it slowly towards reality. |
| 8190 | Intuitionists rely on the proof of mathematical statements, not their truth [Dummett] |
| Full Idea: The intuitionist account of the meaning of mathematical statements does not employ the notion of a statement's being true, but only that of something's being a proof of the statement. | |
| From: Michael Dummett (Truth and the Past [2001], 2) | |
| A reaction: I remain unconvinced that anyone could give an account of proof that didn't discreetly employ the notion of truth. What are we to make of "we suspect this is true, but no one knows how to prove it?" (e.g. Goldbach's Conjecture). |
| 8198 | A 'Cambridge Change' is like saying 'the landscape changes as you travel east' [Dummett] |
| Full Idea: The idea of 'Cambridge Change' is like saying 'the landscape changes as you travel east'. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: The phrase was coined in Oxford. It is a useful label with which realists can insult solipsists, idealists and other riff-raff. Four Dimensionalists seem to see time in this way. Events sit there, and we travel past them. But there are indexical events. |
| 8192 | I no longer think what a statement about the past says is just what can justify it [Dummett] |
| Full Idea: In distinguishing between what can establish a statement about the past as true and what it is that that statement says, we are repudiating antirealism about the past. | |
| From: Michael Dummett (Truth and the Past [2001], 3) | |
| A reaction: This is a late shift of ground from the champion of antirealism. If Dummett's whole position is based on a 'justificationist' theory of meaning, he must surely have a different theory of meaning now for statements about the past? |
| 8199 | The existence of a universe without sentience or intelligence is an unintelligible fantasy [Dummett] |
| Full Idea: The existence of a universe from which sentience was permanently absent is an unintelligible fantasy. What exists is what can be known to exist. What is true is what can be known to be true. Reality is what can be experienced and known. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: This strikes me as nonsense. The fact that we cannot think about a universe without introducing a viewpoint does not mean that we cannot 'intellectually imagine' its existence devoid of viewpoints. Nothing could ever experience a star's interior. |
| 8193 | Verification is not an individual but a collective activity [Dummett] |
| Full Idea: Verification is not an individual but a collective activity. | |
| From: Michael Dummett (Truth and the Past [2001], 3) | |
| A reaction: This generates problems. Are deceased members of the community included? (Yes, says Dummett). If someone speaks to angels (Blake!), do they get included? Is a majority necessary? What of weird loners? Etc. |
| 8189 | Truth-condition theorists must argue use can only be described by appeal to conditions of truth [Dummett] |
| Full Idea: To demonstrate the necessity of a truth-conditional theory of meaning, a proponent of such a theory must argue that use cannot be described without appeal to the conditions for the truth of statements. | |
| From: Michael Dummett (Truth and the Past [2001], 1) | |
| A reaction: Unlike Dummett, I find that argument rather appealing. How do you decide the possible or appropriate use for a piece of language, if you don't already know what it means. Basing it all on social conventions means it could be meaningless ritual. |
| 8191 | The truth-conditions theory must get agreement on a conception of truth [Dummett] |
| Full Idea: It is not enough for the truth-condition theorist to argue that we need the concept of truth: he must show that we should have the same conception of truth that he has. | |
| From: Michael Dummett (Truth and the Past [2001], 2) | |
| A reaction: Davidson invites us to accept Tarski's account of truth. It invites the question of what the theory would be like with a very robust correspondence account of truth, or a flabby rather subjective coherence view, or the worst sort of pragmatic view. |
| 22717 | Self-interest can fairly divide a cake; first person cuts, second person chooses [Poundstone] |
| Full Idea: To fairly divide a cake between two children, the first divides it and the second chooses. …Even division is best, as it anticipates the second child will take the largest piece. Fairness is enforced by the children's self-interests. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 03 'Cake') | |
| A reaction: [compressed] This is introduced as the basic principle of game theory. There is an online video of two cats sharing a dish of milk; each one drinks a bit, then pushes the dish to the other one. I'm sure two children could manage that. |
| 22718 | Formal game theory is about maximising or minimising numbers in tables [Poundstone] |
| Full Idea: At the most abstract level, game theory is about tables with numbers in them - numbers that entities are are efficiently acting to maximise or minimise. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 03 'Curve') | |
| A reaction: A brilliant idea. The question is the extent to which real life conforms to the numberical tables. The assumption that everyone is entirely self-seeking is blatantly false. Numbers like money have diminishing marginal utility. |
| 22719 | The minimax theorem says a perfect game of opposed people always has a rational solution [Poundstone] |
| Full Idea: The minimax theorem says that there is always a rational solution to a precisely defined conflict between two people whose interests are completely opposite. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 03 'Minimax') | |
| A reaction: This is Von Neumann's founding theorem of game theory. It concerns maximising minimums, and minimising maximums. Crucially, I would say that it virtually never occurs that two people have completely opposite interests. There is a common good. |
| 22720 | Two prisoners get the best result by being loyal, not by selfish betrayal [Poundstone] |
| Full Idea: Prisoners A and B can support or betray one another. If both support, they each get 1 year in prison. If one betrays, the betrayer gets 0 and the betrayed gets 3. If they both betray they get 2 each. The common good is to support each other. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 06 'Tucker's') | |
| A reaction: [by Albert Tucker, highly compressed] The classic Prisoner's Dilemma. It is artificial, but demonstrates that selfish behaviour gets a bad result (total of four years imprisonment), but the common good gets only two years. Every child should study this! |
| 22721 | The tragedy in prisoner's dilemma is when two 'nice' players misread each other [Poundstone] |
| Full Idea: The tragedy is when two 'nice' players defect because they misread the other's intentions. The puzzle of the prisoner's dilemma is how such good intentions pave the road to hell. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 11 'Howard's') | |
| A reaction: I really wish these simple ideas were better known. They more or less encapsulate the tragedy of the human race, with its inability to prioritise the common good. |
| 22722 | TIT FOR TAT says cooperate at first, then do what the other player does [Poundstone] |
| Full Idea: The successful TIT FOR TAT strategy (for the iterated prisoner's dilemma) says cooperate on the first round, then do whatever the other player did in the previous round. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 12 'TIT') | |
| A reaction: There are also the tougher TWO TITS FOR A TAT, and the more forgiving TIT FOR TWO TATS. The one-for-one seems to be the main winner, and is commonly seen in animal life (apparently). I recommend this to school teachers. |
| 22723 | Do unto others as you would have them do unto you - or else! [Poundstone] |
| Full Idea: TIT FOR TAT threatens 'Do unto others as you would have them do unto you - or else!'. | |
| From: William Poundstone (Prisoner's Dilemma [1992], 12 'TIT') | |
| A reaction: Essentially human happiness arises if we are all nice, but also stand up firmly for ourselves. 'Doormats' (nice all the time) get exploited. TIT FOR TAT is weak, because it doesn't exploit people who don't respond at all. |
| 8197 | Maybe past (which affects us) and future (which we can affect) are both real [Dummett] |
| Full Idea: Maybe both the past and the future are real, determined by our current temporal perspective. Past is then events capable of having a causal influence upon events near us, and future is events we can affect, but from which we receive no information. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: This is the Four-Dimensional view, which is opposed to Presentism. Might immediate unease is that it gives encouragement to fortune-tellers, whom I have always dismissed with 'You can't see the future, because it doesn't exist'. |
| 8196 | The present cannot exist alone as a mere boundary; past and future truths are rendered meaningless [Dummett] |
| Full Idea: The idea that only the present is real cannot be sustained. St Augustine pointed out that the present has no duration; it is a mere boundary between past and future, and dependent on them. It also denies truth-value to statements about past or future. | |
| From: Michael Dummett (Truth and the Past [2001], 5) | |
| A reaction: To defend Presentism, I suspect that one must focus entirely on the activities of consciousness and short-term memory. All truths, of past or future, must refer totally to such mental events. But what could an event be if there is no enduring time? |