29 ideas
| 12463 | Unlike correspondence, truthmaking can be one truth to many truthmakers, or vice versa [Jacobs] |
| Full Idea: I assume a form of truthmaking theory, ..which is a many-many relation, unlike, say correspondence, so that one entity can make multiple truths true and one truth can have multiple truthmakers. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §1) | |
| A reaction: This sounds like common sense, once you think about it. One tree makes many things true, and one statement about trees is made true by many trees. |
| 14375 | If structures result from intrinsic natures of properties, the 'relations' between them can drop out [Jacobs] |
| Full Idea: If a relation holds between two properties as a result of their intrinsic natures, then it appears the relation between the properties is not needed to do the structuring of reality; the properties themselves suffice to fix the structure. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.1) | |
| A reaction: [the first bit quotes Jubien 2007] He cites a group of scientific essentialists as spokesmen for this view. Sounds right to me. No on seems able to pin down what a relation is - which may be because there is no such entity. |
| 4444 | One moderate nominalist view says that properties and relations exist, but they are particulars [Armstrong] |
| Full Idea: There is a 'moderate' nominalism (found in G.F.Stout, for example) which says that properties and relations do exist, but that they are particulars rather than universals. | |
| From: David M. Armstrong (Universals [1995], p.504) | |
| A reaction: Both this view and the 'mereological' view seem to be ducking the problem. If you have two red particulars and a green one, how do we manage to spot the odd one out? |
| 4445 | If properties and relations are particulars, there is still the problem of how to classify and group them [Armstrong] |
| Full Idea: The view that properties exist, but are particulars rather than universals, is still left with the problem of classification. On what basis do we declare that different things have the same property? | |
| From: David M. Armstrong (Universals [1995], p.504) | |
| A reaction: This seems like a fairly crucial objection. The original problem was how we manage to classify things (group them into sets), and it looks as if this theory leaves the problem untouched. |
| 14378 | Science aims at identifying the structure and nature of the powers that exist [Jacobs] |
| Full Idea: Scientific practice seems aimed precisely at identifying the structure and nature of the powers that exist. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.3) | |
| A reaction: Good. Friends of powers should look at this nice paper by Jacobs. There is a good degree of support for this view from pronouncements of modern scientists. If scientists don't support it, they should. Otherwise they are trapped in the superficial. |
| 12467 | Powers come from concrete particulars, not from the laws of nature [Jacobs] |
| Full Idea: The source of powers is not the laws of nature; it is the powerful nature of the ordinary properties of concrete particulars. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.2) | |
| A reaction: This pithily summarises my own view. People who think the powers of the world derive from the laws either have an implicit religious framework, or they are giving no thought at all to the ontological status of the laws. |
| 4448 | Should we decide which universals exist a priori (through words), or a posteriori (through science)? [Armstrong] |
| Full Idea: Should we decide what universals exist a priori (probably on semantic grounds, identifying them with the meanings of general words), or a posteriori (looking to our best general theories about nature to give revisable conjectures about universals)? | |
| From: David M. Armstrong (Universals [1995], p.505) | |
| A reaction: Nice question for a realist. Although the problem is first perceived in the use of language, if we think universals are a real feature of nature, we should pursue them scientifically, say I. |
| 4446 | It is claimed that some universals are not exemplified by any particular, so must exist separately [Armstrong] |
| Full Idea: There are some who claim that there can be uninstantiated universals, which are not exemplified by any particular, past, present or future; this would certainly imply that those universals have a Platonic transcendent existence outside time and space. | |
| From: David M. Armstrong (Universals [1995], p.504) | |
| A reaction: Presumably this is potentially circular or defeasible, because one can deny the universal simply because there is no particular. |
| 4440 | 'Resemblance Nominalism' finds that in practice the construction of resemblance classes is hard [Armstrong] |
| Full Idea: It is difficult for Resemblance Nominalists to construct their interconnected classes in practice. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: Given the complexity of the world this is hardly surprising, but it doesn't seem insuperable for the theory. It is hard to decide whether an object is white, or hot, whatever your theory of universals. |
| 4439 | 'Resemblance Nominalism' says properties are resemblances between classes of particulars [Armstrong] |
| Full Idea: Resemblance Nominalists say that to have a property is to be a member of a class which is part of a network of resemblance relations with other classes of particulars. ..'Resemblance' is taken to be a primitive notion, though one that admits of degrees. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: Intuition suggests that this proposal has good prospects, as properties are neither identical, nor just particulars, but have a lot in common, which 'resemblance' captures. Hume saw resemblance as a 'primitive' process. |
| 4431 | 'Predicate Nominalism' says that a 'universal' property is just a predicate applied to lots of things [Armstrong] |
| Full Idea: For a Predicate Nominalist different things have the same property, or belong to the same kind, if the same predicates applies to, or is 'true of', the different things. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: This immediately strikes me as unlikely, because I think the action is at the proposition level, not the sentence level. And why do some predicates seem to be synonymous? |
| 4433 | Concept and predicate nominalism miss out some predicates, and may be viciously regressive [Armstrong] |
| Full Idea: The standard objections to Predicate and Concept Nominalism are that some properties have no predicates or concepts, and that predicates and concepts seem to be types rather than particulars, and it is types the theory is seeking to analyse. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: The claim that some properties have no concepts is devastating if true, but may not be. The regress problem is likely to occur in any explanation of universals, I suspect. |
| 4432 | 'Concept Nominalism' says a 'universal' property is just a mental concept applied to lots of things [Armstrong] |
| Full Idea: Concept Nominalism says different things have the same property, or belong to the same kind, if the same concept in the mind is applied to different things. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: This is more appealing than Predicate Nominalism, and may be right. Our perception of the 'properties' of a thing may be entirely dictated by human interests, not by nature. |
| 4436 | 'Class Nominalism' may explain properties if we stick to 'natural' sets, and ignore random ones [Armstrong] |
| Full Idea: Class Nominalism can be defended (by Quinton) against the problem of random sets (with nothing in common), by giving an account of properties in terms of 'natural' classes, where 'natural' comes in degrees, but is fundamental and unanalysable. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: This still seems to beg the question, because you still have to decide whether two things have anything 'naturally' in common before you assign them to a set. |
| 4434 | 'Class Nominalism' says that properties or kinds are merely membership of a set (e.g. of white things) [Armstrong] |
| Full Idea: Class Nominalists substitute classes or sets for properties or kinds, so that being white is just being a member of the set of white things; relations are treated as ordered sets. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: This immediately seems wrong, because it invites the question of why something is a member of a set (unless membership is arbitrary and whimsical - which it usually isn't). |
| 4435 | 'Class Nominalism' cannot explain co-extensive properties, or sets with random members [Armstrong] |
| Full Idea: Class Nominalism cannot explain co-extensive properties (which qualify the same things), and also a random (non-natural) set has particulars with nothing in common, thus failing to capture an essential feature of a general property. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: These objections strike me as conclusive, since we can assign things to a set quite arbitrarily, so membership of a set may signify no shared property at all (except, say, 'owned by me', which is hardly a property). |
| 4437 | 'Mereological Nominalism' sees whiteness as a huge white object consisting of all the white things [Armstrong] |
| Full Idea: Mereological Nominalism views a property as the omnitemporal whole or aggregate of all the things said to have the property, so whiteness is a huge white object whose parts are all the white things. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: A charming proposal, in which bizarre and beautiful unities thread themselves across the universe, but white objects may also be soft and warm. |
| 4438 | 'Mereological Nominalism' may work for whiteness, but it doesn't seem to work for squareness [Armstrong] |
| Full Idea: Mereological Nominalism has some plausibility for a case like whiteness, but breaks down completely for other universals, such as squareness. | |
| From: David M. Armstrong (Universals [1995], p.503) | |
| A reaction: A delightful request that you attempt a hopeless feat of imagination, by seeing all squares as parts of one supreme square. A nice objection. |
| 14377 | Possibilities are manifestations of some power, and impossibilies rest on no powers [Jacobs] |
| Full Idea: To be possible is just to be one of the many manifestations of some power, and to be impossible is to be a manifestation of no power. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.2.1) | |
| A reaction: [This remark occurs in a discussion of theistic Aristotelianism] I like this. If we say that something is possible, the correct question is to ask what power could bring it about. |
| 14376 | States of affairs are only possible if some substance could initiate a causal chain to get there [Jacobs] |
| Full Idea: A non-actual state of affairs in possible if there actually was a substance capable of initiating a causal chain, perhaps non-deterministic, that could lead to the state of affairs that we claim is possible. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.2) | |
| A reaction: [He is quoting A.R. Pruss 2002] That seems exactly right. Of course the initial substance(s) might create a further substance, such as a transuranic element, which then produces the state of affairs. I favour this strongly actualist view. |
| 14379 | Counterfactuals invite us to consider the powers picked out by the antecedent [Jacobs] |
| Full Idea: A counterfactual is an invitation to consider what the properties picked out by the antecedent are powers for (where Lewis 1973 took it to be an invitation to consider what goes on in a selected possible world). | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.4.3) | |
| A reaction: A beautifully simple proposal from Jacobs, with which I agree. This seems to be an expansion of the Ramsey test for conditionals, where you consider the antecedent being true, and see what follows. What, we ask Ramsey, would make it follow? |
| 14372 | Possible worlds are just not suitable truthmakers for modality [Jacobs] |
| Full Idea: Possible worlds are just not the sorts of things that could ground modality; they are not suitable truthmakers. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §3) | |
| A reaction: Are possible world theorists actually claiming that the worlds 'ground' modality? Maybe Lewis is, since all those concrete worlds had better do some hard work, but for the ersatzist they just provide a kind of formal semantics, leaving ontology to others. |
| 12466 | All modality is in the properties and relations of the actual world [Jacobs] |
| Full Idea: Properties and the relations between them introduce modal connections in the actual world. ..This is a strong form of actualism, since all of modality is part of the fundamental fabric of the actual world. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4) | |
| A reaction: This is the view of modality which I find most congenial, with the notion of 'powers' giving us the conceptual framework on which to build an account. |
| 14371 | We can base counterfactuals on powers, not possible worlds, and hence define necessity [Jacobs] |
| Full Idea: Together with a definition of possibility and necessity in terms of counterfactuals, the powers semantics of counterfactuals generates a semantics for modality that appeals to causal powers and not possible worlds. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §1) | |
| A reaction: Wonderful. Just what the doctor ordered. The only caveat is that if we say that reality is built up from fundamental powers, then might those powers change their character without losing their identity (e.g. gravity getting weaker)? |
| 12465 | Concrete worlds, unlike fictions, at least offer evidence of how the actual world could be [Jacobs] |
| Full Idea: Lewis's concrete worlds give a better account of modality (than fictional worlds). When I learn that a man like me drives a truck, I gain evidence for the fact that I can drive a truck. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §3) | |
| A reaction: Cf. Idea 12464. Jacobs still rightly rejects this as an account of possibility, since the possibility that I might drive a truck must be rooted in me, not in some other person who drives a truck, even if that person is very like me. |
| 12464 | If some book described a possibe life for you, that isn't what makes such a life possible [Jacobs] |
| Full Idea: Suppose somewhere deep in the rain forest is a book that includes a story about you as a truck-driver. I doubt that you would be inclined the think that that story, that book, is the reason you could have been a truck driver. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §3) | |
| A reaction: This begins to look like a totally overwhelming and obvious reason why possible worlds (especially as stories) don't give a good metaphysical account of possibility. They provide a semantic structure for modal reasoning, but that is entirely different. |
| 12469 | Possible worlds semantics gives little insight into modality [Jacobs] |
| Full Idea: If we want our semantics for modality to give us insight into the truthmakers for modality, then possible worlds semantics is inadequate. | |
| From: Jonathan D. Jacobs (A Powers Theory of Modality [2010], §4.4) | |
| A reaction: [See the other ideas of Jacobs (and Jubien) for this] It is an interesting question whether a semantics for a logic is meant to give us insight into how things really are, or whether it just builds nice models. Satisfaction, or truth? |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |