Sunday, February 25, 2007

More on God as Genotype

In God as Genotype, I broached the idea that in Douglas Hofstadter's "religion," God is the implicit meaning, the inner message, the seed-genotype of reality's phenotype.

Douglas R.
Hofstadter's
Gödel,
Escher, Bach
Hofstadter is the mathematician-cum-philosopher whose magnificent 1979 book Gödel, Escher, Bach: an Eternal Golden Braid is the subject of my ongoing "Strange Loops" series of posts. To date, they are:


In Hofstadter's Chapter VI, "The Location of Meaning," he (without mentioning God by name) hints that the reality we each bear witness to is a message with an intrinsic meaning. If we call that meaning God, we do no violence to the truth.

Like all messages, reality or truth has three levels of "message-ness." The "frame message" signals that a meaning lies within, waiting for our intelligence to decipher it: it is not mere noise or static buzzing in our ears. Next, the "outer message" conveys, in a manner necessarily distinct from that in which the interior meaning is conveyed, clues to how to decipher the interior meaning. Finally, the "inner message" contains the interior meaning that the source of the message qua message wished to present to whoever receives and decodes the message.

As such, an inner message is like a genotype wherein is found all the requisite information as to how living cells are to proceed to build a canary, say, or how the mind is to construct the infinite Fibonacci sequence of numbers, in which every number is the sum of the previous two. The canary, or the expanded Fibonacci sequence, is the phenotype which the genotype internally codes for.

The relationship of the entire Fibonacci sequence, which is an endless stream of numbers, to their finite numeric "starter set" which acts as frame message, outer message, and inner message, all at once, is easy to see. It is straightforward and quite prosaic. The relationship of a canary or a tiger to its genotype is more exotic, tangled up as it is with the vast number of molecular reactions and biochemical pathways that serve to construct the finished product over time (if it can be said that a canary is ever finished).


The relationship of reality as a whole to its genotype, which I am calling God (and I hope Hofstadter would agree with the appellation), must be yet more exotic than that.

For one thing, a main point of Hofstadter's book is that no formal system (such as one that can manipulate logical symbol strings to generate a list of Fibonacci numbers "typographically"), if it is deemed to be internally consistent and if it is also of a generative power much more impressive than the relatively puny Fibonacci generator, is complete.

If the Fibonacci generator is expanded sufficiently, it can be turned into the entirety of what mathematicians call number theory. If that is done, the resulting formal system will be quite powerful, but it will perforce be unable to derive all the truths about number theory that the human intellect is capable of apprehending!

The Austrian mathematician Kurt Gödel demonstrated in 1931 that such systems cannot help but be incomplete. The theorems they are able to generate, and thus prove, map to true statements, but there are other true statements which do not have theorem-cognates internal to the system — to, that is, the number theory per se.

By extension, no matter what the formal system, if it is at all powerful, then "provability is a weaker notion than truth," writes Hofstadter (p. 19). Still, human intelligence can apprehend the "unreachable" truth beyond what the formal system can derive or prove.

This is a paradox: the human mind is housed in a brain which presumably operates "typographically," i.e., in the same mechanical way that any formal symbol system does its thing. Yet the mind can entertain and apprehend thoughts that properly lie outside its underlying system's power to prove.

Intelligence, accordingly, can reach supposedly unreachable truth. A man's reach exceeds his grasp, or what's a heaven for?

God as Genotype

Douglas R.
Hofstadter's
Gödel,
Escher, Bach
Now, more about Douglas R. Hofstadter's Gödel, Escher, Bach: an Eternal Golden Braid. I started blogging about this marvelous 1979 book with Gödel, Escher, Bach and, following Insight Through Isomorphism and Paradox, I most recently added A Picture of God?.

I have now read the book's first six chapters and am given to understand the next swatch of material ratchets up the technical heat several notches. The book decidedly stretches the intellect.

One of the questions that is always with me as I peruse Gödel, Etc. is how religious is it? Hofstadter himself admits (if that is the right word) in his introductory "Words of Thanks" that
In a way, this book is a statement of my religion. I hope that this will come through to my readers, and that my enthusiasm and reverence for certain ideas will infiltrate the hearts and minds of a few people. That is the best that I could ask for (p. xxi).

On its face, the book may seem to be about anything that what most people would call religion. There is little explicit mention of God. Nothing that I have read so far involves taking anything on faith. Moreover, the tone and style of Hofstadter's writing is much like that of certain leading scientists well known as skeptics and atheists. The agnostic Carl Sagan (God rest his soul) probably ate this stuff up — particularly the discussion in Chapter VI about communicating with extraterrestrial intelligence.

On the other hand, I personally feel very much like sharing Hofstadter's "religion." I feel quite drawn to it, in fact. For one thing, there seems to be something so right about a religion which examines the music of Bach as a profound clue to the nature of reality.

For another thing, the ground rules of Hofstadter's religion seem to be such that there could never be a war between it and science-reason-mathematics-logic. There is only one truth, and one kind of intelligence by which to encounter it.


It is the above-mentioned Chapter VI, "The Location of Meaning," which provides me with my own clue to the nature of Hofstadter's religion. The chapter is an inquiry into the art of deciphering messages. All messages actually have three layers, though in practice the layers can be hard to tease apart. There is the "frame message," within which is the "outer message," within which is the "inner message."

The frame message is that about the message which clues us in that it is indeed a message, full of meaning, and not just some happenstance detritus floating past: it has a meaning, if we can only decipher what it is.

The outer message is that about the message by which we recognize the manner in which it must be decoded. If the sealed bottle that has washed up on our shore contains a piece of paper, and there are marks on the paper, and those marks are in Japanese, then we know that reading Japanese will be the key to deciphering the message.

The inner message is simply the meaning which the bottle-preparer intended to convey to whoever finds the bottle, opens it, and deciphers the message.


One way of understanding the relationship between the outer message and the inner meaning is by a phenotype-and-genotype analogy.

Two DNA strands, wrapped around one another in a double-helix ladder, form a genotype within each living cell. The genotype contains a "meaning" that the ongoing processes of life serve to unfold and reveal as, ultimately, a bodily phenotype: you, or me, or that canary over there. The genotype contains all the requisite information about how the canary embryo turns eventually into a canary and not a tiger. The phenotype — a yellow bird that sings — is to be considered the "outer message" to the genotype's "inner message."

By analogy, the genotype of the endless Fibonacci sequence, in which every number is the sum of the previous two numbers,
[0,] 1, 1, 2, 3, 5, 8, 13, 21, 34, ...

could be taken as the list of the first few numbers in the sequence, up to and including (say) 34. That is, the infinity of Fibonacci numbers beyond 34 are implicit in the finite list of numbers up to and including 34. That finite list can be thought of as the genotype of the entire sequence.

Or, just the bare seed [0, 1] could be considered the genotype, once you twig to the rule for generating each next number in the series — i.e., 0 plus 1 is 1, 1 plus 1 is 2, 1 plus 2 is 3, and so on.

The entire infinity of numbers, including the genotype or seed, is like unto a phenotype. In this example of a Fibonacci sequence, it is pretty easy to see how the phenotype relates to the genotype. In biology, the relationship is more exotic. How could it be that a very long string of DNA "base pairs" codes for a canary? What meaningful role, if any, in "canary-ness" is played by the vast number of molecular transactions that serve to express the genes as the embryo evolves, one day to take flight?


I extrapolate from the above this idea about Hofstadter's God: such a God is, as it were, the genotype to reality's phenotype. Using our intelligence, we can decipher the message here: there is an implicit, inherent "meaning" to all we are witness to. God is a name, as good as any, for that implicit meaning, that inner message, that seed-genotype of reality's phenotype.

Thursday, February 22, 2007

A Picture of God?

Douglas R.
Hofstadter's
Gödel,
Escher, Bach
I've been blogging about Douglas R. Hofstadter's 1979 book Gödel, Escher, Bach: an Eternal Golden Braid, starting with Gödel, Escher, Bach and most recently with Insight Through Isomorphism and Paradox. The book does what its author in his professional life as an academician, and also presumably in his personal life as a human being, does: weaves mathematics, formal logic, cognitive psychology, computer science, artificial intelligence, music and art appreciation, linguistics, philosophy, and maybe even theology into one seamless garment of understanding.

A clue to this weaver's art comes from his discussion of "Gplot" (pp. 140ff.). If you wish to answer the scientific question, "What are the allowed energies of electrons in a crystal in a magnetic field," Gplot is a good place to begin.

Gplot, or
"Hofstadter's
Butterfly"
To the right is an image of Gplot, also known as "Hofstadter's butterfly." You can click on it to see a larger version. The image comes from this web page. More discussion of Hofstadter's butterfly can be found here and here.

The description Hofstadter gives for Gplot in the legend for Fig. 34 on p. 143 of his book reads:
Gplot: a recursive graph showing energy bands for electrons in an idealized crystal in a magnetic field. α, representing magnetic field strength, runs [up the vertical axis] from 0 to 1. The horizontal line segments are bands of allowed electron energies.

The graph is black where available electron energy levels exist; elsewhere it is white. The way it is constructed is interesting. You can make out a sort of butterfly pattern in white, no? If you look carefully, you can also see ever-smaller, distorted versions of the same white butterfly, flitting about all over the graph. Well, in reality the graph is nothing but butterflies surrounding butterflies surrounding butterflies ... all the way down, ad infinitum!

This is what it means for a graph to be recursive. It contains copies of itself within copies of itself within copies of itself, possible without limit.

This graph can also be generated using an algebraic function. The function is likewise recursive: it invokes itself internally. In this case, the recursion must be forced to bottom out at some level well down the algebraic ladder, or the function could never be computed.


Recursiveness and internal self-reference are big with Hofstadter, because they create and illustrate "strange loops":
The "Strange Loop" phenomenon occurs whenever, by moving upwards (or downwards) through the levels of some hierarchical system, we unexpectedly find ourselves right back where we started (p. 10).

In Hofstadter's butterfly, as you move visually "downwards" into finer and finer detail of the graph, you find the same (albeit somewhat distorted, as in a funhouse mirror) butterfly that you see at the topmost level of detail. Then, if you peer into the immediate surroundings of that butterfly, you see a profusion of yet-smaller butterflies. And so on, forever.


Strange loops embody an element of surprise, as you can see. This particular strange loop is all the more surprising because it claims to capture something fundamental about the laws of physics in our world: how electrons behave.

Do electrons really behave in such a way? Is Gplot a lifelike portrait? Maybe, maybe not:
You might well wonder whether such an intricate structure would show up in an experiment [Hofstadter writes on p. 142]. Frankly, I would be the most surprised person in the world if Gplot came out of any experiment. The physicality of Gplot lies in the fact that it points the way to the proper mathematical treatment of less idealized problems of this sort. In other words, Gplot is purely a contribution to theoretical physics, not a hint to experimentalists as to what to expect to see! An agnostic friend of mine once was so struck by Gplot's infinitely many infinities that he called it "a picture of God", which I don't think is blasphemous at all.

Thomas
M. King's
Enchantments:
Religion and
the Power of
the Word
In Enchantment, Zen, and Spiritual Dialogue I began a series of posts on Thomas M. King's Enchantments: Religion and the Power of the Word. King, a Jesuit theologian and teacher, writes of the contrast between higher, ideal worlds and the world we live in. He likens the religious impulse, at its most intense, to denying the material world in favor of a realm of absolute perfection. That denial, a form of enchantment, ultimately fails, which leads a person back through a Dark Night of the Soul to true spirituality.

"A spirit," writes King (p. 158), "is an unsteady alliance of both worlds, enchantment and earth; it is the unity formed of the enchanting other and the earthen self, the Word and the World."


When Hofstadter applauds his agnostic friend's calling Gplot "a picture of God," he is being, by King's lights, spiritual. The mathematics of the graph are, in effect, a higher world. They are pristine and perfect. In this world, however, experimenters most likely would be unable to confirm that the butterflies are there. If not, the problem would perhaps be too much "noise" obscuring the "signal" that is represented by the theoretical mathematics.

The mathematics are transcendent to this "noisy" world of ours, and yet they also constitute a ladder by which we can ascend into that ethereal world of pure "signal," as it were. As we climb this ladder, however, a strange loop in it puts us, quite surprisingly, right back where we started.


An example would be consciousness. I have blogged at length about the human capability for conscious experience, starting with Quickening to Qualia, or Taking Consciousness Seriously (Q2Q I). Our minds not only process information; they also enjoy the subjective feeling of what is like to do so. This subjectivity is consciousness.

Oddly enough, it is possible to conceive of world not our own in which creatures that are in all other ways just like us do not possess consciousness. They would be just as well-adapted to negotiating the perils, pitfalls, and possibilities of their environment, but they would be zombies nonetheless. They would not be able to experience their own good or bad fortune.

Again oddly, it turns out to be impossible to prove whether such zombies, should they exist somewhere, actually possess consciousness. I cannot prove that you are conscious — or, for that matter, that I am. Yet I know that I am, in fact, conscious, and I would bet my bottom dollar that you are too.


Another way to characterize consciousness is as the ability to construct meaning. Meaning for Hofstadter is a matter of leveraging "isomorphism": matching patterns that can be rule-generated within rigorously logical formal systems to true statements about the real world. Isomorphisms are transformations of expressions — statements in natural language, "theorems" in formal systems — that preserve information.

Among the logically rigorous formal systems Hofstadter considers are the mathematics of set theory and number theory. It was shown by the Austrian mathematician Kurt Gödel in 1931 that such systems, provided they are powerful enough to justify making the attempt at all, are intrinsically unable to prove the isomorphic theorem cognates of all true statements about the real world.

"Gödel showed that provability is a weaker notion than truth," writes Hofstadter (p. 19), "no matter what axiomatic [i.e., formal] system is involved."

To learn some truths, accordingly, our minds have to be able to step outside any and all formal systems of proof. We do this all the time, in fact, when we find isomorphisms between symbol systems and truth — even if the process of comparison occurs below the level of our conscious mental operations — and then make a leap to further truths that the symbol systems cannot, strictly speaking, justify.

In jumping out of symbol systems, by making leaps of awareness and faith, we become conscious of truth that lies beyond proof. Yet even so, we are still in, and of, this real, material world. We have simply popped up and out of one tier of butterflies to land back in ... another tier of butterflies.

Thursday, February 15, 2007

Insight Through Isomorphism and Paradox

Douglas R.
Hofstadter's
Gödel,
Escher, Bach
Douglas R. Hofstadter's 1979 Gödel, Escher, Bach, an Eternal Golden Braid: A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll was introduced to this blog in my last post, Gödel, Escher, Bach. Now I'd like to extend my remarks in this post, which is the second in a series that I am labeling "Strange Loops."

That odd phrase reflects Hofstadter's fascination with processes of thought that not only circle back on themselves ad infinitum, but do so in such a way as to create paradox. When Epimenides, a Cretan, said "All Cretans are liars," he introduced just such a strange loop into the human thought stream (see p. 17).

Under the assumption that Epimenides meant "All Cretans always lie," i.e., "No Cretan ever tells the truth," we extrapolate from the fact that Epimenides himself is a Cretan, and therefore presumably a perennial liar, that the truth is in fact that "All Cretans are truth-tellers," i.e., "No Cretan ever tells a lie."

But we're applying Epimenides's statement to Epimenides himself in such a way as to cast him as a lying Cretan from the get-go. Hence it's not true that no Cretan ever lies. Given that either all Cretans always lie or no Cretans ever lie — the fuzzy middle ground is excluded by the crisp rules of this particular game — then it must be the latter proposition which is correct. But that implies that Epimenides himself cannot lie, and so it must be so that he and all his fellow Cretans never lie.

But that makes Epimenides's original statement a lie ... and round and round the logic goes, neverendingly. This is the Epimenides paradox.


Maybe the problem which creates the paradox is that statements made in everyday language can be vague. We can try to strip the vagaries of human language away from this and like paradoxes by replacing statements like (a) "Epimenides is a Cretan" and (b) "Cretans always lie" and (c) "Epimenides said (b)" with symbol strings in formal systems.

Formal systems, says Hofstadter, are ways of producing nothing more than various strings of symbols. The symbols in themselves have no intrinsic meaning that might confuse us. You gin up a formal system by saying what symbols are allowed. In the first formal system Hofstadter introduces (pp. 33ff.), the only allowable symbols are M, I, and U.

The next thing you do is specify one or more starting strings (actually, to be perfectly precise, zero or more). These are axioms. The only axiom in the MIU-system is MI.

You next specify one or more rules of production, a.k.a. rules of inference. By applying one of these rules, some new string can be generated, based on a string you already have. For example, Rule 1 of the MIU-system is that any string ending in I can have U tacked on at the end. Thus, MI can be modified to MIU. Strings that can be generated by applying rules are called theorems.

Rule 2 in the MIU-system is that you may replicate whatever comes after the initial M. Thus, MIU can be altered to MIUIU, making another theorem.

Rule 3 is that III can be replaced with U anyplace it occurs. Thus, MI -> MII (by Rule 2) -> MIIII (by Rule 2, again) -> MUI or MIU (by Rule 3). MUI and MIU are also theorems in this system.

Rule 4 is that UU can be deleted wherever it occurs. Thus, MI -> MII (by Rule 2) -> MIIII (by Rule 2, again) -> MIIIIIIII (by Rule 2, yet again) -> MUIIIII (by Rule 4) -> MUUII (by Rule 4, again). MUUII is yet another theorem in this system.

This formal system is apparently incapable, given the four rules of production and the single axiom MI, of being manipulated to yield MU as one of its theorems! MU is well-formed, in that it begins with M, as all theorems in this system must, and that the remainder of the string is a mix of U's and I's (specifically, one U and zero I's). Yet MU cannot be derived in this particular formal system. (Or if it can, I have not come upon Hofstadter's solution yet.)

That may be a bit surprising: well-formed strings can sometimes fail to be theorems. It becomes not just surprising but downright significant when you consider that some formal systems have meaningful interpretations in terms of the correspondence of theorems with real-world truth.

The MIU-system, as it happens, isn't meaningfully interpretable, but one that is is Hofstadter's pq-system (pp. 46ff.). In the pq-system, the permissible symbols are p, q, and the hyphen. There are any number of axioms, one of which is -p-q--. Another is -p--q---. All of the axioms have the form xp-qx-. Here, x represents some number of hyphens: the same number of hyphens in both places where x occurs in the pattern. The pattern xp-qx- is called an axiom schema.

The only rule of production in the pq-system is that any string of the system, be it an axiom or a theorem, can be lengthened by adding exactly one hyphen to the group between p and q and exactly one hyphen to the group following the q. For example, by this rule -p----q----- can be turned into -p-----q------.

Hofstadter shows that this particular system is capable of meaningful interpretation. Basically, you can substitute the appropriate number for any quantity of successive hyphens — for example, 3 for --- — while p turns into "plus" and q becomes "equals." In that way, -p----q----- can be interpreted as "1 plus 4 equals 5."

Interpretation is the mapping of otherwise meaningless strings to statements that have a chance of being "true" externally to the system itself. In this particular interpretation of the pq-system — as having to do with real-world addition — all theorems map to true statements involving adding two numbers. Because the pq-system as a system is capable of at least one meaningful external interpretation along these lines, it differs from systems like the MIU-system which apparently have no meaningful interpretations.

The pq-system has at least one other meaningful interpretation, the one in which -p----q----- becomes "1 equals 4 taken from 5." The system itself and its two interpretations are isomorphisms. The mappings between the system and either of its interpretations, and also that between the two interpretations themselves, is perfect.

Isomorphisms are key. As Hofstadter shows (pp. 49ff.), they "induce" meaning whenever they are (somehow) discovered by human intelligence. In other words, they "create meanings in the minds of people" (p. 50). Stumbling upon a valid interpretive isomorphism between meaningless symbol strings like -p----q----- and true statements in the real world like "1 plus 4 equals 5" can be "cause for joy" and "a source of wonderment." It typically occurs as "a bolt from the blue": everything just "falls into place."


Discovering a symbol-truth isomorphism is a case of "jumping out of the system" (pp. 37ff), an act that allows you to learn something about the formal system that is not contained in the system itself.

There is nothing within the pq-system, for instance, which tells you it is isomorphic with something you already know: addition. There are no system-internal rules for the necessary interpretive mappings. Yet the likelihood is high that if you play around with the mechanics of the pq-system just a wee bit, you'll twig to the fact that it's really a stand-in for grade-school addition.

It's also likely that a bit of playing around with the MIU-system will convince you that MU simply cannot be derived, no matter what rule applications you try, in whatever order. Again, it helps to be able to jump out of the system here and notice (for instance) how you can apply Rule 2 to axiom MI to repeatedly double the number of I's following M — giving you some even number of I's.

Also, if any even number of I's following M is divisible by 6, you may divine that you can first apply Rule 1 to put a U at the end of the I's, and then you can apply Rule 3 however many times you need to to change every III into U. That will give you an odd number of U's, from which you can delete successive U-pairs by virtue of Rule 4 until you are left with just one U. Result: MU.

But, try as you might, you never seem to arrive at a number of I's following the M that is divisible by 6! Mixing in applications of Rules 1 and 4 doesn't seem to help the situation, either. There seems to be a hidden force in the system that keeps you from deriving something like, say, MIIIIII, with exactly 6 I's in a row, from which MIIIIII -> MIIIIIIU -> MUIIIU -> MUUU -> MU would finish the job for you.

Discovery of this negative hidden force may not be as satisfying as, say, noticing that the pq-system amounts to a stand-in for addition. Yet it can lead, albeit more indirectly, to recognizing the truth of a general statement, one that has to do with what mathematicians call number theory.

I do not yet know how best to couch this statement about the "hidden force" in its most general, hence useful, form. Perhaps it says something about the inability to generate every natural number — every non-negative integer, that is — by a procedure involving successive doublings starting from 1 and then some even number of divisions by 3 (which is what divisibility by 6 implies).

Or, perhaps it is something even more general than that. Call the statement at its most general Statement X. An excellent question is, is number theory itself a formal system that, locatable within itself, there is a theorem isomorphic to Statement X?

We know number theory is a formal system. So does it contain a theorem isomorphic to Statement X? I cannot answer that question yet, but I can say this: Hofstadter shows that not all true statements about a formal system such as number theory are necessarily isomorphisms of theorems within the system itself!

You can't discover all true statements about a formal system by using interpretive mappings from the theorems within the system to true external statements about the system. There are unreachable truths that lie outside the system proper. You can't reach them even if you have a "bolt from the blue" and notice a perfect isomorphism between all internal theorems and their corresponding external truths.


Provided the formal system is, by careful design, rendered immune to contradiction, inconsistency, and paradox, and provided it has a great deal of "power" (which the pq-system lacks, but which number theory as a whole possesses) it will necessarily have this characteristic of "incompleteness": some true statements about the system are not isomorphic to theorems within the system. This is basically what the mathematician Kurt Gödel demonstrated in 1931.

Now, this next part of the discussion brings back in the idea of paradoxes. I have to admit I am on shaky ground here — I don't quite understand what I am talking about yet. Perhaps as I continue to read, Hofstadter will clarify it for me. At this juncture, the best I can say is that there is some sort of weird correspondence between paradoxes such as that of Epimenides and theorems of formal systems that are "true" but unprovable within the system itself.

By "true" is meant that the theorem can be interpreted as corresponding to a demonstrably true statement in the world, real or imaginary, outside the formal system. By "unprovable," I mean that the theorem in question cannot be successfully generated within the system. It would be like MU: well-formed. Moreover, if the MIU-system were capable of external interpretation, which it isn't, it would indeed have such an interpretation, and that interpretation would be a demonstrably true statement. Yet there would be no way to get from axiom MI to nontheorem MU by the application of formal rules within the system itself.


There does seem to be (and I may be wrong about this; I feel I'm really on shaky ground here) one way around the unreachablilty of truth in formal systems of appreciable generative power, such as number theory or set theory. That way, if it exists, involves tolerating some degree of self-contradiction and paradox within the system itself.

Here is how that works out with respect to set theory: Basically, paradoxes spring from the possibility of self-reference in the theorems of the system and/or in the interpretively mapped statements derived from the system. For example, in mathematical set theory there is the idea that a set ought to be able to contain itself as a member. The set of all sets, for example, is a legal construction that contains itself. If that sort of thing is allowed, then (see p. 20) there can presumably be just two types of sets. Type A sets do not contain themselves. Type B sets do. Then, is "the set of all sets of Type A" itself of Type A, or is it of Type B? It is neither! Either choice tangles you up in paradox.

This sort of paradoxical tangle can be avoided, apparently, only by forcing set theory to dispense with sets of Type B entirely. That can make set theory entirely self-consistent ... but so much less useful and powerful as to deserve the epithet "ugly."

If you allow "self-swallowing" sets of Type B, you also admit the possibility of paradox into set theory. Now you must deal with external statements about set theory of which the truth or falsity is undecidable. "The set of all run-of-the-mill sets of Type A is itself of Type A" is one of these. You cannot decide whether it is true or not.

This fact seems to correspond to the theory-internal fact that, as a formal system, set theory cannot derive the symbol string whose external interpretive mapping is "The set of all run-of-the-mill sets of Type A is itself of Type A." Nor can it generate the symbolic equivalent of the external interpretive negation: "The set of all run-of-the-mill sets of Type A is not of Type A, i.e., it is of Type B."

Neither the positive theorem nor its negation is reachable within the confines of formal set theory. This unfortunate situation maps, in the larger ambit of external truth or falsity, to paradox.


With respect to number theory, apparently the situation is much the same as with set theory. The mathematical theory that concerns how the natural numbers — the nonnegative integers — behave is intended to be both consistent and complete. Consistency means basically that all theorems within a formalized rendition of the entirety of number theory — a sort of pq-system on steroids — are capable of being interpreted in such a way as to represent true statements such as "1 plus 1 equals 2."

Completeness means basically that all true statements of number theory correspond to theorems in the formalized rendition.

Hofstadter calls the formalized rendition "TNT," for typographical number theory — since formal systems are basically ways of "typing" particular strings of typographical symbols. Gödel found an extremely clever way to devise a typographical rendition of the statement, "TNT is consistent." Then he showed that constructing TNT so that this well-formed "sentence" is actually one of its theorems automatically makes TNT inconsistent!

Looked at another way, if TNT is consistent, then the theorem which means "TNT is consistent" cannot be part of it. On that view, TNT has to be incomplete. It cannot assert its own consistency!

It is sort of like the situation faced by Yossarian, the protagonist of Joseph Heller's Catch-22. Yossarian is a WWII bomber pilot who has flown too many perilous missions and now wants to be relieved of duty. The rules say this can happen if the pilot in question has gone insane. So Yossarian attempts to convince his superiors that that is indeed the case: he's crazy as a loon. The only catch is — and this is Catch-22 — if he's of sufficiently sound mind to campaign for a diagnosis of his own insanity, then he's obviously quite sane and cannot legitimately be relieved of duty.

Likewise, if number theory can assert it's own consistency, it's inconsistent. The only way for it to be consistent is to be unable to assert its own consistency — i.e., to be incomplete, in the sense of not being able to derive or prove every single true statement about itself. This is the mother of all paradoxes.


Just the fact that many a formal system can, upon successful interpretation, lead to paradox seems to require that you be able to (again) "jump outside the system" to see the paradox. At least, that is what I think Hofstadter is getting at. Whether you jump out to detect meaningful isomorphisms or you subsequently jump out to detect paradoxes, the ability to jump out of formal systems at all is a distinguishing mark of human intelligence.

A machine can in concept derive all the theorems of any formal system, even if for certain systems it would require an infinite amount of time to complete the derivation. Also, if a decision procedure is known by which any given symbol-string can be shown to be (or not to be) a theorem of a given system, a machine can be programmed to apply it. Machines can in some cases, as I understand it, even figure out what the decision procedure for a system happens to be.

But human intelligence goes well beyond these sorts of tasks. In fact, anything along the lines of figuring out the meaning of a theorem in a formal system is decidedly non-mechanical.


There is, moreover, a gray area in which it is not clear whether or not a mechanical process could avail. Could a machine come up with something like Euclid's Proof, for example?

Euclid proved that whatever number you pick, there exists a prime number greater than it (see pp. 58ff.) He did this by finding a pattern for a series of baby steps by means of which you can assure yourself, for every number 1, 2, 3, and on up, that that number plus 1 is either itself a prime or has a prime larger than it. His insightful discovery of the right pattern for the concatenated baby steps made for a compact and wholly convincing proof — and it may or may not be one a machine could ever discover.

That seems to be because you have to jump outside a formal system such as number theory to learn certain true statements about the system and figure out proofs for those statements.


Even if finding clever proofs, such as that of Euclid, is not absolutely machine-impossible, and even if finding correct isomorphisms is ultimately susceptible to artificial intelligence, locating and understanding implicit paradoxes seems to depend wholly on human smarts.

The human mind alone is capable of dealing meaningfully with "strange loops." The activity of neurons in the brain, itself presumably isomorphic with some rigidly formal system, can somehow miraculously jump out of the system and incorporate "bolts from the blue" into its own inner workings. It can find "unreachable" truths and detect paradoxes non-mechanically.

That, indeed, seems to be Hofstadter's overarching point: there exist officially "unreachable" truths and implicit Catch-22s within formal systems ... and the human mind, because it can deal with strange loops and paradoxes that flabbergast "intelligent" machines, can nonetheless find them.

Monday, February 12, 2007

Gödel, Escher, Bach

Douglas R.
Hofstadter's
Gödel,
Escher, Bach
If you read a book in which the clause "provability is a weaker notion than truth" appears, you might think the author was knocking science and the mathematical/logical disciplines that might be called its atheistic co-conspirators, while at the same time upholding God as the highest preeminent-if-unprovable notion in the whole body of truth.

Douglas R. Hofstadter does indeed assert that clause about provability on page 19 of his 1979 book Gödel, Escher, Bach, an Eternal Golden Braid: A Metaphorical Fugue on Minds and Machines in the Spirit of Lewis Carroll. What he means by it is the subject of the book, but it is not clear to me after having dipped into the first chapter or so whether Hofstadter thinks it has theological implications or not.

As for me, I do think certain theological implications are justified.

What led me to this book for a rereading — I read it once, or at least started it, many years ago — is my present interest in the music of Johann Sebastian Bach. Bach wrote canons and fugues that involve dizzying self-referentiality: deceptively simple musical passages echoing, mirroring, harmonizing with and reinforcing one another to make for an endless kaleidoscope of inner experience. At least one of Bach's compositions, the "Canon per Tonos" of his Musical Offering, modulates from key to higher key so repeatedly that eventually the original key is restored!

M.C.
Escher's
Drawing
Hands
(1948)
The artist M. C. Escher did for the visual what Bach did for the aural: he showed how self-referentiality works.








Escher's
Relativity (1953)
He showed how topsy-turvy and paradoxical a worldview that doesn't exclude self-reference can be. In the image at right, there is no "up" — even though "up" seems to make sense with respect to individual details of the scene, such as each individual staircase.






Escher's
Möbius
Strip I
(1961)
Escher depicted the finite-but-unbounded Möbius strip, an apt analogue for the tonality of Bach's canon circling back repeatedly upon itself.








In 1931, an Austrian mathematician, logician, and philosopher named Kurt Gödel demonstrated that such paradoxes are not just curiosities. They illustrate the proposition that "provability is a weaker notion than truth." This was a proposition he demonstrated with respect to all formal or "axiomatic" systems of thought.

Gödel proved that mathematical set theory, in which mathematicians and logicians had invested so much faith and hope for the perfection of the human logical capability, could not contain all true propositions about itself — not if it was to remain self-consistent, i.e., non-self-contradictory.

Likewise, mathematical number theory. And, by further extension, Gödel showed that no formal system could be both self-consistent (non-self-contradictory) and complete (containing all true propositions about itself).

Some true statements can never be proved, in other words, within the frame of reference that defines how such proofs are allowed to be constructed.

This dashed the hopes of philosopher-mathematicians like Bertrand Russell and Alfred North Whitehead, who had hoped in their Principia Mathematica to banish self-contradiction from logic by banning self-referential statements. Gödel's 1931 paper "revealed not only that there were irreparable 'holes' in the axiomatic system proposed by Russell and Whitehead, but more generally, that no axiomatic system could produce all number-theoretical truths, unless it were an inconsistent system!" (p. 24).

Russell and Whitehead had tried to exorcise self-referentiality from their system by imposing strict conceptual hierarchies. Their mathematical sets could contain only raw objects and (possibly) other sets whose position in the hierarchy was lower than the containing set. Set descriptors that were in any way self-referential, no matter how indirectly, were held to be meaningless. Only run-of-the-mill sets were meaningful. For example, "the set of all run-of-the-mill sets," however much our intuition says it ought to be admissible in set theory, was simply ruled out.

Loosely speaking, Russell and Whitehead stripped out of their formal system any feature that might produce confusion about which way is "up." Their hierarchy of set types was, in effect, a staircase that couldn't loop back on itself.

Such a strategy has the effect, when transferred into the realm of ordinary language, of ruling out constructions like:
The following sentence is false.
The preceding sentence is true.

In doing so, it fails to come to grips with the fact that each of these sentences is, by itself, fine.

The Principia system thereby recuses itself from being able to help our mental faculties deal with the paradoxes, linguistic and otherwise, that the mind is perfectly capable of entertaining. In being thus pigheaded about paradox, it becomes repellent to human intuition. As Hofstadter says sourly (p. 23), "When this effort [at eliminating self-contradiction] forces you into a stupendously ugly theory, you know something is wrong." The mind wants to learn from paradox, not define it away.

My thought on this is that what is wrong with the Principia system is the nullifying of the right side of the brain. That hemisphere of the cerebrum is the locus of intuitive understanding, while the left brain purveys the kind of logic Russell and Whitehead championed.

Gödel proved, basically, that the logical left side of the brain needs the intuitive right side — it cannot generate the entirety of truth on its own.

No mechanical system of logic can suffice to establish the truth of all we intuit. If we intuit that there is a soul within each of us that belongs to God, systems of thought that would have such statements invalidated as meaningless must give way.

That, I think, is a sweet way of interpreting what Gödel showed the world.

Monday, January 29, 2007

Compassionate Kingdom

"And what does the Lord require of you but to do justice, to love kindness, and to walk humbly with your God?" — Micah 6:8


By now it's no secret that my spirituality seems to have evolved into a concern for justice and, what I believe amounts to the same thing, the extolling of humility, kindness, and compassion. With the help of Google I have stumbled upon an odd website, www.compassion.org, that seems to consist of a single page containing four quotations about compassion. I find all four resonant.

The first of these quotes is from the Catholic monk and author Thomas Merton: "Compassion is the keen awareness of the interdependence of all things." Another site with quotes about compassion cites Merton as saying, "The whole idea of compassion is based on a keen awareness of the interdependence of all these living beings, which are all part of one another, and all involved in one another."

The second quotation is from someone I don't know, Arthur Jersild, who (Googling reveals) is a psychologist and professor of education at Columbia: "Compassion is the ultimate and most meaningful embodiment of emotional maturity. It is through compassion that a person achieves the highest peak and deepest reach in his or her search for self-fulfillment."

Quotation number three comes from another source not known to me, Matthew Fox. This article about him appears in Wikipedia. There he is called "a controversial American priest and theologian, and the leading exponent of Creation Spirituality," which is apparently a mystical tradition from the 12th to 15th centuries. The quotation reads, "Compassion is not sentiment but is making justice and doing works of mercy. Compassion is not a moral commandment but a flow and overflow of the fullest human and divine energies."

And the fourth quotation, "The whole purpose of religion is to facilitate love and compassion, patience, tolerance, humility, forgiveness," comes from the present Dalai Lama, Tenzin Gyatso. The Dalai Lama is the supreme head of Tibetan Buddhism, said to be one in a series of incarnations of the bodhisattva, or enlightenment-being, of compassion.

These quotations, taken together, emphasize: gaining a sense of all beings' mutual interdependence; finding spiritual and emotional maturity; enacting justice and mercy; and facilitating love, patience, tolerance, humility, and forgiveness. Christians have an expression that summarizes it all: living in the kingdom of God.

The kingdom of God, also called the kingdom of heaven, is spoken of often in the Gospels and throughout the New Testament, but the meaning of the phrase is a bit elusive. Thus, this question put to Father John Dietzen, whose column answering knotty concerns of Roman Catholic belief appears widely in the Catholic press.

Fr. Dietzen addresses the perplexing problem that the kingdom of God is said to be both present now and coming in the future. Rather than thinking of it as "a static, unchanging condition, something finally finished here or perhaps even in the future," we need to imagine it as "active and full of life, constantly at work in everything [God] continually is creating."

The kingdom is, in fact, "God’s reign, his loving rule over all creation" which we can experience as the "compassionate and magnanimous presence of God." As "an ongoing presence," the kingdom "declares that the rule of God is now." This rule of God is to be experienced as "the Father’s benevolent presence and power active in the world."

Yet the kingdom involves the future just as much as it concerns the present. It is a force working ceaselessly "to re-establish the harmony of creation destroyed by sin." This redemptive process, Fr. Dietzen says, is "part of the mystery of God's creating love." It seeks to establish the perfect justice which our everyday experience finds woefully lacking in this material world.

In view of the reality of the kingdom here and now, yet extending forever into the future, we are urged by Jesus "to trust, not to be afraid. Whatever happens, we are sure of the Father’s benevolent presence and power active in the world. ... The more we are aware of the power of this divine rule among us now and its continuance in eternity, the greater is our confidence that, in St. Paul’s words, nothing can separate us from the love of God that comes to us in Christ Jesus our Lord."

Friday, January 26, 2007

Closed Circles

Thomas
M. King's
Enchantments:
Religion and
the Power of
the Word
In his book Enchantments, which I continue to pore over, Rev. Thomas M. King, S. J., speaks of how a verbal enchantment can make of those who are entranced by it a "closed circle" that excludes all who are not caught up in the enchantment. Such was the case with the words of the prophets in the Old Testament. When the Jews were in exile, they were sustained as a people by the likes of Isaiah, who wrote: "O my people, who dwell in Zion, be not afraid of the Assyrians" (10:24).

The prophets had foretold what actually happened: the destruction of Jerusalem by the Jews' pagan enemies. Yet, King writes (pp. 103-104):
If the prophetic words [had once] disheartened the nation, they sustained it when fortifications and arms were not to be had. In the Babylonian exile the captive Jews would have lost their hope, if they had not been supported by the prophetic word. And they would have lost their identity if their words had not made of them a "closed circle" ... with its familiar clichés. The words had a power to hold the community together and bring courage into being.

Words, even familiar clichés, can speak to us with power when
... all we see before us is "a grayish sea of ambiguity." We seem to be looking for something else — someone who will speak to us so that we will pass out of ourselves into the other. If that happens, everything is changed. At such a moment, the words spoken may be few, but they can change the direction of our life. (p. 105)

This, I think, is exactly what evangelicals experience when they say they have been "born again."


A new documentary, Friends of God: A Road Trip with Alexandra Pelosi, premiered last night on HBO. It depicts the lives and beliefs of the estimated 50 to 80 million evangelical Christians living in America today. Pelosi is an Emmy-wining filmmaker and the daughter of new Speaker of the House Nancy Pelosi. As I watched her interviews with leading evangelicals such as ...
Pastor Ted Haggard, who recently stepped down as president of the 30-million strong National Association of Evangelicals — the largest evangelical group in the U.S. — following allegations that he had sex with a male prostitute and bought illegal drugs (see the synopsis of the documentary here)

... I was struck by the way many of the interviewees talked as if they had been programmed by a cult. A very large cult. There was a notable absence of independent thought.

For example, when several interviewees were asked whether they believed in the theory of evolution, all responded to the effect that, no, they believed in the Bible and creation, and that it was evolutionists who could be accused of parroting a pre-programmed package of thought. Yet Pelosi's footage shows anti-evolutionist preachers and lecturers in action, feeding anti-evolution notions into the heads of Christian adults, teens, and pre-teens, in what I found to be a scary, chilling litany of vibrant, well-honed rhetoric and potent musical singalong.

In other words, the documentary showed me that if you're born again, you're apt to be subjected to religious and quasi-religious enchantments that serve to make all who are like you into a proverbial "closed circle," staunchly defending a party line on what is and is not true.


The born-again Christians in the documentary are not unlike the Jews held in captivity in Babylon, in the following sense. They feel they are a put-upon minority, strangers in a strange, secular land. Mouthing things like "America was founded by Christians" and "This is a Christian country," they feel they ought to be — and someday soon will be — the majority voice in the land.

According to my history books, the Founding Fathers indeed were mostly Christians of various stripes. But many of them were, as was Thomas Jefferson, deists who held that the Creator is no longer involved in human affairs. Some were of Puritan stock; it is not clear to me that the Puritans should be counted among the ranks of born-again evangelicals. Many were Anglicans, or what we now call Episcopalians. Quite a few were Lutherans or Catholics, neither denomination being particularly evangelical. There were Quakers and Methodists, Baptists and Anabaptists, Presbyterians and Calvinists ... but I am not aware of any signers of the Declaration of Independence who claimed to be born again.

Yet today's evangelicals are convinced we are on the threshold of a new Jerusalem.

This can take the form of expecting Jesus's imminent Second Coming. Different evangelicals have different notions of how the world's "End Days" are to play out, but there seems to be a general tendency to champion the cause of Israel's Jews, in furtherance of the prophecy in the Book of Revelation concerning their putatively necessary role in it all. If the Jews aren't living in Palestine, the thinking goes, it can't happen. But it has to happen, so we Christians need to do our part by making sure the Palestinians don't expel Jews from the Holy Land.

In other words, Israeli Jews have lately become members emeritus of an American evangelical "closed circle."


Looked at abstractly, evangelical belief seems to hold that the history of the confusing, chaotic, material world is about to be subsumed into that of the ideal world, directly under the will of God. Very soon now, those pesky differences between what is and what ought to be — the condition which I generally term worldly "injustice" — are going to go away. If we all hope real hard for this to happen, it will happen, and sooner rather than later.

I see this sort of thinking as a way to stave off the Second Baptism which King speaks of, the one that inaugurates in us a true spirituality of humanity and compassion. It staves it off by obviating the Dark Night of the Soul — the descent into a whirligig of confusion, doubt, and temptation — which necessarily precedes the Baptism of Fire and Spirit.

Not that evangelicals aren't compassionate. Toward others in their closed circle they are most caring indeed. As Ted Haggard pointed out in the documentary, when a member of his 14,000-member New Life Church phones 911 in a medical emergency, someone from the church community is likely to get there before the ambulance does. A megachurch, he says, is very much like an old-time village or township, providing all the fellowship and brotherhood those vanished institutions once did.

The problem, as I see it, is that the compassion is not universal. It does not extend much beyond the church community, or the larger community of American evangelicals ... with notable exceptions being made for members emeritus such as Israeli Jews and for those who are being evangelized in hopes that they will become initiates to the cult.

Those who clearly are not about to join the cult are in a different category. A personal anecdote: When I was about 16, I spent a summer with my cousin Susan's family in Cedar Rapids, Iowa. I was taken to Sunday School at their Southern Baptist church. With other kids my age I sat in, yes, a closed circle and heard the teacher/leader put the following question up for discussion: Now that we were reaching an age in which we would be going out on dates, was it a good idea to date people who did not share our religion?

I put up my hand and, as the guest, was called on first. I said it was fine to go out on dates with non-Christians such as Jews, as well as Christians of other denominations such as Catholics, because meeting them and their families would broaden our understanding of other types of people.

That turned out to be the wrong answer. The right answer was that dating non-Baptists could lead to knotty problems if marriage and children ensued, such as in what church to have the wedding and how to raise the offspring.


Extrapolating from that, I assume that in this view non-Baptists (or, at least, non-evangelicals) are to be evangelized, or, failing that, pitied. But pity is not the same as compassion. Pity is suffering for or about the woes of others. Compassion is suffering with others. Jesus did not teach pity. Jesus taught compassion.

His teaching of compassion, furthermore, went beyond the closed circle of his Jewish ancestry by virtue of the cross. King writes (p. 143):
The Gospels proclaim the Good News. Yet the good news is paradoxical, for the Gospels tell of God's chosen One going to a shameful death. In [the Gospel of] John the paradox is even more striking [in that it is] a stunning revelation of divine Glory. A contemporary exegete has explained the Jewish background of the term: "In the [Old Testament] the glory of God implies a visible and powerful manifestation of God to men" ... . For John the Glory of God was fully manifest only in the passion when Jesus was raised on the cross.

Late in his public ministry Jesus was told that some Greeks wanted to see him. This interest — from non-Jews, from those outside the closed circle — indicated to Jesus that his time of preaching was over. He responded, "The hour has come for the Son of Man to be glorified" (12:23). That is, his preaching was for a "closed circle" of listeners, those who shared a common book; hearing of the interest of the Gentiles he knew that his time of preaching was over; it was time for crucifixion and silence. Raised on the cross he would be present in the full absurdity of the human scene, but then his message would become universal; he continued, "I, when I am lifted up from the earth, will draw all men to myself" (12:23). The power of the crucifixion would extend beyond the "closed circle."

It would do so in a way beyond words and sense, beyond the clichés of the book faithful Jews held in common, beyond preaching and verbal enchantments. It would pose a riddle for one all to contemplate in the depths of the spirit: how could one so high be glorified by being brought so low as to be executed like an ordinary criminal? What does this paradox say to us?

Moreover, how does it say it to us? Not with words alone. King says (pp. 143-144):
As the passion began Jesus again spoke of it as his time of glory ("Now is the Son of Man glorified"). By his passion he would become a "visible and powerful manifestation of God" to all the world. His glory would be manifest on the cross where all power, all sense and meaning were defeated.

... Zen [Buddhist] masters ... lead their disciples to the point of illumination by proposing koans for their consideration. These koans [are] paradoxes which ... take the disciple beyond words. The most famous koan asks, "What is the sound of one hand clapping?" One is not able to conceive of one hand clapping, yet one meditated on this or other koans until one "saw" apart from meaning; phenomena apart from meaning was the illumination. The Jews lived in a world of meaning, for, having received the heavenly word, everything was meaningful. But by their book they also formed a "closed circle with their own clichés. During the days of his ministry Jesus was drawing those within the circle — the Gentiles would be drawn a different way. ... The phenomena itself would be the revelation, his time of Glory.

Think of it: according to John, the final glory of the Word of God, Jesus Christ, comes to all of us alike in beholding a phenomenon without words. A riddle, a paradox, a koan, an incomprehensible cross is needed to take us out of our hitherto closed circles and into an attitude of universal community and compassion. Here, then, is a crucial part of the Christian message which evangelicals seem to have forgotten!

Wednesday, January 24, 2007

Impulse Control

Thomas
M. King's
Enchantments:
Religion and
the Power of
the Word
In his book Enchantments, Fr. Thomas M. King, S. J., describes a spirituality of any type as a way of dealing with the impulses and urges within us, given that they lie outside the domain of the rational will. In general, an act is potentially sinful only to the extent that it is willful. If something wrong is done as a result of a mere impulse, uncensored by rational intent, it is in a different category of transgression.

Christian ethics and morality seek to train the will to want only right and proper things, but as King points out, none of us can suppress our urges and impulses entirely. We may dedicate ourselves to serving an ethical ideal. Then we may encounter a Dark Night of the Soul, when we realize that our chaotic inner impulses have refused to die. Oddly, the next stage of religious development is quite marvelous: a "second baptism" into a true spirituality.

Impulses are neither intrinsically good nor intrinsically bad. However, they need to be placed under some sort of control, some "decider" which tells us in which direction to move after an impulse has propelled us to make a change in our life, or even just to alter something in our momentary situation.

King suggests this is the province of the Spirit of God, which, the Bible says, "blows where it will." The Spirit, that is, does not adhere to rules that can be stated in words, in the way that a rational ethic does. (This is why King says that the Bible cannot always be read literally, as if all divine truth could be conveyed in flat, everyday prose.)

I am put in mind of a scene in the movie The Apostle where the protagonist, Robert Duvall, is kicked out by wife Farrah Fawcett for his philandering ways. He is nonetheless a holy man. As he motors along toward some sort of new life, he asks the Good Lord for direction by driving his car round and round in circles in a deserted intersection until an impulse tells him which highway to take.

I think this is something my evangelical/charismatic friends Chris and Dee (see Aspiration and Inspiration) are intimately familiar with. They are always talking about how God is "leading" them to do this or that, a locution which I interpret as meaning that the Spirit is moving them in a particular direction. Or, in terms of the urges and impulses that they feel as complex human beings, I think they are saying that they experience one particular impulse, among the riot of possibilities that well naturally up within them, which they feel has God's sanction and bears his blessing. It is that particular one which deserves to be followed. It is that one which marks the highway they need to take, at the proverbial crossroads.

Monday, January 22, 2007

Activating Compassion

Thomas
M. King's
Enchantments:
Religion and
the Power of
the Word
I wonder how many people, Christian or not, know of the Gospels' reference to a baptism that happens after the first, familiar one, that by water. The second baptism, of fire and spirit, is crucial to the understanding of the faith which is explicated by Thomas M. King, S.J., in his book Enchantments: Religion and the Power of the Word (available used from Amazon or from Alibris).

If the first baptism is the seal of righteousness, the second is the precondition of compassion. It is the guarantor that righteousness does not mean self-righteousness.

The first baptism is that of being spellbound by a verbal enchanter — Jesus was such a one — being taken up out of oneself to an ideal world above this one, a paradisal world of perfect justice in comparison to which our world of impure sense experience can seem utter darkness. We can be so taken by the Word that we seek wholly to abandon the World. This is the Night of the Senses. After it, as various knights-errant, we may devote ourselves to serving our ethical and moral ideals to the exclusion of giving free expression to our own needs and interests.

This typically brings on a Night of the Soul, since such purity of adherence to any impersonal verbal formula or set of commandments is ultimately, we tend to find to our chagrin, beyond our ability. Temptation intervenes in our lives, just as it did for Jesus when he was thrice tempted by the devil in the desert. That is when our baptism of fire can, if we are as steadfast as Jesus was, become a baptism of spirit, a germination of our inborn capacity for humanity an dhumility into the habit of compassion. Compassion, in which we confront the ways in which we are all equally prone to temptation and imperfection, to suffering and weakness, is seemingly the key to the kingdom of heaven on earth.

This is the paradigm of religious experience which King refines from his reading of scripture; from the spiritual biographies of Thomas Merton and Ignatius Loyola; from medieval mystical writings such as The Cloud of Unknowing; as well as from the Dialogues of Plato, Faust, Don Quixote, and a host of other works.

When I peruse King's book, I find it totally convincing. But after putting it down, I find myself asking questions. One of these is that with which I opened above: why is it that so few people think of the Christian faith as one in which the germination of humanity into full-fledged compassion is the crucial point?


We think of righteousness first, and only then (maybe) compassion as the prime directive of Christian living ... right? Righteousness, as in holiness, uprightness, rectitude, or probity; as in virtue, decency, goodness, honesty, integrity. As in being free of sin and going to heaven rather than hell when we die. If we serve God and not Satan, we do so first and foremost by our pious faith, by our turning away from sin, no? That is how we save our souls.

Not only does compassion come in a distant second to moral compunction, some even see religion as the enemy of compassion. In the current issue of TIME magazine, scientist Steven Pinker's article on "The Mystery of Consciousness" betrays such an attitude. Pinker suggests we may never be able to solve the "Hard Problem" about consciousness, no matter how much we learn about the workings of the brain. That problem is the one I talked about in my "Quickening to Qualia" series of posts (the last of which was "Mysterium Tremendum et Fascinans"). To wit, how does our brain give rise to the sheer experience of undergoing its own activity, as we internally monitor its subjective nature? Or, why is it like something to see the color green?

Pinker notes that the religious idea of the soul is akin to this notion that consciousness is an ethereal reality above and beyond the workings of the brain. Lewis Thomas wrote in The Lives of a Cell, according to this article on personal grief in a recent edition of The Baltimore Sun,

... that it would be odd for nature to waste anything as complex as consciousness. "I prefer to think of it as somehow separated off at the filaments of its attachment, and then drawn like an easy breath back into the membrane of its origin, a fresh memory for the biospherical nervous system, but I have no data on the matter."


If that's what consciousness is, severable at the filaments of its attachment, then maybe that's also what the soul is. But Pinker nixes that easy identity of soul with consciousness — without going so far as to deny the validity of the Hard Problem, as does philosopher Daniel Dennett, who is a much more impassioned atheist than Pinker is.

Pinker expresses his own distaste for religious belief in his final section, "Toward a New Morality." He finds the scientific impenetrability of consciousness to be an aid to compassion. If each person knows that he or she is conscious as a mysterious property of brain functioning — however unprovable that fact of one's consciousness may be to skeptical others — then every other person with demonstrably similar brain function must be seen also a like vessel of conscious experience, entitled to the same consideration we give to ourselves: "Hath not a Jew — or an Arab, or an African, or a baby, or a dog — a cerebral cortex and a thalamus? The undeniable fact that we are all made of the same neural flesh makes it impossible to deny our common capacity to suffer."

Religion with its concern for the advancement of the individual soul to the afterlife is, to Pinker, the enemy of such a recognition. It can promote cruelty, not compassion: "Just remember the most famous people in recent history who acted in expectation of a reward in the hereafter: the conspirators who hijacked the airliners on 9/11."

I'd say that's a caricature — nay, a corruption, a demonic parody — of the idea of religion. Yet it's one to which many religious practitioners are prone, in the name of God or Allah. It's simply incorrect for Pinker to fall into the trap of identifying a thing with its demonic parody. Yet it's understandable that he and others do so. In fact, I'd say it's far more important for someone to find his or her own compassion than to be right about religion.

Aspiration and Inspiration

I recently received in the mail a flier from Heather K. telling of her youth group's plans to evangelize in Europe this summer of 2007. Heather is the teenage daughter of good friends of mine who I think it is fair to say are among America's huge number of evangelical Christians, though they could also be described as charismatic as well. Heather's youth group, the flier said, is looking forward to preaching God's word in countries that they feel have pretty much lost touch with it.

I know there is widespread sentiment on this side of the Atlantic that the Europeans are a bunch of rank atheists, but I can testify from my multiple visits there that there are plenty of Christians in Europe and plenty of churches, some of which I have attended beautiful services in.

One of the things that distorts our understanding of this is that American Christianity has a strong evangelical orientation that seems to be lacking in much of Europe. My guess is that it's because evangelicalism fits in so well with upward socioeconomic mobility in America, but in Europe the movers and the shakers tend to be the ones who have abandoned religious values for secular ones.

Meanwhile the "ordinary" folks in Europe are still religious, but in a quieter way since they don't necessarily aspire to the next rung up the ladder. In this country, folks who are climbing the socioeconomic ladder see God as an awesome, mighty force in aiding that process. In other words, how we experience God depends on how we experience life. Nothing wrong with that, but it does tend to make Christians of different styles talk past one another, rather than to one another.


Those are the kinds of things I told Heather's parents, Chris and Dee, in an e-mail I have just sent them today — in which I also told them I have mailed Heather a small donation in support of her trip. It just so happened that Chris and Dee e-mailed me to find out how I've been doing, and I received their missive on a morning after I had awakened during the night with a host of thoughts concerning evangelicalism in American religion.

My primary thought was this: I have to admit, personally, to having an anti-evangelical bias in my own religious sensibility.

In trying to explain that to myself, I began to focus on the notion that I have never been in the position of aspiring to a great deal more socioeconomically than the life without want I was born into as the son of parents from the American heartland or Bible Belt whose own upward trajectory — a very successful one, in material terms — I would call sort of "European," in a broad sense. Or, at least, cosmopolitan.

Harold Francis Stewart and Leota Isabel Berry Stewart, my beloved parents, now dead, were among the generation of Americans who became teenagers in the Roaring Twenties. It was a time when religious backgrounds (she was Southern Baptist, he Methodist) were experienced by many Americans as hindrances to the high life that could be theirs if they threw off old-fashioned strictures and shackles of religious observance.

My family did very little churchgoing in my youth, though some of my mother's large family stayed faithful to the old-time religion. They stayed away from big cities and remained back in the Midwestern states which Mom and Dad had left behind to make a better life, during the Great Depression, in the "godless" East. Of course, the metropolitan East wasn't really godless, but neither was it evangelical. Religion was mostly a private affair.

My parents kept it so private that, today, I am not quite sure exactly what they believed about God, or how much they believed it. I do remember one dinner-table conversation in which they told me how the home of my maternal grandfather, William Palmer Berry, a man who was trained as a lay preacher in the Southern Baptist Convention, was run so strictly that there was no listening to records or the radio, no dancing, no card playing ... and, of course, no cigarette smoking or alcohol drinking.

My father's father, Willis Warder Stewart, was also a stern sort, in a Methodist way rather than a Southern Baptist one — I never quite caught on to the difference, if there was one. All I knew is that my parents had abandoned religion, while still clinging to some belief in God. They were not, strictly speaking, freethinkers, but their lives had been strongly influenced by the free thought of the likes of, say, H.L. Mencken.

Mencken was the newspaper reporter and columnist who had emerged from strictly local renown in Baltimore, Maryland, to a national audience through his coverage of the Scopes "Monkey" Trial in 1925, in Dayton, Tennessee. This was the famous trial of a local schoolteacher accused of violating state law by teaching evolution. Mencken assailed the Dayton townsfolk who resented Darwinism and set up the prosecution of John Scopes as benighted ones "unable to imagine a man who rejects the literal authority of the Bible" (see this account of his coverage).

My parents felt that success in this world — what I think of as the high life — would follow upon the relinquishing of such benighted, fundamentalist attitudes.

In other words, their aspirations were such as to lead them away from religion. I think for Chris and Dee, as for countless other evangelicals today, it is just the opposite. Aspiration and inspiration are inseparably linked in their religion and in their life experience.


In mid-adulthood I became a Christian. But, rather than having a born-again experience, I gravitated toward and eventually became a member of the Roman Catholic faith. In other words, instead of emphasizing the evangelical, as so many Americans, my life experience has been more of the Old World variety, even down to the style of Christianity I felt drawn to.

I remember during my childhood watching, on that first new TV that entered our home in the primitive 1950s, one of the early televangelists thumping his Bible and asking members of his live audience to come forward and accept Jesus Christ as their personal savior. I also remember my mother saying something disparaging about it — her exact words are ones I can't recall. All I know is that it left me with a distaste for that kind of religion, which persists to this day.

In my middle-of-the-night musing about such things, I realized my distaste may be in large part a matter of not wanting to re-associate myself with the socioeconomic class my parents left behind on their rise to the upper middle class.

Or perhaps the class to which I refer was the one their parents had left behind in moving from the recurrent edge of poverty to what I think of as a staid "middle middle class" existence in the American heartland. I may have this wrong, and if so I apologize to any whose feelings I offend, but my impression is that evangelicalism appeals mainly to the peculiarly American socioeconomic stratum that I think of as poor Scotch-Irish and their ilk.

The Scotch-Irish in America, my ancestors, are the descendants of Protestant people who moved away from oppression and penury in Scotland centuries back, to take up residence in Northern Ireland. After their prospects there dimmed, many sought a brave new world in America — including my direct Stewart antecedent, one of three brothers who came here from Ulster at about the time of the War of 1812. One brother struck it rich as the founder of the world's first department store, A. T. Stewart's, later Wanamaker's, but the other two, including my lineal forebear Robert Stewart, weren't so lucky. My heritage on both sides of my family — not all of it identifiably Scotch-Irish, by the way — came through ancestors who often had to struggle to make ends meet.

All my grandparents were devoted to their religion, as far as I can tell, but I received no inkling that they were particularly evangelical in their religious style. By the time I was old enough to sit up and take notice, my paternal grandfather had remarried after mourning the death, some time back, of his first wife, my true grandmother. Then he died before I could get to know him. As for the grandparents on my mother's side, I did get to spend some time with them before their own rather early deaths, but I never knew them as particularly fervent religious types. True, when we went to visit them in Springfield, Missouri, my mother had to slip into the bedroom to sneak a smoke, or, along with my Dad, a wee nip. But I don't recall being taken to church on a Sunday or hearing much in the way of religious talk. And there were the games I'd play with Grandpa Berry, checkers and Chinese checkers, to make him seem like a regular guy. There was a bit of a dust-up, as I recall, over whether I was allowed to chew gum in their house... but a lot of that generation, born in the second half of the 19th century, thought gum-chewing was "common"; it wasn't just religious evangelicals.

The point is, I don't really know why my grandparents weren't terribly evangelical, but I suspect it was because they had attained their early aspirations of middle-class security and respectability long before I came along. That, and they were no longer young and full of zeal.


By the time my parents were thinking about leaving their respective nests, the smart set back East were well known across the land as having traded in the old-style religion for a high life of sophistication and glamor. My father wanted to follow in the footsteps of Mencken ... but W.W. Stewart couldn't afford at the crucial moment to put him through journalism school at the University of Missouri. H.F. Stewart instead joined the Army; served in peacetime Hawaii; turned down Officer Candidate School to spare his intended wife, my mother, a vagabond life of military bases; married and brought his new wife to Washington, D.C., to latch on as a policeman; rose through the ranks; took time out to serve as Executive Officer on a ship in the Pacific in World War II; came home to take Mom on a belated honeymoon and engender his only child, me; and wound up Chief of Police just as I was turning seven years old.

Their world was indeed, I found, one of cosmopolitan sophistication — though later events would show what a thin veneer that sophistication really was. My father even admitted it: at heart he and his Missouri-days associates were still the hillbillies they always were, men who would visit moonshine stills in the Ozarks backwoods during Prohibition to get their dram of liquor. In his salad days, Dad would come to drink 12-year-old Scotch whisky, but in later life he reverted to Maker's Mark bourbon, bless his soul.

One of the things I don't quite get about the poorer whites of the not-too-distant American past — my own ethnic heritage — is this distinction between the born-again set and the moonshine crowd, some of whom were the same people. I have extended family in both camps. Part of me is in both camps!


That's because I'm basically a straddler, from straddler stock. I look at the situation this way: the evangelical spirit is kept alive in folks who in the Old West would have been gunslingers and card sharps and saloon girls, if not for having been saved by Jesus Christ. In more recent times they might have been moonshine runners, not just partakers like my sainted daddy. Being born again is what has put these folks, in their modern incarnations, firmly on the other side of the fault line of sin from their wilder doppelgangers. It is what keeps their energies and zest and zeal from turning rancid. It is what makes them sheriffs, not gunslingers.

As a straddler, I have one foot on each side of that fault line. I identify not with gunslingers and sheriffs, but with "peaceable townsfolk" who can secret a bottle of illicit liquor in their pantry and who believe in minding their own business about the equally minor transgressions of others.

I identify with the old sawbones doctor who may have a drinking problem. (I'm speaking metaphorically here, with all these booze references, since I myself consume no more than a beer with dinner.) Rather than toting a gun, though, he digs bullets out of those who do.

A literary hero of mine is Atticus Finch in To Kill a Mockingbird, who trumpets no religion but bears malice toward none and charity for all, the way Jesus did.

It is possible to be upstanding as a straddler — like Atticus was and I would like to be — but it is apparently not possible to be an evangelical. I am not able to be a trumpeter of religion. Such a trumpeting of righteous fervor makes no sense to a straddler, who knows the other side of the fault line to be but one tiny hop away.

Which has the curious side effect of making the straddler suspicious of those who find socioeconomic aspiration and religious inspiration to go so easily together. Sorry, Chris and Dee. Sorry, all ye evangelicals of this land.