67 ideas
| 13567 | Ontology should give insight into or an explanation of the world revealed by science [Ellis] |
| Full Idea: A good ontology should provide insight into, or offer some kind of explanation of, the salient general features of the world that has been revealed to us by science. | |
| From: Brian Ellis (Scientific Essentialism [2001], Intro) | |
| A reaction: I think I agree with this. The difficulty is that the most fundamental level revealed by science is a quantum one, so if you take a reductionist view then your ontology is both crazy, and resting on things which are not understood. |
| 10170 | While true-in-a-model seems relative, true-in-all-models seems not to be [Reck/Price] |
| Full Idea: While truth can be defined in a relative way, as truth in one particular model, a non-relative notion of truth is implied, as truth in all models. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: [The article is actually discussing arithmetic] This idea strikes me as extremely important. True-in-all-models is usually taken to be tautological, but it does seem to give a more universal notion of truth. See semantic truth, Tarski, Davidson etc etc. |
| 13604 | Real possibility and necessity has the logic of S5, which links equivalence classes of worlds of the same kind [Ellis] |
| Full Idea: The logic of real possibilities and necessities is just S5. This is because the accessibility relation for real possibilities links possible worlds of the same natural kind, which is an equivalence class. | |
| From: Brian Ellis (Scientific Essentialism [2001], 7.06) | |
| A reaction: Most people, except Nathan Salmon, agree with this. With full accessibility, you seem to take epistemological problems out of the system, and just focus on reality. |
| 10166 | ZFC set theory has only 'pure' sets, without 'urelements' [Reck/Price] |
| Full Idea: In standard ZFC ('Zermelo-Fraenkel with Choice') set theory we deal merely with pure sets, not with additional urelements. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: The 'urelements' would the actual objects that are members of the sets, be they physical or abstract. This idea is crucial to understanding philosophy of mathematics, and especially logicism. Must the sets exist, just as the urelements do? |
| 10175 | Three types of variable in second-order logic, for objects, functions, and predicates/sets [Reck/Price] |
| Full Idea: In second-order logic there are three kinds of variables, for objects, for functions, and for predicates or sets. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: It is interesting that a predicate seems to be the same as a set, which begs rather a lot of questions. For those who dislike second-order logic, there seems nothing instrinsically wicked in having variables ranging over innumerable multi-order types. |
| 13606 | Humean conceptions of reality drive the adoption of extensional logic [Ellis] |
| Full Idea: A Humean conception of reality lies behind, and motivates, the development of extensional logics with extensional semantics. | |
| From: Brian Ellis (Scientific Essentialism [2001], 8.04) | |
| A reaction: His proposal seems to be that it rests on the vision of a domain of separated objects. The alternative view seems to be that it is mathematics, with its absolute equality between 'objects', which drives extensionalism. |
| 10165 | 'Analysis' is the theory of the real numbers [Reck/Price] |
| Full Idea: 'Analysis' is the theory of the real numbers. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: 'Analysis' began with the infinitesimal calculus, which later built on the concept of 'limit'. A continuum of numbers seems to be required to make that work. |
| 10174 | Mereological arithmetic needs infinite objects, and function definitions [Reck/Price] |
| Full Idea: The difficulties for a nominalistic mereological approach to arithmetic is that an infinity of physical objects are needed (space-time points? strokes?), and it must define functions, such as 'successor'. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: Many ontologically austere accounts of arithmetic are faced with the problem of infinity. The obvious non-platonist response seems to be a modal or if-then approach. To postulate infinite abstract or physical entities so that we can add 3 and 2 is mad. |
| 10164 | Peano Arithmetic can have three second-order axioms, plus '1' and 'successor' [Reck/Price] |
| Full Idea: A common formulation of Peano Arithmetic uses 2nd-order logic, the constant '1', and a one-place function 's' ('successor'). Three axioms then give '1 is not a successor', 'different numbers have different successors', and induction. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: This is 'second-order' Peano Arithmetic, though it is at least as common to formulate in first-order terms (only quantifying over objects, not over properties - as is done here in the induction axiom). I like the use of '1' as basic instead of '0'! |
| 10172 | Set-theory gives a unified and an explicit basis for mathematics [Reck/Price] |
| Full Idea: The merits of basing an account of mathematics on set theory are that it allows for a comprehensive unified treatment of many otherwise separate branches of mathematics, and that all assumption, including existence, are explicit in the axioms. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I am forming the impression that set-theory provides one rather good model (maybe the best available) for mathematics, but that doesn't mean that mathematics is set-theory. The best map of a landscape isn't a landscape. |
| 10167 | Structuralism emerged from abstract algebra, axioms, and set theory and its structures [Reck/Price] |
| Full Idea: Structuralism has emerged from the development of abstract algebra (such as group theory), the creation of axiom systems, the introduction of set theory, and Bourbaki's encyclopaedic survey of set theoretic structures. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §2) | |
| A reaction: In other words, mathematics has gradually risen from one level of abstraction to the next, so that mathematical entities like points and numbers receive less and less attention, with relationships becoming more prominent. |
| 10169 | Relativist Structuralism just stipulates one successful model as its arithmetic [Reck/Price] |
| Full Idea: Relativist Structuralism simply picks one particular model of axiomatised arithmetic (i.e. one particular interpretation that satisfies the axioms), and then stipulates what the elements, functions and quantifiers refer to. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: The point is that a successful model can be offered, and it doesn't matter which one, like having any sort of aeroplane, as long as it flies. I don't find this approach congenial, though having a model is good. What is the essence of flight? |
| 10179 | There are 'particular' structures, and 'universal' structures (what the former have in common) [Reck/Price] |
| Full Idea: The term 'structure' has two uses in the literature, what can be called 'particular structures' (which are particular relational systems), but also what can be called 'universal structures' - what particular systems share, or what they instantiate. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §6) | |
| A reaction: This is a very helpful distinction, because it clarifies why (rather to my surprise) some structuralists turn out to be platonists in a new guise. Personal my interest in structuralism has been anti-platonist from the start. |
| 10181 | Pattern Structuralism studies what isomorphic arithmetic models have in common [Reck/Price] |
| Full Idea: According to 'pattern' structuralism, what we study are not the various particular isomorphic models of arithmetic, but something in addition to them: a corresponding pattern. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §7) | |
| A reaction: Put like that, we have to feel a temptation to wield Ockham's Razor. It's bad enough trying to give the structure of all the isomorphic models, without seeking an even more abstract account of underlying patterns. But patterns connect to minds.. |
| 10182 | There are Formalist, Relativist, Universalist and Pattern structuralism [Reck/Price] |
| Full Idea: There are four main variants of structuralism in the philosophy of mathematics - formalist structuralism, relativist structuralism, universalist structuralism (with modal variants), and pattern structuralism. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §9) | |
| A reaction: I'm not sure where Chihara's later book fits into this, though it is at the nominalist end of the spectrum. Shapiro and Resnik do patterns (the latter more loosely); Hellman does modal universalism; Quine does the relativist version. Dedekind? |
| 10168 | Formalist Structuralism says the ontology is vacuous, or formal, or inference relations [Reck/Price] |
| Full Idea: Formalist Structuralism endorses structural methodology in mathematics, but rejects semantic and metaphysical problems as either meaningless, or purely formal, or as inference relations. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §3) | |
| A reaction: [very compressed] I find the third option fairly congenial, certainly in preference to rather platonist accounts of structuralism. One still needs to distinguish the mathematical from the non-mathematical in the inference relations. |
| 10178 | Maybe we should talk of an infinity of 'possible' objects, to avoid arithmetic being vacuous [Reck/Price] |
| Full Idea: It is tempting to take a modal turn, and quantify over all possible objects, because if there are only a finite number of actual objects, then there are no models (of the right sort) for Peano Arithmetic, and arithmetic is vacuously true. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: [compressed; Geoffrey Hellman is the chief champion of this view] The article asks whether we are not still left with the puzzle of whether infinitely many objects are possible, instead of existent. |
| 10176 | Universalist Structuralism is based on generalised if-then claims, not one particular model [Reck/Price] |
| Full Idea: Universalist Structuralism is a semantic thesis, that an arithmetical statement asserts a universal if-then statement. We build an if-then statement (using quantifiers) into the structure, and we generalise away from any one particular model. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: There remains the question of what is distinctively mathematical about the highly generalised network of inferences that is being described. Presumable the axioms capture that, but why those particular axioms? Russell is cited as an originator. |
| 10177 | Universalist Structuralism eliminates the base element, as a variable, which is then quantified out [Reck/Price] |
| Full Idea: Universalist Structuralism is eliminativist about abstract objects, in a distinctive form. Instead of treating the base element (say '1') as an ambiguous referring expression (the Relativist approach), it is a variable which is quantified out. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §5) | |
| A reaction: I am a temperamental eliminativist on this front (and most others) so this is tempting. I am also in love with the concept of a 'variable', which I take to be utterly fundamental to all conceptual thought, even in animals, and not just a trick of algebra. |
| 10171 | The existence of an infinite set is assumed by Relativist Structuralism [Reck/Price] |
| Full Idea: Relativist Structuralism must first assume the existence of an infinite set, otherwise there would be no model to pick, and arithmetical terms would have no reference. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: See Idea 10169 for Relativist Structuralism. They point out that ZFC has an Axiom of Infinity. |
| 13584 | The extension of a property is a contingent fact, so cannot be the essence of the property [Ellis] |
| Full Idea: The extension of a property in any given world is just a contingent fact about that world; its extension is not the essence of the property. | |
| From: Brian Ellis (Scientific Essentialism [2001], 2.07) | |
| A reaction: The Quinean idea, common among logicians, that a predicate is just a set defined for some model, may be useful in the logic, but is preposterous as an account of what a property actually is in nature, even if the set covers possible worlds. |
| 13587 | There is no property of 'fragility', as things are each fragile in a distinctive way [Ellis] |
| Full Idea: There is no natural property of 'fragility'; glasses, parchments, ecosystems and spiders' webs are fragile in their own ways, but they have nothing intrinsic or structural in common. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.06) | |
| A reaction: This is important (and, I think, correct) because we are inclined to say that something is 'intrinsically' fragile, but that still isn't enough to identify a true property. Ellis wants universals to be involved, and even a nominalist must sort-of agree. |
| 13577 | Typical 'categorical' properties are spatio-temporal, such as shape [Ellis] |
| Full Idea: The paradigmatically 'categorical' properties are spatio-temporal, depending on how things are distributed in space and time. Shape is the obvious example. ...Other examples are number, size and configuration. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.09) | |
| A reaction: I'm finding it very frustrating that this concept is much discussed in current philosophy of science (e.g. by Bird), but it is exceedingly hard to pin down any exact account of these 'categorical' properties, or even why they are so-called. |
| 9436 | The property of 'being an electron' is not of anything, and only electrons could have it [Ellis] |
| Full Idea: There is no property of being an electron. It could only be instantiated by electrons, so it does not seem genuine. And what is the thing that supposedly instantiates the property of being an electron? | |
| From: Brian Ellis (Scientific Essentialism [2001], 75,92), quoted by Stephen Mumford - Laws in Nature 7.3 | |
| A reaction: I agree entirely. Bird launches an excellent attack on categorial properties. |
| 13582 | 'Being a methane molecule' is not a property - it is just a predicate [Ellis] |
| Full Idea: In my view 'being a methane molecule' is not a property name, but a predicate that is constructed out of a natural kind name, and so pretends to name a property. | |
| From: Brian Ellis (Scientific Essentialism [2001], 2.03) | |
| A reaction: I can't tell you how strongly I agree with this. How long have you got? This is so incredibly right that... You get the idea. He observes that such properties cannot be instantiated 'in' anything. |
| 13580 | Causal powers must necessarily act the way they do [Ellis] |
| Full Idea: There can be no question of a causal power's acting one way in one world and another way in a different world. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.12) | |
| A reaction: Perhaps the very core idea of scientific essentialism. It doesn't feel quite right that when you ask for the source of this necessity, you are only told that it is necessary for the very identity of a power. The truth is that it is a primitive of nature. |
| 13598 | Causal powers are often directional (e.g. centripetal, centrifugal, circulatory) [Ellis] |
| Full Idea: Causal powers are often directional. For example, they may be centripetal, centrifugal, or circulatory. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.11) | |
| A reaction: The examples all seem to raise a few questions, about whether the directionality arises from the context, rather than from the intrinsic power. |
| 13568 | Basic powers may not be explained by structure, if at the bottom level there is no structure [Ellis] |
| Full Idea: It may be that the most fundamental things have no structure, and therefore no structure in virtue of which they have the powers they have. | |
| From: Brian Ellis (Scientific Essentialism [2001], Intro) | |
| A reaction: Maybe the world has inexplicable powers, so there is a God? It seems obvious that there will be no explanation of the 'lowest level' of reality, and also obvious (to me and Leibniz, anyway) that this lowest level has to be active. |
| 13586 | Maybe dispositions can be explained by intrinsic properties or structures [Ellis] |
| Full Idea: One view is that there must be an intrinsic property or structure in virtue of which a given thing has the behavioural disposition in question. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.06) | |
| A reaction: [He cites Prior, Pargetter,Jackson 1982] A key question in the metaphysics of nature - whether dispositions should be taken as primitive, or whether we should try to explain them in other terms. I take powers and dispositions to be prior to properties. |
| 13585 | The most fundamental properties of nature (mass, charge, spin ...) all seem to be dispositions [Ellis] |
| Full Idea: The properties of the most fundamental things in nature, including mass, charge, spin, and the like, would all appear to be dispositional. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.05) | |
| A reaction: This goes with the Leibnizian claim that the most fundamental features of nature must be active in character. |
| 13596 | A causal power is a disposition to produce forces [Ellis] |
| Full Idea: A causal power is a disposition of something to produce forces of a certain kind. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.09) | |
| A reaction: Hence when Leibniz was putting all his emphasis on the origin of the forces in nature, he was referring to exactly what we mean by 'powers'. From Ellis's formulation, I take powers to be more basic than dispositions. Does he realise this? |
| 13599 | Powers are dispositions of the essences of kinds that involve them in causation [Ellis] |
| Full Idea: The causal powers of an object are the dispositional properties of that object that are the real essences of the natural kinds of processes that involve that object in the role of cause. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.11) | |
| A reaction: This is Ellis's formal definition at the end of his discussion of causal powers. He only seems to allow powers to the kind rather than to the individual. How do we account for the causal powers of unique genius? I say the powers are the essences. |
| 13572 | There are 'substantive' (objects of some kind), 'dynamic' (events of some kind) and 'property' universals [Ellis] |
| Full Idea: Three categories of universals: 'substantive' universals have instances that are members of natural kinds of objects or substances; 'dynamic' universals are kinds of events or processes; 'property' universals are tropes of real properties or relations. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.01) | |
| A reaction: I would want to distinguish real properties from relations. It is important to remember that an object can traditionally instantiate a universal, and that they aren't just properties. |
| 13573 | Universals are all types of natural kind [Ellis] |
| Full Idea: The various kinds of universals are all natural kinds of one sort or another. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.01) | |
| A reaction: This doesn't sound right. What about the universals of mathematics, or universals which are a matter of social or linguistic convention? I think Ellis is trying to hijack the word 'universal' in response to Armstrong's more idealistic account. |
| 10173 | A nominalist might avoid abstract objects by just appealing to mereological sums [Reck/Price] |
| Full Idea: One way for a nominalist to reject appeal to all abstract objects, including sets, is to only appeal to nominalistically acceptable objects, including mereological sums. | |
| From: E Reck / M Price (Structures and Structuralism in Phil of Maths [2000], §4) | |
| A reaction: I'm suddenly thinking that this looks very interesting and might be the way to go. The issue seems to be whether mereological sums should be seen as constrained by nature, or whether they are unrestricted. See Mereology in Ontology...|Intrinsic Identity. |
| 13571 | Scientific essentialism doesn't really need Kripkean individual essences [Ellis] |
| Full Idea: My current view is that individual essences (about which Kripke's essentialism has a lot to say) do not matter much from the point of view of a scientific essentialist. | |
| From: Brian Ellis (Scientific Essentialism [2001], Intro) | |
| A reaction: [Kripke parenthesis on p.54] Presumably this is because science is only committed to dealing in generalities, and so natural kinds are needed for such things. I'm inclined to regard individual essences as prior in the pure ontology of the thing. |
| 13578 | The old idea that identity depends on essence and behaviour is rejected by the empiricists [Ellis] |
| Full Idea: The old Aristotelian idea that the identity of a thing might depend on its essential nature, which would dispose it to behave in certain ways, is firmly rejected by empiricists. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.10) | |
| A reaction: Ellis is accusing empiricists of having a falsely passive concept of objects. This dispute is best captured in the disagreement between Locke and Leibniz on the subject. |
| 13576 | Necessities are distinguished by their grounds, not their different modalities [Ellis] |
| Full Idea: Strictly speaking, the distinction between two brands of necessity is one of grounds, rather than modality. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.06) | |
| A reaction: This idea I associate with Kit Fine. I like it, because it allows 'necessity' to be a univocal concept, which seems right to me. The types of necessity arise from types of things which already occur in our ontology. |
| 13570 | Individual essences necessitate that individual; natural kind essences necessitate kind membership [Ellis] |
| Full Idea: There are necessities grounded in the individual real essences of things, and necessities grounded in the natural kind essences of things. In the first case, without the property it isn't that individual, and in the second it isn't a member of that kind. | |
| From: Brian Ellis (Scientific Essentialism [2001], Intro) | |
| A reaction: This is the distinction we must hang onto to avoid a huge amount of confusion in this territory. I just say that ceasing to be that individual will presumably entail ceasing to be that kind, but not necessarily vice versa, so individual essences rule. |
| 13607 | If events are unconnected, then induction cannot be solved [Ellis] |
| Full Idea: If one believes, as Hume did, that all events are loose and separate, then the problem of induction is probably insoluble. | |
| From: Brian Ellis (Scientific Essentialism [2001], 8.09) | |
| A reaction: This points to the essentialist solution of induction - that we can genuinely derive inductive truths if we can inductively identify the essences which give rise to the necessities of further cases. I take that to be a correct account. |
| 13597 | Good explanations unify [Ellis] |
| Full Idea: An acceptable explanation must have some unifying power. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.11) | |
| A reaction: There is a tension here, between the particular and the general. If I say 'why did the building collapse' and you say 'gravity', you have certainly got a unifying explanation, but we want something narrower. |
| 13601 | Explanations of particular events are not essentialist, as they don't reveal essential structures [Ellis] |
| Full Idea: Explanations of particular events in history, geology, or evolution, are causal explanations, requiring belief in some causal mechanisms. But they are not essentialist explanations because they do not seek to lay bare the essential structure of anything. | |
| From: Brian Ellis (Scientific Essentialism [2001], 4.05) | |
| A reaction: The explanation might be two-stage, as when we explain an earthquake by a plate boundary rupture, which is in turn explained by a theory of plate techtonics. The relationship between mechanistic and essentialist explanation needs study. |
| 13569 | To give essentialist explanations there have to be natural kinds [Ellis] |
| Full Idea: There can be no essentialist explanations constructed in any field where the subject matter is not naturally divided into kinds. | |
| From: Brian Ellis (Scientific Essentialism [2001], Intro) | |
| A reaction: A crux. I like individual essences, such as the character of a particular person. However, Ellis may be right, since while we may identify an individual essence as the source of a behaviour, we may not then be able to give any 'explanation'. |
| 13600 | The point of models in theories is not to idealise, but to focus on what is essential [Ellis] |
| Full Idea: Most model theories abstract from reality in order to focus on the essential nature of some kind of process or system of relations. ... The point of idealizing in this case is not to simplify, but to eliminate what is not essential. | |
| From: Brian Ellis (Scientific Essentialism [2001], 4.03) | |
| A reaction: I like this idea a lot. It is where scientific essentialism cashes out in actual scientific practice. Ellis's example is the idealised Carnot heat engine, which never can exist, but which captures what is essential about the process. |
| 21233 | The beautiful is whatever it is intrinsically good to admire [Moore,GE] |
| Full Idea: The beautiful should be defined as that of which the admiring contemplation is good in itself. | |
| From: G.E. Moore (Principia Ethica [1903], p.210), quoted by Graham Farmelo - The Strangest Man | |
| A reaction: To work, this definition must exclude anything else which it is intrinsically good to admire. Good deeds obviously qualify for that, so good deeds must be intrinsically beautiful (which would be agreed by ancient Greeks). We can't ask WHY it is good! |
| 8039 | Moore tries to show that 'good' is indefinable, but doesn't understand what a definition is [MacIntyre on Moore,GE] |
| Full Idea: Moore tries to show that 'good' is indefinable by relying on a bad dictionary definition of 'definition'. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Alasdair MacIntyre - After Virtue: a Study in Moral Theory Ch.2 | |
| A reaction: An interesting remark, with no further explanation offered. If Moore has this problem, then Plato had it too (see Idea 3032). I would have thought that any definition MacIntyre could offer would either be naturalistic, or tautological. |
| 11056 | The naturalistic fallacy claims that natural qualties can define 'good' [Moore,GE] |
| Full Idea: The naturalistic fallacy ..consists in the contention that good means nothing but some simple or complex notion, that can be defined in terms of natural qualities. | |
| From: G.E. Moore (Principia Ethica [1903], §044) | |
| A reaction: Presumably aimed at those who think morality is pleasure and pain. We could hardly attribute morality to non-human qualities. I connect morality to human deliberative functions. |
| 22151 | The Open Question argument leads to anti-realism and the fact-value distinction [Boulter on Moore,GE] |
| Full Idea: Moore's Open Question argument led, however unintentionally, to the rise of anti-realism in meta-ethics (which leads to distinguishing values from facts). | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Stephen Boulter - Why Medieval Philosophy Matters 4 | |
| A reaction: I presume that Moore proves that the Good is not natural, and after that no one knows what it is, so it seems to be arbitrary or non-existent (rather than the platonic fact that Moore had hoped for). I vote for naturalistic ethics. |
| 8033 | Moore cannot show why something being good gives us a reason for action [MacIntyre on Moore,GE] |
| Full Idea: Moore's account leaves it entirely unexplained and inexplicable why something's being good should ever furnish us with a reason for action. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Alasdair MacIntyre - A Short History of Ethics Ch.18 | |
| A reaction: The same objection can be raised to Plato's Form of the Good, but Plato's answer seems to be that the Good is partly a rational entity, and partly that the Good just has a natural magnetism that makes it quasi-religious. |
| 8032 | Can learning to recognise a good friend help us to recognise a good watch? [MacIntyre on Moore,GE] |
| Full Idea: How could having learned to recognize a good friend help us to recognize a good watch? Yet is Moore is right, the same simple property is present in both cases? | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Alasdair MacIntyre - A Short History of Ethics Ch.18 | |
| A reaction: It begins to look as if what they have in common is just that they both make you feel good. However, I like the Aristotelian idea that they both function succesfully, one as a timekeeper, the other as a citizen or companion. |
| 11050 | Moore's combination of antinaturalism with strong supervenience on the natural is incoherent [Hanna on Moore,GE] |
| Full Idea: Moore incoherently combines his antinaturalism with the thesis that intrinsic-value properties are logically strongly supervenient on (or explanatorily reducible to) natural facts. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by Robert Hanna - Rationality and Logic Ch.1 | |
| A reaction: I take this to be Moore fighting shy of the strongly Platonist view of values which his arguments all seemed to imply. |
| 23726 | Despite Moore's caution, non-naturalists incline towards intuitionism [Moore,GE, by Smith,M] |
| Full Idea: Although Moore was reluctant to adopt it, the epistemology the non-naturalists tended to favour was intuitionism. | |
| From: report of G.E. Moore (Principia Ethica [1903]) by Michael Smith - The Moral Problem 2.2 | |
| A reaction: Moore was presumably reluctant because intuitionism had been heavily criticised in the past for its inability to settle moral disputes. But if you insist that goodness is outside nature, what other means of knowing it is available? Reason? |
| 18676 | We should ask what we would judge to be good if it existed in absolute isolation [Moore,GE] |
| Full Idea: It is necessary to consider what things are such that, if they existed by themselves, in absolute isolation, we should yet judge their existence to be good. | |
| From: G.E. Moore (Principia Ethica [1903], §112) | |
| A reaction: This is known as the 'isolation test'. The test has an instant appeal, but looks a bit odd after a little thought. The value of most things drains out of them if they are totally isolated. The MS of the Goldberg Variations floating in outer space? |
| 11057 | It is always an open question whether anything that is natural is good [Moore,GE] |
| Full Idea: Good does not, by definition, mean anything that is natural; and it is therefore always an open question whether anything that is natural is good. | |
| From: G.E. Moore (Principia Ethica [1903], §027) | |
| A reaction: This is the best known modern argument for Platonist idealised ethics. But maybe there is no end to questioning anywhere, so each theory invites a further question, and nothing is ever fully explained? Next stop - pragmatism. |
| 5925 | The three main values are good, right and beauty [Moore,GE, by Ross] |
| Full Idea: Moore describes rightness and beauty as the two main value-attributes, apart from goodness. | |
| From: report of G.E. Moore (Principia Ethica [1903]) by W. David Ross - The Right and the Good §IV | |
| A reaction: This was a last-throw of the Platonic ideal, before we plunged into the value-free world of Darwin and the physicists. It is hard to agree with Moore, but also hard to disagree. Why do many people despise or ignore these values? |
| 5902 | For Moore, 'right' is what produces good [Moore,GE, by Ross] |
| Full Idea: Moore claims that 'right' means 'productive of the greatest possible good'. | |
| From: report of G.E. Moore (Principia Ethica [1903]) by W. David Ross - The Right and the Good §I | |
| A reaction: Ross is at pains to keep 'right' and 'good' as quite distinct notions. Some actions are right but very unpleasant, and seem to produce no real good at all. |
| 5903 | 'Right' means 'cause of good result' (hence 'useful'), so the end does justify the means [Moore,GE] |
| Full Idea: 'Right' does and can mean nothing but 'cause of a good result', and is thus identical with 'useful', whence it follows that the end always will justify the means. | |
| From: G.E. Moore (Principia Ethica [1903], §089) | |
| A reaction: Of course, Moore does not identify utility with pleasure, as his notion of what is good concerns fairly Platonic ideals. Would Stalin's murders have been right if Russia were now the happiest nation on Earth? |
| 5907 | Relationships imply duties to people, not merely the obligation to benefit them [Ross on Moore,GE] |
| Full Idea: Moore's 'Ideal Utilitarianism' seems to unduly simplify our relations to our fellows. My neighbours are merely possible beneficiaries by my action. But they also stand to me as promiser, creditor, husband, friend, which entails prima facie duties. | |
| From: comment on G.E. Moore (Principia Ethica [1903]) by W. David Ross - The Right and the Good §II | |
| A reaction: Perhaps it is better to say that we have obligations to benefit particular people, because of our obligations, and that we are confined to particular benefits which meet those obligations - not just any old benefit to any old person. |
| 13583 | There might be uninstantiated natural kinds, such as transuranic elements which have never occurred [Ellis] |
| Full Idea: There are reasons to believe that there are natural kinds that might never be instantiated, such as a transuranic element, capable of existing for some fraction of a second, but which has never actually existed anywhere. | |
| From: Brian Ellis (Scientific Essentialism [2001], 2.05) | |
| A reaction: He cautiously claims that kinds are ontologically prior to their individual members. I would say that there is no natural kind of the type that he describes. He says you have at least some grounds for predicting what kinds are possible. |
| 13574 | Natural kinds are distinguished by resting on essences [Ellis] |
| Full Idea: Natural kinds are distinguished from other sorts of things by their associations with essential properties and real essences. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.02) | |
| A reaction: I don't think I agree with this. I rest my notion of natural kind on the elementary realising that to know all about this kind you only have to examine one sample of it, as in the Upanishads. The source of such a phenomenon is an open question. |
| 13575 | If there are borderline cases between natural kinds, that makes them superficial [Ellis] |
| Full Idea: There cannot be any borderline cases between the real essences of different natural kinds because, if there were, the distinctions between the kinds would be superficial, like the blue/green distinction. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.05) | |
| A reaction: His particular target here is biological natural kinds, in which he doesn't believe, because they blur across time, in the evolutionary process. Personally I am inclined to relax the notion of a natural kind, otherwise they are too basic to explain. |
| 13595 | Laws don't exist in the world; they are true of the world [Ellis] |
| Full Idea: Laws are not things that exist in the world; they are things that are true of the world. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.09) | |
| A reaction: I'm happy with this formulation. The one to get rid of is the idea of laws which could precede creation of the universe, and survive its demise. That might be possible, but we have absolutely no grounds for the claim. Humeans ought to agree. |
| 13566 | A proton must have its causal role, because without it it wouldn't be a proton [Ellis] |
| Full Idea: I assume it is metaphysically impossible for a proton to have a different causal role, ...which is plausible because a proton would appear to have no identity at all apart from its role in causal processes. | |
| From: Brian Ellis (Scientific Essentialism [2001], Intro) | |
| A reaction: This seems to be a key idea in scientific essentialism, which links essentialism of identity with essentialism in the laws of nature. Could a proton become not-quite-a-proton? |
| 13579 | What is most distinctive of scientific essentialism is regarding processes as natural kinds [Ellis] |
| Full Idea: What is most distinctive of the scientific version of essentialism is that scientific essentialists are realists about natural kinds of processes, as well as natural kinds of objects and substances. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.11) | |
| A reaction: I'm not sure whether other scientific essentialists would agree with this, but I am happy to go along with it. A process like melting or sublimation seems to be a standard widespread phenomenon which is always intrinsically the same, as kinds must be. |
| 13581 | Scientific essentialism is more concerned with explanation than with identity (Locke, not Kripke) [Ellis] |
| Full Idea: Scientific essentialism is less concerned with questions of identity, and more with questions of explanation, than is the essentialism of Aristotle or of Kripke. It is closest to the kind of essentialism described by Locke. | |
| From: Brian Ellis (Scientific Essentialism [2001], 1.12) | |
| A reaction: Locke is popularly held to be anti-essentialist, but that is only because of his epistemological problems. I think Ellis is here misreading Aristotle, and I would ally Aristotle, Locke (cautiously), Leibniz, Ellis and Fine against Kripkeans on this one. |
| 13594 | The ontological fundamentals are dispositions, and also categorical (spatio-temporal and structural) properties [Ellis] |
| Full Idea: We do not claim, as some do, that fundamental dispositional properties are the ontological basis of all properties. On the contrary, there are equally fundamental categorical properties - for example, spatio-temporal relations and structures. | |
| From: Brian Ellis (Scientific Essentialism [2001], 3.09) | |
| A reaction: The source of disagreement between Bird and Ellis. Bird denies the existence of 'categorical properties'. I think I am with Bird. Space and time are as much part of the given as the elements, and then categorical properties result from dispositions. |
| 13603 | A primary aim of science is to show the limits of the possible [Ellis] |
| Full Idea: Scientific essentialists hold that one of the primary aims of science is to define the limits of the possible. | |
| From: Brian Ellis (Scientific Essentialism [2001], 7.06) | |
| A reaction: I like this. It breaks down into the study of modal profiles, and it can work for abstracta as well as for the physical world. It even covers the study of character, and you could say that it is the subject matter of Jane Austen. |