19 ideas
| 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. |
| 13168 | My formal unifying atoms are substantial forms, which are forces like appetites [Leibniz] |
| Full Idea: To find real entities I had recourse to a unified formal atom. Hence I rehabilitated the substantial forms in a way to render them intelligible. I found that their nature consists in force, from which follows something analogous to sensation and appetite. | |
| From: Gottfried Leibniz (New system of communication of substances [1695], p.139) | |
| A reaction: [several lines are here compressed] This passage sums up the key to Leibniz's essentialism, which I take to be a connection between Aristotelian form and the physicists' notion of force. This gives us a modern version of Aristotelianism for science. |
| 13169 | I call Aristotle's entelechies 'primitive forces', which originate activity [Leibniz] |
| Full Idea: Forms establish the true general principles of nature. Aristotle calls them 'first entelechies'; I call them, perhaps more intelligibly, 'primitive forces', which contain not only act or the completion of possibility, but also an original activity. | |
| From: Gottfried Leibniz (New system of communication of substances [1695], p.139) | |
| A reaction: As in Idea 13168, I take Leibniz to be unifying Aristotle with modern science, and offering an active view of nature in tune with modern scientific essentialism. Laws arise from primitive force, and are not imposed from without. |
| 13170 | The analysis of things leads to atoms of substance, which found both composition and action [Leibniz] |
| Full Idea: There are only atoms of substance, that is, real unities absolutely destitute of parts, which are the source of actions, the first absolute principles of the composition of things, and, as it were, the final elements in the analysis of substantial things. | |
| From: Gottfried Leibniz (New system of communication of substances [1695], p.142) | |
| A reaction: I like this because it addresses the pure issue of the identity of an individuated object, but also links it with an active view of nature, and not some mere inventory of objects. |
| 13171 | Substance must necessarily involve progress and change [Leibniz] |
| Full Idea: The nature of substance necessarily requires and essentially involves progress or change, without which it would not have the force to act. | |
| From: Gottfried Leibniz (New system of communication of substances [1695], p.144) | |
| A reaction: Bravo. Most metaphysical musings regarding 'substance' seem entirely wrapped up in the problem of pure identity, and forget about the role of objects in activity and change. |
| 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? |
| 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. |
| 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. |
| 13167 | We need the metaphysical notion of force to explain mechanics, and not just extended mass [Leibniz] |
| Full Idea: Considering 'extended mass' alone was not sufficient to explain the principles of mechanics and the laws of nature, but it is necessary to make use of the notion of 'force', which is very intelligible, despite belonging in the domain of metaphysics. | |
| From: Gottfried Leibniz (New system of communication of substances [1695], p.139) | |
| A reaction: We may find it surprising that force is a metaphysical concept, but that is worth pondering. It is a mysterious notion within physics. Notice the emphasis on what explains, and what is intelligible. He sees Descartes's system as too passive. |
| 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. |