Against biological Platonism

A rendition of the Library of Babel, by J.L. Borges

Despite the title of this blog, I have made it clear that I reject any form of Platonism, from the original idea of “Forms” to the mathematical variety. This is something I’ve given quite a bit of thought to, and one of those instances were I can document having changed my mind, from a positive position to a negative one. But of course I’m neither a metaphysician nor a philosopher of mathematics, so my opinions in this area are simply those of a scientist and philosopher with a general background in both disciplines.

Nonetheless, there is yet another type of Platonism about which I can claim more expertise: Andreas Wagner’s biological Platonism. I have known Andreas for years (we met a couple of times, but I am very familiar with his writings in biology), and I can say without hesitation that he is one of the most interesting and provocative theoretical developmental biologists out there. Last year, he published an essay in Aeon magazine entitled “Without a library of Platonic forms, evolution couldn’t work.” I beg to differ, and I’ll explain why in this essay.

Andreas tells us that a fundamental unit in biological classification is the species. We, for instance, belong to the species Homo sapiens, which is distinct from our closest relative, the chimpanzee, known scientifically as Pan troglodytes. (The full name of our species is actually Homo sapiens sapiens, because we can’t be too modest about our own wisdom; and by the way, it is controversial whether humans really belong to a different genus than chimpanzees. Some biologist have proposed renaming ourselves Pan sapiens. That would be a rare example of human humility, as well as good scientific practice.)

It is true that species are a more crucial level in the taxonomic hierarchy of living things than both levels below (sub-species, races) and above (genus, family, order, etc.), and have been so since Linnaeus. But Andreas begins to veer off the main course of modern biology when it talks about “boxes” (the species) and “hierarchies” in too rigid a fashion. Ever since the mid-60s, modern systematics is based on what is known as a cladistic approach, which organizes biological forms in nested, highly branching trees (“clades”) that do not actually correspond, if not in a vague and imprecise manner, to the Linnaean boxes. This makes sense: evolution is a continuous process that produces all sorts of patterns and gradations, which makes systematics a hell of a lot more challenging than, say, stamp collecting.

It is therefore even weirder when Andreas talks about the “essence” of species, and links the concept directly to Platonism: “A systematist’s task might be daunting, but it becomes manageable if each species is distinguished by its own Platonic essence. For example, a legless body and flexible jaws might be part of a snake’s essence, different from that of other reptiles. The task is to find a species’ essence. Indeed, the essence really is the species in the world of Platonists. To be a snake is nothing other than to be an instance of the form of the snake.”

No, definitely not. To begin with, modern biology has long since rejected any talk of “essence.” Indeed, Darwin himself was what we might call a species anti-realist, as he thought that species are arbitrary boundaries drawn by humans for their own convenience, not reflective of any deeper metaphysical reality. Sure enough, biologists still don’t agree on a universal definition of species (see my essay and modest proposal here), a good reason being that, say, a “species” of bacteria has nothing whatsoever to do with a species of plants, and the latter has little similarity — as a category — to a species of invertebrates, and the latter… You get the point.

Second, no, snakes cannot reasonably be thought of as “nothing other than an instance of the Form of the snake.” Not only that simply doesn’t help (how do we study these Forms? Where are they?), it is a way of seeing things that is in serious tension with the whole idea of evolution. Snakes are a group of reptiles that likely evolved from burrowing lizards back in the Cretaceous. This means that they acquired their supposed Platonic Form gradually, first by passing through a two-legged stage (e.g., in the fossil known as Najash rionegrina), or species with hind-limbs but lacking connection between the pelvic bones and the vertebrae (as in Haasiophis, Pachyrhachis and Eupodophis). And who knows what future evolution has in store for the descendant of current snakes. So to say that what we see now somehow represents the Platonic terminus of an evolutionary process is entirely groundless.

Of course Andreas is aware of this sort of objections, and indeed brings up the so-called “glass lizard,” a legless lizard that is indistinguishable from a snake, and yet is classified among lizards on the basis of a number of other anatomical traits. He also mentions the Cretaceous “snakes” with rudimentary hindlegs. It is because of these cases that the famed 20th century evolutionary biologist Ernst Mayr called Plato “the great anti-hero of evolutionism.”

But Andreas insists that Plato will have the last word, we just need to dig deeper. His first move, though, is odd. He quotes the 1905 biologist Hugo De Vries, one of the re-discoverers of Mendel’s work that established the modern science of genetics, and who was skeptical of Darwin. De Vries famously said: “Natural selection can explain the survival of the fittest, but it cannot explain the arrival of the fittest.”

This is odd because the reconciliation of genetics and Darwinism is one of the crowning achievements of 20th century biology, taking the form of the so-called Modern Synthesis, a complex articulation of the Darwinian insight, incorporating the ideas of common descent, natural selection, mutation and recombination into a general mathematical theory of how evolution works. Harking back to De Vries is a dead-end.

Undeterred, Andreas introduces a metaphor to clarify what he calls a “problem” (and which I don’t think is any such thing). Presumably taking inspiration from Jorge Luis Borges, he invites us to imagine a gigantic library containing all possible sequences of letters in the English alphabet (the specific language doesn’t matter, really). Most of the books in the library are nonsensical, but from time to time you will find an exact replica of the works of Shakespeare, or Darwin’s Origin of Species. If you pick up a volume at random, however, the chances you’ll happen on something valuable are minute.

If we imagine a library containing instead all possible sequences of DNA, it will describe all functional proteins, as well as a bunch that will never work. The question is: since mutation is random, how does natural selection “know” how to find its way in the very, very large library of possible forms?

Developing the metaphor, Andreas suggests that we could find our way into the English texts library if the books were organized so that neighbor books would have some of their text changed, but retained the original meaning. Some of the neighbors may actually change the meaning of a word, while still be readable in sensible English, for instance with a “mutation” changing GOLD into MOLD.

Andreas sees the genomic equivalent of the library arranged in the same way: all DNA sequences that maintain the same functional protein, or all sequences that change amino-acids in the protein while retaining functionality, are connected by single steps, so that one can traverse the entire library without having to make huge jumps across a bunch of sequences that would be non-functional and therefore fatal.

He adds: “Let me put this point as strongly as I can. Without these pathways of synonymous texts, these sets of genes that express precisely the same function in ever-shifting sequences of letters, it would not be possible to keep finding new innovations via random mutation. Evolution would not work.”

Well, yes, and that’s precisely where natural selection comes in! While mutations are random with respect to their fitness value, natural selection is not at all a random process, but one that statistically picks valuable mutations and keeps them in the population’s gene pool, while at the same time eliminating any mutation that turns out to be significantly deleterious or fatal. That is, natural selection does the work of “walking” a population through the library, and it is the combination of a random process (mutation) and a non-random one (selection) that yields evolutionary change. There is no mystery here, and there hasn’t been for about a century now.

Andreas doesn’t appear to be as puzzled by how natural selection can find its way through the library, though, as by a different question: “So nature’s libraries and their sprawling networks go a long way towards explaining life’s capacity to evolve. But where do they come from? You cannot see them in the glass lizard or its anatomy. They are nowhere near life’s visible surface, nor are they underneath this surface, in the structure of its tissues and cells. They are not even in the submicroscopic structure of its DNA. They exist in a world of concepts, the kind of abstract concepts that mathematicians explore. Does that make them any less real?”

Yes, of course it does. If by “real” one means that the sequences in question have some kind of substantive ontology, they “exist” somewhere, though obviously not in standard 4-dimensional spacetime. But if not there, where? What does it mean for an abstract concept, or a possibility, to “exist”? These are the very same questions faced by mathematical Platonists, and biological Platonism — like its math counterpart — simply seems to conjure up a problem where none exists, proceeding then to offer a solution that is no solution at all.

If one is short on arguments, one can still resort to name dropping, which is a temptation to which Andreas too succumbs: “Some believe with the Austrian philosopher Ludwig Wittgenstein that mathematical truths are human inventions. But others believe with Plato that our visible world is a faint shadow of higher truths. Among them are many mathematicians and physicists, including Charles Fefferman, winner of the Fields medal, the equivalent of a Nobel Prize in mathematics. He expressed his experience when breaking new mathematical ground this way: ‘There’s something awe-inspiring. You aren’t creating. You’re discovering what was there all the time, and that is much more beautiful than anything that man can create.’ In physics, the Nobel laureate Eugene Wigner called it ‘the unreasonable effectiveness of mathematics.’ And indeed, it is not clear why Newton’s law of gravitation should apply to so much more than the falling apple that might have inspired it, why it should describe everything from accreting planets to entire solar systems and rotating galaxies. Except that it does. For whatever reason, reality appears to obey certain mathematical formulae.”

Okay, let’s break this down a bit. To begin with, for every pro-Platonist quote by an eminent scientist or mathematician or philosopher one can easily come up with an equally strident counter-quote by a skeptic of equal rank. (Try it out as a Google game with your friends.) Second, Newton’s law is actually wrong, so it is a little bizarre to use it as an example. It turns out to be an approximation of General Relativity, valid only under certain specific circumstances. And we already know that GR is in some sense wrong or incomplete in turn. (And by the way, Newton made up the story of the falling apple to embellish his own scientific insight.) Third, reality doesn’t “obey” mathematical formulae. Rather, mathematical formulae are human inventions (Wittgenstein docet) that more or less accurately describe reality.

Which leads me to conclude with one of those anti-Platonism quotes alluded to above, by none other than Albert Einstein: “How can it be that mathematics, being after all a product of human thought which is independent of experience, is so admirably appropriate to the objects of reality? […] In my opinion the answer to this question is, briefly, this: As far as the laws of mathematics refer to reality, they are not certain; and as far as they are certain, they do not refer to reality.” (from J.R. Newman, The World of Mathematics, Simon & Schuster, 1956)

296 thoughts on “Against biological Platonism

  1. Disagreeable Me (@Disagreeable_I)

    Hi Dan,

    I appreciate you stopping by, but it’s a pity you won’t engage with me any more because (unsurprisingly) I have a problem with what you have said. I’m going to ask you questions even if you won’t answer. Somebody else might answer on your behalf. Or at least I can express my issues for other interested readers.

    Of course contemporary platonists are Platonists

    What do you mean by this?

    Are you following my usage (not that I invented it) of equating platonism with mathematical realism and Platonism with subscribing more holistically to Plato’s philosophy? So, in my usage, Max Tegmark is a platonist and Rebecca Goldstein is a Platonist.

    If you’re following my usage, are you saying that platonism commits one to Platonism (I don’t think it does), that some platonists are Platonists (of course they are), that most platonists are Platonists (I doubt it) or that all platonists are Platonists (certainly not — I stand as a counter-example)?

    Mathematical statements are not analytic. It was the ambition of the logicist program of Frege and then Russell to show that they are, but the project was a failure.

    The project was a failure because it turned out we can’t prove all true statements in a formal system, but I don’t think that means that mathematical truth is not analytic. Perhaps we mean different things. What I mean when I say a mathematical truth is analytic is that it follows necessarily from the definition of the terms. I don’t mean to imply that it is always possible to prove it is true within the system. The distinction I’m drawing is between an empirical truth (Massimo asked for evidence) and something that is necessarily true. I don’t think Godel affects that distinction or the idea that mathematical truths are necessary given how mathematical terms are defined.

    As you will see in “Mathematical Truth,” platonism is defined as good old fashioned Platonism.

    Where is this definition that disagrees with my usage? I can’t find it in that paper.

    Oh, my, it’s happening again, isn’t it?

    What seems to always happen when you do drop links of long involved papers to read is that when I go and read them, I find that they don’t really support the point you were trying to make, or at least that they don’t constitute the knockdown proof you seem to think they do. And by the time I’ve digested them you’re no longer available for comment.

    This is not good for my blood pressure either, I’m afraid.

    Like

  2. Robin Herbert

    When one talks of good old fashioned Platonism, I wonder what it is that they are talking about. Do they mean “If, like Aristotle, you treat all flesh-and-blood rabbits as imperfect approximations to an ideal Platonic rabbit” or “following the dictionary definition of essentialism, that the essence of rabbitness is “prior to” the existence of rabbits” as many appear to do then I would suggest that we are more or less wasting our time as I don’t think these represent the opinions of anybody, certainly not Plato or Aristotle.

    Incidentally “Mathematical Truth” was one of the texts I studied at University. It is a little out of date because these days it is rare for mathematicians to regard axioms as true (or at least this was the case when I was at Uni), except in the formal sense needed for them to contribute to entities like truth tables.

    As I keep on pointing out, much of this discussion misses that “X is true given Y” has a truth value that does not depend on the truth value of Y. Since any mathematical theorem includes the implicit premise that it is true, given the axioms, then a mathematical theorem is true, irrespective of the truth values of the axioms.

    Like

  3. Disagreeable Me (@Disagreeable_I)

    Hi Robin,

    I’m agnostic on whether Plato really believed in ideal forms or not. I don’t know enough about it and prefer not to get into it. So when people challenge me about this kind of stuff or the essentialism of species I just disown that kind of view and say that I am not committed to the views of Plato.

    I would be interested in seeing what you are saying challenged or confirmed by another voice who claims expertise on Plato, but that’s not me. I’ll keep your comments in the back of my mind as an interesting dissent from what seems to be the prevailing view that Plato really did believe in ideal forms such as Platonic rabbits, but I’m probably going to go along with the prevailing view in my writing because it’s not convenient to have to mention your objections every time. Most people assume that these were the views of Plato and I’m writing for most people.

    But please understand that I do keep an open mind on it and I find your objections interesting.

    Like

  4. Daniel Kaufman

    DM: The wages of life, I’m afraid. This is the level of involvement I am willing to have, at this point, given past experience. If you don’t find the comment useful, feel free to ignore it.

    Like

  5. synred

    DM, in that case, you should probably insist on using the small “p” as in platonist.

    Or not bring up Plato at all as it seems to have precious little to do with what he was talking about.

    The problem is not whether mathematics exist or not, but whether it is all that exist. To me it’s one of those unanswerable BIV type questions that cannot be resolved.

    Like

  6. michaelfugate

    Robin, you keep telling us that platonism or even Platonism doesn’t match what Plato thought, do you mind telling us what he did think?

    Liked by 1 person

  7. SocraticGadfly

    Here … my review of the book I’d referenced earlier. I’d heard nothing about “micro-RNA” before reading this book, for example. I think Kat Arney paints well about just how complex heredity is, and how much it is clearly not “all in our genes,” and this isn’t talking about environment; it’s talking about all the things inside the cell, both inside and outside the DNA itself, that are involved.

    https://www.goodreads.com/book/show/25663760-herding-hemingway-s-cats

    Like

  8. SocraticGadfly

    Per Dan, I shan’t even try to correct certain people a third time on their misuse of language, as they’ve rejected it before. And, then, they wonder why others might not want to engage?

    Like

  9. Thomas Jones

    You see what’s going on here? We are slouching away from the OP. And I can give a rather elemental “rule” on the basis of standard English usage as to why an adjective derived from a proper noun might usually be capitalized. This is not to say there aren’t exceptions. It is platonic love, not Platonic love, because over time the homosexual denotations intended by Plato were expunged and replaced by an idealized asexual relationship. So Platonic love is not platonic love. But it seems to me that the burden of explanation falls on the non-standard usage if one is to avoid leaving the impression that one is not being self-serving and introducing more confusion than clarity into a discussion.

    Liked by 2 people

  10. ejwinner

    Well, I went to bed last night thinking, ‘well, as long as DM doesn’t get it into his craw….’ And I come back tonight, and….

    What I think I find – irritating? annoying? – is the way that DM waffles. So we get disclaimers like “Platonism is not a claim about a matter of fact, it is a position regarding how we ought to think and talk about a given state of affairs” following bold assertions like ” On platonism, even abstract objects which have not been discovered by human mathematicians exist,” which of course is a claim of fact. Quibbling over the different usages of the word ‘existence,’ without clarifying those different usages, is misleading. ‘X is an entity that exists’ is an ontic/ontological claim, ‘there exists a way out of our predicament’ is a claim that possibilities for change have not been closed off.

    DM, I find your approach to ‘alternate world’ hypotheticals also something of a bother, because you want the hypothetical to be as rigidly defined as the physically existent alternative;; but if it is, then you claim it does exist (which makes no sense, since as a hypothetical it is an admitted invention). So a ‘rigidly’ defined alternate Sherlock Holmes, although having no continuity with Conan Doyle’s other than in name, should, according to your brand of Platonism (or Platonism) exist; but you seem to recognize that difficulty and evade it with the assertion that Holmes is an invention, and hence malleable.

    This seems to me to be chasing your tail. Your bottom line claim is that mathematical forms cannot be invented, only discovered, and thus must have some ‘mind-independent’ ‘existence’ prior to discovery (Which is why I previously pointed out that MUH is a post-hoc explanation of mathematics; one cannot accept the MUH as interesting unless one first accepts such an explanation.)

    But you don’t give us any way to validate this position, you admit you have no empirical justification for it, instead you basically suggest we get rid of all the signifiers in modern language that seem to preclude it, or redefine them to your liking.

    And that may be exactly what Platonism, in its variant forms are all about.

    Your denial that (appropriately rigid) ideas can have only mental existence is… well what can I say. Personally, I find that most ideas have only mental existence, and apply to the world only by general consensus.

    (A possibility is not an ‘existent’ in actuality, whether you will it or no. And eventually your thinking will lead you to make an argument for god’s existence, at least in some ‘possible’ – and hence ‘existent’ – universe, and I can’t wait for the sparks to fly then!)

    Liked by 4 people

  11. Robin Herbert

    Hi Michael,

    Robin, you keep telling us that platonism or even Platonism doesn’t match what Plato thought…

    I didn’t say that at all. I said that some of the things that people seem to think of as platonism or Platonism are not things which I have ever found in Plato.

    I don’t see why that should mean that I must tell you what Plato thought. Plato wrote on a wide number of subjects, so telling you what I believe Plato thought would take a book.

    Look – if anyone can find an example of Plato or Aristotle saying anything that implies that a real rabbit is an approximation of an Ideal rabbit (whatever that might mean) then I will happily withdraw.

    Like

  12. Robin Herbert

    Or, indeed, anyone identifying as a Platonist claiming that real rabbits are approximations of Ideal Platonic Rabbit, or anything that would imply a position anything like that. Then at least I will be able to read this alleged position in the words of someone who espouses it.

    Like

  13. ejwinner

    l myself will clarify: There is 2000 years of Catholic theology that has defined god to a rigid T (and have even given him a mathematical form, the Trinity); so if what DM claims is true, then this god must ‘exist’ in some ‘alternative universe;’ except that, one of his identifiers is the capacity to be everywhere at all times, which means that he must also be the god of this universe, even if he chooses not to inhabit it for the moment.

    Along not entirely unrelated lines of thought: It maybe possible – I’m willing to be corrected by Massimo on this – that an implication of a biological Platonism, carried to its logical extreme (in at least a certain direction) would necessarily lead to some argument for Intelligent Design.

    Liked by 1 person

  14. michaelfugate

    Robin, now I am baffled.

    When one talks of good old fashioned Platonism, I wonder what it is that they are talking about. Do they mean “If, like Aristotle, you treat all flesh-and-blood rabbits as imperfect approximations to an ideal Platonic rabbit” or “following the dictionary definition of essentialism, that the essence of rabbitness is “prior to” the existence of rabbits” as many appear to do then I would suggest that we are more or less wasting our time as I don’t think these represent the opinions of anybody, certainly not Plato or Aristotle.

    When you said this, what was it supposed to mean? What is the true opinion of Plato on this subject of rabbits?

    Then I go to “Plato” at the SEP and find a heading “Plato’s Central Doctrines” :

    The world that appears to our senses is in some way defective and filled with error, but there is a more real and perfect realm, populated by entities (called “forms” or “ideas”) that are eternal, changeless, and in some sense paradigmatic for the structure and character of the world presented to our senses. Among the most important of these abstract objects (as they are now called, because they are not located in space or time) are goodness, beauty, equality, bigness, likeness, unity, being, sameness, difference, change, and changelessness….

    Huh?

    Liked by 2 people

  15. wtc48

    Robin: “All we can say, ultimately, is that there is something which keeps these observations consistent from mind to mind. But it would be perverse to object to the statement “The Moon exists” on that basis.”

    It seems to me that scale is important. On our scale, the Moon is a big solid object, as it certainly would be for any living organism on this planet, but there are entities for which the Moon would be mostly space, that could go right through it without knocking against anything solid. We are pretty much prisoners of our own scale of things, which we take for granted most of the time, but it’s also good to acknowledge how much our perception of reality depends on relative size.

    Like

  16. Robin Herbert

    Hi DM,

    ” the prevailing view that Plato really did believe in ideal forms such as Platonic rabbits,”

    I don’t even know if that is the prevailing view. I hope not, it would be depressing if it was. For a start “ideal form” would simply be a tautology on differing translations of words like: ἰδέα. It would be like saying “ideal ideas”. “formed forms” or “shapely shapes”.

    Like

  17. Robin Herbert

    Hi Michael,

    What does that have to do with anything I said? What is there in that SEP article that implies that Plato would have thought that a real rabbit was an approximation of an ideal rabbit, or anything like it?

    Huh?

    Like

  18. SocraticGadfly

    Fuller version, correct verb:

    As I was headed to St. Ives
    I Metaphysician with seven Wives;
    Each Wife had Parapsychologist;
    Each Parapsychologist had Parakeet;
    Each Parakeet had Parathyroid;
    Each Parathyroid had Parasite;
    Each Parasite had Paramecium;
    Each Paramecium had Paramyxovirus.
    I know where I was headed;
    How many Idealistic Companions were leaving St. Ives?

    Liked by 2 people

  19. Robin Herbert

    For a start you could maybe notice the distinction between words like ” goodness, beauty, equality, bigness, likeness, unity, being, sameness, difference, change, and changelessness.” and words like “rabbit”.

    Like

  20. Robin Herbert

    Hi Socratic,

    “Really? So, Robin, you also think that real chairs are not an approximation of The Ideal Chair in Platonism, to get away from rabbits?”

    No, I don’t think that real chairs are an approximation of The Ideal Chair in Platonism

    Nor do I think that real chairs are the approximation of the ideal chair in Platonism (see the article that Michael linked for the comment on spurious capitalisation of these things by commentators of Plato).

    On the other hand we may well make a distinction between a specific instance of a chair and the form “chair”.

    Like

  21. SocraticGadfly

    I agree in part/disagree in part on the capitalization, and I re-grokked the SEP article on Platonism as well as the one on Plato. But, per your own note, platonism is not the same as Plato. And while Plato himself may not have believed in The Ideal Chair, or The Ideal Rabbit, he may have.

    I used the capitalization, with or without the word “form” or “idea,” to make clear if not otherwise so, that we are talking about such. And, I think some other commenters do the same, not out of any “exaltation” of them, or of the Ideal Lark group.

    As for Michael’s quote, it begins: Among the most important of these abstract objects … as in these are not the only objects noted, just the most important.

    Like

  22. synred

    If, like Aristotle, you treat all flesh-and-blood rabbits as imperfect approximations to an ideal Platonic rabbit”

    Forgive my ignorance, but that doesn’t sound like Aristotle …

    I’m trying to read the math phil paper Dan linked to try to understand what Mathematicians mean by Platonism.

    Like

  23. Robin Herbert

    “Forgive my ignorance, but that doesn’t sound like Aristotle …”

    No, as I was saying before Aristotle rejected the idea that the form of something is a thing in itself (as in the third man argument). Even if that could be said of Plato’s ideas it certainly could not be said of Aristotle’s.

    Like

Comments are closed.