20 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. |
| 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. |
| 18369 | There are at least fourteen candidates for truth-bearers [Kirkham] |
| Full Idea: Among the candidates [for truthbearers] are beliefs, propositions, judgments, assertions, statements, theories, remarks, ideas, acts of thought, utterances, sentence tokens, sentence types, sentences (unspecified), and speech acts. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 2.3) | |
| A reaction: I vote for propositions, but only in the sense of the thoughts underlying language, not the Russellian things which are supposed to exist independently from thinkers. |
| 19319 | If one sequence satisfies a sentence, they all do [Kirkham] |
| Full Idea: If one sequence satisfies a sentence, they all do. ...Thus it matters not whether we define truth as satisfaction by some sequence or as satisfaction by all sequences. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: So if the striker scores a goal, the team has scored a goal. |
| 19318 | A 'sequence' of objects is an order set of them [Kirkham] |
| Full Idea: A 'sequence' of objects is like a set of objects, except that, unlike a set, the order of the objects is important when dealing with sequences. ...An infinite sequence satisfies 'x2 is purple' if and only if the second member of the sequence is purple. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: This explains why Tarski needed set theory in his metalanguage. |
| 19320 | If we define truth by listing the satisfactions, the supply of predicates must be finite [Kirkham] |
| Full Idea: Because the definition of satisfaction must have a separate clause for each predicate, Tarski's method only works for languages with a finite number of predicates, ...but natural languages have an infinite number of predicates. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.5) | |
| A reaction: He suggest predicates containing natural numbers, as examples of infinite predicates. Davidson tried to extend the theory to natural languages, by (I think) applying it to adverbs, which could generate the infinite predicates. Maths has finite predicates. |
| 19315 | In quantified language the components of complex sentences may not be sentences [Kirkham] |
| Full Idea: In a quantified language it is possible to build new sentences by combining two expressions neither of which is itself a sentence. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: In propositional logic the components are other sentences, so the truth value can be given by their separate truth-values, through truth tables. Kirkham is explaining the task which Tarski faced. Truth-values are not just compositional. |
| 19317 | An open sentence is satisfied if the object possess that property [Kirkham] |
| Full Idea: An object satisfies an open sentence if and only if it possesses the property expressed by the predicate of the open sentence. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.4) | |
| A reaction: This applies to atomic sentence, of the form Fx or Fa (that is, some variable is F, or some object is F). So strictly, only the world can decide whether some open sentence is satisfied. And it all depends on things called 'properties'. |
| 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. |
| 19322 | Why can there not be disjunctive, conditional and negative facts? [Kirkham] |
| Full Idea: It has been said that there are no disjunctive facts, conditional facts, or negative facts. ...but it is not at all clear why there cannot be facts of this sort. | |
| From: Richard L. Kirkham (Theories of Truth: a Critical Introduction [1992], 5.6) | |
| A reaction: I love these sorts of facts, and offer them as a naturalistic basis for logic. You probably need the world to have modal features, but I have those in the form of powers and dispositions. |
| 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) |
| 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. |
| 16391 | Indexical thoughts are about themselves, and ascribe properties to themselves [Perry, by Recanati] |
| Full Idea: Perry's newer token-reflexive framework says indexical thoughts have token-reflexive content, that is, thoughts that are about themselves and ascribe properties to themselves. …They relate not to the subject, but to the occurrence of a thought. | |
| From: report of John Perry (Reference and Reflexivity [2001]) by François Recanati - Mental Files 18.1 | |
| A reaction: [There seem to be four indexical theories: this one, Recanati's, the earlier Kaplan-Perry one, and Lewis's] Is Perry thinking of second-level thoughts? 'I'm bored' has the content 'boredom' plus 'felt in here'? How does 'I'm bored' refer to 'I'm bored'? |