Sunday, 10 February 2019

Max Tegmark, Our Universe is Not Mathematical




The first thing to say is that the claim that “the universe is mathematical” hardly make sense at a prima facie level. It's not even that it's true or false. So this must surely mean that it's all about how we interpret such a claim.

Despite saying that, sometimes it's hard to express (or even understand) precisely what Max Tegmark's actual position is. Can we say that reality (or the world) is mathematics or mathematical (as in the “is of identity”)? That reality is made up of numbers or equations? That reality instantiates maths, numbers or equations? Or should we settle for Tegmark's own very radical words? -

The Mathematical Universe Hypothesis... at the bottom level, reality is a mathematical structure, so its parts have no intrinsic properties at all! In other words, the Mathematical Universe Hypothesis implies that we live in a relational reality, in the sense that the properties of the world around us stem not from properties of its ultimate building blocks, but from the relations between these building blocks.” 

[See later comments on Carlos Rovelli, Lee Smolin and relational theory.]

To put the case formally and as clearly as possible: Tegmark believes that physical “existence” and mathematical existence are “one the same” (which is a phrase he often uses) – they equal one another. More specifically, Tegmark stresses “structures”. Thus if we have a mathematical structure, it must exist physically as well. Or, more strongly, all mathematical structures exist physically.

The Unreasonable Effectiveness of Mathematics

Tegmark mentions Eugene Wigner a couple of times in his book and he's clearly inspired by his well-known question.

Wigner once wrote:

The miracle of the appropriateness of the language of mathematics for the formulation of the laws of physics is a wonderful gift which we neither understand nor deserve.”

As for the “miracle” of mathematics and its applications:

It is difficult to avoid the impression that a miracle confronts us here, quite comparable... to the two miracles of laws of nature and of the human mind's capacity to divine them.”

And then we have the question which Tegmark quotes a couple of times in his book:

The enormous usefulness of mathematics in the natural sciences is something bordering on the mysterious and... there is no rational explanation for it.”

Albert Einstein also asked the same question in the following:

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?”

However, Einstein's conclusion appears to be radically at odds with both Wigner's and Tegmark's:

[...] 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.”

So Does the “unreasonable effectiveness” of electricity or roads also “demand an explanation”? That ironic question is asked because there are indeed explanations of maths effectiveness. However, I feel that they won't satisfy Max Tegmark (or Eugene Wigner for that matter).

The Mathematical Universe Hypothesis

The drift of Tegmark's central position is that the only way we can justify our belief in a mind-independent reality is to accept that it is mathematical. As it stands, of course, that almost seems like a non sequitur. Tegmark does provide some argument for this position; though very little. Indeed only a small part of his book (Our Mathematical Universe: My Quest For the Ultimate Nature of Reality) is devoted to this central thesis.

Perhaps Tegmark is not alone in his position. Take this very Tegmarkian utterance from the physicist Brian Greene in which he deprecates what Tegmark calls “baggage”:

"The deepest description of the universe should not require concepts whose meaning relies on human experience or interpretation. Reality transcends our existence and so shouldn't, in any fundamental way, depend on ideas of our making."

Interestingly enough, Tegmark's juxtaposition of mathematical realism with metaphysical realism was preempted by Hilary Putnam in 1975. Putnam spoke of Wigner's “two miracles”: i.e., the power of mathematical descriptions of the world and the mind's “capacity to divine them”. Putnam concluded that in order to be a metaphysical realist and a believer in mind-independence, one must see the world as mathematical. (This is part of Putnam's “indispensibility argument”, which is not strictly platonic in any way.)

Tegmark's position on the mind-independence of reality is different to most positions advanced by metaphysical realists. Reality is not mind-independent in the metaphysical realist's sense. It's independent of human beings (or minds) simply because it's an abstract mathematical structure. Thus this has little to do with whether reality is observed; the way it's observed; its verification; etc. Reality is independent of human beings even if (or when) humans observe it.

So let me sum up that in a basic argument:

i) Mathematics is mind-independent.
ii) All non-mathematical descriptions of reality are mind-dependent.
iii) Therefore in order to achieve a true mind-independent description of reality, one must only use mathematics (or mathematical structures) to do so.

One part of Tegmark's argument is that if a mathematical structure is identical (or “equivalent”) to the physical structure it “models”, then they're one and the same thing. Thus if that's the case (that structure x and structure y are identical), then it makes little sense to say that x “models” - or is “isomorphic” with - y. That is, x can't model y if x and y are one and the same thing.

Tegmark applies what he deems to be true about the isomorphism of two mathematical structures to the isomorphism between a mathematical structure and a physical structure. He gives an explicit example:

electric-field strength = a mathematical structure


' [If] [t]his electricity-field strength here in physical space corresponds to this number in the mathematical structure for example, then our external physical reality meets the definition of being a mathematical structure – indeed, that same mathematical structure.”

In any case, if x (a mathematical structure) and y (a physical structure) are one and the same thing, then one needs to know how they can have any kind of relation to one another. This truism displays the problem:

(x = y) ⊃ (x = x) & (y = y)

In terms of Leibniz's law, that must also mean that everything true of x must also be true of y. But can we observe, taste, kick, etc. mathematical structures?

In addition, can't two structures be identical (if not numerically identical) and yet separate?

All this is perhaps not the case when it comes to mathematical structures being compared to other mathematical structures (rather than something physical). Yet if the physical structure is a mathematical structure, then that qualification doesn't seem to work.

All this is also problematic in the sense that if we use mathematics to describe the world, and maths and the world are the same, then we're essentially either using maths to describe maths or the world to describe the world.

In addition, Tegmark's Mathematical Universe Hypothesis (MUH) is certainly played down by Israel Gelfand when he writes:

There is only one thing which is more unreasonable than the unreasonable effectiveness of mathematics in physics, and this is the unreasonable ineffectiveness of mathematics in biology.” 

In the end, Tegmark is telling us what physicists have always believed about the importance of mathematics when it comes to describing the world. However, he's adding the perhaps unjustified conclusion that both “structures” are one and the same thing.

Platonism/Pythagoreanism

It's easy to see that Tegmark's position is pythagorean or platonist in that it stresses mathematical entities. However, it is platonist (at the least) in a much stronger sense in that it states that only mathematical objects or structures exist. (Whether Plato held that position is for others to decide.) As a consequence of this, Tegmark's position must also be a form of monism in that literally everything is deemed to be mathematical. (Just as former monists believed that reality - or the world - was all “spirit”, matter, “neutral” or God.)

Tegmark is at his most platonic and radical in the following passage:

... a complete description [of external physical reality] must be devoid of any human baggage. This means that it must contain no concepts at all! In other words, it must be a purely mathematical theory, with no explanations or 'postulates'...”

Yet how can one even construct a single thought without “no concepts at all”?

Thus when Tegmark talks about mathematics, it's clear that he's stressing that it is in no way “human”. That it's not what he calls “baggage”. Yet even if mathematics is an abstract Platonic realm, it is still human beings that gain access to it. It's still human beings that give such abstract objects and equations names or symbols. It's still human beings that make use of these abstract entities. And it's still human beings who may be getting it all wrong.

In terms of detail, we can ask if Tegmark is correct to say that time and space are “purely physical objects”. He says the same about “curvature” and particles.

Thus when Tegmark says that a dodecahdron was never created, he's saying what Plato might have said. Similarly, when he says that dodecahedron doesn't exist in space or time at all, that too is pure Plato. To quote the New Scientist:

A dodecahdron was never created, says Max Tegmark of the Massachusets Institute of Technology. A dodecahedron does not exist in space or time at all - it exists independently of both. Space and time themselves are contained within large mathematical structures, he adds. These structures just exist; they cannot be created or destroyed.”

Of course Tegmark adds to Plato when he also argues that such things as “space and time themselves are contained within large mathematical structures”. The purely platonic statements are easy to grasp (at least because they've been on the table for two thousand years); though Tegmark's addition of space and time to the Platonic world is (as it were) harder to grasp.

Tegmark also says that “the rectangular shape of this book [doesn't] count” when it comes to “geometrical patterns such as circles and triangles” and their being “mathematical”. So why don't “human-made designs” count? In addition, is it really the case that the “trajectory” which results from our “throwing a pebble [and] the beautiful shape [a parabola] that nature [then] makes” is more precise, symmetrical and exact than anything we human beings can construct, as Tegmark claims?

This reminds me of problem the mathematician Richard W. Hamming notes when he writes the following:

We select the kind of mathematics to use. Mathematics does not always work. When we found that scalars did not work for forces, we invented a new mathematics, vectors. And going further we have invented tensors... Thus my second explanation is that we select the mathematics to fit the situation, and it is simply not true that the same mathematics works every place.”

Thus non-platonic geometrical patterns are deselected according to Tegmark's platonic vision. That is, they don't fit the mathematics. Platonic shapes, patterns, etc., on the other hand, are “select[ed]” instead and other mathematics is used to “fit” more convenient “situation[s]”. In that case, those non-Platonic patterns or shapes aren't in Tegmark's “reality”. Doesn't that create a problem for the oneness of mathematics and reality? This also means that the “mathematics at hand does not always work”. At least it doesn't (if we follow the logic of Richard Hamming) until a new maths is utilised.

In addition, if particles, etc. are “mathematical objects”, then aren't we using mathematics to describe, plot or explain mathematics? Is mathematics, therefore, describing itself? Is it the case that we never get out of the circle of maths? Perhaps Tegmark likes that idea.

Platonic Structuralism

Tegmark's position seems to be a fusion of (ontic) structural realism and mathematical structuralism. Indeed, in one of his notes, he acknowledges John Worrall's structural realism thus:

In the philosophy literature, John Worrall has coined the term structural realism as a compromise position between scientific realism and anti-realism; crudely speaking, stating that the fundamental nature of reality is correctly described only by the mathematical or structural content of scientific theories.”

As for platonic mathematical structuralism, Tegmark's most clear exposition of his position is the following passage:

The notation used to denote the entities and the relations is irrelevant; the only properties of [for example] integers are those embodied by the relations between them. That is, we don't invent mathematical structures – we discover them, and invent only the notation for describing them.”

The platonic part of the above passage is expressed in the final sentence about our discovery of abstract entities. (That sentence doesn't logically follow from the proceeding words.) Tegmark also says that a structure is “a set of abstract entities” How can that be? Surely entities (or elements) are parts of structures. The structure may well be derivative of the relations of the entities (to each other). However, there's still a distinction to be made here. A set of abstract entities is, well, a set, not a structure. Unless Tegmark takes sets and structures to be one and the same thing.

Tegmark is also both a mathematical structuralist and a mathematical platonist. Indeed this position exists in mathematical structuralism itself and it's opposed to Aristotelian mathematical structuralism; though it's not necessarily identical to Tegmark's own position.

In terms of the specific platonist position: mathematical structures are deemed to both abstract and real. This position is classed as ante rem (“before the thing”) structuralism. The platonist position on structures can be characterised as the position that structures exist before they are instantiated in particular “systems”. The Aristotelian position on structures, on the other hand, has it that they don't exist until they are instantiated in systems.

To explain the platonist position one can use Stewart Shapiro's own analogy. In his view, mathematical structures are akin to offices. Different people can work in a particular office. When one office worker is sacked or leaves, the office continues to exist. A new person will/can take his role in the office. Thus offices are like mathematical structures in that different objects can take a role within a given structure. What matters is the structure – not the objects within that structure.

Nonetheless, the people who work in offices are real. The idea of an office which is divorced from the people who work in it is, of course, an abstraction. Thus one may wonder why the office/structure is deemed to be more ontologically important than the persons/objects which exist in that office/structure. Surely it should be the other way around.

Tegmark also seems to fuse his position with that of relational theory. Indeed the former (platonic) mathematical structuralism can be seen as being an example of relationism (or vice versa). For example, Tegmark says that

[t]o a modern logician, a mathematical structure is precisely this: a set of abstract entities with relations between them. [He then cites the integers and “geometric objects” as examples.]”

And, on page 267, he sounds very much like Lee Smolin and Carlo Rovelli when he tells us [as quoted at the beginning] that

the Mathematical Universe Hypothesis implies that we live in a relational reality, in the sense that then properties of the world around us stem not from properties of its ultimate building blocks, but from the relations between these building blocks.”

Tegmark's Examples of the Use of Numbers

Tegmark keeps on supplying us with examples of what numbers do and what functions they serve in physics. Yet he does so without going into much (or even any) detail as to why the world itself is mathematical. We're told about numbers “representing” letters in computers; how pixels are “represented by numbers”; how the “strengths of the electron field and the quark field relate to the number of electrons and quarks at each time and space”; etc. In more detail, Tegmark says

[that] there's a bunch of numbers at each point in spacetime is quite deep, and I think it's telling us something not merely about our description of reality, but about reality itself”.

Yet Tegmark appears to contradict himself. At one point he says that a field “is just [ ] something represented by numbers at each point in spacetime”. Here we have both the words “something represented” and “is just”. More clearly, we have a field which is “represented by numbers” and “just is” - the latter two words implying that all we have is numbers. Again, Tegmark says that the magnetic field is “represented” by “three numbers at each point in spacetime”. Yet he doesn't say that the magnetic field is a set of numbers (or even a “structure” which includes numbers).

Tegmark also cites the example of y = x2 describing the parabola and x2 + y2 = 1 describing the circle. Yet aren't these descriptions of shapes, trajectories, etc., not of numbers or mathematics? Don't the numbers plot the shapes, trajectories, etc, not equal them? Yet that's precisely what Tegmark denies.

In addition, one would be hard pressed to interpret that idea that “space and time themselves are contained within large mathematical structures” without additional information.

Tegmark then indulges in what amounts to number mysticism. For example, he asks: “[W]hy are there 3 dimensions, rather than 4 or 2 or 42?” He also asks: Why are there “exactly 6 kinds of quarks in our Universe?”. But couldn't we just as easily ask: Why are there 101 dimensions, rather than 4 or 2 or 42? Similarly: Why are there 109 kinds of quarks rather than 6?

What do these questions so much as mean? What would acceptable answers (to Tegmark) so much as look like? True, because there are 6 quarks, then only certain (physical) consequences are allowed to occur. The same is true of 3 dimensions. But is Tegmark making another point here?

In addition, is spin or charge really “just a number”? Tegmark connects charge and spin number to lepton number; though the latter seems to belong to a different category. That is, the number of leptons is a very different thing to the numbers we assign to spin and charge – even if the numbers are the same. What we have here (as stated) is number mysticism of the most crude kind. (This kind of number mysticism can be most clearly seen - in my view - when it comes to correlating the Fibonacci sequence with aspects of nature; especially in view of the later Kitty Ferguson quote. See this titillating documentary here.)

Another point worth making is that if numbers can plot anything, that's simply because they can plot everything. That is, if mathematics can explain or describe random events, chaotic conditions, or dynamical systems (which it can), then it can also explain or describe just about everything.

What I mean by this is that it's always said that mathematics is perfect for describing or explaining the symmetrical, ordered and even “beautiful” aspects of nature. Yet the science writer Kitty Ferguson throws a spanner in the works in the following:

The diamond shapes in a sunflower seed-head [are] lop-sided. One had to give tree-trunks the benefit of the doubt in most cases to call them cylinders. The earth bulges and is not a perfect sphere. Natural crystals are not perfect geometric shapes either.” As for mirror symmetry, one side of the human face is not the true mirror image of the other... At the level of elementary particles, we discover a right- and left-handedness about the universe, slightly favoring the left. In the early universe there may have been an infinitesimal imbalance between the amount of matter and the amount of antimatter, an imbalance which has resulted in the universe of matter we see today.... If someone or something had taken the symmetries found in physics and 'corrected' them, we and our universe could not exist.”

Ferguson then carries on with her theme:

The things we build and the art we we create exhibit much more geometry and symmetry than we can find in nature. Are we bettering nature, imposing rationality on a less rational universe?

Roger Penrose also makes the point that mathematical descriptions of the world are often (or always) more “beautiful” than the world itself.

And Richard Hamming chimes in with the following statement:

Humans see what they look for... our intellectual apparatus is such that much of what we see comes from the glasses we put on.”

In terms of my own take on this. If I were to randomly throw an entire pack of cards on the floor, then that mess-of-cards could still be given a mathematical description. The disordered parts of that mess would be just as amenable to mathematical description as its (accidental) symmetries.

Similarly, if I were to improvise “freely” on the piano, all the music I played could still be given a mathematical description. Both the chaos and the order would be amenable to a mathematical description and even a mathematical explanation. Indeed a black dot in the Sahara desert could be described mathematically; as can probabilistic events at the quantum level. It's possible that mathematicians can find different – or contradictory – symmetries in the same phenomenon.

Another problem here is that many philosophers, mathematicians and physicists have said that mathematical physics doesn't use all of mathematics to describe the world. That is, there are large chunks of maths which seemingly don't apply to the world; or, at the least, at present they don't fulfill a purpose in mathematical physics. Yet if maths and the world are one, then why are there (to use Roger Penrose's words) “bodies of maths with no discernible relations to the physical world”? In terms of Penrose's actual examples:

Cantor's theory of the infinite is one noteworthy example... extraordinary little of it seems to have relevance to the workings of the physical world as we know it... The same issue arises in relation to... Godel's famous incompleteness theorem. Also, there are the wide-ranging and deep ideas of category theory that have yet seen rather little connection with physics.”

Here again, according to Tegmark's position, this split can't be real. If mathematics and the world are one, then it doesn't make sense to say that there are parts of maths that aren't applicable to the world. Having said that, it still seems acceptable to argue that we can have parts of mathematics that aren't applicable to the world and yet still accept that the world is mathematical.

Conclusion

Is mathematics seen (if tacitly) as God's language? Did God write the “book” which Galileo referred to? Indeed is this assumption implicitly behind much of what Tegmark and others argue?

Of course the precise relation between mathematics and the world (or reality) has been debated for a long time. As we have seen, this isn't such a big problem for Tegmark for the simple reason that he believes that mathematics and the world are one and the same thing.

**********************************



Tuesday, 29 January 2019

The Physicist Sean Carroll on (Scientific) Emergence



Sean Carroll is a physicist, cosmologist and research professor at the Department of Physics at the California Institute of Technology. 

In 2010, Carroll was elected as a fellow of the American Physical Society for "contributions to a wide variety of subjects in cosmology, relativity, and quantum field theory and public science education".

This piece itself is based primarily on Carroll's book The Big Picture: On the Origins of Life, Meaning and the Universe Itself (2016). The chapters entitled 'Reality Emerges' and 'What Exists, and What Is Illusion?' are particularly relevant.

It may be worth noting here that at various points in the following I found it hard to distinguish whether or not Sean Carroll was simply explaining/describing a theory/position or endorsing it. Perhaps that's because his primary purpose (at least in these instances) was educational.

***********************************

It's the case that just about all scientists accept some kind of emergence. The kind they accept is usually classed as “weak emergence”. Indeed the philosopher Mark A. Bedau has said that “the notion of weak emergence is metaphysically benign”.

Physics (if we can speak in the singular) itself has its own definitions of emergence. Take this one:

"An emergent behavior of a physical system is a qualitative property that can only occur in the limit that the number of microscopic constituents tends to infinity."

In terms of examples. Biologists tend to see life or biology as an emergent property of chemistry. In chemistry itself it's believed that new properties are formed due to chemical reactions and suchlike. And in physics it's said that the properties of water (or even water itself) are emergent in the sense that they're unpredictable even after gaining knowledge of all the properties of its constituent atoms (of hydrogen and oxygen). In addition, in continuum mechanics we have the emergent properties of elasticity, viscosity, tensile strength, etc. Above and beyond all this are the examples which Sean Carroll himself cites in his book and elsewhere. Basically, there is a huge number of emergent properties in the natural world.

Strong emergence particularly often describes the whole's (or the system's) impact on its parts. That's sometimes categorised as “downward causation”. However, it can be said that there's no necessary link between strong emergence and downward causation, even if it strong emergence does occur.

The physicist Philip Anderson puts the case for strong emergence here:

At each stage, entirely new laws, concepts and generalisations are necessary... Psychology is not applied biology, nor is biology applied chemistry.”

Murray Gell-Mann seems to strike a middle-way between strong and weak emergence in the following quote. Here's the hint at strong emergence:

[I]t's essential to study biology at its own level, and likewise psychology, the social sciences, history, and so forth, because at each level you identify appropriate laws that apply at that level.”

And then Gell-Mann also hints at weak emergence:

Even though in principle those laws can be derived from the level below plus a lot of additional information, the reasonable strategy is to build staircases between levels both from the bottom up (with explanation in terms of mechanisms) and from the top down (with the discovery of important empirical laws). All of these ideas belong to what I call the doctrine of 'emergence'.”

The philosopher Mark A. Bedau, on the other hand, puts the argument for suspicion of strong emergence when he writes:

Although strong emergence is logically possible, it is uncomfortably like magic. How does an irreducible but supervenient downward causal power arise, since by definition it cannot be due to the aggregation of the micro-level potentialities? Such causal powers would be quite unlike anything within our scientific ken. This not only indicates how they will discomfort reasonable forms of materialism. Their mysteriousness will only heighten the traditional worry that emergence entails illegitimately getting something from nothing.”

Sean Carroll on Strong Emergence

Sean Carroll offers us us a definition of strong emergence. He tells us that

[i]n strong emergence... [w]hen many parts come together to make a whole, in this view, not only should we be on the lookout for new knowledge in the form of better ways to describe the system, but we should contemplate new behaviour".

He continues:

In strong emergence, the behaviour of a system with many parts is not reducible to the aggregate behaviour of all those parts, even in principle.”

Yet if the emergent theory gives us “new knowledge”, and also shows us “new behaviour” (as Carroll puts it), then surely there must be new things (or new conditions) and therefore a new ontology too.

As an example of strong emergence, Carroll cites an example from condensed-matter physics:

... condensed-matter physicists have long argued that we should think of emergent properties as truly new, not 'merely' smeared-out versions of some deeper description.”

As for a specific example:

Everyone working on the problem [of high-temperature superconductors] believe that such materials are made out of ordinary atoms, obeying ordinary microscopic rules; knowing that has been of essentially zero help in guiding us toward an understanding of why high-temperature superconductivity happens at all.”

Clearly the words “truly new” mean that it's not simply a new (or different) way of looking at the same thing: it is a truly new thing (or condition) which is being discussed.

Carroll also obliquely mentions “downward causation” when it comes to emergent systems. Or, less explicitly, he mentions the causal effects of a whole (or a system) on its parts. Carroll uses the example of a person to do so when he writes:

A strong emergentist will say: No, you can't do that [predict the behaviour of an atom in the skin on the tip of a finger]. That atom is part of you, a person, and you don't [predict the behaviour of that atom without understanding something about the bigger person-system. Knowing about the atom and its surroundings is not enough.”

Elsewhere Carroll states that downward causation is what happens when the

behavior of the parts is actually caused by the state of the whole, in a way not interpretable as due to the parts themselves”.

Carroll again describes downward causation1 when he says that

there is an effect on that atom by the larger system of which it is a part – an effect that cannot be thought of as arising from all of the other atoms individually”.

We can accept that parts are affected by wholes/systems (or that wholes/ systems affect their parts). However, these wholes/systems may still be nothing over and above the sum of their parts. (Though here we're ignoring environmental or external effects on a whole or on a system.)2

Higher Level or Emergent Properties?

At many points when Carroll speaks of “emergent properties”3 one suspects that the words “higher-level properties” would work just as well. (Indeed Carroll himself interchanges these terms.) That is, perhaps it's the case that not all (or even any) higher-level properties need also be seen as emergent properties. Indeed, to a non-physicist, it may seem strange to class “temperature” and “density” as emergent properties (as Carroll does). Why not simply see them as simply higher-level properties? (This, admittedly, may be a difference which doesn't really make much of a difference.)

In one place Carroll cites hurricanes as an example (“just atoms in motion”). Not only that: he compares hurricanes to consciousness in that he concludes: “Why should we treat consciousness any differently?” However, isn't this a bad comparison? Surely a hurricane is perfect example of what's called “weak emergence”; whereas consciousness is often deemed to be a case of “strong emergence”.

Carroll makes a related point when he compares consciousness to water in terms of the latter's “phase transitions” (often also called “phase changes”). Firstly, we have water whose “molecular structure is [] rearranged” (i.e., to form liquid, ice and vapor). And then Carroll says something similar about consciousness.

Perhaps the problem here is Carroll's stance on reductionism. Take Francis Crick when he describes mentality in an often-quoted passage:

'You', your joys and your sorrows, your memories and your ambitions, your sense of personal identity and free will, are in fact no more than the behavior of a vast assembly of nerve cells and their associated molecules.”

Carroll too may misconstrue reductionism when he uses a phrase like “hurricanes are just atoms in motion” (which is like Crick's “are in fact no more than...”). (Hurricanes and water, in Carroll's accounts, can be seen as examples of weak emergence.) Elsewhere, he also says that we can think of ourselves as just “a collection of atoms”. The thing is, not many reductionists think of anything as just "a collection of atoms". They think of any x as a collection of certain types of atoms, forming certain kinds of molecules, forming certain kinds of configurations, forming certain kinds of systems which themselves exist in certain environments and interact with other systems... almost ad infinitum.

Carroll also asks us if

there is something we learn from studying emergent level that we could not understand by studying the microscopic level”.

It can be said (at least at a prima facie level) that of course it must be believed that we can learn something new otherwise emergent theories would be deemed pointless. Thus, at least according emergentists, emergent theories must offer us something new - by definition. It's also the case the emergentists are bound to believe that “we'll learn more (and more quickly) by studying those higher levels themselves” (rather than “lower levels”).

Autonomous Emergent Theories?

Carroll's idea on the “autonomy” of emergent theories is a vital part of his “poetic naturalism”. He tells us that within the approach it's still the case that

there is only one, unified, physical world, but many different ways of talking about it, each of which captures an element of reality”.

The obvious question to ask here is: How do we know if it's the same “element” described by a different theory or a different element entirely?

At a certain level, Carroll's position on emergent theories to some extent mirrors Ludwig Wittgenstein's doctrine of a “language game”. In Wittgenstein's case, language games are autonomous and play by their own rules (as it were). This, to Wittgenstein, had many important philosophical, moral and social consequences. The same appears to be the case with Carroll's position on emergent theories and his poetic naturalism.

Thus Carroll makes a lot of emergent theories being what he calls “autonomous”. He writes:

The emergent theory is autonomous... it works by itself, without reference to other theories...”

Elsewhere, he says that with strong emergence “all stories are autonomous, even incompatible”.

However, in different places, Carroll also stresses emergent theories and their compatibility with non-emergent theories. Indeed Carroll hints at a lack of complete autonomy when he admits (if that's the right word) that “we might learn a little bit about higher levels by studying lower ones”.

It's nonetheless true that an emergent theory needn't explicitly (or even implicitly) refer to more fundamental/basic theories. However, surely it must still have various connections to them. In addition, if we refer back to Hedwig Wittgenstein's language games, why can't autonomous language games (even if they exist) include (or rely on) other language games. Indeed they do!

Carroll also emphasises the “mapping” of a fundamental theory onto an emergent theory in what he calls “course-graining”. Thus how can we have mapping as well as autonomy? Carroll gives the example of “an explicit map from one theory (molecules) to the other (fluid)”. (These are like the “bridge principles” - or “bridge laws” - formulated by philosophers.) Yet it's very clear that such course-graining (or bridge principles) are far less convincing or workable when it comes to mapping mental states to physical states then it is for Carroll's example of molecules and fluid. Indeed Carroll's example works from the fundamental theory (molecules) to the higher-level theory (fluid). Yet, in the philosophy of mind, philosophers have attempted to work the other way around: from mental states (higher-level states) to brain/neuronal states (lower-level states). That is, how easy is it also to map fluid (or states of fluid) to molecules (or systems of molecules) rather than the other way around?

So we must ask if an emergent theory can be truly autonomous. It can indeed be separate; though why also completely autonomous?

In addition, can “different ontologies” liv[e] happily alongside “the same underlying reality”, as Carroll argues? If not, then emergent theories, again, may not be completely autonomous. Indeed Carroll himself says that “emergence is about different theories speaking different languages”: not “deriving one theory from another”.

In a seminar Carroll also uses the word “consistence” in reference to the fit between emergent and more basic theories. Thus how can that consistency between two “autonomous” theories be established?

There are other problems here. Carroll says that an emergent theory can provide us with “an accurate description of the world within its domain of applicability”. Yet can an easier option be to simply say that it is the same domain which has different words, terms, concepts, senses and themes applied to it? This may simply depend, however, on how strongly (or widely) we take the word “domain” to be.

So who says the emergent theories are accurate? Does Carroll simply assume here an accuracy that's essentially guaranteed by the/a more fundamental/basic theory, thus limiting the emergent theory's supposed autonomy? Carroll also assumes compatibility between emergent theories and more fundamental (basic) theories.

Carroll talks about the ether theory. He says that it “served no empirical purpose”. That claim too assumes that a/the fundamental theory must have trumped the emergent theory. (That's if the ether theory was/is about emergence at all.) Surely both “empirical purpose” and accuracy can only be determined and guaranteed by fundamental/basic theories. Thus, again, the emergent theory can't be fully autonomous. (On a sidenote: the ether theory was deemed to “serve an empirical purpose” - at least at one point in scientific history.)

In addition, it simply isn't true that “different vocabularies” imply (or entail) “different ontologies”. At a very crude level, if someone uses the name the “Morning Star” and another person uses the name the “Evening Star”, and both persons know that both names refer to the planet Venus, then we don't have different ontologies on our hands here. Instead, different words, senses, technical terms, etc. can be seen to have the same ontology and therefore the “same underlying reality”. Ontology, after all, is often seen as what is, not as what we say about what is. Having said that, even an anti-realist can happily admit that different vocabularies don't necessarily imply (or entail) different ontologies.

There's also a problem with Carroll's assumption that if emergent theories can display what he calls a “useful role”, then that must automatically stop them from being “illusions”. Thus can we conclude (on Carroll's behalf) that consciousness, for example, plays a useful role and is therefore not an illusion?

What is a useful role anyway? And isn't it the case that on some interpretations illusions can indeed be useful? Can't “white lies”, for example, be useful?

So perhaps we can say that all this talk about “different stories” is really talk about about the practicality and simplicity (or the useful roles) of these emergent theories, rather than their meaty philosophical difference.

Notes:

1) I recently noted an exotic case of downward causation in the films Split and Glass directed by M. Night Shyamalan. In Split, for example, a psychiatrist said that her patients had “changed their biochemstry with their thoughts”. The result? They turned into supermen and superbeasts.

2) The biologist Peter Corning wrote:

"The debate about whether or not the whole can be predicted from the properties of the parts misses the point. Wholes produce unique combined effects, but many of these effects may be co-determined by the context and the interactions between the whole and its environment(s)."

3) Any x can only truly emerge if at one point there was no x and then x emerged from something which was not itself x. So surely that can't be the case with Carroll's examples of water. (Perhaps not even with consciousness.) Instead, as soon as you have a particular set of conditions (say, H2O molecules), then you have x (say, water). This means that x doesn't emerge from those conditions because those conditions never exist without there being the property x. Of course we needn't see emergence in this temporal manner (i.e., not-x, then x); though it's hard to see it otherwise.