33 ideas
16539 | A definition of a circle will show what it is, and show its generating principle [Lowe] |
Full Idea: If the definition of a circle is based on 'locus of a point', this tells us what a circle is, and it does so by revealing its generating principle, what it takes for a circle to come into being. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: Lowe says that real definitions, as essences, do not always have to spell out a 'generating principle', but they do in this case. Another approach would be to try to map dependence relations between truths about circles, and see what is basic. |
16540 | Defining an ellipse by conic sections reveals necessities, but not the essence of an ellipse [Lowe] |
Full Idea: Defining an ellipse in terms of the oblique intersection of a cone and a plane (rather than in terms of the sum of the distance between the foci) gives us a necessary property, but not the essence, because the terms are extrinsic to its nature. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: [compressed wording] Helpful and illuminating. If you say some figure is what results when one thing intersects another, that doesn't tell you what the result actually is. Geometrical essences may be a bit vague, but they are quite meaningful. |
16548 | An essence is what an entity is, revealed by a real definition; this is not an entity in its own right [Lowe] |
Full Idea: An entity's essence is just what that entity is, revealed by its real definition. This isn't a distinct entity, but either the entity itself, or (my view) no entity at all. ..We should not reify essence, as that leads to an infinite regress of essences. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: The regress problem is a real one, if we wish to treat an essence as some proper and distinct part of an entity. If it is a mechanism, for example, the presumably a mechanism has an essence. No, it doesn't! Levels of explanation! |
21704 | 'Impredictative' definitions fix a class in terms of the greater class to which it belongs [Linsky,B] |
Full Idea: The ban on 'impredicative' definitions says you can't define a class in terms of a totality to which that class must be seen as belonging. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1) | |
A reaction: So that would be defining 'citizen' in terms of the community to which the citizen belongs? If you are asked to define 'community' and 'citizen' together, where do you start? But how else can it be done? Russell's Reducibility aimed to block this. |
16549 | Simple things like 'red' can be given real ostensive definitions [Lowe] |
Full Idea: Is it true that we cannot say, non-circularly, what red is? We cannot find a complex synonym for it, but I think we can provide red with an ostensive real definition. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: I'm not quite sure how 'real' this definition would be, if it depends on observers (some of whom may be colourblind). In what sense is this act of ostensions a 'definition'? You must distinguish the colour from the texture or shape. |
21699 | Russell offered a paraphrase of definite description, to avoid the commitment to objects [Quine] |
Full Idea: Russell's theory involved defining a term not by presenting a direct equivalent of it, but by 'paraphrasis', providing equivalents of the sentences. In this way, reference to fictitious objects can be simulated without our being committed to the objects. | |
From: Willard Quine (Russell's Ontological Development [1966], p.75) | |
A reaction: I hadn't quite grasped that the modern strategy of paraphrase tracks back to Russell - though it now looks obvious, thanks to Quine. Paraphrase is a beautiful way of sidestepping ontological problems. See Frege on the moons of Jupiter. |
21705 | Reducibility says any impredicative function has an appropriate predicative replacement [Linsky,B] |
Full Idea: The Axiom of Reducibility avoids impredicativity, by asserting that for any predicate of given arguments defined by quantifying over higher-order functions or classes, there is another co-extensive but predicative function of the same type of arguments. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1) | |
A reaction: Eventually the axiom seemed too arbitrary, and was dropped. Linsky's book explores it. |
21727 | Definite descriptions theory eliminates the King of France, but not the Queen of England [Linsky,B] |
Full Idea: The theory of definite descriptions may eliminate apparent commitment to such entities as the present King of France, but certainly not to the present Queen of England. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 7.3) |
21719 | Extensionalism means what is true of a function is true of coextensive functions [Linsky,B] |
Full Idea: With the principle of extensionality anything true of one propositional functions will be true of every coextensive one. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6.3) |
21723 | The task of logicism was to define by logic the concepts 'number', 'successor' and '0' [Linsky,B] |
Full Idea: The problem for logicism was to find definitions of the primitive notions of Peano's theory, number, successor and 0, in terms of logical notions, so that the postulates could then be derived by logic alone. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 7) | |
A reaction: Both Frege and Russell defined numbers as equivalence classes. Successor is easily defined (in various ways) in set theory. An impossible set can exemplify zero. The trouble for logicism is this all relies on sets. |
21721 | Higher types are needed to distinguished intensional phenomena which are coextensive [Linsky,B] |
Full Idea: The higher types are needed for intensional phenomena, cases where the same class is picked out by distinct propositional functions. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6.4) | |
A reaction: I take it that in this way 'x is renate' can be distinguished from 'x is cordate', a task nowadays performed by possible worlds. |
21703 | Types are 'ramified' when there are further differences between the type of quantifier and its range [Linsky,B] |
Full Idea: The types is 'ramified' because there are further differences between the type of a function defined in terms of a quantifier ranging over other functions and the type of those other functions, despite the functions applying to the same simple type. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 1) | |
A reaction: Not sure I understand this, but it evidently created difficulties for dealing with actual mathematics, and Ramsey showed how you could manage without the ramifications. |
21714 | The ramified theory subdivides each type, according to the range of the variables [Linsky,B] |
Full Idea: The original ramified theory of types ...furthern subdivides each of the types of the 'simple' theory according to the range of the bound variables used in the definition of each propositional function. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6) | |
A reaction: For a non-intiate like me it certainly sounds disappointing that such a bold and neat theory because a tangle of complications. Ramsey and Russell in the 1920s seem to have dropped the ramifications. |
21713 | Did logicism fail, when Russell added three nonlogical axioms, to save mathematics? [Linsky,B] |
Full Idea: It is often thought that Logicism was a failure, because after Frege's contradiction, Russell required obviously nonlogical principles, in order to develop mathematics. The axioms of Reducibility, Infinity and Choice are cited. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6) | |
A reaction: Infinity and Choice remain as axioms of the standard ZFC system of set theory, which is why set theory is always assumed to be 'up to its neck' in ontological commitments. Linsky argues that Russell saw ontology in logic. |
21715 | For those who abandon logicism, standard set theory is a rival option [Linsky,B] |
Full Idea: ZF set theory is seen as a rival to logicism as a foundational scheme. Set theory is for those who have given up the project of reducing mathematics to logic. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 6.1) | |
A reaction: Presumably there are other rivals. Set theory has lots of ontological commitments. One could start at the other end, and investigate the basic ontological commitments of arithmetic. I have no idea what those might be. |
21729 | Construct properties as sets of objects, or say an object must be in the set to have the property [Linsky,B] |
Full Idea: Rather than directly constructing properties as sets of objects and proving neat facts about properties by proxy, we can assert biconditionals, such as that an object has a property if and only if it is in a certain set. | |
From: Bernard Linsky (Russell's Metaphysical Logic [1999], 7.6) | |
A reaction: Linsky is describing Russell's method of logical construction. I'm not clear what is gained by this move, but at least it is a variant of the usual irritating expression of properties as sets of objects. |
16545 | The essence of lumps and statues shows that two objects coincide but are numerically distinct [Lowe] |
Full Idea: It is a metaphysically necessary truth, obtaining in virtue of the essences of such objects (of what a bronze statue and a lump of bronze are) that when it exists a bronze statue coincides with a lump of bronze, which is numerically distinct from it. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: I think it is nonsense to treat the lump and statue as two objects. It is essential that a statue be made of a lump, and essential that a lump have a shape, so to treat the lump and the shape as two different objects is a failure to grasp the essence. |
16546 | The essence of a bronze statue shows that it could be made of different bronze [Lowe] |
Full Idea: It is a metaphysical possibility, obtaining in virtue of the essences of such objects, that the same bronze statue should coincide with different lumps of bronze at different times. (..they have different persistence conditions). | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: If the fame of a statue were that it had been made by melting down the shield of Achilles (say), then the bronze it was made of would be its most important feature. Essences are more contextual than Lowe might wish. |
16551 | Grasping an essence is just grasping a real definition [Lowe] |
Full Idea: All that grasping an essence amounts to is understanding a real definition, that is, understanding a special kind of proposition. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 7) | |
A reaction: He refuses to 'reify' an essence, and says it is not an entity, so he seems to think that the definition is the essence, but Aristotle and I take the essence to be what is picked out by the correct definition - not the definition itself. |
16542 | Explanation can't give an account of essence, because it is too multi-faceted [Lowe] |
Full Idea: Explanation is a multifaceted one, with many species (logical, mathematical, causal, teleological, and psychological), ..so it is not a notion fit to be appealed to in order to frame a perspicuous account of essence. That is one species of explanation. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: This directly attacks the core of my thesis! His parenthetical list does not give types of explanation. If I say this explanation is 'psychological', that says nothing about what explanation is. All of his instances could rest on essences. |
16552 | If we must know some entity to know an essence, we lack a faculty to do that [Lowe] |
Full Idea: If knowledge of essence were by acquaintance of a special kind of entity, we would doubt our ability to grasp the essence of things. For what faculty could be involved in this special kind of acquaintance? | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 7) | |
A reaction: This is Lockean empirical scepticism about essences, but I take the view that sometimes you can be acquainted with an essence, but more often you correctly infer it from you acquaintance - and this is just what scientists do. |
16533 | Logical necessities, based on laws of logic, are a proper sub-class of metaphysical necessities [Lowe] |
Full Idea: If logically necessary truths are consequences of the laws of logic, then I think they are only a proper sub-class of the class of metaphysically necessary truths. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1) | |
A reaction: The problem for this is unusual and bizarre systems of logic, or systems that contradict one another. This idea is only plausible if you talk about the truths derived from some roughly 'classical' core of logic. 'Tonk' won't do it! |
16531 | 'Metaphysical' necessity is absolute and objective - the strongest kind of necessity [Lowe] |
Full Idea: By 'metaphysical' necessity I mean necessity of the strongest possible kind - absolute necessity - and I take it to be an objective kind of necessity, rather than being something mind-dependent. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1) | |
A reaction: See Bob Hale for the possibility that 'absolute' and 'metaphysical' necessity might come apart. I think I believe in metaphysical necessity, but I'm uneasy about 'absolute' necessity. That may be discredited by the sceptics. |
16532 | 'Epistemic' necessity is better called 'certainty' [Lowe] |
Full Idea: 'Epistemic' necessity is more properly to be called 'certainty'. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 1) | |
A reaction: Sounds wrong. Surely I can be totally certain of a contingent truth? |
16543 | If an essence implies p, then p is an essential truth, and hence metaphysically necessary [Lowe] |
Full Idea: If we can truly affirm that it is part of the essence of some entity that p is the case, then p is an essential truth and so a metaphysically necessary truth. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: This feels too quick. He is trying to expound the idea (which I like) that necessity derives from essences, and not vice versa. Is it a metaphysical necessity that there are no moths in my wardrobe, because mothballs have driven them away? Maybe. |
16544 | Metaphysical necessity is either an essential truth, or rests on essential truths [Lowe] |
Full Idea: A metaphysically necessary truth is a truth which is either an essential truth or a truth that obtains in virtue of the essences of two or more distinct things. Hence all metaphysical necessity is grounded in essence. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: Lowe is endeavouring to give an exposition of the approach advocated by Kit Fine. I divide necessities 'because of' things (such as essences) from necessities 'for' things, such as situations or events. |
16538 | We could give up possible worlds if we based necessity on essences [Lowe] |
Full Idea: If we explicate the notion of metaphysical necessity in terms of the notion of essence, rather than vice versa, this may enable us to dispense with the language of possible worlds as a means of explicating modal statements. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: This is the approach I favour, though I am not convinced that the two approaches are in competition, since essentialism gives the driving force for necessity, whereas possible worlds map the logic and semantics of it. |
16534 | 'Intuitions' are just unreliable 'hunches'; over centuries intuitions change enormously [Lowe] |
Full Idea: I suspect that 'intuitions' and 'hunches' are pretty much the same thing, and pretty useless as sources of knowledge. …Things that seemed intuitively true to our forebears a century or two ago often by no means seem intuitively true to us now. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 2) | |
A reaction: I don't accept this. Intuitions change a lot over the centuries because the reliable knowledge which informs intuitions has also changed a lot. Arguments and evidence may nail individual truths, but coherence must rest on intuition. |
16535 | A concept is a way of thinking of things or kinds, whether or not they exist [Lowe] |
Full Idea: The nearest I can get to a quick definition is to say that a concept is a way of thinking of some thing or kind of things, whether or not a really existent thing or kind of things. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 2) | |
A reaction: The focus on 'things' seems rather narrow. Are relations things? He makes concepts sound adverbial, so that there is thinking going on, and then we add 'ways' of doing it. Thinking depends on concepts, not concepts on thinking. |
21700 | Taking sentences as the unit of meaning makes useful paraphrasing possible [Quine] |
Full Idea: The new freedom that Russell confers by paraphrasis (of definite descriptions) is our reward for recognising that the unit of communication is the sentence and not the word. | |
From: Willard Quine (Russell's Ontological Development [1966], p.75) | |
A reaction: Since many people hardly ever speak a properly formed sentence, I take propositions to be better candidates for this. However, I don't see how we can reject the compositional view (the meanings are assembled). |
21701 | Knowing a word is knowing the meanings of sentences which contain it [Quine] |
Full Idea: We can say that knowing words is knowing how to work out the meanings of sentences containing them. Dictionary definitions are mere clauses in a recursive definition of the meanings of sentences. | |
From: Willard Quine (Russell's Ontological Development [1966], p.76) | |
A reaction: Do you have to recursively define all the sentences that might contain the word, before you can fully know the meaning of the word? He seems to credit Russell with the holistic view of sentences (though I think that starts with Frege). |
16550 | Direct reference doesn't seem to require that thinkers know what it is they are thinking about [Lowe] |
Full Idea: It may be objected that currently prevailing causal or 'direct' theories of reference precisely deny that a thinker must know what it is the he or she is thinking about in order to be able to think about it. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 7) | |
A reaction: Lowe says that at least sometimes we have to know that we are thinking about, so this account of reference can't be universally true. My solution is to pull identity and essence apart. You only need identity, not essence, for reference. |
16547 | H2O isn't necessary, because different laws of nature might affect how O and H combine [Lowe] |
Full Idea: It is not metaphysically necessary that water is composed of H2O molecules, because the natural laws governing the chemical behaviour of hydrogen and oxygen atoms could have been significantly different, so they might not have composed that substance. | |
From: E.J. Lowe (What is the Source of Knowledge of Modal Truths? [2013], 6) | |
A reaction: I fear this may be incoherent, as science. See Bird on why salt must dissolve in water. There can't (I suspect) be a law which keeps O and H the same, and yet makes them combine differently. |