18 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'? |
| 17884 | Mathematical set theory has many plausible stopping points, such as finitism, and predicativism [Koellner] |
| Full Idea: There are many coherent stopping points in the hierarchy of increasingly strong mathematical systems, starting with strict finitism, and moving up through predicativism to the higher reaches of set theory. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], Intro) |
| 17893 | 'Reflection principles' say the whole truth about sets can't be captured [Koellner] |
| Full Idea: Roughly speaking, 'reflection principles' assert that anything true in V [the set hierarchy] falls short of characterising V in that it is true within some earlier level. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 2.1) |
| 17894 | We have no argument to show a statement is absolutely undecidable [Koellner] |
| Full Idea: There is at present no solid argument to the effect that a given statement is absolutely undecidable. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 5.3) |
| 17890 | There are at least eleven types of large cardinal, of increasing logical strength [Koellner] |
| Full Idea: Some of the standard large cardinals (in order of increasing (logical) strength) are: inaccessible, Mahlo, weakly compact, indescribable, Erdös, measurable, strong, Wodin, supercompact, huge etc. (...and ineffable). | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) | |
| A reaction: [I don't understand how cardinals can have 'logical strength', but I pass it on anyway] |
| 17887 | PA is consistent as far as we can accept, and we expand axioms to overcome limitations [Koellner] |
| Full Idea: To the extent that we are justified in accepting Peano Arithmetic we are justified in accepting its consistency, and so we know how to expand the axiom system so as to overcome the limitation [of Gödel's Second Theorem]. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.1) | |
| A reaction: Each expansion brings a limitation, but then you can expand again. |
| 17891 | Arithmetical undecidability is always settled at the next stage up [Koellner] |
| Full Idea: The arithmetical instances of undecidability that arise at one stage of the hierarchy are settled at the next. | |
| From: Peter Koellner (On the Question of Absolute Undecidability [2006], 1.4) |
| 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. |
| 21004 | Hart (against Bentham) says human rights are what motivate legal rights [Hart,HLA, by Sen] |
| Full Idea: Whereas Bentham saw rights as a 'child of law', Herbert Hart's view takes the form of seeing human rights as, in effect, 'parents of law'; they motivate specific legislations. | |
| From: report of H.L.A. Hart (The Concept of Law [1961]) by Amartya Sen - The Idea of Justice 17 'Ethics' | |
| A reaction: [He cites Hart 1955 'Are there any natural rights?'] I agree with Hart. It is clearer if the parents of law are not referred to as 'rights'. You can demand a right, but it is only a right when it is awarded to you. |
| 20932 | Positive law needs secondary 'rules of recognition' for their correct application [Hart,HLA, by Zimmermann,J] |
| Full Idea: Hart says we have secondary legal 'rules of recognition', by which primary positive law is recognised and applied in a regulated manner. | |
| From: report of H.L.A. Hart (The Concept of Law [1961]) by Jens Zimmermann - Hermeneutics: a very short introduction 6 'Rules' | |
| A reaction: The example of the authority of a particular court is given. |
| 20931 | Hart replaced positivism with the democratic requirement of the people's acceptance [Hart,HLA, by Zimmermann,J] |
| Full Idea: Hart replaced Austin's concept of positive law as sovereign command with a more democratic ideal. In modern law-based societies the authority of law depends on the people's acceptance of a law's enduring validity. | |
| From: report of H.L.A. Hart (The Concept of Law [1961]) by Jens Zimmermann - Hermeneutics: a very short introduction 6 'Hart' | |
| A reaction: Presumably the ancestor of this view is the social contract of Hobbes and Locke. |
| 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. |