24 ideas
| 15091 | Restrict 'logical truth' to formal logic, rather than including analytic and metaphysical truths [Shoemaker] |
| Full Idea: I favour restricting the term 'logical truth' to what logicians would count as such, excluding both analytic truths like 'Bachelors are unmarried' and Kripkean necessities like 'Gold is an element'. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I) | |
| A reaction: I agree. There is a tendency to splash the phrases 'logical truth' and 'logical necessity around in vague ways. I take them to strictly arise out of the requirements of formal systems of logic. |
| 17867 | If a concept is not compact, it will not be presentable to finite minds [Almog] |
| Full Idea: If the notion of 'logically following' in your language is not compact, it will not be locally presentable to finite minds. | |
| From: Joseph Almog (Nature Without Essence [2010], 02) |
| 17877 | The number series is primitive, not the result of some set theoretic axioms [Almog] |
| Full Idea: On Skolem's account, to 'get' the natural numbers - that primal structure - do not 'look for it' as the satisfier of some abstract (set-theoretic) axiomatic essence; start with that primitive structure. | |
| From: Joseph Almog (Nature Without Essence [2010], 12) | |
| A reaction: [Skolem 1922 and 1923] Almog says the numbers are just 0,1,2,3,4..., and not some underlying axioms. That makes it sound as if they have nothing in common, and that the successor relation is a coincidence. |
| 15095 | A property's causal features are essential, and only they fix its identity [Shoemaker] |
| Full Idea: The view I now favour says that the causal features of a property, both forward-looking and backward-looking, are essential to it. And it says that properties having the same causal features are identical. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: In this formulation we have essentialism about properties, as well as essentialism about the things which have the properties. |
| 15097 | I claim that a property has its causal features in all possible worlds [Shoemaker] |
| Full Idea: The controversial claim of my theory is that the causal features of properties are essential to them - are features that they have in all possible worlds. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: One problem is that a property can come in degrees, so what degree of the property is necessary to it? It is better to assign this claim to the fundamental properties (which are best called 'powers'). |
| 15094 | I now deny that properties are cluster of powers, and take causal properties as basic [Shoemaker] |
| Full Idea: I now reject the formulation of the causal theory which says that a property is a cluster of conditional powers. That has a reductionist flavour, which is a cheat. We need properties to explain conditional powers, so properties won't reduce. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: [compressed wording] I agree with Mumford and Anjum in preferring his earlier formulation. I think properties are broad messy things, whereas powers can be defined more precisely, and seem to have more stability in nature. |
| 17871 | Fregean meanings are analogous to conceptual essence, defining a kind [Almog] |
| Full Idea: Ever since Frege, semantic definitionalists have posited a meaning ('sinn') for a name; the meaning/sinn is their semantic analog to the conceptual essence, as ontologically defining of the kind. | |
| From: Joseph Almog (Nature Without Essence [2010], 07) |
| 17866 | Essential definition aims at existence conditions and structural truths [Almog] |
| Full Idea: The essentialist encapsulating formula is meant to be existence-exhaustive (an attribute the satisfaction of which is logically necessary and sufficient to be the thing) and truth-exhaustive (promising all the structural truths). | |
| From: Joseph Almog (Nature Without Essence [2010], 01) | |
| A reaction: [compressed] If he thinks essentialism means that one short phrase can achieve all this, then it is not surprising that Almog renounces his former essentialism in this essay. He may, however, have misunderstood. He should reread Aristotle. |
| 17868 | Surface accounts aren't exhaustive as they always allow unintended twin cases [Almog] |
| Full Idea: A surface-functional characterisation is not exhaustive. It allows unintended twins, alien intruders with different structures - water lookalikes that are not H2O and lookalike infinite structures that are not the natural numbers. | |
| From: Joseph Almog (Nature Without Essence [2010], 03) | |
| A reaction: He rests this on the claim in mathematical logic that fully expressive systems are always non-categorical (having unintended twins). Set theory is not fully categorical, but Peano Arithmetic is. Almog's main anti-essentialist argument. |
| 17872 | Definitionalists rely on snapshot-concepts, instead of on the real processes [Almog] |
| Full Idea: The definitionalist errs by abstracting away from differences cosmic processes, freezing real, dynamic processes in snapshot-concepts. | |
| From: Joseph Almog (Nature Without Essence [2010], 08) | |
| A reaction: You could hardly do science at all if you didn't 'abstract away from the differences in cosmic processes'. We can't write about sea-waves, because they all differ slightly? 'Electron' is a snapshot concept. |
| 17870 | Alien 'tigers' can't be tigers if they are not related to our tigers [Almog] |
| Full Idea: Animals roaming jungles on some planet at the other end of the galaxy with the tiger-look and the tiger genetic make-up but with a disjoint evolutionary history are not the same species as the earthly tigers. | |
| From: Joseph Almog (Nature Without Essence [2010], 10) | |
| A reaction: I disagree. If two independent cultures build boats, they are both boats. If we manufacture a tiger which can breed with other tigers, we've made a tiger. His 'tigers' would scream for explanation, precisely because they are tigers. If not, no puzzle. |
| 17869 | Kripke and Putnam offer an intermediary between real and nominal essences [Almog] |
| Full Idea: Kripke and Putnam offer us enhanced essences, still formulable in one short sentence and locally graspable. They offer between Locke's mind-boggling definitive real essence and his mind-friendly but not definitive nominal essence. | |
| From: Joseph Almog (Nature Without Essence [2010], 04) | |
| A reaction: The solution is to add a 'deep structure' which serves both ends. |
| 17876 | Individual essences are just cobbled together classificatory predicates [Almog] |
| Full Idea: The key for the essentialist is classificatory predication. It is only a subsequent extension of this prime idea that leads us to cobble together enough such essential predications to make an individuative essential property. | |
| From: Joseph Almog (Nature Without Essence [2010], 11) | |
| A reaction: So the essence is just a cross-reference of all the ways we can think of to classify it? I don't think so. Which are the essential classifications? |
| 15099 | If something is possible, but not nomologically possible, we need metaphysical possibility [Shoemaker] |
| Full Idea: If it is possible that there could be possible states of affairs that are not nomologically possible, don't we therefore need a notion of metaphysical possibility that outruns nomological possibility? | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: Shoemaker rejects this possibility (p.425). I sympathise. So there is 'natural' possibility (my preferred term), which is anything which stuff, if it exists, could do, and 'logical' possibility, which is anything that doesn't lead to contradiction. |
| 15101 | Once you give up necessity as a priori, causal necessity becomes the main type of necessity [Shoemaker] |
| Full Idea: Once the obstacle of the deeply rooted conviction that necessary truths should be knowable a priori is removed, ...causal necessity is (pretheoretically) the very paradigm of necessity, in ordinary usage and in dictionaries. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VII) | |
| A reaction: The a priori route seems to lead to logical necessity, just by doing a priori logic, and also to metaphysical necessity, by some sort of intuitive vision. This is a powerful idea of Shoemaker's (implied, of course, in Kripke). |
| 15098 | Empirical evidence shows that imagining a phenomenon can show it is possible [Shoemaker] |
| Full Idea: We have abundant empirical evidence that when we can imagine some phenomenal situation, e.g., imagine things appearing certain ways, such a situation could actually exist. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: There seem to be good reasons for holding the opposite view too. We can imagine gold appearing to be all sorts of colours, but that doesn't make it possible. What does empirical evidence really tell us here? |
| 15100 | Imagination reveals conceptual possibility, where descriptions avoid contradiction or incoherence [Shoemaker] |
| Full Idea: Imaginability can give us access to conceptual possibility, when we come to believe situations to be conceptually possible by reflecting on their descriptions and seeing no contradiction or incoherence. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], VI) | |
| A reaction: If take the absence of contradiction to indicate 'logical' possibility, but the absence of incoherence is more interesting, even if it is a bit vague. He is talking of 'situations', which I take to be features of reality. A priori synthetic? |
| 15096 | 'Grue' only has causal features because of its relation to green [Shoemaker] |
| Full Idea: Perhaps 'grue' has causal features, but only derivatively, in virtue of its relation to green. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], III) | |
| A reaction: I take grue to be a behaviour, and not a property at all. The problem only arises because the notion of a 'property' became too lax. Presumably Shoemaker should also mention blue in his account. |
| 17873 | Water must be related to water, just as tigers must be related to tigers [Almog] |
| Full Idea: It is a blindspot to say that to be a tiger one must come from tigers, but to be water one needn't come from water. ...The error lies in not appreciating that to be water one still must come from somewhere in the cosmos, indeed, from hydrogen and oxygen. | |
| From: Joseph Almog (Nature Without Essence [2010], 09) | |
| A reaction: A unified picture is indeed desirable, but a better solution is to say that the essence of a tiger is in its structure, not in its origins. There are many ways to produce an artefact. There could be many ways to produce a tiger. |
| 13304 | Learned men gain more in one day than others do in a lifetime [Posidonius] |
| Full Idea: In a single day there lies open to men of learning more than there ever does to the unenlightened in the longest of lifetimes. | |
| From: Posidonius (fragments/reports [c.95 BCE]), quoted by Seneca the Younger - Letters from a Stoic 078 | |
| A reaction: These remarks endorsing the infinite superiority of the educated to the uneducated seem to have been popular in late antiquity. It tends to be the religions which discourage great learning, especially in their emphasis on a single book. |
| 15093 | We might say laws are necessary by combining causal properties with Armstrong-Dretske-Tooley laws [Shoemaker] |
| Full Idea: One way to get the conclusion that laws are necessary is to combine my view of properties with the view of Armstrong, Dretske and Tooley, that laws are, or assert, relations between properties. | |
| From: Sydney Shoemaker (Causal and Metaphysical Necessity [1998], I) | |
| A reaction: This is interesting, because Armstrong in particular wants the necessity to arise from relations between properties as universals, but if we define properties causally, and make them necessary, we might get the same result without universals. |
| 17864 | Defining an essence comes no where near giving a thing's nature [Almog] |
| Full Idea: The natures of things are neither exhausted nor even partially given by 'defining essences'. | |
| From: Joseph Almog (Nature Without Essence [2010], Intro) | |
| A reaction: A better criticism of essentialism. 'Natures' is a much vaguer word than 'essences', however, because the latter refers to what is stable and important, whereas natures could include any aspect. Being ticklish is in my nature, but not in my essence. |
| 17863 | Essences promise to reveal reality, but actually drive us away from it [Almog] |
| Full Idea: The essentialist line (one I trace to Aristotle, Descartes and Kripke) is driving us away from, not closer to, the real nature of things. It promised a sort of Hubble telescope - essences - able to reveal the deep structure of reality. | |
| From: Joseph Almog (Nature Without Essence [2010], Intro) | |
| A reaction: I suspect this is tilting at a straw man. No one thinks we should hunt for essences instead of doing normal science. 'Essence' just labels what you've got when you succeed. |
| 20820 | Time is an interval of motion, or the measure of speed [Posidonius, by Stobaeus] |
| Full Idea: Posidonius defined time thus: it is an interval of motion, or the measure of speed and slowness. | |
| From: report of Posidonius (fragments/reports [c.95 BCE]) by John Stobaeus - Anthology 1.08.42 | |
| A reaction: Hm. Can we define motion or speed without alluding to time? Looks like we have to define them as a conjoined pair, which means we cannot fully understand either of them. |