39 ideas
| 10571 | Concern for rigour can get in the way of understanding phenomena [Fine,K] |
| Full Idea: It is often the case that the concern for rigor gets in the way of a true understanding of the phenomena to be explained. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2) | |
| A reaction: This is a counter to Timothy Williamson's love affair with rigour in philosophy. It strikes me as the big current question for analytical philosophy - of whether the intense pursuit of 'rigour' will actually deliver the wisdom we all seek. |
| 18877 | Moral realism doesn't seem to entail the existence of any things [Cameron] |
| Full Idea: Moral realism isn't realism about things, and it seems strange to suggest that moral realism is existence entailing in the way that realism about unobservable is. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: Cameron is questioning whether a realist has to believe in truthmakers. It seems to me that his doubts are because he insists that truthmaking is committed to the existence of 'things'. I assume any moral realism must supervene on nature. |
| 18868 | Surely if some propositions are grounded in existence, they all are? [Cameron] |
| Full Idea: What possible reason could one have for thinking of some propositions that they need to be grounded in what there is that doesn't apply to all propositions? | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: Well, if truthmaking said that all truths are grounded, then some could be grounded in what there is, and others in how it is, or maybe even how it isn't (if you get a decent account of negative truths). |
| 18867 | Orthodox Truthmaker applies to all propositions, and necessitates their truth [Cameron] |
| Full Idea: Orthodox truthmaker theory (Armstrong's) entails Maximalism (that every true proposition has at least one truthmaker), and Necessitarianism (that the existence of a truthmaker necessitates the truth of its proposition). | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: I think I accept both of these. If you say only some truths have truthmakers, the other truths are then baffling. And how could a truthmaker fail in its job? But that doesn't necessitate the existence of the proposition. |
| 18873 | God fixes all the truths of the world by fixing what exists [Cameron] |
| Full Idea: The truthmaker thought is that explanation only bottoms out at existence facts; for God to give a complete plan of the world He needs only make an inventory of what is to exist. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: He is defending Necessitarianism about truthmaking. I'm struggling with this. An inventory of the contents of my house doesn't begin to fix all the truths that arise from them. Why is Cameron so resistent to 'how' things are being part of the truthmaking? |
| 18879 | What the proposition says may not be its truthmaker [Cameron] |
| Full Idea: The explanation of the truth of the proposition [p] doesn't stop at it being the case that p, so it's false to claim that whenever a proposition is true it's true in virtue of the world being as the proposition says it is. The features often lie deeper. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Grounding') | |
| A reaction: [He is opposing Jennifer Hornsby 2005] Cameron offers 'the average family has 2.4 children' as a counterexample' (since no one actually has 2.4 children). That seems compelling. Second example: 'the rose is beautiful'. |
| 18880 | Rather than what exists, some claim that the truthmakers are ways of existence, dispositions, modalities etc [Cameron] |
| Full Idea: Rivals to the truthmaker claim that facts about what there is are the truthmakers, there are theories that add facts about how the things are, or add dispositional facts, or modal facts, or haecceitistic facts, or maybe moral facts. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Grounding') | |
| A reaction: [compressed] He seems to think his version has a monopoly on truthmaking, but I don't see why these other theories shouldn't count as truthmaking. The truthmaker for 'live grenades are dangerous' is not just the existence of grenades. |
| 18874 | Truthmaking doesn't require realism, because we can be anti-realist about truthmakers [Cameron] |
| Full Idea: It's definitely not sufficient to be a realist that one be a truthmaker theorist, since one can simply be anti-realist about the truthmakers. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: It is not quite clear how unreal truth makers could actually MAKE propositions true, rather than just being correlated with them. |
| 18869 | Without truthmakers, negative truths must be ungrounded [Cameron] |
| Full Idea: If negative truths don't have truthmakers then make no mistake: they are ungrounded. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: What would be the grounding for truths which expressed the necessary preconditions for all existence? Could 'nothing whatever exists' ever be a truth? |
| 18871 | I support the correspondence theory because I believe in truthmakers [Cameron] |
| Full Idea: I tend to think that the fundamental reason we can have the correspondence theory of truth is that truthmaker theory is correct. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: [This responds to Fumerton 2006, who gives the opposite view] Cameron gives himself the classic problem of spelling out the correspondence relation (perhaps as 'congruence'). I like truthmaking, but I'm unsure about correspondence. |
| 18870 | Maybe truthmaking and correspondence stand together, and are interdefinable [Cameron] |
| Full Idea: One view says truthmaker theory stands or falls with the correspondence theory of truth, because the truthmaker for p is just the portion of reality that p corresponds to: truthmaker and correspondence can be conversely defined. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: The normal view, which I prefer, is that correspondence is a particular theory of truthmaking, invoking a precise 'correspondence' relation. Hence abolishing correspondence would not abolish truthmaking, if you had a rival account. |
| 10565 | There is no stage at which we can take all the sets to have been generated [Fine,K] |
| Full Idea: There is no stage at which we can take all the sets to have been generated, since the set of all those sets which have been generated at a given stage will itself give us something new. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) |
| 10564 | We might combine the axioms of set theory with the axioms of mereology [Fine,K] |
| Full Idea: We might combine the standard axioms of set theory with the standard axioms of mereology. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) |
| 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'. |
| 10569 | If you ask what F the second-order quantifier quantifies over, you treat it as first-order [Fine,K] |
| Full Idea: We are tempted to ask of second-order quantifiers 'what are you quantifying over?', or 'when you say "for some F" then what is the F?', but these questions already presuppose that the quantifiers are first-order. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005]) |
| 10570 | Assigning an entity to each predicate in semantics is largely a technical convenience [Fine,K] |
| Full Idea: In doing semantics we normally assign some appropriate entity to each predicate, but this is largely for technical convenience. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2) |
| 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. |
| 10573 | Dedekind cuts lead to the bizarre idea that there are many different number 1's [Fine,K] |
| Full Idea: Because of Dedekind's definition of reals by cuts, there is a bizarre modern doctrine that there are many 1's - the natural number 1, the rational number 1, the real number 1, and even the complex number 1. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2) | |
| A reaction: See Idea 10572. |
| 10575 | Why should a Dedekind cut correspond to a number? [Fine,K] |
| Full Idea: By what right can Dedekind suppose that there is a number corresponding to any pair of irrationals that constitute an irrational cut? | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2) |
| 10574 | Unless we know whether 0 is identical with the null set, we create confusions [Fine,K] |
| Full Idea: What is the union of the singleton {0}, of zero, and the singleton {φ}, of the null set? Is it the one-element set {0}, or the two-element set {0, φ}? Unless the question of identity between 0 and φ is resolved, we cannot say. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2) |
| 10560 | Set-theoretic imperialists think sets can represent every mathematical object [Fine,K] |
| Full Idea: Set-theoretic imperialists think that it must be possible to represent every mathematical object as a set. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) |
| 10568 | Logicists say mathematics can be derived from definitions, and can be known that way [Fine,K] |
| Full Idea: Logicists traditionally claim that the theorems of mathematics can be derived by logical means from the relevant definitions of the terms, and that these theorems are epistemically innocent (knowable without Kantian intuition or empirical confirmation). | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 2) |
| 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. |
| 10563 | A generative conception of abstracts proposes stages, based on concepts of previous objects [Fine,K] |
| Full Idea: It is natural to have a generative conception of abstracts (like the iterative conception of sets). The abstracts are formed at stages, with the abstracts formed at any given stage being the abstracts of those concepts of objects formed at prior stages. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) | |
| A reaction: See 10567 for Fine's later modification. This may not guarantee 'levels', but it implies some sort of conceptual priority between abstract entities. |
| 18875 | Realism says a discourse is true or false, and some of it is true [Cameron] |
| Full Idea: Realism about a discourse is 1) to think that the sentences are, when construed literally, literally true or false, and 2) to think that some of the sentences of the discourse are non-vacuously true. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: [Cameron adds 'non-vacuously' to an idea of Sayre-McCord 199 p.5] This is realism based on what is 'true', without specifying 'commitments', so I like it. Cameron says it makes mathematical postulationists into realists. He likes 'mind-independent'. |
| 18878 | Realism says truths rest on mind-independent reality; truthmaking theories are about which features [Cameron] |
| Full Idea: All that is necessary for realism, I claim, is that truth is grounded in mind-independent features of fundamental reality. Truthmaker theory comes into play because it is a theory about what those features are (…so it isn't a commitment to realism). | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Realism') | |
| A reaction: [He cites Michael Devitt for this approach] What is the word 'fundamental' doing here? Because the mind-dependent parts of reality are considered non-fundamental? The no-true-Scotsman-hates-whisky move? His truthmaking is committed to 'things'. |
| 18881 | For realists it is analytic that truths are grounded in the world [Cameron] |
| Full Idea: The analytic commitment of realism is that truths are grounded in the world. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Grounding') | |
| A reaction: Certain fifth-level truths might be a long way from the actual world, and deeply interfused with human concepts and theories. Negative truths must be fitted into this picture. |
| 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? |
| 18872 | We should reject distinct but indiscernible worlds [Cameron] |
| Full Idea: I think we should reject distinct but indiscernible worlds. | |
| From: Ross P. Cameron (Truthmakers, Realism and Ontology [2008], 'Max and Nec') | |
| A reaction: An interesting passing remark. Presumably there would be unknowable truths about such worlds, which wouldn't bother a full-blooded realist. Indiscernible to whom? Me? Humanity? A divine mind? |
| 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. |
| 10561 | Abstraction-theoretic imperialists think Fregean abstracts can represent every mathematical object [Fine,K] |
| Full Idea: Abstraction-theoretic imperialists think that it must be possible to represent every mathematical object as a Fregean abstract. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) |
| 10562 | We can combine ZF sets with abstracts as urelements [Fine,K] |
| Full Idea: I propose a unified theory which is a version of ZF or ZFC with urelements, where the urelements are taken to be the abstracts. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) |
| 10567 | We can create objects from conditions, rather than from concepts [Fine,K] |
| Full Idea: Instead of viewing the abstracts (or sums) as being generated from objects, via the concepts from which they are defined, we can take them to be generated from conditions. The number of the universe ∞ is the number of self-identical objects. | |
| From: Kit Fine (Replies on 'Limits of Abstraction' [2005], 1) | |
| A reaction: The point is that no particular object is now required to make the abstraction. |
| 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. |
| 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? |