47 ideas
23770 | Reductive analysis makes a concept clearer, by giving an alternative simpler set [Williams,NE] |
Full Idea: A reductive analysis is one that provides an alternative set of concepts by which some target concept can be understood. It must be non-circular, and given in terms of concepts that are themselves better understood. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 01.2) | |
A reaction: There seem to be two aims of analysis: this one emphasises understanding, but the other one concerns ontology - by demonstrating that some concept or thing can be understood fully by what happens at a lower level. |
23769 | Promoting an ontology by its implied good metaphysic is an 'argument-by-display' [Williams,NE] |
Full Idea: The form of argument which sells an ontology on the basis a metaphysic is known as an 'argument-by-display'. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 01.2) | |
A reaction: [Attributed to John Bigelow 1999] New to me, but I'm quite a fan of this. For example, my rejection of platonism is not based on specific arguments, but on looking at the whole platonic picture of reality. |
12452 | Our dislike of contradiction in logic is a matter of psychology, not mathematics [Brouwer] |
Full Idea: Not to the mathematician, but to the psychologist, belongs the task of explaining why ...we are averse to so-called contradictory systems in which the negative as well as the positive of certain propositions are valid. | |
From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.79) | |
A reaction: Was the turning point of Graham Priest's life the day he read this sentence? I don't agree. I take the principle of non-contradiction to be a highly generalised observation of how the world works (and Russell agrees with me). |
15941 | For intuitionists excluded middle is an outdated historical convention [Brouwer] |
Full Idea: From the intuitionist standpoint the dogma of the universal validity of the principle of excluded third in mathematics can only be considered as a phenomenon of history of civilization, like the rationality of pi or rotation of the sky about the earth. | |
From: Luitzen E.J. Brouwer (works [1930]), quoted by Shaughan Lavine - Understanding the Infinite VI.2 | |
A reaction: [Brouwer 1952:510-11] |
18119 | Mathematics is a mental activity which does not use language [Brouwer, by Bostock] |
Full Idea: Brouwer made the rather extraordinary claim that mathematics is a mental activity which uses no language. | |
From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1 | |
A reaction: Since I take language to have far less of a role in thought than is commonly believed, I don't think this idea is absurd. I would say that we don't use language much when we are talking! |
18247 | Brouwer saw reals as potential, not actual, and produced by a rule, or a choice [Brouwer, by Shapiro] |
Full Idea: In his early writing, Brouwer took a real number to be a Cauchy sequence determined by a rule. Later he augmented rule-governed sequences with free-choice sequences, but even then the attitude is that Cauchy sequences are potential, not actual infinities. | |
From: report of Luitzen E.J. Brouwer (works [1930]) by Stewart Shapiro - Philosophy of Mathematics 6.6 | |
A reaction: This is the 'constructivist' view of numbers, as espoused by intuitionists like Brouwer. |
12451 | Scientific laws largely rest on the results of counting and measuring [Brouwer] |
Full Idea: A large part of the natural laws introduced by science treat only of the mutual relations between the results of counting and measuring. | |
From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.77) | |
A reaction: His point, I take it, is that the higher reaches of numbers have lost touch with the original point of the system. I now see the whole issue as just depending on conventions about the agreed extension of the word 'number'. |
18118 | Brouwer regards the application of mathematics to the world as somehow 'wicked' [Brouwer, by Bostock] |
Full Idea: Brouwer regards as somehow 'wicked' the idea that mathematics can be applied to a non-mental subject matter, the physical world, and that it might develop in response to the needs which that application reveals. | |
From: report of Luitzen E.J. Brouwer (Mathematics, Science and Language [1928]) by David Bostock - Philosophy of Mathematics 7.1 | |
A reaction: The idea is that mathematics only concerns creations of the human mind. It presumably has no more application than, say, noughts-and-crosses. |
12454 | Intuitionists only accept denumerable sets [Brouwer] |
Full Idea: The intuitionist recognises only the existence of denumerable sets. | |
From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
A reaction: That takes you up to omega, but not beyond, presumably because it then loses sight of the original intuition of 'bare two-oneness' (Idea 12453). I sympathise, but the word 'number' has shifted its meaning a lot these days. |
12453 | Neo-intuitionism abstracts from the reuniting of moments, to intuit bare two-oneness [Brouwer] |
Full Idea: Neo-intuitionism sees the falling apart of moments, reunited while remaining separated in time, as the fundamental phenomenon of human intellect, passing by abstracting to mathematical thinking, the intuition of bare two-oneness. | |
From: Luitzen E.J. Brouwer (Intuitionism and Formalism [1912], p.80) | |
A reaction: [compressed] A famous and somewhat obscure idea. He goes on to say that this creates one and two, and all the finite ordinals. |
8728 | Intuitionist mathematics deduces by introspective construction, and rejects unknown truths [Brouwer] |
Full Idea: Mathematics rigorously treated from the point of view of deducing theorems exclusively by means of introspective construction, is called intuitionistic mathematics. It deviates from classical mathematics, which believes in unknown truths. | |
From: Luitzen E.J. Brouwer (Consciousness, Philosophy and Mathematics [1948]), quoted by Stewart Shapiro - Thinking About Mathematics 1.2 | |
A reaction: Clearly intuitionist mathematics is a close cousin of logical positivism and the verification principle. This view would be anathema to Frege, because it is psychological. Personally I believe in the existence of unknown truths, big time! |
23783 | Change exists, it is causal, and it needs an explanation [Williams,NE] |
Full Idea: There is a phenomenon of change. I am starting with the assumptions that it is a causal phenomenon, and that it requires explanation. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 06.1) | |
A reaction: That is, I take it, that we need a theory which explains change, rather than just describing it. Well said. Williams says, roughly, that each stage causes the next stage. |
23784 | Processes don't begin or end; they just change direction unexpectedly [Williams,NE] |
Full Idea: No process every really starts or ends. …A process we see as derailed is really just an expected sequence that continues in an unexpected direction. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 06.3) | |
A reaction: Obviously if you cannot individuate processes, then the concept of a process is not much use in ontology. Williams rejects processes, and I think he is probably right. He breaks processes down into smaller units. |
23790 | Processes are either strings of short unchanging states, or continuous and unreducible events [Williams,NE] |
Full Idea: Processes can be modelled in two ways. They are drawn out events encompassing many changes, but dissectible into short-lived states, none including change. Or they are continuous and impenetrable, and to split them is impossible. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 09.3) | |
A reaction: Obviously a process has temporal moments in it, so the unsplittability is conceptual. I find the concept of changeless parts baffling. But if processes are drawn out, they can't be basic to ontology. |
23768 | A metaphysic is a set of wider explanations derived from a basic ontology [Williams,NE] |
Full Idea: A metaphysic is what you get when you embed a fundamental ontology within a larger metaphysical framework by repeatedly appealing to elements of that ontology in explaining metaphysical phenomena. …Only then do you see what the ontology is worth. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 01.1) | |
A reaction: Confirming my mantra that metaphysics is an explanatory activity. I think it is important that the ontology includes relations (such as 'determinations'), and is not just an inventory of types of entity. |
23773 | Humeans say properties are passive, possibility is vast, laws are descriptions, causation is weak [Williams,NE] |
Full Idea: The main components of neo-Humean metaphysics are that properties are inherently non-modal and passive, that what is possible is restricted only by imagination and coherence, that laws are non-governing descriptions, and causation is weak and extrinsic. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 02.1) | |
A reaction: This is Williams identifying the enemy, prior to offering the much more active and restictive powers ontology. I'm with Williams. |
23779 | We shouldn't posit the existence of anything we have a word for [Williams,NE] |
Full Idea: There seems to be a mysterious desire to posit entities simply because certain terms pop up in our vocabulary. But we should not be so indiscriminate about our posits, even if our talk is properly vetted. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 04.1) | |
A reaction: This should hardly need saying, and the familiar example is 'for the sake of' entailing sakes, but it seems to be a vice that is still found in metaphysical philosophy. The word 'nothingness' comes to mind. |
23786 | The status quo is part of what exists, and so needs metaphysical explanation [Williams,NE] |
Full Idea: The status quo is part of what exists, and thus it is a proper topic of concern for the metaphysician, and so it warrants explanation. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 07.2) | |
A reaction: His point is that ontology as a mere inventory of things gives no account of why they remain unchanged, as well as their processes and connections. |
23775 | Powers are 'multi-track' if they can produce a variety of manifestations [Williams,NE] |
Full Idea: Powers are 'multi-track', meaning that they are capable of producing a variety of different manifestations when me with diverse stimuli. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 03.1) | |
A reaction: He later mentions magnetism. Not convinced of this. Powers probably never exist in isolation, so a different manifestation could be because a different power becomes involved. (Bird is a single-tracker). |
23780 | Every possible state of affairs is written into its originating powers [Williams,NE] |
Full Idea: On the model of powers I prefer, every possible state of affairs that can arise is written into the powers that would constitute them. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 04.3) | |
A reaction: I can't make any sense of 'written into', any more than I could when Leibniz proposed roughly the same thing about monads. I presume he means that any state of affairs which ever arises is the expression of the intrinsic nature of powers. |
23789 | Naming powers is unwise, because that it usually done by a single manifestation [Williams,NE] |
Full Idea: Naming powers is unwise; the main reason is that there is a long tradition of naming powers according to the manifestations they can produce, and that does not square well with multi-track powers. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 08.4) | |
A reaction: On the other hand there must be some attempt to individuate powers (by scientists, if not by philosophers), and that can only rely on the manifestations. Describe them, rather than name them? Just assign them a number! |
23771 | Fundamental physics describes everything in terms of powers [Williams,NE] |
Full Idea: Physics describes fundamental entities exclusively in terms of what sound like powers. 'Charge' names the power to produce electromagnetic fields; 'spin' the power to contribute to the angular momentum of of system; 'mass' to produce gravitational force. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 01.4) | |
A reaction: These are the three basic properties of an electron, which is fundamental in the standard model. You can say that their field is more fundamental than the particles, but the field is also only known as a set of powers. Powers rule! |
23776 | Rather than pure powers or pure categoricals, I favour basics which are both at once [Williams,NE] |
Full Idea: Power Monism: all properties are powers. Categoricalism: all fundamentals are categorical. Dualism allows both types. I defend Mixed Monism - that there is a single class of fundamental properties that are at once powerful and categorical. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 03.3) | |
A reaction: This is the main dilemma for the powers ontology - of how powers can be basic, if there needs to be some entity which possesses the power. But what possesses the powers of an electron? I like Williams's idea, without being clear about it. |
23777 | Powers are more complicated than properties which are always on display [Williams,NE] |
Full Idea: The mode in which a power presents itself is more complicated than those properties that have (strictly) nothing more to them than that which is always on display. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 03.3) | |
A reaction: This is the key idea that nature is dynamic, and so must consist of potentials as well as actuals. Interesting distinction. A basic division between those properties 'always on display', and those that are not? |
23774 | There are basic powers, which underlie dispositions, potentialities, capacities etc [Williams,NE] |
Full Idea: It is no surprise that talk of dispositions, capacities, abilities, tendencies, powers, and potentialities are part of our everyday interactions. …I have in mind a basic set of powers, the sort which underlie all of these. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 03.1) | |
A reaction: This strikes me as the correct picture. It is misleading say that a ball has a 'power' to roll smoothly. The powers are inside the ball. |
23791 | Dispositions are just useful descriptions, which are explained by underlying powers [Williams,NE] |
Full Idea: Powers are the properties at the core of the powers ontology, and dispositions are more like useful talk. …Dispositions are the phenomena to be explained by the power metaphysic. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 10.2) | |
A reaction: The picture I subscribe to. The first step is to see nature as dynamic (as Aristotle does with his 'potentialities'), and the next step to understand what must ground these dynamic dispositional properties. He calls dispositions 'process initiators'. |
23772 | If objects are property bundles, the properties need combining powers [Williams,NE] |
Full Idea: If objects are bundles of properties …they must be robust enough to enter into building relations with one another such that they can form objects. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 01.5) | |
A reaction: A very nice point. The Humean bundle view of objects just seems to take properties to be 'impressions' or verbal predicates, but they must have causal powers to be a grounding for ontology. |
14064 | If a statue is identical with the clay of which it is made, that identity is contingent [Gibbard] |
Full Idea: Under certain conditions a clay statue is identical with the piece of clay of which it is made, and if this is so then the identity is contingent. | |
From: Allan Gibbard (Contingent Identity [1975], Intro) | |
A reaction: This initiated the modern debate about statues, and it is an attack on Kripke's claim that if two things are identical, then they are necessarily identical. Kripke seems right about Hesperus and Phosphorus, but not about the statue. |
14066 | A 'piece' of clay begins when its parts stick together, separately from other clay [Gibbard] |
Full Idea: A 'piece' of clay is a portion of clay which comes into existence when all of its parts come to be stuck to each other, and cease to be stuck to any clay which is not a part of the portion. | |
From: Allan Gibbard (Contingent Identity [1975], I) | |
A reaction: The sort of gormlessly elementary things that philosophers find themselves having to say, but this is a good basic assertion for a discussion of statue and clay, and I can't think of an objection to it. |
14067 | Clay and statue are two objects, which can be named and reasoned about [Gibbard] |
Full Idea: The piece of clay and the statue are 'objects' - that is to say, they can be designated with proper names, and the logic we ordinarily use will still apply. | |
From: Allan Gibbard (Contingent Identity [1975], I) | |
A reaction: An interesting indication of the way that 'object' is used in modern analytic philosophy, which may not be the way that it is used in ordinary English. The number 'seven', for example, seems to be an object by this criterion. |
14069 | We can only investigate the identity once we have designated it as 'statue' or as 'clay' [Gibbard] |
Full Idea: To ask meaningfully what that thing would be, we must designate it either as a statue or as a piece of clay. What that thing would be, apart from the way it is designated, is a question without meaning. | |
From: Allan Gibbard (Contingent Identity [1975], III) | |
A reaction: He obviously has a powerful point, but to suggest that we can only investigate a mysterious object once we have designated it as something sounds daft. It would ruin the fun of archaeology. |
14076 | Essentialism is the existence of a definite answer as to whether an entity fulfils a condition [Gibbard] |
Full Idea: Essentialism for a class of entities is that for one entity and a condition which it fulfills, the question of whether it necessarily fulfills the condition has a definite answer apart from the way the entity is specified. | |
From: Allan Gibbard (Contingent Identity [1975], VII) | |
A reaction: Yet another definition of essentialism, but resting, as usual in modern discussions, entirely on the notion of necessity. Kit Fine's challenge is that if you investigate the source of the necessity, it turns out to be an essence. |
14077 | Essentialism for concreta is false, since they can come apart under two concepts [Gibbard] |
Full Idea: Essentialism for the class of concrete things is false, since a statue necessarily fulfils a condition as 'Goliath', but only contingently fulfils it as 'lumpl'. On the other hand, essentialism for the class of individual concepts can be true. | |
From: Allan Gibbard (Contingent Identity [1975], VII) | |
A reaction: This rests on his definition of essentialism in Idea 14076. He rests his essentialism about concepts on an account given by Carnap ('Meaning and Necessity' §41). The essence of a statue and the essence of a lump of clay do seem distinct. |
23788 | Four-Dimensional is Perdurantism (temporal parts), plus Eternalism [Williams,NE] |
Full Idea: 'Perdurantism' is the view that objects persist by being composed of temporal parts. When it is commonly combined with the eternalist account of the ontology of time, the result is known as 'four-dimensionalism'. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 08.1) | |
A reaction: At last, a clear account of the distinction between these two! They're both wrong. He says the result is the spatiotemporal 'worm' view (i.e. one temporal extended thing, rather than a collection of parts). |
14070 | A particular statue has sortal persistence conditions, so its origin defines it [Gibbard] |
Full Idea: A proper name like 'Goliath' denotes a thing in the actual world, and invokes a sortal with certain persistence criteria. Hence its origin makes a statue the statue that it is, and if statues in different worlds have the same beginning, they are the same. | |
From: Allan Gibbard (Contingent Identity [1975], III) | |
A reaction: Too neat. There are vague, ambiguous and duplicated origins. Persistence criteria can shift during the existence of a thing (like a club which changes its own constitution). In replicated statues, what is the status of the mould? |
14073 | Claims on contingent identity seem to violate Leibniz's Law [Gibbard] |
Full Idea: The most prominent objection to contingent identity (as in the case of the statue and its clay) is that it violates Leibniz's Law. | |
From: Allan Gibbard (Contingent Identity [1975], V) | |
A reaction: Depends what you mean by a property. The trickiest one would be that the statue has (right now) a disposition to be worth a lot, but the clay doesn't. But I don't think that is really a property of the statue. Properties are a muddle. |
14065 | Two identical things must share properties - including creation and destruction times [Gibbard] |
Full Idea: For two things to be strictly identical, they must have all properties in common. That means, among other things, that they must start to exist at the same time and cease to exist at the same time. | |
From: Allan Gibbard (Contingent Identity [1975], I) | |
A reaction: I don't accept that coming into existence at time t is a 'property' of a thing. Coincident objects give you the notion of 'existing as' something, which complicates the whole story. |
14074 | Leibniz's Law isn't just about substitutivity, because it must involve properties and relations [Gibbard] |
Full Idea: As a general law of substitutivity of identicals, Leibniz's Law is false. It is a law about properties and relations, that if two things are identical, they have the same properties and relations. It only works in contexts which attribute those. | |
From: Allan Gibbard (Contingent Identity [1975], V) | |
A reaction: I'm not convinced about relations, which are not intrinsic properties. Under different descriptions, the relations to human minds might differ. |
14072 | Possible worlds identity needs a sortal [Gibbard] |
Full Idea: Identity across possible worlds makes sense only with respect to a sortal | |
From: Allan Gibbard (Contingent Identity [1975], IV) | |
A reaction: See Gibbard's other ideas from this paper. I fear that the sortal invoked is too uncertain and slippery to do any useful job, and I can't see any principled difficulty with naming something before you can think of a sortal for it. |
14078 | Only concepts, not individuals, can be the same across possible worlds [Gibbard] |
Full Idea: It is meaningless to talk of the same concrete thing in different possible worlds, ...but it makes sense to speak of the same individual concept, which is just a function which assigns to each possible world in a set an individual in that world. | |
From: Allan Gibbard (Contingent Identity [1975], VII) | |
A reaction: A lovely bold response to the problem of transworld identity, but one which needs investigation. It sounds very promising to me. 'Aristotle' is a cocept, not a name. There is no separate category of 'names'. Wow. (Attach dispositions to concepts?). |
14079 | Kripke's semantics needs lots of intuitions about which properties are essential [Gibbard] |
Full Idea: To use Kripke's semantics, one needs extensive intuitions that certain properties are essential and others accidental. | |
From: Allan Gibbard (Contingent Identity [1975], X) | |
A reaction: As usual, we could substitute the word 'necessary' for 'essential' without changing his meaning. If we are always referring to 'our' Hubert Humphrey is speculations about him, then nearly all of his properties will be necessary ones. |
10117 | Intuitonists in mathematics worried about unjustified assertion, as well as contradiction [Brouwer, by George/Velleman] |
Full Idea: The concern of mathematical intuitionists was that the use of certain forms of inference generates, not contradiction, but unjustified assertions. | |
From: report of Luitzen E.J. Brouwer (Intuitionism and Formalism [1912]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.6 | |
A reaction: This seems to be the real origin of the verificationist idea in the theory of meaning. It is a hugely revolutionary idea - that ideas are not only ruled out of court by contradiction, but that there are other criteria which should also be met. |
14071 | Naming a thing in the actual world also invokes some persistence criteria [Gibbard] |
Full Idea: The reference of a name in the actual world is fixed partly by invoking a set of persistence criteria which determine what thing it names. | |
From: Allan Gibbard (Contingent Identity [1975], III) | |
A reaction: This is offered as a modification to Kripke, to deal with the statue and clay. I fear that the 'persistence criteria' may be too vague, and too subject to possible change after the origin, to do the job required. |
23785 | Causation needs to explain stasis, as well as change [Williams,NE] |
Full Idea: I believe that it is also the job of a theory of causation to explain non-change | |
From: Neil E. Williams (The Powers Metaphysics [2019], 07.2) | |
A reaction: Good point. Most attempts to pin down causation refer only to changes and differences. Two playing cards propping one another up is his example. |
23782 | Causation is the exercise of powers [Williams,NE] |
Full Idea: Causation is the exercising of powers. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 06.1) | |
A reaction: Job done. Get over it. This is the view I prefer. |
23787 | If causes and effects overlap, that makes changes impossible [Williams,NE] |
Full Idea: It would be shocking if an account of causation ruled out the possibility of change. But if a cause perfectly overlaps its effect in time, then the rejection of change is precisely what follows. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 07.6) | |
A reaction: He cites Kant, Martin, Heil and Mumford/Anjum for this view. The latter seem to see causation as a 'process' (allowing change), which Williams as ruled out. The Williams point must be correct. |
23778 | Powers contain lawlike features, pointing to possible future states [Williams,NE] |
Full Idea: Powers carry their lawlike features within them: it is part of their essence, qua power. Their pointing at future states just is their internal law-like nature; it is what gets expressed in such and such conditions. | |
From: Neil E. Williams (The Powers Metaphysics [2019], 03.3) | |
A reaction: Modern writers on powers seem unaware that Leibniz got there first. This seems to me the correct account of the ontology of laws. The formulation of laws is probably the best descriptive system for nature's patterns (over time as well as space). |