62 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. |
| 9542 | The best known axiomatization of PL is Whitehead/Russell, with four axioms and two rules [Russell/Whitehead, by Hughes/Cresswell] |
| Full Idea: The best known axiomatization of PL is Whitehead/Russell. There are four axioms: (p∨p)→p, q→(p∨q), (p→q)→(q∨p), and (q→r)→((p∨q)→(p∨r)), plus Substitution and Modus Ponens rules. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by GE Hughes/M Cresswell - An Introduction to Modal Logic Ch.1 |
| 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. |
| 21720 | Russell saw Reducibility as legitimate for reducing classes to logic [Linsky,B on Russell/Whitehead] |
| Full Idea: The axiom of Reducibility ...is crucial in the reduction of classes to logic, ...and seems to be a quite legitimate logical notion for Russell. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by Bernard Linsky - Russell's Metaphysical Logic 6.4 | |
| A reaction: This is an unusual defence of the axiom, which is usually presumed to have been kicked into the long grass by Quine. If one could reduce classes to logic, that would destroy the opposition to logicism in a single neat coup. |
| 10044 | Russell denies extensional sets, because the null can't be a collection, and the singleton is just its element [Russell/Whitehead, by Shapiro] |
| Full Idea: Russell adduces two reasons against the extensional view of classes, namely the existence of the null class (which cannot very well be a collection), and the unit classes (which would have to be identical with their single elements). | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Stewart Shapiro - Structure and Ontology p.459 | |
| A reaction: Gödel believes in the reality of classes. I have great sympathy with Russell, when people start to claim that sets are not just conveniences to help us think about things, but actual abstract entities. Is the singleton of my pencil is on this table? |
| 18208 | We regard classes as mere symbolic or linguistic conveniences [Russell/Whitehead] |
| Full Idea: Classes, so far as we introduce them, are merely symbolic or linguistic conveniences, not genuine objects. | |
| From: B Russell/AN Whitehead (Principia Mathematica [1913], p.72), quoted by Penelope Maddy - Naturalism in Mathematics III.2 |
| 8204 | Lewis's 'strict implication' preserved Russell's confusion of 'if...then' with implication [Quine on Russell/Whitehead] |
| Full Idea: Russell call 'if...then' implication, when the material conditional is a much better account; C.I.Lewis (in founding modern modal logic) preserved Russell's confusion by creating 'strict implication', and called that implication. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by Willard Quine - Reply to Professor Marcus p.177 | |
| A reaction: [A compession of Quine's paragraph]. All of this assumes that logicians can give an accurate account of what if...then means, when ordinary usage is broad and vague. Strict implication seems to drain all the normal meaning out of 'if...then'. |
| 9359 | Russell's implication means that random sentences imply one another [Lewis,CI on Russell/Whitehead] |
| Full Idea: In Mr Russell's idea of implication, if twenty random sentences from a newspaper were put in a hat, and two of them drawn at random, one will certainly imply the other, and it is an even bet the implication will be mutual. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by C.I. Lewis - A Pragmatic Conception of the A Priori p.366 | |
| A reaction: This sort of lament leads modern logicians to suggest 'relevance' as an important criterion. It certainly seems odd that so-called 'classical logic' should contain a principle so at variance with everyday reasoning. |
| 21707 | Russell unusually saw logic as 'interpreted' (though very general, and neutral) [Russell/Whitehead, by Linsky,B] |
| Full Idea: Russell did not view logic as an uninterpreted calculus awaiting interpretations [the modern view]. Rather, logic is a single 'interpreted' body of a priori truths, of propositions rather than sentence forms - but maximally general and topic neutral. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Bernard Linsky - Russell's Metaphysical Logic 1 | |
| A reaction: This is the view which Wittgenstein challenged, saying logic is just conventional. Linsky claims that Russell's logicism is much more plausible, once you understand his view of logic. |
| 10036 | In 'Principia' a new abstract theory of relations appeared, and was applied [Russell/Whitehead, by Gödel] |
| Full Idea: In 'Principia' a young science was enriched with a new abstract theory of relations, ..and not only Cantor's set theory but also ordinary arithmetic and the theory of measurement are treated from this abstract relational standpoint. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Kurt Gödel - Russell's Mathematical Logic p.448 | |
| A reaction: I presume this is accounting for relations in terms of ordered sets. |
| 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. |
| 18248 | A real number is the class of rationals less than the number [Russell/Whitehead, by Shapiro] |
| Full Idea: For Russell the real number 2 is the class of rationals less than 2 (i.e. 2/1). ...Notice that on this definition, real numbers are classes of rational numbers. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Stewart Shapiro - Thinking About Mathematics 5.2 |
| 18152 | Russell takes numbers to be classes, but then reduces the classes to numerical quantifiers [Russell/Whitehead, by Bostock] |
| Full Idea: Although Russell takes numbers to be certain classes, his 'no-class' theory then eliminates all mention of classes in favour of the 'propositional functions' that define them; and in the case of the numbers these just are the numerical quantifiers. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by David Bostock - Philosophy of Mathematics 9.B.4 |
| 10037 | 'Principia' lacks a precise statement of the syntax [Gödel on Russell/Whitehead] |
| Full Idea: What is missing, above all, in 'Principia', is a precise statement of the syntax of the formalism. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by Kurt Gödel - Russell's Mathematical Logic p.448 |
| 10025 | Russell and Whitehead took arithmetic to be higher-order logic [Russell/Whitehead, by Hodes] |
| Full Idea: Russell and Whitehead took arithmetic to be higher-order logic, ..and came close to identifying numbers with numerical quantifiers. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Harold Hodes - Logicism and Ontological Commits. of Arithmetic p.148 | |
| A reaction: The point here is 'higher-order'. |
| 8683 | Russell and Whitehead were not realists, but embraced nearly all of maths in logic [Russell/Whitehead, by Friend] |
| Full Idea: Unlike Frege, Russell and Whitehead were not realists about mathematical objects, and whereas Frege thought that only arithmetic and analysis are branches of logic, they think the vast majority of mathematics (including geometry) is essentially logical. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Michčle Friend - Introducing the Philosophy of Mathematics 3.1 | |
| A reaction: If, in essence, Descartes reduced geometry to algebra (by inventing co-ordinates), then geometry ought to be included. It is characteristic of Russell's hubris to want to embrace everything. |
| 10093 | The ramified theory of types used propositional functions, and covered bound variables [Russell/Whitehead, by George/Velleman] |
| Full Idea: Russell and Whitehead's ramified theory of types worked not with sets, but with propositional functions (similar to Frege's concepts), with a more restrictive assignment of variables, insisting that bound, as well as free, variables be of lower type. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by A.George / D.J.Velleman - Philosophies of Mathematics Ch.3 | |
| A reaction: I don't fully understand this (and no one seems much interested any more), but I think variables are a key notion, and there is something interesting going on here. I am intrigued by ordinary language which behaves like variables. |
| 8691 | The Russell/Whitehead type theory was limited, and was not really logic [Friend on Russell/Whitehead] |
| Full Idea: The Russell/Whitehead type theory reduces mathematics to a consistent founding discipline, but is criticised for not really being logic. They could not prove the existence of infinite sets, and introduced a non-logical 'axiom of reducibility'. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913]) by Michčle Friend - Introducing the Philosophy of Mathematics 3.6 | |
| A reaction: To have reduced most of mathematics to a founding discipline sounds like quite an achievement, and its failure to be based in pure logic doesn't sound too bad. However, it seems to reduce some maths to just other maths. |
| 10305 | In 'Principia Mathematica', logic is exceeded in the axioms of infinity and reducibility, and in the domains [Bernays on Russell/Whitehead] |
| Full Idea: In the system of 'Principia Mathematica', it is not only the axioms of infinity and reducibility which go beyond pure logic, but also the initial conception of a universal domain of individuals and of a domain of predicates. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913], p.267) by Paul Bernays - On Platonism in Mathematics p.267 | |
| A reaction: This sort of criticism seems to be the real collapse of the logicist programme, rather than Russell's paradox, or Gödel's Incompleteness Theorems. It just became impossible to stick strictly to logic in the reduction of arithmetic. |
| 8684 | Russell and Whitehead consider the paradoxes to indicate that we create mathematical reality [Russell/Whitehead, by Friend] |
| Full Idea: Russell and Whitehead are particularly careful to avoid paradox, and consider the paradoxes to indicate that we create mathematical reality. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Michčle Friend - Introducing the Philosophy of Mathematics 3.1 | |
| A reaction: This strikes me as quite a good argument. It is certainly counterintuitive that reality, and abstractions from reality, would contain contradictions. The realist view would be that we have paradoxes because we have misdescribed the facts. |
| 8746 | To avoid vicious circularity Russell produced ramified type theory, but Ramsey simplified it [Russell/Whitehead, by Shapiro] |
| Full Idea: Russell insisted on the vicious circle principle, and thus rejected impredicative definitions, which resulted in an unwieldy ramified type theory, with the ad hoc axiom of reducibility. Ramsey's simpler theory was impredicative and avoided the axiom. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Stewart Shapiro - Thinking About Mathematics 5.2 | |
| A reaction: Nowadays the theory of types seems to have been given up, possibly because it has no real attraction if it lacks the strict character which Russell aspired to. |
| 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. |
| 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. |
| 12033 | An object is identical with itself, and no different indiscernible object can share that [Russell/Whitehead, by Adams,RM] |
| Full Idea: Trivially, the Identity of Indiscernibles says that two individuals, Castor and Pollux, cannot have all properties in common. For Castor must have the properties of being identical with Castor and not being identical with Pollux, which Pollux can't share. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913], I p.57) by Robert Merrihew Adams - Primitive Thisness and Primitive Identity 2 | |
| A reaction: I suspect that either the property of being identical with itself is quite vacuous, or it is parasytic on primitive identity, or it is the criterion which is actually used to define identity. Either way, I don't find this claim very illuminating. |
| 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. |
| 10040 | Russell showed, through the paradoxes, that our basic logical intuitions are self-contradictory [Russell/Whitehead, by Gödel] |
| Full Idea: By analyzing the paradoxes to which Cantor's set theory had led, ..Russell brought to light the amazing fact that our logical intuitions (concerning such notions as truth, concept, being, class) are self-contradictory. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Kurt Gödel - Russell's Mathematical Logic p.452 | |
| A reaction: The main intuition that failed was, I take it, that every concept has an extension, that is, there are always objects which will or could fall under the concept. |
| 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. |
| 21725 | The multiple relations theory says assertions about propositions are about their ingredients [Russell/Whitehead, by Linsky,B] |
| Full Idea: The multiple relations theory of judgement proposes that assertions about propositions are dependent upon genuine facts involving belief and other attitude relations, subjects of those attitudes, and the constituents of the belief. | |
| From: report of B Russell/AN Whitehead (Principia Mathematica [1913]) by Bernard Linsky - Russell's Metaphysical Logic 7.2 | |
| A reaction: This seems to require a commitment to universals (especially relations) with which we can be directly acquainted. I prefer propositions, but as mental entities, not platonic entities. |
| 23474 | A judgement is a complex entity, of mind and various objects [Russell/Whitehead] |
| Full Idea: When a judgement occurs, there is a certain complex entity, composed of the mind and the various objects of the judgement. | |
| From: B Russell/AN Whitehead (Principia Mathematica [1913], p.44) | |
| A reaction: This is Russell's multiple-relation theory of judgement, which replaced his earlier belief in unified propositions (now 'false abstractions'). He seems to have accepted Locke's view, that the act of judgement produces the unity. |
| 23455 | The meaning of 'Socrates is human' is completed by a judgement [Russell/Whitehead] |
| Full Idea: When I judge 'Socrates is human', the meaning is completed by the act of judging. | |
| From: B Russell/AN Whitehead (Principia Mathematica [1913], p.44), quoted by Michael Morris - Guidebook to Wittgenstein's Tractatus | |
| A reaction: Morris says this is Russell's multiple-relations theory of judgement. The theory accompanies the rejection of the concept of the unified proposition. When I hear 'Socrates had a mole on his shoulder' I get the meaning without judging. |
| 23480 | The multiple relation theory of judgement couldn't explain the unity of sentences [Morris,M on Russell/Whitehead] |
| Full Idea: When Russell moved to his multiple relation theory of judgement …he then faced difficulties making sense of the unity of sentences. | |
| From: comment on B Russell/AN Whitehead (Principia Mathematica [1913], p.44) by Michael Morris - Guidebook to Wittgenstein's Tractatus 3A | |
| A reaction: Roughly, he seems committed to saying that there is only unity if you think there is unity; there is no unity in a sentence prior to the act of judgement. |
| 18275 | Only the act of judging completes the meaning of a statement [Russell/Whitehead] |
| Full Idea: When I judge 'Socrates is human', the meaning is completed by the act of judging, and we no longer have an incomplete symbol. | |
| From: B Russell/AN Whitehead (Principia Mathematica [1913], p.44), quoted by J. Alberto Coffa - The Semantic Tradition from Kant to Carnap | |
| A reaction: Personally I would have thought that you needed to know the meaning properly before you could make the judgement, but then he is Bertrand Russell and I'm not. |
| 23453 | Propositions as objects of judgement don't exist, because we judge several objects, not one [Russell/Whitehead] |
| Full Idea: A 'proposition', in the sense in which a proposition is supposed to be the object of a judgement, is a false abstraction, because a judgement has several objects, not one. | |
| From: B Russell/AN Whitehead (Principia Mathematica [1913], p.44), quoted by Michael Morris - Guidebook to Wittgenstein's Tractatus 2E | |
| A reaction: This is the rejection of the 'Russellian' theory of propositions, in favour of his multiple-relations theory of judgement. But why don't the related objects add up to a proposition about a state of affairs? |
| 7903 | The six perfections are giving, morality, patience, vigour, meditation, and wisdom [Nagarjuna] |
| Full Idea: The six perfections are of giving, morality, patience, vigour, meditation, and wisdom. | |
| From: Nagarjuna (Mahaprajnaparamitashastra [c.120], 88) | |
| A reaction: What is 'morality', if giving is not part of it? I like patience and vigour being two of the virtues, which immediately implies an Aristotelian mean (which is always what is 'appropriate'). |
| 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. |