45 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. |
| 11223 | Definitions usually have a term, a 'definiendum' containing the term, and a defining 'definiens' [Gupta] |
| Full Idea: Many definitions have three elements: the term that is defined, an expression containing the defined term (the 'definiendum'), and another expression (the 'definiens') that is equated by the definition with this expression. | |
| From: Anil Gupta (Definitions [2008], 2) | |
| A reaction: He notes that the definiendum and the definiens are assumed to be in the 'same logical category', which is a right can of worms. |
| 11215 | Notable definitions have been of piety (Plato), God (Anselm), number (Frege), and truth (Tarski) [Gupta] |
| Full Idea: Notable examples of definitions in philosophy have been Plato's (e.g. of piety, in 'Euthyphro'), Anselm's definition of God, the Frege-Russell definition of number, and Tarski's definition of truth. | |
| From: Anil Gupta (Definitions [2008], Intro) | |
| A reaction: All of these are notable for the extensive metaphysical conclusions which then flow from what seems like a fairly neutral definition. We would expect that if we were defining essences, but not if we were just defining word usage. |
| 11225 | A definition needs to apply to the same object across possible worlds [Gupta] |
| Full Idea: In a modal logic in which names are non-vacuous and rigid, not only must existence and uniqueness in a definition be shown to hold necessarily, it must be shown that the definiens is satisfied by the same object across possible worlds. | |
| From: Anil Gupta (Definitions [2008], 2.4) |
| 11227 | The 'revision theory' says that definitions are rules for improving output [Gupta] |
| Full Idea: The 'revision theory' of definitions says definitions impart a hypothetical character, giving a rule of revision rather than a rule of application. ...The output interpretation is better than the input one. | |
| From: Anil Gupta (Definitions [2008], 2.7) | |
| A reaction: Gupta mentions the question of whether such definitions can extend into the trans-finite. |
| 11224 | Traditional definitions are general identities, which are sentential and reductive [Gupta] |
| Full Idea: Traditional definitions are generalized identities (so definiendum and definiens can replace each other), in which the sentential is primary (for use in argument), and they involve reduction (and hence eliminability in a ground language). | |
| From: Anil Gupta (Definitions [2008], 2.2) |
| 11226 | Traditional definitions need: same category, mention of the term, and conservativeness and eliminability [Gupta] |
| Full Idea: A traditional definition requires that the definiendum contains the defined term, that definiendum and definiens are of the same logical category, and the definition is conservative (adding nothing new), and makes elimination possible. | |
| From: Anil Gupta (Definitions [2008], 2.4) |
| 11221 | A definition can be 'extensionally', 'intensionally' or 'sense' adequate [Gupta] |
| Full Idea: A definition is 'extensionally adequate' iff there are no actual counterexamples to it. It is 'intensionally adequate' iff there are no possible counterexamples to it. It is 'sense adequate' (or 'analytic') iff it endows the term with the right sense. | |
| From: Anil Gupta (Definitions [2008], 1.4) |
| 11217 | Chemists aim at real definition of things; lexicographers aim at nominal definition of usage [Gupta] |
| Full Idea: The chemist aims at real definition, whereas the lexicographer aims at nominal definition. ...Perhaps real definitions investigate the thing denoted, and nominal definitions investigate meaning and use. | |
| From: Anil Gupta (Definitions [2008], 1.1) | |
| A reaction: Very helpful. I really think we should talk much more about the neglected chemists when we discuss science. Theirs is the single most successful branch of science, the paradigm case of what the whole enterprise aims at. |
| 11216 | If definitions aim at different ideals, then defining essence is not a unitary activity [Gupta] |
| Full Idea: Some definitions aim at precision, others at fairness, or at accuracy, or at clarity, or at fecundity. But if definitions 'give the essence of things' (the Aristotelian formula), then it may not be a unitary kind of activity. | |
| From: Anil Gupta (Definitions [2008], 1) | |
| A reaction: We don't have to accept this conclusion so quickly. Human interests may shift the emphasis, but there may be a single ideal definition of which these various examples are mere parts. |
| 11218 | Stipulative definition assigns meaning to a term, ignoring prior meanings [Gupta] |
| Full Idea: Stipulative definition imparts a meaning to the defined term, and involves no commitment that the assigned meaning agrees with prior uses (if any) of the term | |
| From: Anil Gupta (Definitions [2008], 1.3) | |
| A reaction: A nice question is how far one can go in stretching received usage. If I define 'democracy' as 'everyone is involved in decisions', that is sort of right, but pushing the boundaries (children, criminals etc). |
| 11220 | Ostensive definitions look simple, but are complex and barely explicable [Gupta] |
| Full Idea: Ostensive definitions look simple (say 'this stick is one meter long', while showing a stick), but they are effective only because a complex linguistic and conceptual capacity is operative in the background, of which it is hard to give an account. | |
| From: Anil Gupta (Definitions [2008], 1.2) | |
| A reaction: The full horror of the situation is brought out in Quine's 'gavagai' example (Idea 6312) |
| 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. |
| 14965 | Truth rests on Elimination ('A' is true → A) and Introduction (A → 'A' is true) [Gupta] |
| Full Idea: The basic principles governing truth are Truth Elimination (sentence A follows from ''A' is true') and the converse Truth Introduction (''A' is true' follows from A), which combine into Tarski's T-schema - 'A' is true if and only if A. | |
| From: Anil Gupta (Truth [2001], 5.1) | |
| A reaction: Introduction and Elimination rules are the basic components of natural deduction systems, so 'true' now works in the same way as 'and', 'or' etc. This is the logician's route into truth. |
| 14968 | A weakened classical language can contain its own truth predicate [Gupta] |
| Full Idea: If a classical language is expressively weakened - for example, by dispensing with negation - then it can contain its own truth predicate. | |
| From: Anil Gupta (Truth [2001], 5.2) | |
| A reaction: Thus the Tarskian requirement to move to a metalanguage for truth is only a requirement of a reasonably strong language. Gupta uses this to criticise theories that dispense with the metalanguage. |
| 11222 | The ordered pair <x,y> is defined as the set {{x},{x,y}}, capturing function, not meaning [Gupta] |
| Full Idea: The ordered pair <x,y> is defined as the set {{x},{x,y}}. This does captures its essential uses. Pairs <x,y> <u,v> are identical iff x=u and y=v, and the definition satisfies this. Function matters here, not meaning. | |
| From: Anil Gupta (Definitions [2008], 1.5) | |
| A reaction: This is offered as an example of Carnap's 'explications', rather than pure definitions. Quine extols it as a philosophical paradigm (1960:§53). |
| 14964 | The Liar reappears, even if one insists on propositions instead of sentences [Gupta] |
| Full Idea: There is the idea that the Liar paradox is solved simply by noting that truth is a property of propositions (not of sentences), and the Liar sentence does not express a proposition. But we then say 'I am not now expressing a true proposition'! | |
| From: Anil Gupta (Truth [2001], 5.1) | |
| A reaction: Disappointed to learn this, since I think focusing on propositions (which are unambiguous) rather than sentences solves a huge number of philosophical problems. |
| 14969 | Strengthened Liar: either this sentence is neither-true-nor-false, or it is not true [Gupta] |
| Full Idea: An example of the Strengthened Liar is the following statement SL: 'Either SL is neither-true-nor-false or it is not true'. This raises a serious problem for any theory that assesses the paradoxes to be neither true nor false. | |
| From: Anil Gupta (Truth [2001], 5.4.2) | |
| A reaction: If the sentence is either true or false it reduces to the ordinary Liar. If it is neither true nor false, then it is true. |
| 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. |
| 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. |
| 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. |
| 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. |
| 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). |
| 7301 | The phenomenalist says that to be is to be perceivable [Cardinal/Hayward/Jones] |
| Full Idea: Where the idealist says that to be (i.e. to exist) is to be perceived, the phenomenalist says that to be is to be perceivable. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: This is a nice phenomenalist slogan to add to Mill's well known one (Idea 3583). Expressed in this form, it looks false to me. What about neutrinoes? They weren't at all perceivable until recently. Maybe some physical stuff can never be perceived. |
| 7302 | Linguistic phenomenalism says we can eliminate talk of physical objects [Cardinal/Hayward/Jones] |
| Full Idea: Linguistic phenomenalism argues that it is possible to remove all talk of physical objects from our speech with no loss of meaning. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: I find this proposal unappealing. My basic objection is that I cannot understand why anyone would refuse to even contemplate the question of WHY I am having a given group of consistent experiences, of (say) a table kind. |
| 7303 | If we lack enough sense-data, are we to say that parts of reality are 'indeterminate'? [Cardinal/Hayward/Jones] |
| Full Idea: The problem with taking sense-data as basic is that some data can appear indeterminate. If we can't discern the colour of someone's eyes, or the number of sides of a complex figure, are we to say that there is no fact about those things? | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: I like that. How many electrons are there in the sun? Such things cannot just be reduced to talk of sense-data, as there is obviously a vast gap between the data and the facts. As usual, ontology and epistemology must be kept separate. |
| 7299 | Primary qualities can be described mathematically, unlike secondary qualities [Cardinal/Hayward/Jones] |
| Full Idea: All the primary qualities lend themselves readily to mathematical or geometric description. ...but it seems that secondary qualities are less amenable to being represented mathematically. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: As a believer in the primary/secondary distinction, I welcome this point. This is either evidence for the external reality of primary qualities, or an interesting observation about maths. Do we make the primary/secondary distinction because we do maths? |
| 7300 | An object cannot remain an object without its primary qualities [Cardinal/Hayward/Jones] |
| Full Idea: An object cannot lack shape, size, position or motion and remain an object. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.4) | |
| A reaction: This points towards the essentialist view (see Idea 5453). This does raise the question of whether an object could lose its colour with impugnity, or the quality of sound that it makes when struck. |
| 7297 | My justifications might be very coherent, but totally unconnected to the world [Cardinal/Hayward/Jones] |
| Full Idea: My beliefs could be well justified in coherentist terms, while not accurately representing the world, and my system of beliefs could be completely free-floating. | |
| From: Cardinal/Hayward/Jones (Epistemology [2004], Ch.3) | |
| A reaction: This nicely encapsulates to correspondence objection to coherence theory. One thing missing from the coherence account is that beliefs aren't chosen for their coherence, but are mostly unthinkingly triggered by experiences. |
| 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). |