20 ideas
| 18928 | If maximalism is necessary, then that nothing exists has a truthmaker, which it can't have [Cameron] |
| Full Idea: I think truthmaker theory is contingently true. [n24] If there could have been nothing, what makes that true? But if truthmaker maximalism is a necessary truth, there's necessarily something. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 4 n24) | |
| A reaction: Truthmaking is beginning to feel like Gödel's Theorems. You can 'make' lots and lots of truths ('prove' in Gödel), but there will be truths that elude the making. Truthmaker theory itself will be one example. So is Maximalism another one? |
| 18931 | Determinate truths don't need extra truthmakers, just truthmakers that are themselves determinate [Cameron] |
| Full Idea: I reject saying there must be an additional truthmaker for 'Determinately, p': rather, I say that the truthmaker for p must simply be a determinate existent rather than a mere existent. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 6) | |
| A reaction: As he puts it (quite persuasively), God doesn't need to add an extra truthmaker for a determinate truth. Cameron rejects Necessitarianism. He uses 'determinate' fairly uncritically. What makes the truth of the truthmaker's determinacy? |
| 18932 | The facts about the existence of truthmakers can't have a further explanation [Cameron] |
| Full Idea: The orthodox truthmaker theorist thinks the facts concerning the existence of the truthmakers do not admit of further explanation. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 6) | |
| A reaction: It is fairly obvious, I suppose, that not every truth can have a truthmaker, just as the verification principle could not be verified, and you can't perceive your perception in order to check it. Could God withdraw the power of truthmaking? |
| 18923 | The present property 'having been F' says nothing about a thing's intrinsic nature [Cameron] |
| Full Idea: The property 'being such as to have been a child' is suspicious because it points beyond its instances in the sense that a thing's presently having that property tells us nothing about the present intrinsic nature of the thing. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 2) | |
| A reaction: This is his objection to what he calls the 'Lucretian' strategy, which tries to make history into a property of present reality. That is implausible, I think, because there is no test for the property, apart from knowledge of the past. Reality is tensed? |
| 18926 | One temporal distibution property grounds our present and past truths [Cameron] |
| Full Idea: Temporal distributional properties are fundamental - it is exactly the same property that is grounding the truth about how the bearer now is that is grounding truths about how the bearer was. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 4) | |
| A reaction: Some kind of slight of hand is going on here, though he does a nice job of confronting all possible objections. This is the sort of metaphysics you come up with when you stake everything on the dubious notion of a 'property'. |
| 18929 | We don't want present truthmakers for the past, if they are about to cease to exist! [Cameron] |
| Full Idea: Whilst not logically inconsistent, it would be bad if it could now be true that ten years ago there was a sea battle, but that five years ago it wasn't true that five years before that there was a sea battle. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 4) | |
| A reaction: Nicely makes the point that you can't let the past rely on truthmakers in the present, if those truthmakers are about to go out of existence. So you need a sustained truthmaker, without giving up presentism. Enter 'temporally distributed properties'? |
| 8679 | We perceive the objects of set theory, just as we perceive with our senses [Gödel] |
| Full Idea: We have something like perception of the objects of set theory, shown by the axioms forcing themselves on us as being true. I don't see why we should have less confidence in this kind of perception (i.e. mathematical intuition) than in sense perception. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.483), quoted by Michčle Friend - Introducing the Philosophy of Mathematics 2.4 | |
| A reaction: A famous strong expression of realism about the existence of sets. It is remarkable how the ingredients of mathematics spread themselves before the mind like a landscape, inviting journeys - but I think that just shows how minds cope with abstractions. |
| 9942 | Gödel proved the classical relative consistency of the axiom V = L [Gödel, by Putnam] |
| Full Idea: Gödel proved the classical relative consistency of the axiom V = L (which implies the axiom of choice and the generalized continuum hypothesis). This established the full independence of the continuum hypothesis from the other axioms. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Hilary Putnam - Mathematics without Foundations | |
| A reaction: Gödel initially wanted to make V = L an axiom, but the changed his mind. Maddy has lots to say on the subject. |
| 18062 | Set-theory paradoxes are no worse than sense deception in physics [Gödel] |
| Full Idea: The set-theoretical paradoxes are hardly any more troublesome for mathematics than deceptions of the senses are for physics. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], p.271), quoted by Philip Kitcher - The Nature of Mathematical Knowledge 03.4 |
| 10868 | The Continuum Hypothesis is not inconsistent with the axioms of set theory [Gödel, by Clegg] |
| Full Idea: Gödel proved that the Continuum Hypothesis was not inconsistent with the axioms of set theory. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by Brian Clegg - Infinity: Quest to Think the Unthinkable Ch.15 |
| 13517 | If set theory is consistent, we cannot refute or prove the Continuum Hypothesis [Gödel, by Hart,WD] |
| Full Idea: Gödel proved that (if set theory is consistent) we cannot refute the continuum hypothesis, and Cohen proved that (if set theory is consistent) we cannot prove it either. | |
| From: report of Kurt Gödel (What is Cantor's Continuum Problem? [1964]) by William D. Hart - The Evolution of Logic 10 |
| 10271 | Basic mathematics is related to abstract elements of our empirical ideas [Gödel] |
| Full Idea: Evidently the 'given' underlying mathematics is closely related to the abstract elements contained in our empirical ideas. | |
| From: Kurt Gödel (What is Cantor's Continuum Problem? [1964], Suppl) | |
| A reaction: Yes! The great modern mathematical platonist says something with which I can agree. He goes on to hint at a platonic view of the structure of the empirical world, but we'll let that pass. |
| 18924 | Being polka-dotted is a 'spatial distribution' property [Cameron] |
| Full Idea: Spatial distribution properties say how things are across a region of space, such as being polka-dotted. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 3) | |
| A reaction: I think the routine fallacy of inferring properties from predicates is buried here. We truthfully describe it as 'polka-dotted', but that doesn't mean we must reify polka-dottedness, and see it as a feature of the world. What is a 'jumbled' space? |
| 18930 | Change is instantiation of a non-uniform distributional property, like 'being red-then-orange' [Cameron] |
| Full Idea: What change is on the account being offered is to instantiate a non-uniform distributional property. Being red at one time and orange at a later time is to be analysed as instantiating the distributional property 'being red-then-orange'. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 4) | |
| A reaction: One of those moments when you begin to doubt whether 'being analysed' successfully actually adds much to our wisdom. His property sounds suspiciously 'gruesome' - i.e. subject to the vagaries of how we chose to describe the thing. |
| 22445 | Morality shows murder is wrong, but not what counts as a murder [Foot] |
| Full Idea: While one can determine from the concept of morality that there is an objection to murder one cannot determine completely what will count as murder. | |
| From: Philippa Foot (Morality and Art [1972], p.7) | |
| A reaction: She then refers to abortion, but there are military and criminal problem cases, and killings by neglect or side effect. |
| 22444 | A moral system must deal with the dangers and benefits of life [Foot] |
| Full Idea: A moral system seems necessarily to be one aimed at removing particular dangers and securing certain benefits. | |
| From: Philippa Foot (Morality and Art [1972], p.6) | |
| A reaction: I thoroughly approve of this approach to morality, which anchors it in real life, rather than in ideals or principles of reason. |
| 22447 | Saying something 'just is' right or wrong creates an illusion of fact and objectivity [Foot] |
| Full Idea: When we say that something 'just is' right or wrong we want to give the impression of some kind of fact or authority standing behind our words, ...maintaining the trappings of objectivity though the substance is not there. | |
| From: Philippa Foot (Morality and Art [1972], p.9) | |
| A reaction: Foot favours the idea that such a claim must depend on reasons, and that the reasons arise out of actual living. She's right. |
| 22448 | We sometimes just use the word 'should' to impose a rule of conduct on someone [Foot] |
| Full Idea: It would be more honest to recognise that the 'should' of moral judgement is sometimes merely an instrument by which we (for our own very good reasons) try to impose a rule of conduct even on the uncaring man? | |
| From: Philippa Foot (Morality and Art [1972], p.18) | |
| A reaction: This is a good example, I think, of the ordinary language tradition that Foot grew up in. We load a word like 'should' with a mystical power, but the situations in which it is actually used bring us back down to earth. |
| 22446 | In the case of something lacking independence, calling it a human being is a matter of choice [Foot] |
| Full Idea: In the problem of abortion there is a genuine choice as to whether or not to count as a human being, with the rights of a human being, what would become a human being but is not yet capable of independent life. | |
| From: Philippa Foot (Morality and Art [1972], p.7) | |
| A reaction: There must be some basis for the choice. We can't call a dead person a human being. Choosing to call a tiny zygote a human being seems very implausible. Pre-viability strikes me as implausible. |
| 18927 | Surely if things extend over time, then time itself must be extended? [Cameron] |
| Full Idea: If there are temporally extended entities - and there are - then there must be extended regions of time for those entities to extend in. Hence presentism is false. | |
| From: Ross P. Cameron (Truthmaking for Presentists [2011], 4) | |
| A reaction: [Cameron is playing devil's advocate] Something has to be weird here, and I take it to be the fact that the past no longer exists, and yet it is fixed and supports truths. Get over it. My childhood has gone. Totally. Irrevocably. |