Jason Cawley
Wolfram Science Group
Phoenix, AZ USA
Registered: Aug 2003
Posts: 712 |
Some further comments on all of this, prompted by a private exchange with Neal Stephenson on Leibniz and monads compared to CAs.
Neal wrote "It's important to be clear on exactly how they differ. A monad has the ability to perceive all of the other monads in
the universe. The sum of its perceptions defines its state. Its state serves as the input to an internal rule, characteristic of that monad. This rule determines how the monad will act in response to a given state. When the monad acts, then, its actions are perceived by all of the other monads, causing changes in their internal states, etc., etc."
Right. What this means is that for every monad, there is for every state of the universe, some new internal state of the initial monad. Since "state of the universe" is a summation over all monads, it means the "complexity" of the input to the rule for each smidgen of the universe is the power set of the universe. Since Leibniz allows all of these rules to differ, you get another power again - though as Neal notices, since you already have the
power set of the universe, this additional "degree of freedom" is not strictly necessary.
But it is Neal that notices, not Leibniz. Leibniz explicitly says "there are never in nature two beings which are exactly alike, and which it is not possible to find a difference either internal or based on an intrinsic property" - Monadology 9. He does not say "or on extrinsic relations". Leibniz's statement would, moreover, come as news to laser engineers (quantum indistinguishability being fundamental to that real physical effect). That is, it may have seemed a reasonable philosophic principle but it just happens to be wrong.
There is also something a little unsatisfying about it as a supposed rule specification. There is nothing miraculous that one could imagine that would not be allowed as a supposedly "necessary" consequence of an input the size of the power set of the universe. (Especially since, for Leibniz, each of these is also strictly infinite, as I will show below).
While this serves Leibniz's purpose of obscuring the distinction between "spontaneous" and "foreknowable to God", it has little to do with the simple program idea. It is instead a "maximally complicated program" idea. If one likes, one can notice that all simple programs are proper subsets of, or restrictions on, a maximally complicated one. Not terribly meaningful to me, but true enough, fine.
CAs are certainly well defined with dependence on neighbors farther away than "immediate". In principle, there is nothing wrong with extending dependence to any arbitrary finite number of other states within the system. The CA idea does require them to be finite. Also, the simple program idea is that you really don't need to go all the way to the end of the universe to get interesting behavior. Which is after all comparatively trivial - you import complexity rather than explaining how it appears.
Neal wrote "In a typical CA scenario there is only one rule. So one could argue that monads are not CAs because they can have different rules. But it is easy to envision an experiment similar to the ones in NKS in which, however, the rule was allowed to vary from one cell to another."
True. Wouldn't be a CA as usually defined, would be a finite state machine (if the number of elements is finite), and as a generalization of a CA there is no reason to quibble about its title. I think it is more to the point to ask what more this additional degree of freedom actually gets one. It dissolves regularity. For any given previous state, it also is well defined only in one direction (casually "forward") - since you've got way more than enough to specify any output that can come next. A rule that ignores all previous states and just assigned new state X at cell A, and Y and cell B, qualifies. But doesn't correspond to our intuitive sense of a "rule", though.
The point is that overproviding degrees of freedom keeps only the names from the more restricted case of an actual rule. The actual rewrite rule can be anything, and it "fits the definition". That is a sign of a definition with weaker logical content.
(Neal asked for a reference to infinite divisibility in Leibniz).
Monadology 64-5. "The machines of nature, however, that is to say, living bodies, are still machines in their smallest parts ad infinitum. Such is the difference between nature and art, that is to say, between Divine art and ours. 65. The author of nature has been able to employ this divine and infinitely marvelous artifice, because each portion of matter is not only, as the ancients recognized, infinitely divisible, but also because it is
really divided without end, every part into other parts, each of which has its own proper motion. Otherwise it would be impossible for each portion of matter to express all of the universe." - Leibniz
He needs to project the entire universe into the microcosm, so he allows real infinite divisibility. In our modern terms, the allowed information content of a single monad must be as large as the allowed information content of the universe. Since the latter is specified by the power set of the universe, only continuous infinity will serve. (I suspect Leibniz noticed the need for "infinity", but not the distinction "continuous vs enumerable infinity". Whether he noticed the need for it or not, he provided it in his picture of things).
This is not classic atomism, but a conscious rejection of materialist
atomism. Atomism was associated with the materialism of Lucretius, with a finite number of atom types (Leibniz instead has an infinite number of different monads), with form (Leibniz's are formless), in void (Leibniz's are a "plenum" or continuum). Leibniz is not just "turning that around", because Lucretian materialism was not the dominant view - idealism was, and had been from Anaxagoras's first speculations on universal mind down to Descartes.
The model for monads is not atoms (as physical, extended, hard material objects of definite shape flying through void) but soul-like or mind-like mathematical points. They are no more required to be finite than the number of points in space are. Leibniz developed mathematical infinitesimals not as a means of reducing continuous quantities to atoms, but with the idea that infinite divisibility is a real phenomenon, and not simply a mathematically abstraction. That is why I said before that Leibniz's notions remind me of continual fields.
"you can't talk about them without granting that there is a limit to
divisibility."
Simple, he said. Leibniz regarded them as the ultimate constituent parts of the universe, as point like, but as without extension or materiality. They are atomic in the sense of simple, yes, and he calls them the "true atoms of the universe". But they are not finite, material, or extended. He explicitly says they are without form.
Is it incoherent to think of free will or intelligence as emergent properties, rather than going all the way down?
Whether free will and consciousness are emergent properties or elemental properties of the ultimate constituent parts, is the exact point in dispute. Leibniz rejected the "emergent" possible answer to that question simply because he could not see how something like consciousness could be an emergent property. Now this simply does not follow. An inability to see how to do something is not a proof that thing is impossible.
(You might semantically rest an "incoherent" on a definition of "free will". No theory has to match a definition, however, only the phenomenal givens. Which includes the apparent freedom of the will, but not some definition of "truly free" or what have you).
What is incoherent about consciousness as an emergent property? Leibniz's own thought experiment of the mill shows how it could be an emergent property. It simply resides in the arrangement of the parts, rather than within any of the parts themselves. Each of the parts can be as material as you like. Their arrangement is formal, and is not reducible to those parts.
To assume the whole can only have a property if that property is present in each of the parts is known in philosophy as the fallacy of composition. It is known that in general it does not follow. Some other reason must in each case be supplied, to make such an inference.
Arranged wholes can and do regularly have additional properties, due to the arranging alone, that are not found in any of the constituent parts, taken separately. This is beyond dispute. What may be disputed is whether consciousness is like that, or goes all the way down. But nothing has been offered here by Leibniz, to rule out the emergent hypothesis as one possible answer to that question.
It may make more sense to you. It may seem more plausible, or your hunch about how it really works. But this is quite different from claiming to have shown that the emergent hypothesis is "incoherent". Nobody has ever shown any such thing.
(The question arose of souls and minds in Leibniz, and what he really meant about them)
He distinguished souls from minds. Soul is a lesser thing, a criterion more easily met.
"While souls in general are living mirrors or images of the
universe of created things, minds are also images of the Deity himself or of the author of nature. They are capable of knowing the system of the universe, and to imitate it somewhat be means of architectonic patterns, each mind being like a small divinity in its own sphere... the totality of all spirits must compose the city of God". - Leibniz, Monadology 83
Even monadic pre-life is microcosmic in the sense that everything about the universe is projected down onto the smallest bit. But it is not microcosmic in the sense of "knowing the system of the universe". The data transmit, if you like, but not the laws. Finite mind has access, in addition to the data, to the laws or patterns in the data, and as such are microcosmic in the "knowing" sense, as well. Though with an element of abstraction or finiteness in that knowing. Whereas God tout court has the data and the laws infinitely. That is, his scheme is -
Infinite data - any monad
Finite laws - any mind
Infinite laws - infinite mind
(Neal mentioned Newton's discussion of "vegetable spirit")
The term is actually from Aristotle. He distinguished in De Anima between the vegetative soul - responsible for life as opposed to death - the sensuous soul - responsible for sensation or we might say consciousness - and the mind or intellect, we might say intelligence. Plants have the first but not the other two, animals have the first two but not the third, humans have the third - in the traditional view. Compared to this received picture, Leibniz is ascribing something akin to the first even to rocks (the idea of "stupor" as the analog or cause of apparently lifelessness).
As for death, Leibniz simply denies its reality - living things can be
"stunned" for long periods of time, but there is no real death in Leibniz. Since it is not the composition that is the source of life, but the simple constituent parts, this follows from the whole set up. Death is obviously the disarranging of a composition. If that composition is not essential, neither is its disarrangement.
Fun stuff. I do think that Leibniz was "weirder" by our typical present sense of things that Neal sometimes seems to read him, but I understand why he does so. It is perfectly normal to notice the suggestive similarities and points of convergence, or to take from a thinker the ideas that fit with our present ones from other sources. In the history of thought, highlighting peculiarities is usually the focus instead. It is about the variety seen across a large number of historical figures, so one harps on specific differences. Each can enrich our understanding of both present problems and previous thinkers.
Report this post to a moderator | IP: Logged
|