22 ideas
| 13734 | Modern Quinean metaphysics is about what exists, but Aristotelian metaphysics asks about grounding [Schaffer,J] |
| Full Idea: On the now dominant Quinean view, metaphysics is about what there is (such as properties, meanings and numbers). I will argue for the revival of a more traditional Aristotelian view, on which metaphysics is about what grounds what. | |
| From: Jonathan Schaffer (On What Grounds What [2009], Intro) | |
| A reaction: I find that an enormously helpful distinction, and support the Aristotelian view. Schaffer's general line is that what exists is fairly uncontroversial and dull, but the interesting truths about the world emerge when we grasp its structure. |
| 13751 | If you tore the metaphysics out of philosophy, the whole enterprise would collapse [Schaffer,J] |
| Full Idea: Traditional metaphysics is so tightly woven into the fabric of philosophy that it cannot be torn out without the whole tapestry unravelling. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.3) | |
| A reaction: I often wonder why the opponents of metaphysics still continue to do philosophy. I don't see how you address questions of ethics, or philosophy of mathematics (etc) without coming up against highly general and abstract over-questions. |
| 21546 | We can't sharply distinguish variables, domains and values, if symbols frighten us [Russell] |
| Full Idea: Whoever is afraid of symbols can hardly hope to acquire exact ideas where it is necessary to distinguish 1) the variable in itself as opposed to its value, 2) any value of the variable, 3) all values, 4) some value. | |
| From: Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905], p.84) | |
| A reaction: Not the best example, perhaps, of the need for precision, but a nice illustration of the new attitude Russell brought into philosophy. |
| 13743 | We should not multiply basic entities, but we can have as many derivative entities as we like [Schaffer,J] |
| Full Idea: Occam's Razor should only be understood to concern substances: do not multiply basic entities without necessity. There is no problem with the multiplication of derivative entities - they are an 'ontological free lunch'. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: The phrase 'ontological free lunch' comes from Armstrong. This is probably what Occam meant. A few extra specks of dust, or even a few more numbers (thank you, Cantor!) don't seem to challenge the principle. |
| 9161 | Maybe reasonableness requires circular justifications - that is one coherentist view [Field,H] |
| Full Idea: It is not out of the question to hold that without circular justifications there is no reasonableness at all. That is the view of a certain kind of coherence theorist. | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 2) | |
| A reaction: This nicely captures a gut feeling I have had for a long time. Being now thoroughly converted to coherentism, I am drawn to the idea - like a moth to a flame. But how do we distinguish cuddly circularity from its cruel and vicious cousin? |
| 13741 | If 'there are red roses' implies 'there are roses', then 'there are prime numbers' implies 'there are numbers' [Schaffer,J] |
| Full Idea: We can automatically infer 'there are roses' from 'there are red roses' (with no shift in the meaning of 'roses'). Likewise one can automatically infer 'there are numbers' from 'there are prime numbers'. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: He similarly observes that the atheist's 'God is a fictional character' implies 'there are fictional characters'. Schaffer is not committing to a strong platonism with his claim - merely that the existence of numbers is hardly worth disputing. |
| 13748 | Grounding is unanalysable and primitive, and is the basic structuring concept in metaphysics [Schaffer,J] |
| Full Idea: Grounding should be taken as primitive, as per the neo-Aristotelian approach. Grounding is an unanalyzable but needed notion - it is the primitive structuring conception of metaphysics. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.2) | |
| A reaction: [he cites K.Fine 1991] I find that this simple claim clarifies the discussions of Kit Fine, where you are not always quite sure what the game is. I agree fully with it. It makes metaphysics interesting, where cataloguing entities is boring. |
| 13747 | Supervenience is just modal correlation [Schaffer,J] |
| Full Idea: Supervenience is mere modal correlation. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.2) |
| 13744 | The cosmos is the only fundamental entity, from which all else exists by abstraction [Schaffer,J] |
| Full Idea: My preferred view is that there is only one fundamental entity - the whole concrete cosmos - from which all else exists by abstraction. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: This looks to me like weak anti-realism - that there are no natural 'joints' in nature - but I don't think Schaffer intends that. I take the joints to be fundamentals, which necessitates that the cosmos has parts. His 'abstraction' is clearly a process. |
| 13739 | Maybe categories are just the different ways that things depend on basic substances [Schaffer,J] |
| Full Idea: Maybe the categories are determined by the different grounding relations, ..so that categories just are the ways things depend on substances. ...Categories are places in the dependence ordering. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 1.3) |
| 21531 | Common sense agrees with Meinong (rather than Russell) that 'Pegasus is a flying horse' is true [Lackey on Russell] |
| Full Idea: Meinong's theory says that 'Pegasus is a flying horse' is true, while Russell's says that this assertion is false. The average man, if he knows his mythology, would probably agree with Meinong. | |
| From: comment on Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905]) by Douglas Lackey - Intros to Russell's 'Essays in Analysis' p.19 | |
| A reaction: It seems obvious that some disambiguation is needed here. Assenting to that assertion would be blatantly contextual. No one backs Pegasus at a race track. |
| 21545 | I prefer to deny round squares, and deal with the difficulties by the theory of denoting [Russell] |
| Full Idea: I should prefer to say that there is no such object as 'the round square'. The difficulties of excluding such objects can, I think, be avoided by the theory of denoting. | |
| From: Bertrand Russell (Review: Meinong 'Untersuchungen zur..' [1905], p.81) | |
| A reaction: The 'theory of denoting' is his brand new theory of definite descriptions, which makes implicit claims of existence explicit, so that they can be judged. Why can't we just say that a round square can be an intentional object, but not a real object? |
| 13742 | There exist heaps with no integral unity, so we should accept arbitrary composites in the same way [Schaffer,J] |
| Full Idea: I am happy to accept universal composition, on the grounds that there are heaps, piles etc with no integral unity, and that arbitrary composites are no less unified than heaps. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1 n11) | |
| A reaction: The metaphysical focus is then placed on what constitutes 'integral unity', which is precisely the question which most interested Aristotle. Clearly if there is nothing more to an entity than its components, scattering them isn't destruction. |
| 13752 | The notion of 'grounding' can explain integrated wholes in a way that mere aggregates can't [Schaffer,J] |
| Full Idea: The notion of grounding my capture a crucial mereological distinction (missing from classical mereology) between an integrated whole with genuine unity, and a mere aggregate. x is an integrated whole if it grounds its proper parts. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 3.1) | |
| A reaction: That gives a nice theoretical notion, but if you remove each of the proper parts, does x remain? Is it a bare particular? I take it that it will have to be an abstract principle, the one Aristotle was aiming at with his notion of 'form'. Schaffer agrees. |
| 13749 | Belief in impossible worlds may require dialetheism [Schaffer,J] |
| Full Idea: One motivation for dialetheism is the view that there are impossible worlds. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.3) |
| 13740 | 'Moorean certainties' are more credible than any sceptical argument [Schaffer,J] |
| Full Idea: A 'Moorean certainty' is when something is more credible than any philosopher's argument to the contrary. | |
| From: Jonathan Schaffer (On What Grounds What [2009], 2.1) | |
| A reaction: The reference is to G.E. Moore's famous claim that the existence of his hand is more certain than standard sceptical arguments. It sounds empiricist, but they might be parallel rational truths, of basic logic or arithmetic. |
| 9160 | Lots of propositions are default reasonable, but the a priori ones are empirically indefeasible [Field,H] |
| Full Idea: Propositions such as 'People usually tell the truth' seem to count as default reasonable, but it is odd to count them as a priori. Empirical indefeasibility seems the obvious way to distinguish those default reasonable propositions that are a priori. | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 1) | |
| A reaction: Sounds reasonable, but it would mean that all the uniformities of nature would then count as a priori. 'Every physical object exerts gravity' probably has no counterexamples, but doesn't seem a priori (even if it is necessary). See Idea 9164. |
| 9164 | We treat basic rules as if they were indefeasible and a priori, with no interest in counter-evidence [Field,H] |
| Full Idea: I argue not that our most basic rules are a priori or empirically indefeasible, but that we treat them as empirically defeasible and indeed a priori; we don't regard anything as evidence against them. | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 4) | |
| A reaction: This is the fictionalist view of a priori knowledge (and of most other things, such as mathematics). I can't agree. Most people treat heaps of a posteriori truths (like the sun rising) as a priori. 'Mass involves energy' is indefeasible a posteriori. |
| 9165 | Reliability only makes a rule reasonable if we place a value on the truth produced by reliable processes [Field,H] |
| Full Idea: Reliability is not a 'factual property'; in calling a rule reasonable we are evaluating it, and all that makes sense to ask about is what we value. We place a high value on the reliability of our inductive and perceptual rules that lead to truth. | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 5) | |
| A reaction: This doesn't seem to be a contradiction of reliabilism, since truth is a pretty widespread epistemological value. If you do value truth, then eyes are pretty reliable organs for attaining it. Reliabilism is still wrong, but not for this reason. |
| 9162 | Believing nothing, or only logical truths, is very reliable, but we want a lot more than that [Field,H] |
| Full Idea: Reliability is not all we want in an inductive rule. Completely reliable methods are available, such as believing nothing, or only believing logical truths. But we don't value them, but value less reliable methods with other characteristics. | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 3) | |
| A reaction: I would take this excellent point to be an advertisement for inference to the best explanation, which requires not only reliable inputs of information, but also a presiding rational judge to assess the mass of evidence. |
| 9166 | People vary in their epistemological standards, and none of them is 'correct' [Field,H] |
| Full Idea: We should concede that different people have slightly different basic epistemological standards. ..I doubt that any clear sense could be given to the notion of 'correctness' here. | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 5) | |
| A reaction: I think this is dead right. There is a real relativism about knowledge, which exists at the level of justification, rather than of truth. The scientific revolution just consisted of making the standards tougher, and that seems to have been a good idea. |
| 9163 | If we only use induction to assess induction, it is empirically indefeasible, and hence a priori [Field,H] |
| Full Idea: If some inductive rule is basic for us, in the sense that we never assess it using any rules other than itself, then it must be one that we treat as empirically indefeasible (hence as fully a priori, given that it will surely have default status). | |
| From: Hartry Field (Apriority as an Evaluative Notion [2000], 4) | |
| A reaction: This follows on from Field's account of a priori knowledge. See Ideas 9160 and 9164. I think of induction as simply learning from experience, but if experience goes mad I will cease to trust it. (A rationalist view). |