12 ideas
| 9935 | Mathematical truth is always compromising between ordinary language and sensible epistemology [Benacerraf] |
| Full Idea: Most accounts of the concept of mathematical truth can be identified with serving one or another of either semantic theory (matching it to ordinary language), or with epistemology (meshing with a reasonable view) - always at the expense of the other. | |
| From: Paul Benacerraf (Mathematical Truth [1973], Intro) | |
| A reaction: The gist is that language pulls you towards platonism, and epistemology pulls you towards empiricism. He argues that the semantics must give ground. He's right. |
| 17927 | Realists have semantics without epistemology, anti-realists epistemology but bad semantics [Benacerraf, by Colyvan] |
| Full Idea: Benacerraf argues that realists about mathematical objects have a nice normal semantic but no epistemology, and anti-realists have a good epistemology but an unorthodox semantics. | |
| From: report of Paul Benacerraf (Mathematical Truth [1973]) by Mark Colyvan - Introduction to the Philosophy of Mathematics 1.2 |
| 9936 | The platonist view of mathematics doesn't fit our epistemology very well [Benacerraf] |
| Full Idea: The principle defect of the standard (platonist) account of mathematical truth is that it appears to violate the requirement that our account be susceptible to integration into our over-all account of knowledge. | |
| From: Paul Benacerraf (Mathematical Truth [1973], III) | |
| A reaction: Unfortunately he goes on to defend a causal theory of justification (fashionable at that time, but implausible now). Nevertheless, his general point is well made. Your theory of what mathematics is had better make it knowable. |
| 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. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |