11 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. |
| 13768 | Validity can preserve certainty in mathematics, but conditionals about contingents are another matter [Edgington] |
| Full Idea: If your interest in logic is confined to applications to mathematics or other a priori matters, it is fine for validity to preserve certainty, ..but if you use conditionals when arguing about contingent matters, then great caution will be required. | |
| From: Dorothy Edgington (Conditionals [2001], 17.2.1) |
| 13770 | There are many different conditional mental states, and different conditional speech acts [Edgington] |
| Full Idea: As well as conditional beliefs, there are conditional desires, hopes, fears etc. As well as conditional statements, there are conditional commands, questions, offers, promises, bets etc. | |
| From: Dorothy Edgington (Conditionals [2001], 17.3.4) |
| 13764 | Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? [Edgington] |
| Full Idea: Are conditionals truth-functional - do the truth values of A and B determine the truth value of 'If A, B'? Are they non-truth-functional, like 'because' or 'before'? Do the values of A and B, in some cases, leave open the value of 'If A,B'? | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: I would say they are not truth-functional, because the 'if' asserts some further dependency relation that goes beyond the truth or falsity of A and B. Logical ifs, causal ifs, psychological ifs... The material conditional ⊃ is truth-functional. |
| 13765 | 'If A,B' must entail ¬(A & ¬B); otherwise we could have A true, B false, and If A,B true, invalidating modus ponens [Edgington] |
| Full Idea: If it were possible to have A true, B false, and If A,B true, it would be unsafe to infer B from A and If A,B: modus ponens would thus be invalid. Hence 'If A,B' must entail ¬(A & ¬B). | |
| From: Dorothy Edgington (Conditionals [2001], 17.1) | |
| A reaction: This is a firm defence of part of the truth-functional view of conditionals, and seems unassailable. The other parts of the truth table are open to question, though, if A is false, or they are both true. |
| 23903 | When we admire a work, we see ourselves as its creator [Weil] |
| Full Idea: It is impossible to admire a work of art without thinking oneself, in a way, its creator and without, in a sense, becoming so. | |
| From: Simone Weil (Letters [1940], 1940-03c) | |
| A reaction: This rings true for me. You almost see yourself making the brush strokes, or writing the phrase, or penning the chords. It is engagment which is essential for artistic experience. So all art lovers want to be artists? |
| 23901 | Relationships depend on equality, so unequal treatment kills them [Weil] |
| Full Idea: I conceive human relations solely on the plane of equality; therefore, so soon as someone begins to treat me as an inferior, human relations between us become impossible in my eyes. | |
| From: Simone Weil (Letters [1940], 1936-03) | |
| A reaction: Love that. This is precisely where equality starts. I fear that the problem is that people who don't treat others as equals don't want relationships with them, which particularly occurs in a competitive or hierarchical culture. |
| 23904 | The cruelty of the Old Testament put me off Christianity [Weil] |
| Full Idea: I have always been kept away from Christianity by its ranking the Old Testament stories, so full of pitiless cruelty, as sacred texts. | |
| From: Simone Weil (Letters [1940], 1941-01) | |
| A reaction: After 1938 she was a devout and intense Christian, but of a highly individual and platonist kind. Her religion is dominated by love and beauty. |
| 23902 | I attach little importance to immortality, which is an undecidable fact, and irrelevant to us [Weil] |
| Full Idea: You attach great importance to the reasoning about immortality. I myself attach little. It is a factual question, which cannot be decided in advance by any reasoning. And what does it matter to us? | |
| From: Simone Weil (Letters [1940], 1937-04c) | |
| A reaction: I love 'what does it matter to us?'. The idea that our future bliss or misery depends on how we live now is an utterly wicked fiction, which derails attempts to live a proper life. |