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. |
| 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. |
| 18806 | Frege thought traditional categories had psychological and linguistic impurities [Frege, by Rumfitt] |
| Full Idea: Frege rejected the traditional categories as importing psychological and linguistic impurities into logic. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Ian Rumfitt - The Boundary Stones of Thought 1.2 | |
| A reaction: Resisting such impurities is the main motivation for making logic entirely symbolic, but it doesn't follow that the traditional categories have to be dropped. |
| 8490 | First-level functions have objects as arguments; second-level functions take functions as arguments [Frege] |
| Full Idea: Just as functions are fundamentally different from objects, so also functions whose arguments are and must be functions are fundamentally different from functions whose arguments are objects. The latter are first-level, the former second-level, functions. | |
| From: Gottlob Frege (Function and Concept [1891], p.38) | |
| A reaction: In 1884 he called it 'second-order'. This is the standard distinction between first- and second-order logic. The first quantifies over objects, the second over intensional entities such as properties and propositions. |
| 8492 | Relations are functions with two arguments [Frege] |
| Full Idea: Functions of one argument are concepts; functions of two arguments are relations. | |
| From: Gottlob Frege (Function and Concept [1891], p.39) | |
| A reaction: Nowadays we would say 'two or more'. Another interesting move in the aim of analytic philosophy to reduce the puzzling features of the world to mathematical logic. There is, of course, rather more to some relations than being two-argument functions. |
| 16014 | It is controversial whether only 'numerical identity' allows two things to be counted as one [Noonan] |
| Full Idea: 'Numerical identity' implies the controversial view that it is the only identity relation in accordance with which we can properly count (or number) things: x and y are to be properly counted as one just in case they are numerically identical. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: Noonan cites Geach, presumably to remind us of relative identity, where two things may be one or two, depending on what they are relative to. The one 'guard on the gate' may actually be two men. |
| 8487 | Arithmetic is a development of logic, so arithmetical symbolism must expand into logical symbolism [Frege] |
| Full Idea: I am of the opinion that arithmetic is a further development of logic, which leads to the requirement that the symbolic language of arithmetic must be expanded into a logical symbolism. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: This may the the one key idea at the heart of modern analytic philosophy (even though logicism may be a total mistake!). Logic and arithmetical foundations become the master of ontology, instead of the servant. The jury is out on the whole enterprise. |
| 18899 | Frege takes the existence of horses to be part of their concept [Frege, by Sommers] |
| Full Idea: Frege regarded the existence of horses as a property of the concept 'horse'. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by Fred Sommers - Intellectual Autobiography 'Realism' |
| 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. |
| 4028 | Frege allows either too few properties (as extensions) or too many (as predicates) [Mellor/Oliver on Frege] |
| Full Idea: Frege's theory of properties (which he calls 'concepts') yields too few properties, by identifying coextensive properties, and also too many, by letting every predicate express a property. | |
| From: comment on Gottlob Frege (Function and Concept [1891]) by DH Mellor / A Oliver - Introduction to 'Properties' §2 | |
| A reaction: Seems right; one extension may have two properties (have heart/kidneys), two predicates might express the same property. 'Cutting nature at the joints' covers properties as well as objects. |
| 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. |
| 8489 | The concept 'object' is too simple for analysis; unlike a function, it is an expression with no empty place [Frege] |
| Full Idea: I regard a regular definition of 'object' as impossible, since it is too simple to admit of logical analysis. Briefly: an object is anything that is not a function, so that an expression for it does not contain any empty place. | |
| From: Gottlob Frege (Function and Concept [1891], p.32) | |
| A reaction: Here is the core of the programme for deriving our ontology from our logic and language, followed through by Russell and Quine. Once we extend objects beyond the physical, it becomes incredibly hard to individuate them. |
| 16024 | I could have died at five, but the summation of my adult stages could not [Noonan] |
| Full Idea: Persons have different modal properties from the summations of person-stages. …I might have died when I was five. But the maximal summation of person-stages which perdurantists say is me could not have had a temporal extent of a mere five years. | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: Thus the summation of stages seems to fail Leibniz's Law, since truths about a part are not true of the whole. But my foot might be amputated without me being amputated. The objection is the fallacy of composition? |
| 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). |
| 16023 | Stage theorists accept four-dimensionalism, but call each stage a whole object [Noonan] |
| Full Idea: Stage theorists, accepting the ontology of perdurance, modify the semantics to secure the result that fatness is a property of a cat. Every temporal part of a cat (such as Tabby-on-Monday) is a cat. …(but they pay a price over the counting of cats). | |
| From: Harold Noonan (Identity [2009], §5) | |
| A reaction: [Noonan cites Hawley and Sider for this view. The final parenthesis compresses Noonan] I would take the difficulty over counting cats to be fatal to the view. It produces too many cats, or too few, or denies counting altogether. |
| 16015 | Problems about identity can't even be formulated without the concept of identity [Noonan] |
| Full Idea: If identity is problematic, it is difficult to see how the problem could be resolved, since it is difficult to see how a thinker could have the conceptual resources with which to explain the concept of identity whilst lacking that concept itself. | |
| From: Harold Noonan (Identity [2009], §1) | |
| A reaction: I don't think I accept this. We can comprehend the idea of a mind that didn't think in terms of identities (at least for objects). I suppose any relation of a mind to the world has to distinguish things in some way. Does the Parmenidean One have identity? |
| 16017 | Identity is usually defined as the equivalence relation satisfying Leibniz's Law [Noonan] |
| Full Idea: Numerical identity is usually defined as the equivalence relation (or: the reflexive relation) satisfying Leibniz's Law, the indiscernibility of identicals, where everything true of x is true of y. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: Noonan says this must include 'is identical to x' among the truths, and so is circular |
| 16016 | Identity definitions (such as self-identity, or the smallest equivalence relation) are usually circular [Noonan] |
| Full Idea: Identity can be circularly defined, as 'the relation everything has to itself and to nothing else', …or as 'the smallest equivalence relation'. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The first one is circular because 'nothing else' implies identity. The second is circular because it has to quantify over all equivalence relations. (So says Noonan). |
| 16020 | Identity can only be characterised in a second-order language [Noonan] |
| Full Idea: There is no condition in a first-order language for a predicate to express identity, rather than indiscernibility within the resources of the language. Leibniz's Law is statable in a second-order language, so identity can be uniquely characterised. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: The point is that first-order languages only refer to all objects, but you need to refer to all properties to include Leibniz's Law. Quine's 'Identity, Ostension and Hypostasis' is the source of this idea. |
| 16018 | Indiscernibility is basic to our understanding of identity and distinctness [Noonan] |
| Full Idea: Leibniz's Law (the indiscernibility of identicals) appears to be crucial to our understanding of identity, and, more particularly, to our understanding of distinctness. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: True, but indiscernibility concerns the epistemology, and identity concerns the ontology. |
| 16019 | Leibniz's Law must be kept separate from the substitutivity principle [Noonan] |
| Full Idea: Leibniz's Law must be clearly distinguished from the substitutivity principle, that if 'a' and 'b' are codesignators they are substitutable salva veritate. | |
| From: Harold Noonan (Identity [2009], §2) | |
| A reaction: He gives a bunch of well-known problem cases for substitutivity. The Morning Star, Giorgione, and the number of planets won't work. Belief contexts, or facts about spelling, may not be substitutable. |
| 9947 | Concepts are the ontological counterparts of predicative expressions [Frege, by George/Velleman] |
| Full Idea: Concepts, for Frege, are the ontological counterparts of predicative expressions. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: That sounds awfully like what many philosophers call 'universals'. Frege, as a platonist (at least about numbers), I would take to be in sympathy with that. At least we can say that concepts seem to be properties. |
| 10319 | An assertion about the concept 'horse' must indirectly speak of an object [Frege, by Hale] |
| Full Idea: Frege had a notorious difficulty over the concept 'horse', when he suggests that if we wish to assert something about a concept, we are obliged to proceed indirectly by speaking of an object that represents it. | |
| From: report of Gottlob Frege (Function and Concept [1891], Ch.2.II) by Bob Hale - Abstract Objects | |
| A reaction: This sounds like the thin end of a wedge. The great champion of objects is forced to accept them here as a façon de parler, when elsewhere they have ontological status. |
| 8488 | A concept is a function whose value is always a truth-value [Frege] |
| Full Idea: A concept in logic is closely connected with what we call a function. Indeed, we may say at once: a concept is a function whose value is always a truth-value. ..I give the name 'function' to what is meant by the 'unsaturated' part. | |
| From: Gottlob Frege (Function and Concept [1891], p.30) | |
| A reaction: So a function becomes a concept when the variable takes a value. Problems arise when the value is vague, or the truth-value is indeterminable. |
| 9948 | Unlike objects, concepts are inherently incomplete [Frege, by George/Velleman] |
| Full Idea: For Frege, concepts differ from objects in being inherently incomplete in nature. | |
| From: report of Gottlob Frege (Function and Concept [1891]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.2 | |
| A reaction: This is because they are 'unsaturated', needing a quantified variable to complete the sentence. This could be a pointer towards Quine's view of properties, as simply an intrinsic feature of predication about objects, with no separate identity. |
| 4972 | I may regard a thought about Phosphorus as true, and the same thought about Hesperus as false [Frege] |
| Full Idea: From sameness of meaning there does not follow sameness of thought expressed. A fact about the Morning Star may express something different from a fact about the Evening Star, as someone may regard one as true and the other false. | |
| From: Gottlob Frege (Function and Concept [1891], p.14) | |
| A reaction: This all gets clearer if we distinguish internalist and externalist theories of content. Why take sides on this? Why not just ask 'what is in the speaker's head?', 'what does the sentence mean in the community?', and 'what is the corresponding situation?' |
| 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). |
| 8491 | The Ontological Argument fallaciously treats existence as a first-level concept [Frege] |
| Full Idea: The ontological proof of God's existence suffers from the fallacy of treating existence as a first-level concept. | |
| From: Gottlob Frege (Function and Concept [1891], p.38 n) | |
| A reaction: [See Idea 8490 for first- and second-order functions] This is usually summarised as the idea that existence is a quantifier rather than a predicate. |