Zeitgeist and Giftedness

Cover for Profoundly Gifted Survival Guide

The issue of fame

Leonard Nimoy, in I Am Spock, states that there were teachers in Hollywood for practically any additional skill an actor would need to portray a character in a movie. I don't remember exactly what his list was, but this would include riding horseback, handling an ancient or modern weapon, using some particular musical instrument, speaking in some particular accent correctly, juggling or illusionist skills, various trades, some approach to singing and dancing not already known to the performer, and so on and so forth: I got the impression was that pretty much every skill you could name was covered, and a number of skills you wouldn't think to name.

With one exception.

Nimoy said that there was one thing that was needed in Hollywood but did not have a single teacher: handling fame.

He talked, for instance, about creative ways of sneaking into a restaurant through the kitchen because a public commotion would happen if one person saw Spock trying to quietly walk into a restaurant's front door. I've heard it said of one cast member of Mystery Science Theatre 3000 that he dresses and acts flamboyantly and strikingly in front of the camera as he should, but consciously turns that off and acts much more nondescriptly in public is usually not noticed. But Mystery Science Theatre 3000 has a smaller audience and is less mainstream; I'm no student of fashion history but a Google image search for Spock shows a consistent haircut, and one that looks to me like it was meant to be distinctive. (One would suspect that TV producers using humans to portray alien races would want actors to sport a distinctive look.)

"Fame Lite"

I might suggest that my own experience is of having some degree of fame, but to a degree that has mostly been a privilege where a much greater amount of fame would bring much more obnoxious difficulties.

I've had someone call out, "That's Jonathan Hayward!" Like a TV actor. Once.

I've also had someone ask for my autograph. Once.

I also have paper and Kindle books on Amazon that bring me a symbolic level of monthly income. It's not on par with the income for working part-time flipping burgers, but it is still more than most authors ever see.

I've also repeatedly encountered people who knew me by my writing.

This might be called "sheltered fame," or "mini-fame", or "fame lite", or "fame à la carte", and I am glad I don't enjoy a far greater degree of fame. If I were more famous, I might be able to support myself just by writing, but I regard that as being beside the point: I am seeking monasticism on the Holy Mountain, where my job will be to pray and do the obediences assigned by an Elder and be challenged at the level of parents of a first newborn. Or more. The obediences will be meant to free me from my weaknesses: but I will in a very sense not be my own man, even if my Elder's entire goal in dealing with me is to do whatever is necessary to make me my own God-man in a fuller sense than I could possibly get on my own.

For a last detail of my miniature fame, I receive correspondence from readers, and so far I have been fortunate to be able to respond to every reader email I really can. C.S. Lewis may not have been Orthodox, and he may sound very faithful to the Greek Fathers until you recognize that Mere Christianity marks him as one of the major architects of the ecumenism as we know it today, and ecumenism was formally anathematized by several bishops in the eighties and some serious Orthodox have called ecumenism the ecclesiological heresy of our day. But I want to single out one point about C.S. Lewis's personal life that is relevant: he made a practice of answering every reader who wrote him, even though that resulted him spending much of his later life answering essentially pastoral correspondence. And on that point I consider myself particularly privileged to be entrusted with some correspondence, but not need nearly enough interactions to the point that it is a heavy ascesis to answer people who write me.

All of this says that I may share in fame in one sense, but I really do not know in the sense that stems from direct personal experience what fame is to household names. I believe that this may be changing. But for now I would like to distance myself from claims to insider status as far as extreme fame goes. My degree of fame, as privilege, is comparable in giftedness to being somewhere a bit below the lower boundary of the range of socially optimal intelligence.

The reason for this piece: Everyman

There is a medieval play, which I have read of but not read, called Everyman. The character is not an individual "me, myself, and I" as is much more common in today's novels, but a representative of all that is human.

That basic approach to writing was fairly mainstream; perhaps the most famous tale of Everyman is Pilgrim's Progress, which is a tale of the only way Everyman can be saved. The pilgrim is not characterized as an individual with individual tastes, interests, hobbies (though perhaps expecting hobbies would be anachronistic). He represents in a sort of abstracted form the common story of how one may be saved as understood in the Reformation.

Today that basic approach has mostly fallen out of fashion (or perhaps has some revival I do not know about), but it is not quite dead and perhaps can never die. The assumption in an Amazon review of consumer electronics is that the review should not be about "me, myself, and I" so much as a "what's ahead" notice to Everyman, meaning other consumers, who are contemplating purchasing that item. Reviews are ideally written from Everyman to Everyman.

This work is intended to be written by and to Everyman, even if that Everyman represents a narrower demographic than the whole of humanity. Significant, and in large measure unique, details are included on the theory that "History does not repeat itself, but it does rhyme." The assumption is that a specific picture in living color exposes the rhyme much more readily than a colorless abstraction that is propositionally true for all it treats, but lacks a pulse. It is an established finding in psychology that people are recognized more quickly from a sketched caricature than from an accurate photograph. I do not knowingly offer caricature in this work as such, but I do try to avoid bleeding out colors into abstraction, however correct, unless there are privacy concerns.

Danger! Beware of pedestal.

There is a quotation I've heard attributed to Gandhi, running something like, "First they ignore you. Then they laugh at you. Then they fight you. Then you win." At a brief check Snopes marks this as misattributed, and speaking as someone who spent considerable time perusing All Men Are Brothers: Life and Thoughts of Mahatma Gandhi, as Told In His Own Words, this simply doesn't sound like something Gandhi would have ever said; its presence in the chapter "Ahimse or the way of nonviolence" would have been as obtrusive as Gandhi taking a brief moment to endorse some particular brand of toothpaste. Note that decent people do make attributions that are wrong; my Uncle Mark was a tremendously well-loved and respected schoolteacher, and more specifically a history teacher. He would open the day with some particular thought, from eclectic sources ranging over the Bible, Ben Franklin, and other historical figures, and after his passing, one student who had written down these thoughts posted pictures of her notes, and they were really quite a treasure. But one of them attributed "Denial ain't just a river in Egypt" to Mark Twain. Sorry, but No. Without looking up exact dates, I believe Mark Twain's lifetime overlapped those of the founders of modern psychology. The "shock-denial-blah-blah-blah-resignation-acceptance" grieving process could conceivably have been formulated in the nineteenth century, although it doesn't sound like Freud to me, or any other nineteenth century psychologist I'm aware of. Kind of like how Freud's various complexes don't sound like something a behaviorist like Skinner would develop. However, even if we ascribe The Grieving Process to 19th century psychologists, these are technical terms in an obscure discipline, and would have been less-well-known than unconventional approaches to pig breeding or knowledge of how the results different knot techniques vary with different kinds of rope. The Grieving Process of "shock-denial-blah-blah-blah-resignation-acceptance" could absolutely not have been a lapidary part of pop culture that pops up in a remark by an unruly six-year-old boy in Calvin and Hobbes, or where saying "Denial ain't just a river in Egypt" instantly telegraphs its intended meaning.

But let's return to the pseudo-Ghandian quotation regardless of source: "First they ignore you. Then they ridicule you. Then they fight you. Then you win." As a sloppy sketch, this might be true, but there is a caveat that eviscerates the whole triumphal gist: The last step might not be, "You win." The last step might be, "They install you on a pedestal." The difference between winning and being installed on a pedestal is the difference between diamond and diamond-back.

There is a source I read decades back; the book title and even the name of the figure escapes me beyond that he was a scholar of Confucius and perhaps others, Chinese by nationality, and he meticulously documented how, after "First they ignore you. Then they ridicule you. Then they fight you.", the last step was "Then they install you on a pedestal." And he documented how for a figure he studied how people went from hindering and hampering him by opposing him, to hindering and hampering him by launching him on a high pedestal. And the front matter, from a Western scholar and/or translator, said that the pedestal effect he documented in fact played out in the scholar's own life; he spent the rest of his life trying to achieve constructive results despite the pedestal that he was forever stuck with.

Fr. Seraphim's unwanted pedestal

I've personally raised serious concerns about Fr. Seraphim of Plantina, and it is my considered judgment that he has been harmful and a cause of arrested spiritual development among his Western convert followers. (He is also deeply respected in some Orthodox lands, but I get the impression that a Russian or Greek admirer has a more balanced diet of spiritual reading.) Do Western followers, of the kind who relate to all outsiders as superiors guiding subordinates and often teaching humility first of all, distort Fr. Seraphim? My suspicion is that they fail to live up to Fr. Seraphim's guidance on some point, and on other points show problems that are 100% faithful to his trajectory. One of the central tenets of what has been called "Orthodox fundamentalism" is that the world is literally about 6,000 years old, and a "Creation Science" lifted from Protestants of yesteryear who were not scientists is the true and final science that proves that. That deeply entrenched feature is one where they are following the Master's lead. I've read Fr. Seraphim charge his readers to straighten out the backwards scientific misunderstandings of people who believe in an ancient universe and either evolution or progressive creation. If this is a pattern, it is not a simple case of ideological hijacking; practically all I have critiqued in The Seraphinians: "Blessed Seraphim Rose" and His Axe-Wielding Western Converts: A Glimpse into the Soul of Orthodox Fundamentalism remains faithful to the Master's guidance. Possibly they exaggerate the importance of Fr. Seraphim's position on origins; somehow God comes out second banana next to Young Earth Creationism, but if they exaggerated, they took something big and made it even bigger. Whether or not they pushed things further than they should, for to have someone who is a nonscientist (and, at least as I've found, wouldn't recognize even an unsubtle scientific argument at all, even if it bit him on the arse!), gently asks "Have I cornered you?" when the other person is frustrated by a Seraphinian inability to even recognize a scientific argument, diplomatically and gently offer to straighten out a biology PhD's backwards understanding of science (perhaps by dropping Einsteins' name and giving an example of how "pilots experience time differently when they're traveling above the speed of sound"; one friend, on hearing this "example," winced, slowly gulped, and said, "That's not even wrong.")... Someone who does every single one of these things is following in the Master's footsteps and living up to his exhortations.

There are other points where no matter what harassment I have met from his evangelists, I believe they weren't faithful to Fr. Seraphim, or at least weren't faithful to what he hoped for. Probably the kindest remark to him that I can genuinely respect is, "Fr Seraphim (Rose) is included in the mix of folks who tried to explain to folks they were sinners, but were still put on a pedestal anyway." I have not seriously investigated the contours of Fr. Seraphim as regards guruism, but my understanding is that he would had a very simple answer: "No." Or maybe he wrote at length about why guruism is toxic. At any rate, he now stands on a very cruel pedestal for a monastic who tried to free people from the idolatry of inordinately focusing on a single charismatic personality. And it seems that there is cruelty to Fr. Seraphim himself, of the sort one would associate with vengeful, schadenfreude-laden claims of poetic justice, except that it was quite the opposite of poetic justice: he challenged guruism, and did his best to dodge it, but his standing today is that of a polestar of a guru who serves as a primary orienting figure to a significant following of Orthodox Christians (you can call them "Orthodox fundamentalists") where the sun rises and sets on the Master's teachings.

This is a cruel pedestal, as it would be cruel to celebrate an environmentalist hero by starting many forest fires (in non-pyrogenic ecosystems) to celebrate by the beauty of great leaping flames. I have not read what Fr. Seraphim's response to his pedestal actually was, but the image comes to mind of Francis of Assisi returning to his movement's apparent success and being a lone dissent who was utterly aghast that the "success" that had been achieved was his followers' desertion of his, and their, ever-faithful Lady Poverty.

"An invasion of armies can be resisted, but not an idea whose time has come."

I would like to modify a position I strongly endorsed, albeit in a way some might call superficial.

Dorothy Sayers wrote about how, in recent centuries in the West, there has been a belief that "ideas grow rust like machines and need to be replaced." And that deliberately crude image spoke to me. Ideas may be wrong from the very beginning and need to be replaced; but the quote "an idea whose time has come" embodies something very strange. The doctrine of progress is tied to this, so that each new idea whose time has come improves the overall picture.

That much I still hold fast to, but with a caveat. I do not believe in progress (one friend summarized the academy as saying "We've progressed enough not to believe in progress"), but I do believe that fashion exists and can sometimes have a spooky effect. Mathematicians are well-advised, if they find a solution to a major unsolved problem, to submit it as soon as possible. The core reason is that it is a historically common phenomenon for a question in mathematics to be unsolved for quite some time, and then be solved by several mathematicians independently. And on this count, mathematics would be expected to be perhaps the least Zeitgeist-shaken academic discipline. There are some things that change over time; the standard of mathematical rigor was rising when I was studying it, and the history of the parallel postulate in geometry shows a now-respected mathematician as working out an entirely valid non-Euclidean geometry and then publishing work under the title Euclid Freed From Every Flaw, is not today's mindset. However, as a general rule, theorems do not go out of fashion. And still mathematics, relatively free from Zeitgeist fashions as it might be, manifests a phenomenon where major problems remain unsolved for a considerable time and then simultaneously be solved by multiple mathematicians. The same has been observed in other areas as well; Nobel Prizes are given to two or three people who make the same discovery almost simultaneously, and independently.

The question of when the automobile was invented is messy and is not "Why, Henry Ford!" even if Henry Ford invented a mass production that drastically reduced the price of an automobile. There is a similar simultaneity, and I've read an author enumerate a dozen mechanical inventions, all of them an automobile or something like an automobile, in the West over a short period of time. Questions come into play of, "Where do you draw the line?" and there are what might be called shades of grey or judgment calls. I'm not saying that there can be no decisive resolution to these questions, but unless you settle on the oldest, incomplete candidate, answering "When was the automobile invented?" in a responsible hinges on looking at several vehicles or devices, that were automotive at least in part, and were invented in a surprisingly close interval of time.

Fashions

I would like to illustrate a particular point, and clarify what modification I mean to a standard trope. Phrases like "An idea whose time have come" partly describe a pattern of trends and partly frames things in terms of progress: "An idea whose time has come" is always a gain and never a loss. By contrast, I have come to share belief in the pattern of trends, but in place of framing things as progress, I suggest they be framed in terms of fashion. No one seems to consider that "an idea whose time has come" might be a bad idea that is worse than whatever it replaces. Nor am I the first or only one to frame things in terms of fashion (though my hybrid position might be new, for all I know).

One psychiatrist recounted how the professional community once believed that divorce was so terrible to children that except in the worst and most pathological casess it was worth keeping an very unhappy marriage together so as to avoid inflicting the pain of divorce on the children. Then the psychological community said it progressed to believing that really if a marriage is Hell on earth, the children are really better off with a divorce however nasty divorce may be. Then they claimed to have progressed to realize that an unhappy marriage was horrid, but however horrid it might be on the kids, it really is best to keep the marriage together if possible. His point in this tale of heroism and magic was that the shifts that occurred, both ones he agreed with and ones he didn't, didn't represent progress. They represented fashion, and I could envisage him using a term I heard from a quite different figure: "the herd of free thinkers." Progress, or what at least is labeled as progress, is really more accurately understood as current trends within "the herd of free thinkers.

An example of my own

When I was at Cambridge and my pre-master's diploma was winding down, I was looking for a topic for a master's thesis. I wanted to study the holy kiss, and my advisor ridiculed the question and me with it. He asked sarcastic rhetorical questions like "Can we find justification to only kiss the pretty people at church?" When I persisted, he consulted with another scholar and came back, without ridicule, saying the question was under-studied. (This is, by the way, an extreme rarity in academic theology; usually scholars try to find some vestige of unexplored turf and when they fail at that, write things like rehabilitating a founder of heresy, as the Archdruid of Canterbury has done with Arius the father of all heretics.) Furthermore, things never sat well with the department, which kept pushing my work into the pigeonhole of what German scholars called Realia, meaning physical details (other examples of questions of Realia might be what kind of arms and armor a first Christian would have seen a Roman soldier carry, and would have given shape to the words by which St. Paul closes the letter to the Ephesians, or what kind of house would provide the backdrop to Christ's words in the Sermon on the Mount about putting a lamp where it will illuminate the whole house. I am not aware of any Cambridge faculty member who was open to the idea that the "divine kiss" (as St. Dionysius the Areopagite called it) might be studied under the rubric of liturgical or sacramental theology.

My desire and interest was a doctrinal study, and my advisor there, who was Orthodox, kept pushing what I was doing into an unedifying sociological study of kissing that involved a great deal of Too Much Information, with lowlights such as the assigned Foucault's The History of Sexuality. I tried to draw a line in the sand, saying that I wanted to do "a doctrinal study." He immediately laid down the law: "The best way to do that is to do a cultural study and let any doctrines arise." Other help that he offered was to suggest that narrowing scope would be helpful, and suggested that it would be a good bailiwick to study "differences between Christian and Jewish understanding of kissing in the Song of Songs." I held my tongue at saying, "That's impressive. Not only is that not what I wanted, but that doesn't overlap with what I wanted." And then, two thirds of the way through the year, the department decided that my study of the holy kiss was off-topic for the Philosophy of Religion seminar that had been selected for me, and I pulled out all the stops to write, as was demanded, a vastly different Artificial Intelligence as an Arena for Magical Thinking Among Skepticsthat left all my prior thesis work as wasted.

So what's out there? What did my research turn up?

What kind of doctrines did I pull up? Someone, perhaps with wishful thinking, who wanted the holy kiss to be important might try to attach it somewhere under the rubric of Holy Communion. The last prayer before Holy Communion does the opposite: it places Holy Communion under the heading of the holy kiss. How? "Neither like Judas will I give Thee a kiss:" neither like Judas will I give you a hollow kiss, betraying this kiss and you yourself by receiving the Holy Mysteries and then not even try to live a holy life. Incidentally, although there are ancient precursors, it is remarkably recent, 20th century or possibly 19th if I recall correctly, that the ethical concern represented by "a kiss can be seductive" appears in Orthodox theology. In the Ante-Nicene Fathers and Nicene and Post-Nicene Fathers collections, the kiss that is wrong is pre-eminently a kiss like that of Judas, the kiss of betrayal which Orthodox remember by fasting on Wednesdays, and was a double-layered betrayal: a betrayal of the Lord first of all, and with it a betrayal of everything a kiss, of all things, should be. In patristic times the holy kiss was a kiss on the mouth, and this is doctrinally significant. A Psalm prayed in preparation for Communion says, "Who is this King of Glory? The Lord, strong and mighty, the Lord, mighty in war. Lift up your gates, O ye princes; and be lifted up, ye everlasting gates, and the Lord, the King of Glory, shall enter in." St. John Chrysostom drives home the implication: "But about this holy kiss somewhat else may yet be said. To what effect? We are the temple of Christ; we kiss then the porch and entrance of the temple when we kiss each other." If, in my present locale, the holy kiss is three kisses on alternate cheeks, the underlying reality is unchanged: a liturgical kiss, on the cheek, is always by implication a kiss on the mouth, on the gates that receive the Lord. And indeed St. Ambrose pushes further in his remarkable letter to his sister, discussing how we can kiss Christ: part of the unfolding truth is, "We kiss Christ, then, with the kiss of communion." There is a very tight tie between the holy kiss and Holy Communion, and while there may be much greater laxity about a closed holy kiss than a closed Chalice, according to strict interpretation of the rules a holy kiss is only ever between two canonical Orthodox Christians. In ancient times the closed holy kiss represented an additional boundary besides a closed Communion after the catechumens actually departed. But even today I have heard a priest lightheartedly say after a convert's chrismation, "You may kiss the convert." Something of that essence is here, even though nobody I have met makes a big deal about the enforcement of that rule. One last note here, which may be most of benefit to Catholics: In Rome, there is a sharp "do not cross" line between between the sacraments, including Holy Communion, and what are called "sacramentals", which include the holy kiss. Sacraments are something that Christ might as well have personally etched in diamond; sacramentals are things the Church worked out that are a different sort of thing that is far below Christ's sacraments. The Orthodox usually list seven sacraments, and they are in general recognizable in relation to the Roman list of sacraments (overall but not in every detail), but the difference between a sacrament and a sacramental is only a difference of degree, not of kind, and people can say things like, "You can say there is only one sacrament, or that there are a million of them." If there is one sacrament, it is a Holy Communion where nothing else comes close, but the sacramental of the holy kiss is tied to Holy Communion in multiple ways and participates in its essence. My main, brief work on this topic was in fact called The Eighth Sacrament. The title is provocative, but not daring. For one final point on the holy kiss, at least one aspect of a Protestant framing on worship is that worship is something you do with your spirit; there's a fairly strong association between worship and singing, or worship and listening to a pastor, perhaps, but worship is contained by the spirit alone. The Orthodox understanding, besides recognizing that it is not a slight to Christ to show reverence to His Mother, refers to an act of adoration that is done with spirit and body alike. As to what the act of adoration that encompasses the body, there are variations and some ambiguity, but the Greek πρσκεω refers to bowing or kissing, usually with some ambiguity as to which physical act completes the adoration. The worship due to the Lord is in some measure to kiss him, and there is a profound tie, even if there are important differences too, between worship of Christ expressed by kissing his icon, and worship of Christ expressed by kissing a fellow Orthodox Christian as so much an icon of Christ that he is defined as being built in the image of the whole Trinity. (I find such things as these loads more interested than sociological investigation of kissing as such.)

(Some people may find an irony between my efforts to study the holy kiss that Judas betrayed, and Cambridge University's constant "improvements" to how I was approaching that study.)

What it was that I pulled up eventually found a home in fiction in The Sign of the Grail, which is presently one of my top-selling titles on Amazon and top fictional work. I will not attempt to reproduce the material here, beyond saying that it is in fact a doctrinal study, that a number of primary sources can be found in a brief search of the Ante-Nicene and Nicene and Post-Nicene Fathers collections, and to the person who read The Eighth Sacrament and asked didn't I know there was more, I said that there was much more but that represented my attempt to crystallize something in a tight format.

But what I would point to is this: I am not, to my knowledge, a cardinal influencer in what happened. I presumably influenced someone, somewhere, but what was met with repeated hostility became something mainstream. I don't think that I was a primary influence in that I met with people who never seemed to recognize me as a pioneer or having already made serious investigation. My suspicion is that had I never touched the matter, it would have still been explored; I may have been the first person to publicly note one particular point, that the holy kiss is the only act the Bible calls holy, but had I never investigated the topic at all, other people would have, and my suspicion is that without me the holy kiss is still a sacramental that would have been studied as doctrinally significant and seen in continuity with sacramental and liturgical theology, and that none of the dubious help I received at Cambridge (such as classifying the holy kiss as Realia and therefore not rightfully subject to direct doctrinal investigations) would have been the last word. I think my inbox has been quiet on this topic for a few years, but when I was getting people contacting me and wanting to inform me about the holy kiss, we were usually on the same page. (I do not recall any nonscholar trying to steer the conversation to fit under the heading of Realia.)

And I would suggest that this basic plot and pattern of events are more or less generic. First I was rudely dismissed, then people kept more rudely pushing my work away from what I asked explicitly, and then some years later when I had practically forgotten the discussion, I was caught off guard by people opening up conversations about the holy kiss. And I may not have "won" in the sense of acquiring a pedestal (good riddance!), but the subject was no longer met with hostility such as was first faced, and some people found it to be of interest. (I have never gotten a disrespectful response on the topic after the point where people started to contact me on the topic.)

It is my general experience that gifted and profoundly gifted people are not, in fact, unaffected by the Zeitgeist. Often they may want to challenge the Zeitgeist, but it is not characteristic to rise above it, and the more common pattern is to concentrate the Zeitgeist and to run ahead of it, perhaps getting into the game when it is greeted with hostility. In this case, I was disappointed when I realized the topic of the holy kiss had reached the status of being more or less fashionable. I felt, if anything, violated that I had channelled the Zeitgeist, a Zeitgeist that had spoken through my mouth.

While the classification is essentially as irrefutable as Berkeley's arguments, famously said to "admit no answer and produce no conviction," I don't find it helpful to say, "If your birthday falls before this year, you are ancient; if your birthday falls in this range, you are medieval; if your birthday falls in this range, you are a modern; if your birthday falls after that range, you are a postmodern." Some people have noted that not only are engineers modern, but they probably do not know a postmodern, even though postmodern students are easily enough found in other fields. Speaking personally, I've been wary of postmodernism, but I have recognized points of overlap. I have been interested in thick description for more than a decade before I heard the term, and what I most want to know in history is "the way it really was," which is a boilerplate postmodern desire as far as history goes. The postmodern figures I know could justifiably regard me as making an undue claim to insider status if I claimed to also be a postmodern, but I see more continuities now than I would like, or that I did before.

(I might briefly point out that "thick description" and "the way it really was" remains fundamental and guiding principles in the endeavor of this article, where a synopsis would be much easier to write, much briefer, and much easier to read. I could simply state that I pursued scholarly research into the holy kiss years before it was fashionable to do so, and that I sought a doctrinal, and sacramental or liturgical, study of the holy kiss where a respected Orthodox scholar only saw legitimate room for a secular history of kissing. That much is true, but it is a sketched outline where my hope is to portray something in depth and full living color.)

Other examples

One friend talked about how a boy entered an Orthodox altar to serve as an acolyte, and the priest brusquely told him to unvest, leave the altar, take off his tie, and come back without his tie; the stated reason was, "You are not a slave!"

This was presented as counter-cultural, and it may have been such at some point. However, it fits with another conversation where a business owner had individual contributors wear ties, managers wear a suit and tie, and the owner wore a suit and no tie. Last I seriously checked in, the professional jobseeker fashion was for men not to wear ties.

I might mention, by the way, that when something is taking credit for being countercultural, it's usually a mainstream fashion before too long.

Last example for now: it is presented that violin-making is a "fossil trade." This trade may be mostly or exclusively practiced by violinists; I doubt I could produce a decent violin personally unless I had enough exposure to recognize good and bad-quality violins. Possibly I could learn enough to be a luthier without developing the level of skill appropriate to public performance; but I rather guess that takes less practice to be able to perform well in public than to be in a position to make a good violin. And on that score, I met or heard of one luthier, introducing violin-making as a "fossil trade", and then the count quickly escalated to something like half a dozen. On which point I suggest that it's a turn in fashion, and the number of people embracing the new fashion is chiefly limited by the fact that most people have never been trained to play a violin. (I've never, to my recollection, heard a musician say, "I play the violin but I am not interested in becoming a luthier.")

Icon and Idol

There is something about the theology of icons in Orthodoxy that looms so large that I missed something.

In one passage that I have never heard Orthodox quote, Herod dressed royally, gave a stunningly good speech, and the people who were listening shouted "The voice of a god and not a man!" and when he accepts this praise and fails to give God glory, God infests him with worms and kills him.

This is as good a place as any I see to introduce the distinction between an icon and an idol. And please do not see the distinction in terms of "If an Orthodox Christian makes it with paint and gold on wood it is an icon, and if a Hindu makes it a statue with many arms it is an idol." I don't remember what they are, but I've heard from Hindus some very nuanced thoughts about god(s) and idols. For that matter, I don't especially wish to discuss idols in relation to Graeco-Roman paganism, even though they, and Old Testament ancestors, form the basis for the universal Orthodox condemnation of idolatry. I wish to articulate a distinction, not from comparative religion as such, but as a distinction within Christianity.

Probably the #1 metaphorical name for icons is "windows to Heaven", and the theology that St. John the Damascene among others articulated is that the honor paid to an icon passes on to the prototype. Honor to an icon of a saint honors the saint; honoring the saint honors Christ. While I am not aware of people using the term "icon" in reference to the saints' lives, reading the saints' lives is strongly encouraged for beginner and expert alike, and what it is that's really worth reading in saints' lives is that you see to a small degree the face of Christ, otherwise it's not worth reading. This theology undergirds structures, and supports an understanding of the human person as made in the image of God, which I have not seen disowned in Western Christianity, but it grows on poor soil. Although terms like 'icon' and 'image' are not used in this specific passage, looking on and treating people as the image of Christ is given a chillingly sharp edge in Matthew 25:

When the Son of man shall come in his glory, and all the holy angels with him, then shall he sit upon the throne of his glory: And before him shall be gathered all nations: and he shall separate them one from another, as a shepherd divideth his sheep from the goats: And he shall set the sheep on his right hand, but the goats on the left.

Then shall the King say unto them on his right hand, â"Come, ye blessed of my Father, inherit the kingdom prepared for you from the foundation of the world: For I was an hungred, and ye gave me meat: I was thirsty, and ye gave me drink: I was a stranger, and ye took me in: Naked, and ye clothed me: I was sick, and ye visited me: I was in prison, and ye came unto me." Then shall the righteous answer him, saying, "Lord, when saw we thee an hungred, and fed thee? or thirsty, and gave thee drink? When saw we thee a stranger, and took thee in? or naked, and clothed thee? Or when saw we thee sick, or in prison, and came unto thee?" And the King shall answer and say unto them, "Verily I say unto you, Inasmuch as ye have done it unto one of the least of these my brethren, ye have done it unto me."

Then shall he say also unto them on the left hand, "Depart from me, ye who are damned, into everlasting fire, prepared for the devil and his angels: For I was an hungred, and ye gave me no meat: I was thirsty, and ye gave me no drink: I was a stranger, and ye took me not in: naked, and ye clothed me not: sick, and in prison, and ye visited me not." Then shall they also answer him, saying, "Lord, when saw we thee an hungred, or athirst, or a stranger, or naked, or sick, or in prison, and did not serve thee?" Then shall he answer them, saying, "Verily I say unto you, Inasmuch as ye did it not to one of the least of these, ye did it not to me."

The damned are damned because they failed to love and honor the icon of Christ, and the insult might have as well been made to Christ personally. That's how he felt it.

With all of these things said, and I am really not trying to shoehorn a place to save the Greek fathers' teaching that we should become divine, Herod was not destroyed because he allowed himself to divine honor. He was destroyed because, receiving divine honor, he failed to pass it on to God whom it properly belonged to. Given the choice between letting honor pass on through him to the creator, and keeping it to himself, he chose to stop the honor from rising higher, and that is the difference between being an icon and being an idol.

Orthodox who like me (or for that matter Orthodox who don't like me, but are choosing to be polite) pay a respect whose contours are set by the Orthodox theology of icon and image: I am respected for being made in the image of God, not for being godlike on my own. Respect for my writing has drawn, if I may mention my most-cherished compliment, "You write verbal icons!" The respect paid to my writing is a subordinate respect to works that salute One greater than them, and the respect paid to me is a subordinate respect that salutes One greater than me. I am respected for being to some degree divine by grace (people wanting a Biblical proof-text may cite 2 Peter 1:4 which dares to call us "partakers of the divine nature"); I am not in any sense honored as being a god in some sense independent of the Creator or stopping with me instead of referring glory to the Creator. Evangelicals often like my works, and while they may not have the doctrine of the image of God defined in such articulate and sharp contours, there is some continuity in respect I have received. Specifically, it is practically always a subordinate respect, and my works are praised as drawing them to God. There is a tale, true or apocryphal, of a visiting African pastor who came to the U.S., and after observing things, said, "It is amazing what you can do without the Holy Spirit!" Evangelicals have never praised me for being great without needing God's help, and if they did it would most likely be sarcasm or a stinging rebuke, almost on par with saying that something is "more important than God." Among both Orthodox and Evangelicals, whatever the differences may be, to be great is to be permeated by God's grace.

I will comment briefly, for the sake of completeness, on one point where I am just a beginner. The saints do not seek ordinate human honor; they usually try to dodge all human honor at all whether or not that honor is ultimately referred to God, and some among them have immediately left town, without any sort of modern vehicle, if that is what it took to dodge human honor after their gifts had been discovered. I am not at the stature to do that, at least not yet. However, hostility and abuse come quickly nipping at the heels of honor, and I am trying to progressively restrain searching for human honor or accepting unsought human honor. My author bio has become progressively shorter, and at present the main glory I claim is that of a member of the royal human race. The more time passes, the more I think that seeking human honor is a fundamental error, a way of "drinking out of the toilet" that deserves a section in A Pet Owner's Rules as something that, if you know what you're doing, you really, really don't want to do. On that score, I count myself fortunate that, while I was a forerunner who ran ahead of the Zeitgeist in study of the holy kiss as a legitimate matter of doctrinal study, I didn't acquire a pedestal in reward for my endeavors. That's about as much winning as I'd ask.

And there is one other point to mention: usually, people who have respected me have respected me like some minor icon. I had guessed, with excusable but near-disastrous naïvete, that if in the future I am put on a pedestal, I will receive more of the same and I will serve as an icon in not the best position. Now I believe it far more likely for me to put on a pedestal as an idol rather than an icon. The Church does legitimately place people on pedestals as icons; I believe that the practice of choosing bishops from the pool of monks is, without judgement against the married, a good monastic may have a fighting chance of surviving and functioning effectively in an ordeal where the title of "Bishop" has a job description of, "Whole burnt-offering without remainder."

The Orthodox Church can, at least sometimes, put an icon on a pedestal...

...but the Zeitgeist only knows one trick: putting an idol on a pedestal, adapting an icon to function as an idol if need be.

A cloud the size of a man's hand

St. James, the brother of the Lord, wrote, "Elias was a man subject to like passions as we are, and he prayed earnestly that it might not rain: and it rained not on the earth by the space of three years and six months. And he prayed again, and the heaven gave rain, and the earth brought forth her fruit." This is extraordinarily terse compared to the Old Testament narrative, albeit completely faithful. But I would like to give just one vignette not unfolded in this shorthand reminder about the story: it has been a long time since it rained, and there is a deep famine, and there has been an ongoing rivalry with multiple dimensions between the wicked King Ahab and St. Elias. There is the great contest with the prophets of Ba'al; St. Elias, who has suggested that (in modern terms) "Maybe Ba'al isn't answering your hours of frenzied prayer because he just can't come into the phone now," asks that his one prophet's sacrifice to the God of Israel be drenched with excessive /mounts of water. (Saltwater, perhaps: freshwater may have been extremely hard to come by, and rare enough to make a terrible famine, but any time during the famine you could go to the Red Sea and take as much particularly salty saltwater as you could carry.) After Ba'al had already failed to get off his porcelain throne, St. Elias makes one single prayer and calls down fire from Heaven that consumes his entire dripping sacrifice.

That story is famous; but there is a slightly less famous dramatic detail that is worth noting. St. Elias told his servant to go and look out by the sea. The servant comes back, and says, "I see nothing." St. Elias, who had told the servants to pour water on his sacrifice again after it was already quite wet, and then for good measure asked for water to be poured a third time on already drenched it again. But for the servant, he goes six times reporting nothing, anad the seventh time he barely says, "I see a cloud the size of a man's hand." At that point St. Elias sends his servant to tell King Ahab to get in his chariot and get back to his castle before he would be trapped in mire by the deluge.

If you are profoundly gifted, and you think of or take a position that is attacked and ridiculed beyond due measure (and, honestly, make a good allowance for due measure), it is my suspicion that the opinion you are ridiculed for will be the fashion in 5-10 years, or longer if it's something profound. I try to respectfully welcome visitors to my website, although some people have clearly stated that I have failed in that measure, but I pay particular attention to profoundly gifted who contact me, not because they are better than other visitors, but out of survival instinct (and recognition of a shared experience, a bit like another actor who had the cumbersome side of equal fame would be on the same page as Leonard Nimoy about sneaking into restaurants by the kitchen, and that I had better therefore try to listen hospitably). Those emails usually provide an advisory that's a bit like insider trading, though I have never made a financial decision that was influenced by the outcome of such conversation. They, in essence, by running ahead of the Zeitgeist, let you know what's coming. And the profoundly gifted I meet usually see something that I don't.

Chris Langan, considered the most gifted member in almost all ultra-high-IQ society (or some might give that accolade to Paul Cooijmans), has worked on a CTMU or "Cognitive-Theoretic Model of the Universe", pronounced "cat-moo" by insiders, with homepage at CTMU.org, which I don't agree with: one conversation helped me see the need to write works such as "Religion and Science" Is Not Just Intelligent Design vs. Evolution after I left him flabbergasted by saying I was not interested in cosmology. (Note: In the years after I wrote "Religion and Science" Not Just Intelligent Design vs. Evolution, things have shifted almost to a point that alleging some opponent of "scientism" is in and of itself halfway there to, "A hit, a very palpable hit!" And again I am not a prime actor.) However, I am inclined to regard Chris Langan's CTMU as significant on the evidence by how hard people fight against it alone. I know that some profoundly gifted individuals suffer from mental illness, and in fact I believe mental illness is significantly more likely among the profoundly gifted than otherwise. He is called a crackpot, but meeting him face-to-face and conversing via email do not give me any reason for agreeing with the label about him as a person. Every interaction I've had with him has had him looking brilliant and in touch with reality. It's possible enough to be brilliant, in touch with reality, and wrong, but I have not heard of any critic recognize one point which is consensus under the tail end of the high-IQ community: that he is bright such as few people ever set eyes on. Characteristic of the reception of the CTMU is that its main page on Wikipedia was deleted, but its CTMU Wikipedia talk page is still there. Possibly the CTMU does not lend itself to experimental investigation: but we live in a time where superstring theory is very much in vogue, and where we are very hard-pressed to find a feasible or even infeasible experiment where superstring theory predicts a measurably different outcome from the best predecessor theories, and it is genuinely provocative to say "Physics is an empirical, hard science and as such is not validly practiced without claims being accountable to being tested by experiment." And maybe we should remember, "People in glass houses shouldn't throw stones." If we are going to join in the euphoria about superstring theory, perhaps we would do well to give the Cognitive-Theoretic Model of the Universe a fair hearing. The main reason I believe it is significant is that it is ridiculed well beyond the hostility that greeted my study of the holy kiss. He is consistently and repeatedly dismissed as a sheer crackpot, but people do not spend anywhere near that much energy dismissing genuine crackpots as crackpots. I continue to believe in the conceptual framework's significance even if I do not subscribe to it.

Not all clouds in the sky are tied to giftedness. I saw a major step towards Nazification in Amazon, and then Apple, drop anything bearing a confederate flag faster than a hot potato. Fr. Richard John Neuhaus made quite an opposite point in saying that if a Klu Klux Klansman wanted to injure black America, he could scarcely do better than promote Afrocentrism. Here, it may be said that white racism has had a bad name for quite a long time. That doesn't mean that it was ever nonexistant, but most whites at least tried to not be racist, or become less racist. Here it might be said that if you want "white nationalism" (great job on the layer of whitewash, but befriend a "white nationalist" on Facebook and your feed will have Nazi flags and news articles with comments fantasizing about "[insert alternate spelling of the N-word]" criminals being lynched) to attract droves of new followers, and make white racism respectable in many places where it is not at all respectable now, you can scarcely do better than to continue flipping the bird at white descendents of the Confederacy. The significance of Amazon dropping displays of the Confederate flag is not that some goods were delisted or that the censorship affected some people's income; the significance is essentially an announcement of a new direction in policy, as illustrated in a very first installment. I don't know who's safe as this enlightening policy goes; I have serious difficulties believing it will remain confined to black-white relations in race, or that purges will remain only in the South. I don't consider myself safe, and I honestly am not sure that even people trying to be politically correct are safe. At the French Revolution, there was serious scope creep in the public enemies who were sent to the guillotine, a monstronsity that at the end was killing cleaning maids and children seven or eight years old with people standing by the foot of the guillotine to be sprayed by the enemies of states' blood and eat their still-living flesh. And this happened in an educated Republic. The present removal of venerated public statues is not a final installment; it is if anything a reminder that the overhaul is just beginning. But there was a cloud in the sky the size of a man's hand when Amazon dropped the Confederate flag. I have come to believe some non-Southern perspectives, that yes, the Confederacy was fighting for States' rights, but the States' rights were chiefly the right to maintain slavery. But the moral I take is not that white Southerners are being asked to make a few adjustments; the moral I take is that we would be well advised to read "The Cold Within" and that those of us who are not white Southerners should not say "This does not concern us." The classic poem "The Cold Within" reads:

THE COLD WITHIN

Six humans trapped by happenstance
In bleak and bitter cold.
Each one possessed a stick of wood
Or so the story's told.

Their dying fire in need of logs
The first man held his back
For of the faces round the fire
He noticed one was black.

The next man looking'cross the way'
Saw one not of his church
And couldn't bring himself to give
The fire his stick of birch.

The third one sat in tattered clothes.
He gave his coat a hitch.
Why should his log be put to use
To warm the idle rich?

The rich man just sat back and thought
Of the wealth he had in store
And how to keep what he had earned
From the lazy shiftless poor.

The black man's face bespoke revenge
As the fire passed from his sight.
For all he saw in his stick of wood
Was a chance to spite the white.

The last man of this forlorn group
Did nought except for gain.
Giving only to those who gave
Was how he played the game.

Their logs held tight in death's still hands
Was proof of human sin.
They didn't die from the cold without
They died from the cold within.

It's not often that I quote an ecumenist poem as authoritative. In this case the point is universally human, and while I believe in an Orthodox closed communion, I believe that nothing that is truly human should be foreign to me.

A change in experience

It was sometime in the past few months that I began asking pastoral questions about what to do with someone who is in awe of me.

The motivation and intended nuance, which I did not end up making clear, could be outlined as follows. Years back, my Mom invited neighbors across the street to some minor social function. They hesitantly said, "No," not because the suggestion was unwelcome but because it would create a scheduling conflict, and they wanted to know, in effect, whether their "No" had alienated her. She was pretty quick to answer, "This is valuable!" She explained that now that she knew they would be willing to say "No" to a suggestion that would be less that ideal for them, or a scheduling conflict, or... Now part of this was politeness or a gracious response, but I believe she genuinely meant what she said about knowing they would be willing to say "No" when they should say "No," and she was genuinely grateful for a safety-net of "I can extend an invitation and not worry about whether they'll give a 'Yes' they shouldn't be giving." And in that framework, I was motivated by a difficulty. Most visitors have and maintain boundaries. Not that everything is perfect, but my visitors have been willing both to say "Yes" and "No," and in general do not seem to worry about dealing a capital insult if they happen to say "No."

Boundaries matter, even if I've voiced serious objections to Cloud and Townsend, and I felt myself in the uncomfortable position of negotiating with someone who was defenseless before me, who was too far below me in his conception to express a boundary, who would only answer "Yes" no matter how destructive a "Yes" would be, and where any knowledge that I sometimes sin and I am sometimes wrong exists only on a purely academic plane. I know there are cultures where this kind of dynamic is normal and something people can deal with, but I felt really uncomfortable and really at a loss.

The pastoral advice I received was helpful, particularly in a reminder that people that, to a one, shout "Hosanna!" and spread palm branches are entirely capable of shouting, to a one, "Crucify him!" five days later. And in Christ's case the earlier accolades were accurate, and higher accolades would have been justified. In my case the "Hosanna!" is in fact not justified, and as I was reminded of the toxic nature of all human praise. (I am looking forward to the possibility in monasticism of being under the authority of an Abbot who treats everyone with deep respect, but might not give a single compliment, or at least not to me.)

And things like this, though varied and though I wish to refrain from providing thick description's details out of concern for others' privacy, have become a consistent fixture. Though varied in detail, the attempt is to place me on some minor pedestal, on terms that are unreal to me, and probably unreal to me because they are unreal to God. I regard it as very fortunate that the inundations of compliments have, by God's grace, appeared utterly unreal to me. Future temptations will probably be more subtle.

Clearing away a distraction: NF goggles

David Kiersey's Please Understand Me (I prefer the first edition to the more than the second) is one introduction to classical temperament theory. The book has hypocrisy as well as strengths; it is eminently nonjudgmental in describing one temperament's liability to promiscuity, or another doing whatever their system of ideas calls for, or another's doing what their spiritual path calls for, but when one temperament tends towards chastity or fidelity, it is described in language that is at once clinical, and the most degrading language in the entire book: metaphors are used as a basis to this temperament with seeing sex as basically a merely economic commodity, or something like being physically dirty or clean. Classic postmodern hypocrisy here.

However, there is one particular point that I wanted to pull: the "iNtuitive Feeling" or "NF" type, which is ascribed what might be the most striking characteristic in the book: they appear to other people, without any effort on their part to cause this, to be whatever the other person would most like them to be. People look at them through rosy "NF goggles," if you will. I think I can usually detect NF's, albeit indirectly: I am drawn to another person, especially women, to a degree that is out of step with that person's attractiveness and the social setting, even though there is very little I have directly observed as signs of what is going on (the one cue I notice is that about half the time they appear close to crying). My guess is that this boils down to a layer of nonverbal communication that is possibly very subtle, even if it is still very effective and does not apply, or applies far less, to email and other basic electronic communication that flattens nonverbal signals beyond emoticons.

A question might be raised of, "How little or much of an NF are you?" Before Orthodoxy I considered myself to be at the boundary between "NT" ("iNtuitive Thinking") and NF, called NX, and wanting to shift towards NF. In Orthodoxy I found that silence that I desired personally was not my particular personal trait, but something normative, and the Orthodox Church's hesychasm or silence is bigger than what I had. Similarly, the Orthodox Church out-NFed me by making normative observations like, "The longest journey we will ever take is the journey from our mind to our heart." In both cases the Orthodox Church's answer was to challenge me to go further. And that raises at very least the possibility that I am close enough to (or far enough into) NF territory that some people see me through NF goggles.

I admit this as a possibility, and furthermore a possibility I think is at least probable. There is always some ambiguity and I do misunderstand some social setting, but there have been face-to-face encounters where someone seemed to really like me as something I wasn't. I've worked hard to write well and I've received some very rosy compliments, but usually the reader and I are on the same page about what a particular work is doing. (Most strands of criticism are also usually something I can recognize as a response to something I wrote.) My writing is usually not taken to be whatever the reader would like it to be. So while I admit a likely NF layer to people drawn to me in person, the majority of the encounters where I've been offered a pedestal have been online, with people who have not met me face-to-face, or electronic communication that preserves nonverbal information such as Skype's offerings. So the question of whether my nonverbal communication is enchanting is largely beside the point. Whether the answer is true or false, the question is irrelevant.

A tentative conclusion

I remember thinking, "My website hasn't really changed; why is the response to it changing?" And then I came to a "Yes, but..." answer. Most of what I consider the best works are relatively old, at least a couple of years; the only one I would consider "inspired" (in a broad and secular sense) is Eight-Year-Old Boy Diagnosed With Machiavellian Syndrome By Proxy (MSBP), which I would genuinely place alongside Evangelical Converts Trying to Be Orthodox and Pope Makes Historic Ecumenical Bid to Woo Eastern Rite Catholics for quality. The previous Monasticism for Protestantsand this work itself I consider to serve a legitimate purpose not served by anything else among my posts, but they are not classics.

So why, if my website hasn't grown any major new features for quite some time, why would it be drawing fundamentally different response? The answer is simple, and one I should have predicted: I've run ahead of the Zeitgeist, whether I had the faintest intent of doing so or not. Whether or not it's the same article, some of what I wrote may draw people more effectively now than when they were fresh and new.

And the question of a pedestal weighs on my mind. Advertisements run repeatedly because people don't fall for a product the first time they see an advertisement targeted to them; they fall after repeated familiarity. Only humility can pass through certain snares: and I am scarcely humble. I see the possibility that, some time after I have seen five or so clouds the size of a man's hand, a deluge will break forth. And I would really prefer the storm hit me when I am on Mount Athos, as a novice under the authority of an Elder, who does not care how smart I am and who sees that I have the same needs as many other novices, such as humility and obediences that build humility. Possibly I will not escape the deluge by getting to Mount Athos before it breaks: but I'll take my chances with a loving Elder rather than my own wisdom.

Read more of Profoundly Gifted Survival Guide on Amazon!

Closeness Spaces: Elementary Explorations into Generalized Metric Spaces, and Ordered Fields Derived From Them

Own C.J.S. Hayward's complete works in paper!

University of Illinois at Urbana-Champaign
Department of Mathematics

Closeness Spaces:

Elementary Explorations Into Generalized Metric Spaces, and Ordered Fields Derived From Them

Jonathan Hayward
Master's Thesis
Advisor: John Gray
May 6, 1998


Abstract

A generalization of metric spaces is examined, in which we are able to determine which of two pairs of points is closer (or if both are equally close), but not initially know how to assign a number to a distance. After the spaces are defined in general, we look at some more specific closeness spaces, and establish the the existence of a metric, which we are able to determine, under certain broad circumstances.

After looking at the closeness spaces, more specific attention is devoted to the closenesses themselves. We begin to define arithmetic operations over closeness spaces, and (given certain restrictions on the space) then complete addition and subtraction to develop a totally ordered group in which the closenesses are embedded. We prove that it is indeed a totally ordered field, and look at some examples. Directions are suggested for future research.

[Side note when entering this dissertation two decades later: this research includes a way to rigorously define and use infinitesimals. Infinitesimals were long seen as something you wanted to have but could not rigorously define; epsilon-delta proofs in relation to derivatives in calculus represent a masterstroke of how to do an infinitesimal's job using only standard real numbers for epsilons and deltas. Infinitesimals were spoken of as a ghost to be exorcized, and the entire point epsilon-delta proofs were a way to circumvent obvious use of infinitesimals in a mathematically rigorous way. At the time this thesis was written there appear to have been rigorous treatment of infinitesimals; however, so far as one could tell this approach to providing this kind of squeaky-clean rigorous handling of infinitesimals was new when the thesis was written.]

Introduction

Intuitively, a closeness space is like a metric space, with balls, symmetry, positive definiteness, and a triangle inequality, boundaries, an induced topology, and other familiar attributes of a metric space. However, it is a space for which we do not specifically know a metric: it is possible that we simply do not know a metric or none is given, or that no metric may exist. The latter holds in certain cases where the real numbers are too coarse of an ordered field to describe the space's distances: such a thing is possible, for instance, when there are infinitesimal and infinite distances. A closeness space might not be thought of so much as a generalization of a metric space (at least in the sense that a metric space is a generalization of ℝn), but rather as a metric space with a generalization of real-valued distances. It is a metric space which may potentially have nonstandard real numbers (broadly defined) as its distances, rather than necessarily having real numbers under the standard model as its distances.]

In this sense, what is of interest is not only the spaces themselves, but their distances: what kind of group embeds them (we will look at a field which embeds an arithmetic closure of these distances). We will study the topological spaces, but our interest is not only in the spaces, but in the ordered groups and then fields which embed the closenesses. Throughout this thesis, the aim is both to establish certain elementary properties — laying a groundwork — and also to suggest directions for future research.

It is remarked that the approach is not to start with a field and then see for what kind of spaces it can function like a metric; the approach is rather to start with a space and see what kind of field acts as an arithmetic closure to its closenesses, given a certain construction.

Chapter 1: Notation, Definitions and Terminology

Notation 1:1:

In this document, a lowercase, indexed variable name is generally understood to be an element of the set designated by the corresponding uppercase letter, provided that the letter is 's' or occurs after 's' in the alphabet. For example:

s1 ∈ S

Furthermore, we associate in the same way α with indexing set J, and β with K. These indexing sets are understood to have no last element.

There will be plainly marked exceptions to this rule.

Definition 1:2:

A closeness space C is a set S, together with a function

ƒ: SSSS ↦ {'<', '=', '>'}

such that the following conditions hold:

Definition 1.2.1:

f is defined for each quadruplet of points in S.

(S is said to be a space, and its elements are referred to as its points, as elsewhere in topology. The function f is said to be a closeness.)

Intuitively, this condition and those following guarantee that ƒ is comparing the distance between the first two points, and the distance between the last two points to see which one is greater. This condition, and the next four, are simply conditions which guarantee that ƒ is well-behaved as a function on a pair of pairs of points, only depends on which pair of pairs of points is given, and defines a total ordering up to equivalence classes.

For every six points s1, s2, s3, s4, s5, and s6 (possibly non-distinct), we have the following conditions hold:

Condition 1.2.2:

ƒ(s1, s2, s3, s4) = ƒ(s2, s1, s3, s4)
ƒ(s1, s2, s3, s4) = ƒ(s3, s4, 11, s3)

ƒ is not affected by swapping the elements in one pari, or by swapping the pairs. This is the closeness space's version of a metric space requiring symmetry.

Condition 1.2.3:

If ƒ(s1, s2, s3, s4) = '<', then ƒ(s3, s4, s1, s2) = '>'.
If ƒ(s1, s2, s3, s4) = '=', then ƒ(s3, s4, s1, s2) = '='.
If ƒ(s1, s2, s3, s4) = '>', then ƒ(s3, s4, s1, s2) = '<'.

Condition 1.2.4:

If ƒ(s1, s2, s3, s4) = '<' and ƒ(s3, s4, s5, s6) = '<', then ƒ(s1, s2, s5, s6) = '<'.

Condition 1.2.5:

We have

ƒ(s1, s2, s1, s2) = '='

Condition 1.2.6:

If s2 and s3 are distinct, then we have

ƒ(s1, s1, s2, s3) = '<'

Every point is closer to itself than the distance between any pair of distinct points; this is the closeness space's version of the positive definiteness of a metric space.

Condition 1.2.7:

We have

ƒ(s1, s1, s2, s2) = '='

In other words, there is only one zero. It may be mathematically interesting to remove this restriction, but we will not investigate that possibility.

Condition 1.2.8:

If ƒ(s1, s3, s1, s2) = '<' then for every set TS containing points arbitrarily close to s3 (in a sense to be defined below), there exists t1s3, such that, for every point s4, if ƒ(s3, s4, s1, s2) = '<'.

(What this is getting at, is that if you have a boundary point s2 to a ball (boundary being outside the ball as with metric spaces), then every point closer to the center than the boundary point has a neighborhood entirely contained inside the ball (closer to the center than the boundary point). This means that a ball with a boundary point has a unique radius: there cannot be a second boundary point further than the center than the first boundary point, because then the first boundary point would be inside the ball; there also cannot be a secondary point closer to the center than the first boundary point, because this axiom says that every closer point has a neighborhood.)

Condition 1.2.9:

A set TS is said to hold points arbitrarily close to point s3 (in a sense to be defined below), there exists t1s3, such that if ƒ(s2, t1, s2, s4) = '<', then ƒ(s1, s4, s1, s2) = '>'.

(Here, we say that if you have a boundary point s2 to a ball, then every point further from the center than the boundary point has a neighborhood disjoint from the ball. Note that these two conditions may be vacuously satisfied by finite or other discrete metric / closeness spaces, with which we are not very much concerned.)

These two stipulations together constitute the closeness space's version of the triangle inequality in a metric space. The slight awkwardness of this definition is necessary to permit discrete metric spaces. This awkwardness will recur in other places where we are defining concepts on a very low level without using familiar tools (because we are developing a more general form of such tools), but it should pass.

Definition 1:3:

A set TS is said to contain points arbitrarily close to point s1 if the following conditions hold:

Condition 1.3.1:

T is nonempty and contains at least one point distinct from s1.

Condition 1.3.2:

For every distinct pair of points s2 and s3, there exists T1 distinct from s1 so that ƒ(s1, t1, s2, s3) = '<'.

(In other words, for every closeness in the space, there is a point in T that is closer to s1.)

Additional terminology 1.4:

Term 1.4.1:

Point s1 is said to be closer to s2 than s3 is (close to s2) when ƒ(s2, t1, s2, s4) = '<'.

Term 1.4.2:

Points s1 and r are said to be equidistant from s2 when ƒ(s1, s2, r, s2) = '='.

Term 1.4.3:

Point s1 is said to be father from s2 than r is when ƒ(s1, s2, r, s2) = '>'.

Term 1.4.4:

A pair of points is referred to as a distance.

Term 1.4.5:

The pair (s1, s2) is said to be the distance from s1 to s2.

Condition 1.4.6:

If distance d1 is the pair (s1, s2) and distance d2 is the pair (s3, s4), then the following three conditions hold:

Condition 1.4.6.1:

If ƒ(s1, s2, s3, s4) = '<', then d1 is said to be less than d2, written d1 < d2.

Condition 1.4.6.2:

If ƒ(s1, s2, s3, s4) = '=', then d1 is said to be equal to d2, written d1 = d2.

Condition 1.4.6.3:

If ƒ(s1, s2, s3, s4) = '>', then d1 is said to be greater than d2, written d1 > d2.

Remark 1:5:

Equality induces a partition of equivalence on distance. We will abuse notation slightly by referring to a distance, its equivalence class, and elements of its equivalence class interchangeably. Context should make clear which of these is meant; if context is not sufficient to clarify, then we will be more explicit as to which of these is intended.

Definition 1.6:

A ball about point s1 is a set of points such that the following two conditions hold:

Condition 1.6.1:

Every point in the ball is closer to s1 than is every point not in the ball.

Condition 1.6.2:

There does not exist point s2 in the ball such that the following conditions hold:

Condition 1.6.2.1:

No point in the ball is further from s1 than s2 is.

Condition 1.6.2.2:

S contains points arbitrarily lose to s2, which are not contained in B.

This latter condition guarantees that B does not contain its boundary, if it does have a nonempty boundary.

As the remainder of the definition and terminology, we have:

Condition 1.6.3:

If distance d = (s1, r), r is not contained in B, and B contains points arbitrarily close to r, then ball B is said to of radius d, or to be the ball of radius d centered at p, and its boundary is said to be the circle of radius d centered at p.

(By the remarks following the triangle inequality, there is at most one equivalence class of distances which satisfy this property. Note that a ball might or might not necessarily have a radius.)

Definition 1.7:

A set T is said to have points arbitrarily close to point s1 if T contains at least one point t1s1, and for every t2s1, there exists t3 which is closer to s1 than is t2.

Definition 1.8:

The boundary of a set T is the set U of points u such that both T contains points arbitrarily close to u, and ST contain points arbitrarily close to u.

Definition of values, having different levels, 1.9:

We are using the term value to refer to mathematical objects which we will use in the construction of the field we are working on. Each value has a level; values of higher levels are determined in terms of values of lower level. The highest level of value will be an element of a field. I will define some (not all) levels of values here. If we use the term without specifying its level, it should be understood to be the last level specified, usually the highest level so far defined, if there is ambiguity. In some cases we will leave an ambiguity when what we are saying applies both to a member of an equivalence class, and its class.

Definition 1.9.1:

A level 0 value is defined to be a distance (strictly defined as a pair of points).

Definition 1.9.2:

A level 1 value is defined to be an equivalence class of level 0 values under the partition induced by equality. Level 1 values are ordered, in the same way that their members are ordered.

The remaining levels of values will be defined after I have begun to build up the the machinery necessary to explain and use them.

Definition 1.10:

A level 0 zero is defined to be a distance (s1, s1).

Definition 1.11:

A level 1 zero is defined to be the equivalence class of level 0 zeroes. Zeroes will be defined for all levels greater than or equal to level a.

Definition 1.12:

A level n value is defined to be positive if it is greater than the level n zero.

Definition 1.13:

A level n sequence is defined to be a level n sequence {∈α}α∈J, with J a totally ordered indexing set.

A level n epsilon is defined to be a level n sequence {∈α}α∈J, of positive level n values, such that the following two conditions hold:

Condition 1.13.1:

Every positive level n value v is greater than some εα.

Condition 1.13.2:

Every εα is greater than or equal to every εβ.

Condition 1.13.3:

Distance d1 is said to be within distance d2 of distance d3 if there is a set of points s1, s2, and s3 such that d1 = (s1, s2), d2 ≤ (s3), and d3 = (s1, ss3).

Chapter 2: Examples

Example 2.1:

Every metric space is a closeness space. Two distances are compared by '<'.

Example 2.2:

We derive a space C from ℝ2 under the Euclidean metric as follows:

We make C a copy of ℝ2, and then we add a point o' to the space, and define closenesses as follows:

O' is as close to every non-origin point as the origin is.

O' and the origin are closer than any other distinct pair of points.

Theorem 2.1.1:

This closeness space cannot be described by any metric.

Proof:

We prove this by contradiction.

Assume that such a metric exists.

If a metric did induce this closeness, it would have a least nonzero distance d, the distance from the origin O to O'.

Let the distance from O to (0, 1) be d'.

By the Archimedean property, there exists n such that d' ÷ n < d.

By repeated application of the triangle inequality on segments from (0, 0) to (i ÷ n, 0) and from (i ÷ n, 0) to ((i + 1) ÷ n, 0), this means that d' is at most equal to n times the distance from (0, 0) to (1 ÷ n, 0).

This means that the distance from (0, 0) to (1 ÷ n, 0) is less than d, but it is positive because they are two distinct points, and d is a minimal positive distance. ⇒⇐

Q.E.D.

This space is in many ways a space very like a metric space; although it boasts unusual decoration, it has a strong amount of stricture, like a metric space, structure that might not be present in an arbitrary metric space.

Example 2.2:

Let M be a metric space with metric μ over a set E of equivalence classes partitioning a set S. Then we can define a closeness space C which has S as its space, and its closeness ƒ defined as follows:

For every four points s1, s2, s3, s4 in S:

Case 2.2.1:

If μ(s1, s2) < μ(s3, s4), then ƒ(s1, s2, s3, s4) = '<'.

Case 2.2.2:

If μ(s1, s2) > μ(s3, s4), then ƒ(s1, s2, s3, s4) = '>'.

Case 2.2.3:

If μ(s1, s2) = μ(s3, s4), then:

Case 2.2.3.1

If s1 = s2 and s3 = s4 then ƒ(s1, s2, s3, s4) = '='.

Case 2.2.3.2

If s1s2 and s3 = s4 then ƒ(s1, s2, s3, s4) = '>'.

Case 2.2.3.3

If s1 = s2 and s3s4 then ƒ(s1, s2, s3, s4) = '<'.

Case 2.2.3.4

If s1s2 and s3s4 then ƒ(s1, s2, s3, s4) = '='.

In other words, if we have a metric space over equivalence classes, we can compare distances between pairs of elements of the classes by first looking at the distance between the elements' equivalence classes, and then doing something else to break ties — say, seeing where they are the same.

In relation to this, we have:

Definition and example 2.3:

If we have two closeness spaces C and D, with underlying sets S and T, then we can take their cross product E = CD, with underlying sets S and T, then we can take their product E = CD, with closenesses compared in the dictionary order.

Specifically, let U be the underlying set for E. We compare two distances d1 = (u1, u2) and d2 = (u3, u4), with u1 = (s1, t1) and d2 = (u2, u2), u3 = (s3, s3), and u4 = (s4, t4), as follows:

Case 2.3.1:

If (s1, s2) < (s3, s4), then (u1, u2) < (u3, u4).

Case 2.3.2:

If (s1, s2) > (s3, s4), then (u1, u2) > (u3, u4).

Case 2.3.3:

If (s1, s2) = (s3, s4), then:

Case 2.3.3.1:

If (t1, t2) > (t3, t4), then (u1, u2) > (t3, t4).

Case 2.3.3.2:

If (t1, t2) < (t3, t4), then (u1, u2) < (t3, t4).

Case 2.3.3.3:

If (t1, t2) = (t3, t4), then (u1, u2) = (t3, t4).

N.B. This cross product, in the dictionary order, will be used later.

Example 2.3.4:

Let S, T = ℝ2 under the closeness induced by the Euclidean metric. Then U = ST may be described as a Euclidean plane, where each point is itself a miniature Euclidean plane. It is a plane with infinitesimal distances, or alternately an infinitesimal Euclidean plane.

A typical ball in this space is the ball with center at the origin ((0, 0), (0, 0)) consisting of all points strictly closer to the origin than ((1, 1), (1, 1)). This divides teh large-scale plane into three regions: the interior, exterior, and boundary of the disk of radius 1, centered at the origin. The interior of the disk corresponds to miniature planes which are entirely within the ball, where every point is inside. The exterior of the disk corresponds to miniature planes which are entirely outside the ball, where no point is inside. The boundary of the disk corresponds to miniature planes where the interior of the disk of radius 1 centered at the origin (of the small one, not the large plane or metric space) is inside the ball, and its boundary and exterior are outside. The boundary of the given ball in U consists of, in the miniature planes, all circles of radius 1 centered at the origin which are themselves on the circle of radius 1 in the large plane.

Proof that this satisfies the axioms of the space:

The set of equivalence classes (under equality) of closenesses has a 1-1 order-preserving mapping to the nonnegative real number line cross itself, in the dictionary order. In other words, it is a dictionary order cross product of two totally ordered sets, and therefore totally orders. This satisfies axioms 1.2.1-1.2.7.

To satisfy 1.2.8, we let s2 be closer to s3 than is s3.

If the small planes of s2 and s3 are equidistant to the small plane of s1, then the small plane position position of s2 is closer to the small plane position of s1 than is the small plane position of s3. There is, by topology, an open disk about the small plane position of s1 and boundary the small plane position of s3; if we take such a disk in the small plane s3 is actually contained in, it has points arbitrarily close to s3, and is contained in the disk of center s1 and boundary s2.

Every set T containing points arbitrarily close to s3 intersects the aforementioned disk infinitely many times. So we take some point inside that as our t1; every point s4 closer to se than is t1 and therefore closer to s1 than is s2.

The same argument holds in the case that the small plane of s3 is closer to the small plane of s1 than is the small plane of s2, save that we simply choose any disk contained in the small plane of s3.

1.2.9 is satisfied; we simply have an open disk outside the open disk of center s1 and boundary point s2 instead of inside.

Remark 2.3.4.1

Note that in this case, a ball in the cross product was not a cross product of two balls, but the boundary of a ball in the cross product was cross product of the boundary of two balls. This leads us to:

Theorem 2.3.4.2:

Let C and D be closeness spaces with underlying sets S and T, both of which consist of more than one point. Let space E = C ×, with underlying set U = S × T. Let ball B be a ball in E which does not contain any points (s2, t2) for any point s2 and some point t2, contains all points (s3, t3) for any point t and some point t3, and is centered at point u1 = (s1, t1).

Then B is not the cross product of two balls, but the boundary of B is the cross product of the boundaries of two balls. Furthermore, if the aforementioned boundray is nonempty and contains point u4 = (s4, t4), then the boundary consists of the cross product of the circle of radius (s1, s4) of radius (t1, t4) centered at t1.

N.B. All of the hypotheses, which informally could be described as looking like clutter, are needed only to rule out degenerate exceptions. There are a number of equivalent replacements for the requirement that B contains no points at one T coordinate and all points at another.

Proof:

Proof by contradiction that B is not the cross product of two balls:

Assume that B is the cross product of two balls. B contains all of the points at one T coordinate, t3, and none at another, t2. Therefore, B contains u5 = (s5, t5 with s5s1. Every point (s1, t6) is closer to u1 than is u5, so B contains a point at T coordinate t, and also does not contain that point. ⇒⇐

We consider two cases now:

Case 2.3.4.2.1:

B has an empty boundary. In that case, the further claim is vacuously true because the 'if' clause is not met. In addition, the former claim is also at least vacuously true: we observe that an entire space constitutes a ball, and the boundary of the entire space is empty. Therefore we examine the more interesting

Case 2.3.4.2.2:

B has a nonempty boundary. In that case, we observe that all points on the boundary are equidistant from some point u1; if one were closer to another, we would have an exception to the triangle inequality.

I claim that if (s7, t7) and (s8, t8) are in the boundary B, then so are (s7, t8) and (s8, t7):

Assume that (s7, t7) and (ss8, t8 are in the boundary B. Then we can say the following, both for sets of points contained in B, and sets of points disjoint from B: there exists a set U7U containing points arbitrarily close to (s7, t7), and a set U8U containing points (s8, t8). U7 is a set of ordered pairs of points, which contain points of arbitrary close S coordinate to s7, and a set U8U containing points arbitrarily close to (s8, t8). U7 is a set of ordered pairs of points, which contains points of arbitrarily close S coordinate to s7, and arbitrarily close T coordinate to t7, and U8 is a set of ordered pairs of points, which contains points of arbitrarily close S coordinate to s8, and arbitrarily close T coordinate to t8. Take the cross product V of the S coordinates in U7 and the T coordinates contained in U8, and the cross product W of the S coordinates contained in U8, and the T coordinates contained in U7. As this arguments applies both to sets of points contained in B, and sets of points disjoint from B, we have (s7, t8) and (s8, t8) as desired.

This establishes the independence of the S and T coordinates of points on the boundary, so the boundary is a cross product of some pair of sets in S and T.

This establishes the independence of the S and T coordinates of points on the boundary, so the boundary is a cross product of some pair of sets in S and T.

These sets must be equidistant from s1 and t1 respectively; if they were not, then we could select two radii of different length for the ball, and violate the triangle inequality. So they are subsets of the boundaries of balls; they must be the whole boundary because the cross product of two accumulation points of different sets is an accumulation point of the cross product of the two sets, as we argued above. And this establishes that the radius of the boundary must be the distance from the center to the cross product of two respective boundary points. So we have the boundary of B, for u4 = (s1, s4) a point on the boundary, equal to the crosss product of the circles of radius (s1, s4) and (t1, t4) centered at s1 and t1 respectively, as desired.

Q.E.D.

Example 2.4:

Any subset of a closeness space is a closeness space.

Remark 2.5:

The operations of taking a cross product of two closeness spaces in the dictionary order, and taking a subset of a closeness space, are together quite powerful. All other examples here are special cases of the operations taking a cross product of two closeness spaces in the dictionary order, and taking the subset of a closeness space.

Example 2.5.1:

The disjoint union of two closeness spaces C and D, in other words a union where C and D retain their closeness functions, and every function in one space is closer than every function in another space, is achievable by taking ℝ × C, paring it down until we have only a copy of (0, 1) where 0 is identified with a copy of C, and then taking the cross product of the result in D, and again paring it down until we only have a copy of (0, 1)where 0 is identified with a copy of C for which each element is identified with a single element, and 1 is identified with a copy of D.

If we allow not only finite but transfinite sequences of these two operations (which must be well-ordered, in order to be well-defined), then possible closeness spaces can take an almost unbelievable complexity beyond what is possible for metric spaces. The faintest hint of this is provided by a transfinite algorithm, and partial proof of correctness which is not reproduced here, which seems (given the Axiom of Choice) to be able to embed an arbitrary partial ordering in a totally ordered field. I believe that the power is sufficient to justify making:

Conjecture 2.5.2:

Assuming the Axiom of Choice, any closeness space can be generated from ℝ under the closeness arising from the usual Euclidean distance metric, by the operation of taking cross products in the dictionary order, and taking subsets.

Example 2.6:

The long line appears to be a closeness space under what could intuitively be described as comparing the absolute value of differences. In general we cannot subtract ordinals as we can finite numbers, but we can do something comparable in this case.

We compare pairs of ordinals (o1, o2) and (o3, o4) as follows, in the case that both are distinct pairs:

Without loss of generality, assume that o1 < o2 and o3 < o4.

ƒ(o1, o2, o3, o4) = '<' if o1 + o4 < o3 + o2.
ƒ(o1, o2, o3, o4) = '=' if o1 + o4 = o3 + o2.
ƒ(o1, o2, o3, o4) = '>' if o1 + o4 > o3 + o2.

Example 2.7:

The numbering of items in this thesis may be taken to be a finite and discrete closeness space, with closeness compared with a dictionary ordering on the numberings.

Chapter 3: Towards Constructing a Field

We now define the next level of values:

Definition 3.1:

A level 2 value is defined to be a level 1 sequences of values {dα}α∈J which is Cauchy convergent: for every element εβ of level 1 epsilon {eβ}β∈K, there exists an element dβ of {dα such that every subsequent pair of values dα1, dα2 are within εβ of each other.

What we are dong here is taking the closure of the set of level 1 values under the operation of taking limits, which might or might not be embeddable in ℝ and might be finer-grained. A level 1 value is included by a sequence that consists exclusively of that value.

Note 3.2:

We compare two level 2 values v1 = {d}α∈J and v2 = {d}α∈J as follows:

If there is an element α0 of J such that, for all subsequent values of α1 and α2 we have α1 and α2 then v1v2.
If there is an element α0 of J such that, for all subsequent values of α1 and α2 we have α1 and α2 then v1v2.
If for every element α0 of J, there exist subsequent α1, α2, α3, and α4 such that d1α1d2α2 and d1α3d2α4, then v1 = v2.

Definition 3.3:

A level 3 value is defined to be an equivalence class of level 2 values under the partition induced by equality. Level 3 values are ordered in the same way that their members are ordered.

Definition 3.4:

A level 2 zero is defined to be an infinite sequence of level 1 zeroe.

Definition 3.5:

The level 3 zero is defined to be the equivalence class of the level 2 zeroes.

Lemma 3.6:

The set of points whose distances are less than v1 from point s1, for any value v1 and point s1, constitutes a ball.

Proof:

It is clear that every point in this set is closer to s1 than is any point not in the set. So we need only to know that the set does not contain any boundary points.

If there is a boundary point s2, then there is an epsilon at that boundary point contained in the set, and an epsilon at that boundary disjoint from the set. From these can be chosen a sequence of distances that converges to (s1, s2) and is inside the set, whereby v1 ≥ (s1, s2), and can also b chosen by a sequence of distances that converges to (s1, s2) and is outside the set, whereby v1 ≤ (s1, s2). So v1 = (s1, s2). The ball contains only points strictly closer than v1, so it does not contain s2. ⇒⇐

Q.E.D.

Definition 3.7:

The supremum (resp. infemum) of a nonempty set W of level 2 values is defined to be the equivalence class containing the sequences v1 of values which satisfy the following three conditions:

Condition 3.7.1:

All elements of v1 are contained in some element of W.

Condition 3.7.2:

v1 contains at least one element greater than (resp. less than) or equal to any element of W.

Condition 3.7.3:

v1 is monotonically nondecreating (resp. nonincreasing).

Remark 3.7.4:

Not all sets will necessarily have a supremum or infemum. This a definition of what the supremum is if it exists, not necessarily a statement that one always exists.

There is at most a single equivalence class containing all such sequences, because any one contains an element greater than or equal to any element of any other, arbitrarily far along in the sequence.

The supremum and infemum of the empty set are undefined.

Now, we begin to develop an arithmetic.

Definition 3.8:

A value v1 is said to be equal to v2 + v3 if v1 is the supremum over all triplets of points s1, s2, and s3 of the distance (s1, s3), such that the following two conditions hold:

Condition 3.8.1:

(s1, s20) ≤ v2
(s2, s3) ≤ v3

Condition 3.8.2:

There do not exist any three points s4, s5, and s6 such that:

(s4, s4) ≤ v2
(s5, s6) < v3
(s4, s6) ≥ v1

or

(s4, s4) < v2
(s5, s6) ≤ v2
(s4, s6) ≥ v1

Notation 3.8.3:

A value v1 is said to be a difference of v2 and v3 if v2 = sub1 + v3.

Remark 3.8.4

This definition does not guarantee the existence of a sum of two values; it only tells how to tell if a given value is equal to the sum of two others.

This value is chosen for its simplicity, specificity, and power; there numerous other ways of defining addition, some of which would seem to be a more generalized version of addition, doing to addition in ordered, cyclic, abelian groups as we know them what metric spaces do to ℝ2. However, we will not investigate that generality here, and in particular, we are going to restrict our attention to a specific subset of closeness spaces, those for which addition as here defined is associative and uniquely defined.

If we not only do not restrict our attention, but replace the given condition with the stipulation that v1 is the supremum over points s1 of distances from s1 is the supremum over points s1 of distances from s1 to a point in the union of all closed balls of radius v3 whose centers lie in a closed ball of radius v2 centered at s1, then we further lose commutativity; at least in the case of the long line, though, we have reproduced ordinal addition.

It appears that looking at those more general cases may be of mathematical interest and may allow the creation of an arithmetic that is looser and more general than that of an ordered, abelian group. However, we do not investigate that possibility here, and have not investigated it, beyond the brief attention paid in this remark.

This definition provides commutativity, and unique subtraction where defined (i.e. v1 - v2 may not be defined, but if it is, it is unique; provided that v1 - v2 may not be defined, but if it is, it is unique; provided that v1 = v2 + v3, if v4 < v3, then the distances between pairs of points eligible for the definition of addition will be less by at least a minimum positive amount, by the triangle inequality, so v2 + v4 < v2 + v3 = v1. This observation, as well as establishing that subtraction is not ambiguous (though possibly undefined), proves for us:

Theorem 3.9:

For any three values v1, v2, and v3 for which v2 + is defined, we have:

If v1 < v2, then v1 + v3 < v2 + v3.
If v1 = v2, then v1 + v3 = v2 + v3.
If v1 > v2, then v1 + v3 > v2 + v3.

Sketch of Proof 3.9.1:

The first case is established above. The second case is established from the first case by the symmetry of an ordering, and the third case is established by the contradiction which would arise from the transitivity of the ordering if one sum was less than the other.

We now define our next level of value; as we earlier developed a closure under the operation of taking limits, we now define a closure under the operation of addition. Again, we are going with the more specific and powerful definition of addition given, at the loss of some generality.

Hunch 3.10:

Addition of values is associative.

Suggestion of Proof Idea 3.10.1:

It seems that this arises from condition 3.8.2. Definition 3.8 is a refined version of earlier, less powerful definitions; we have not devoted enough time to the matter to establish associativity. We will continue on the assumption that this is true; one might say if need be that we are restricting our attention to spaces where addition is associative. We will further restrict attention to spaces which are closed under addition (although a slightly weaker condition is needed for my work, namely that any two level 4 values as defined below are uniquely comparable).

Definition 3.11:

A level 4 value is defined to be a finite string of symbols as follows:

Part 3.11.1:

If v1 is a variable referring to a level 3 value, then "v1" is a level 4 value.

Part 3.11.2:

If "s1" and "s2" are two level 4 values, then "(s1 + s2) is a level 4 value.

Part 3.11.3:

If "s1" is a level 4 value, then so is "— s1".

Part 3.11.4:

Nothing else is a level 4 value.

We compare level 4 values as follows:

Comparison 3.11.5:

If for level 3 values we have v1 < v2, then for level 4 values, we have "v1" < "v2" and "— v1" > " — v2".

If for level 3 values we have v1 = v2, then for level 4 values, we have "v1" = "v2" and "— v1" > " — v2".

If for level 3 values we have v1 > v2, then for level 4 values, we have "v1" > "v2" and "— v1" < " — v2".

And we complete comparison by allowing certain manipulations, namely:

Part 3.11.6

If for level 3 values we have v1 = v2 + v3, then inside a level 4 value v1 may be substituted or back-substituted for v2 + v3 and v3 + v2, then inside a level 4 value v2 may be substituted or back-substituted for v1 + — v3.

Part 3.11.7:

We may associate and commute while preserving equality.

Part 3.11.8:

We may add a like value to two different values without affecting their comparison.

Part 3.11.9:

Comparison is transitive.

We now define:

Definition 3.12:

A level 5 value is an equivalence class of level 4 values under equality, with addition, additive inversion, and comparison of equivalence classes defined according to the equivalence classes of those operations on respective members.

We now have an ordered abelian group.

Remark 3.13:

It is well known that an ordered abelian group may be embedded in a field. (Source: Anand Pillay).

Definition 3.14:

For any two values v1 and v2, v1 is said to be of the same magnitude as v2 if there exists a positive natural number n such that either v1 + v1 + ⋯ + v1 > v2 (with v1 added to itself nn times) and v2 + v2 + v2v2 >
v1(with v2 added to itself n times), or v1 + v1 + ⋯ + v1 < — v2 (with v1 added to itself nn times) and — v2v2v2 ⋯ — v2 < v1 (with v2 added to itself n times).

It is clear that the magnitudes are equivalence classes of values.

The value 0 resides in its own magnitude, which will not be named.

Part 3.14.1:

Magnitude M1 is said to be greater than (resp. less than) magnitude M2 if it is a different magnitude, and M1 contains at least one positive value that is greater than (resp. less than) at least one positive value in M2.

Part 3.14.2:

The magnitude which contains 1 is said to be finite.

All greater magnitudes than the finite magnitude are said to be infinite.

All lesser magnitudes than the finite magnitude (excluding the magnitude of 0), are said to be infinitesimal. The variable ε will hereafter refer to an infinitesimal.

To give a specific example of what kind of ordered field we have, let us look at

Example 3.15

Let closeness space C be the space examined in example 2.3.4, namely ℝ2 × ℝ2, under the closenesses induced by the dictionary order on Euclidean closenesses.

Then the closenesses are of type ℝ2 × ℝ2, in the dictionary order.

The elements of a minimal imbedding field are of order type S ⊂ ℝ2ℤ, such that all but finitely many of the coordinates of an element of S are zero.

Comparison of values is a dictionary comparison of their coordinates.

Addition of two values is coordinate-wise addition of reals. I.e. if v1 and v2 are values and v1i, v2i are the ith coordinates of v1 and v2 respectively, then the ith coordinate of v3i of v3 = v1 + v2 is equal to v1i + v2i.

Multiplication of two values is as follows:

If v1 and v1 are as above, then v3 has coordinate v3i equal to Σj+k=i = v1j × v2k.

This is isomorphic to the field of ratios of polynomials in a single variable, over the real numbers. Note that, although the order type is fixed, a constant c chosen so that c0 = 1, c1 is a number of the lowest infinite magnitude and zero coordinate in other magnitudes, and c-1 is a number of the highest infinitesimal magnitudes, is not a unique constant. Any one such value can be arrived at by multiplying another such value by a nonzero real number.

The interpretation of this representation as given is that the 0-coordinate is the finite component, components of positive ℤ value are infinite components, and components of negative ℤ value are infinitesimal components (or vice versa).

Under this interpretation, we can say that the given closeness space is like a metric space, using the given field instead of ℝ as the measure. It could be stated to use the 0 coordinate for the large plane, and the — 1 coordinate for the miniature planes at each point of the large plan (in which case the space is interpreted as a roughly Euclidean plane with infinitesimal distances, or to use the 1-coordinate for the large plane, and the 0 coordinate for the small planes (in which case the space is interpreted as an infinite plane of real planes — it is to the Euclidean plane roughly as ω2 is to ω among ordinals), or indeed z and z - 1 for any integer z.

Example 3.15.1: Non-Standard Analysis

This allows achievement of at least some of the results of nonstandard analysis. For example:

Definition 3.15.1.1:

For the duration of this example, we define the nearest real number to a finite value to be the value of the same first coordinate, and zero component in the second coordinate. (I.e. a distance of 3.7 × 0 is the nearest real number to 3.7 × — 23.4. 3.7 × — 23.4 or 0 × 14 are not the nearest real numbers to anything.)

Definition 3.15.1.2:

We define the limit of a function ƒ at point x to be equal to the nearest real number to ƒ(x + ε), if such a real number exists and is uniquely defined across all infinitesimals ε.

For example, the limit of ƒ(x) = x + 1 at x = 1 is the nearest real number to

ƒ(x + ε) =
f(1 + ε) =
1 + ε + 1 =
2 + ε

which has 2 as its nearest real number.

Definition 3.15.1.3:

We define a function ƒ(x) to be continuous at point x if f is defined at x and if, for every infinitesimal e, we have ||ƒ(x + ε) — ƒ(x)|| at most an infinitesimal.

For example, if we have

ƒ(x) = x + 1 if x ≥ 0
ƒ(x) = 0 otherwise

then we have f continuous at -1 and 1, but not continuous at 0:

ƒ(-1 + ε) - ƒ(-1) = 0 - 0ƒ(1 + ε) - ƒ(1) = 1 + ε + 1 - 1 + 1 = ε
but problems when we examine a negative value of ε with nearest real number at 0:

If ε < 0, then ƒ(0 + ε) = ƒ(ε), but we have f(0) = 0 + 1 = 1, and 0 — 1 = &mdash 1 is not an infinitesimal.

Definition 3.15.1.4:

We define the derivative of a function ƒ at point x to be the nearest real number to

(ƒ(x + ε) - ƒ(x)) / ε

if such a number exists and is well-defined across all infinitesimals ε.

For example, the derivative of ƒ(x) = x2 is equal to the nearest real number to:

x + ε)2 - x2) / ε =
(x2 + 2xε + ε2 - x2) / ε =
(2xε + &epsilon2
) / ε =
2x + ε

and the nearest real number to 2x + ε is 2x. So we have the derivative of x2 equal to 2x.

Closing remark

Providing a nonstandard analysis with derivatives seems straightforward enough; notwithstanding the fundamental theorem of calculus, it is not clear to this author how to adapt these findings to create an integral, although just as epsilon-delta arguments provide a finite workaround to infinitesimals, the core concept of integration in calculus find a finite workaround to summation of an infinite number of infinitesimally thick slices. It might be noted that this system does yet have the infinite sums and infinite integers of non-standard analysis. Perhaps our restricted attention disregarded some closeness spaces or other matters yielding fields that would allow a more powerful non-standard analysis; perhaps work with the closeness spaces involving the ordinals cross [0, 1) — a nonnegative long real number line — would achieve such things. However, we will draw a limit to the investigation here.

Dark Patterns / Anti-Patterns and Cultural Context Study of Scriptural Texts: A Case Study in Craig Keener's "Paul, Women, and Wives: Marriage and Women's Ministry in the Letters of Paul"

Own C.J.S. Hayward's complete works in paper!

CJS Hayward
christos.jonathan.hayward@gmail.com
CJSHayward.com

Diploma in Theology and Religious Studies, 2003
Faculty of Divinity
University of Cambridge
20 May 2003

Abstract

The author suggests how the concept of 'patterns' in architecture and computer science, or more specifically 'dark patterns' / 'anti-patterns', may provide a helpful vehicle to explicitly communicate tacit knowledge concerning problematic thought. The author also provides a pilot study which seeks to provide a sample analysis identifying indicators for the 'surprising cultural find' pattern in which cultural context is misused to explain away offending Bible passages.

Introduction to Patterns, Dark Patterns, and Anti-patterns

The technical concept of pattern is used in architecture and computer science, and the synonymous dark patterns and anti-patterns refer to patterns that are not recurring best practices so much as recurring pathologies; my encounter with them has been as a computer programmer in connection with the book nicknamed 'GoF'[1]. Patterns do not directly provide new knowledge about how to program; what they do provide is a way to take knowledge that expert practitioners share on a tacit level, and enable them both to discuss this knowledge amongst themselves and effectively communicate it to novice programmers. It is my belief that the concept is useful to Biblical studies in providing a way to discuss knowledge that is also held on a tacit level and is also beneficial to be able to discuss explicitly, and furthermore that dark patterns or anti-patterns bear direct relevance. I hope to give a brief summary of the concept of patterns, explaining their application to Biblical studies, then give a pilot study exploring one pattern, before some closing remarks.

Each pattern consists of a threefold rule, describing:

  1. A context.
  2. A set of forces within that context.
  3. A resolution to those forces.

In the contexts of architecture and computer science, patterns are used to describe best practices which keep recurring and which embody a certain 'quality without a name'. I wish to make a different application, to identifying and describing certain recurring problematic ways of thought in Biblical or theological inquiry which may be understood as dark patterns, which often seem to be interlaced with sophistry and logical fallacy.

Two examples of what a dark pattern, or anti-pattern might be are the consolation prize, and the surprising cultural find. I would suggest that the following provide instances of the consolation prize: discussion of a spiritual resurrection, flowering words about the poetic truth of Genesis 1, and Calvin's eucharistic theology. If you speak of a spiritual resurrection that occurs instead of physical resurrection, you can draw Christians far more effectively than if you plainly say, 'I do not believe in Christ's physical resurrection.' The positive doctrine that is presented is a consolation prize meant to keep the audience from noticing what has been taken away. The context includes a text that (taken literally) a party wants to dismiss. The forces include the fact that Christians are normally hesitant to dismiss Scripture, and believe that insights can give them a changed and deepened understanding. The resolution is to dress up the dismissal of Scripture as a striking insight. Like other patterns, this need not be all reasoned out consciously; I suggest, via a quasi-Darwinian/meme propagation mechanism, that dismissals of Scripture that follow some such pattern are more likely to work (and therefore be encountered) than i.e. a dismissal of Scripture that is not merely undisguised but offensive.

In the surprising cultural find, a meticulous study is made of a passage's cultural context to find some basis to neutralise the passage so that its apparent meaning does not apply to us. The context is similar to that of the consolation prize, if more specific to a contemporary Western cultural setting. The forces, beyond those mentioned for the consolation prize, include ramifications of period awareness and the Standard Social Science Model: there is a very strong sense of how culture and period can influence people, and they readily believe claims about long ago and far away that which would seem fishy if said about people of our time and place. The resolution is to use the passage's cultural setting to produce disinformation: the fruits of careful scholarly research have turned up a surprising cultural find and the passage's apparent meaning does not apply to us. The passage may be presented, for instance, to mean something quite different from what it appears to mean, or to address a specific historical situation in a way that clearly does not apply to us.

It is the dark pattern of the surprising cultural find that I wish to investigate as a pilot case study in this thesis.

Case Study

Opening Comments

The aim of this case study is to provide a pilot study of how the surprising cultural find may be identified as a dark pattern. In so doing, I analyse one sample text closely, with reference to comparison texts when helpful.

I use the terms yielding to refer to analysis from scholars who presumably have interests but allow the text to contradict them, and unyielding to refer to analysis that will not allow the text to contradict the scholar's interests. Yielding analysis does not embody the surprising cultural find dark pattern, while unyielding analysis does. I consider the boundary to be encapsulated by the question, 'Is the text allowed to say "No!" to a proposed position?'

Ideally, one would compare two scholarly treatments that are alike in every fashion save that one is yielding and the other is unyielding. Finding a comparison text, I believe, is difficult because I was searching for a yielding text with the attributes of one that was unyielding. Lacking a perfect pair, I chose Peter T. O'Brien's The Letter to the Ephesians[2] and Bonnie Thurston's Reading Colossians, Ephesians & 2 Thessalonians: A Literary and Theological Commentary[3] to represent yielding analysis and Craig Keener's Paul, Women, Wives: Marriage and Women's Ministry in the Letters of Paul [4] to represent unyielding analysis. I was interested in treatment of Ephesians 5:21-33. When I use Biblical references without a book, I will always be referring to Ephesians. All three of secondary sources present themselves as making the fruits of scholarly research accessible to the layperson. O'Brien provides an in-depth, nonfeminist commentary. Thurston provides a concise, feminist commentary. Keener provides an in-depth, Biblical Egalitarian monograph. Unfortunately, the ordered copy of Thurston did not arrive before external circumstances precluded the incorporation of new materials (and may have been misidentified, meaning that my advisor and I both failed after extensive searching to find a yielding feminist or egalitarian treatment of the text). My study is focused on Keener with comparison to O'Brien where expedient.

There seems to be an interconnected web of distinguishing features to these dark patterns, laced with carefully woven sophistry, and there are several dimensions on which a text may be examined. The common-sense assumption that these features are all independent of each other seems to be debatable. One example of this lack of independence is the assumption that what an author believes is independent of whether the analysis is yielding: the suboptimal comparison texts were selected partly because of the difficulty a leading Christians for Biblical Equality scholar and I experienced trying to locate yielding feminist analyses other than Thurston in Tyndale's library. I do not attempt to seriously investigate the interconnections, beyond commenting that features seem interconnected and less independent of each other than most scholars would assume by default.

The substance of my inquiry focuses on observable attributes of the text. I believe that before that point, observing a combination of factors may provide cues. I will mention these factors, but not develop them; there are probably others:

  • Is the book a monograph organised around one of today's hot issues, or e.g. a commentary organised around the contents of a Biblical text?
  • If you just open the book to its introduction, do you meet forceful persuasion? Are those first pages written purely to persuade, or do they attempt other endeavours (e.g. give factual or theoretical background that is not especially polemical)? What is the approach to persuasion?
  • Does the book contain anything besides cultural arguments finding that Biblical texts which apparently contradict the author's camp need not be interpreted that way?
  • How much does the author appear able to question our Zeitgeist (in a direction other than a more thorough development of assumptions in our Zeitgeist)?
  • What, in general, does the publisher try to do? The publisher is not the author, but publishers have specific aims and goals. It would seem to require explanation to say that a company indiscriminately publishes yielding and unyielding analysis because both resonate equally well with its editorial climate.

There will be a decided imbalance between attention paid to Keener and O'Brien. Part of this is due to external constraints, and part is due to a difference between O'Brien and Keener. With one major exception, described shortly, O'Brien's analysis doesn't run afoul of the concern I am exploring. If I were writing cultural commentary for my texts as Keener and O'Brien write cultural commentary for their texts, I would ideally spend as much time explaining the backgrounds to what Keener and O'Brien said. I believe they are both thinkers who were shaped by, draw on, and are critical of their cultures and subcultures. Explaining what they said, as illuminated by their context, would require parity in treatment. However, I do not elaborate their teachings set in context, but explore a problem that is far more present in Keener than in O'Brien or Thurston. I have more of substance to say about how Keener exhibits a problem than how O'Brien doesn't. As such, after describing a problem, I might give a footnote reference to a passage in O'Brien which shows someanalogy without seeming to exhibit the problem under discussion, but I will not systematically attempt to make references to O'Brien's yielding analysis as wordy as explanations of Keener's unyielding analysis.

The one significant example of unyielding analysis noted in O'Brien is in the comment on 5:21: O'Brien notes that reciprocal submission is not enjoined elsewhere in the Bible, points out that 'allelous' occurs in some contexts that do not lend themselves to reciprocal reading ('so that men should slay one another'[5]), and concludes that 'Believers, submit to one another,' means only that lower-status Christians should submit to those placed above them. This is as problematic as other instances of unyielding analysis, and arguably more disturbing as it lacks some of the common indicators alerting the careful reader to be suspicious. There is a point of contact between this treatment and Keener's: both assume that 5:21 and 5:22-6:9 are not merely connected but are saying the same thing, and it is one thing only. It is assumed that the text cannot enjoin of us both symmetrical and asymmetrical submission, so one must be the real commandment, and the other is explained away. Both Keener and O'Brien end up claiming that something is commanded in 5:21 with clarificatory examples following, without asserting that either 5:21 or 5:22-6:9 says something substantively different from the other about submission. I will not further analyse this passage beyond this mention: I consider it a clear example of unyielding analysis. This is the one part of O'Brien I have read of which I would not say, '...and this is an example of analogous concerns addressed by yielding scholarship.'

The introductions to O'Brien and Keener provided valuable cues as to the tone subsequently taken by the texts. Both are written to persuade a claim that some of their audience rejects, but the divergence in how they seek to persuade is significant. Keener's introduction is written to persuade the reader of Biblical Egalitarianism: in other words, of a position on one of today's current issues. The beginning of O'Brien's introduction tries to persuade the reader of Pauline authorship for Ephesians, which they acknowledge to be an unusual position among scholars today; the introduction is not in any direct sense about today's issues. O'Brien's introduction is written both to persuade and introduce the reader to scholarly perspectives on background; while nontechnical, it is factually dense and heavy with footnotes. Keener's introduction seems to be written purely to persuade: he give statistics[6] concerning recent treatment of women which are highly emotionally charged, no attempt being made to connect them to the text or setting of the Pauline letters. Keener's introduction uses emotion to bypass rationality, using loaded language and various other forms of questionable persuasion explored below; a naive reader first encountering this debate in Keener's introduction could well wonder how any compassionate person could be in the other camp. O'Brien works to paint a balanced picture, and gives a fair account of the opposing view before explaining why he considers it inadequate. O'Brien seeks to persuade through logical argument, and his book's pages persuade (or fail to persuade) as the reader finds his arguments to be sufficient (or insufficient) reason to accept its conclusions.

Emotional Disinformation

Among the potential indicators found in Keener, the first broad heading I found could be described as factual disinformation and emotional disinformation. 'Disinformation', as used in military intelligence ordinarily denotes deception through careful presentation of true details; I distinguish 'factual disinformation' (close to 'disinformation' traditionally understood) from 'emotional disinformation', which is disinformation that acts on emotional and compassionate judgment as factual disinformation acts on factual judgment. While conceptually distinct, they seem tightly woven in the text, and I do not attempt to separate them.

An Emotional Plea

One distinguishing feature of Keener's introduction is that it closes off straightforward rebuttal. Unlike O'Brien, he tries to establish not only the content of debate but the terms of debate itself, and once Keener has established the terms of debate, it is difficult or impossible to argue the opposing view from within those terms. Rebuttal is possible, of course, but here it would seem to require pushing the discussion back one notch in the meta-level hierarchy and arguing at much greater length. O'Brien seems more than fair in his style of argument; Keener loads the dice before his reader knows what is going on.

One passage is worth citing for close study [7]:

There are issues where most Biblically conservative Christians, including myself, disagree with prominent elements of the feminist movement... But there are other concerns which nearly all Christians, including myself, and nearly the whole women's movement plainly share....

[Approximately two pages of alarming claims and statistics, including:] ...Although "bride-burning" is now illegal in India, it still happens frequently; a bride whose dowry is insufficient may be burned to death so that her husband can find a new partner. There is no investigation, of course, because it is said that she simply poured cooking oil over herself and set herself on fire accidentally.... A Rhode Island Rape Crisis Center study of 1700 teenagers, cited in a 1990 InterVarsity magazine, reported that 65% of the boys and 47% of the girls in sixth through ninth grades say that a man may force a woman to have sex with him if they've been dating for more than six months.... Wife-beating seems to have been a well-established practice in many patriarchal families of the 1800's....

But while some Christians may once have been content to cite proof-texts about women's subordination to justify ignoring this sort of oppression, virtually all of us would today recognise that oppression and exploitation of any sort are sinful violations of Jesus's commandment to love our neighbour as ourselves and to love fellow-Christians as Christ loved us. [Keener goes on to later conclude that we must choose between a feminist conception of equality and an un-Christian version of subordination.]

The text starts by presenting Keener as Biblically conservative, moves to a heart-wrenching list of wrongs against women, implicitly conflates nonfeminist Christians with those who condone rape and murder, and presents a choice crystallising the fallacy of the excluded middle that had been lurking in prior words. It has more than one attribute of emotional disinformation.

Keener both identifies himself as Biblically conservative and says that, among some Christians, the egalitarian position is the conservative one (contrast chapter 4, where 'conservative' means a reactionary misogynist). Why? People are more likely to listen to someone who is perceivedly of the same camp, and falsely claiming membership in your target's camp is a tool of deceptive persuasion.

The recitation of statistics is interesting for several reasons.

On a strictly logical level, it is a non sequitur. It has no direct logical bearing on either camp; even its rhetorical position assumes that conservative, as well as liberal, members of his audience believe that rape and murder are atrocities. This is a logical non sequitur, chosen for its emotional force and what impact that emotional recoil will have on susceptibility. The trusting reader will recoil from the oppression listed and be less guarded when Keener provides his way to oppose such oppression. The natural response to such a revolting account is to say, 'I'm not that! I'm the opposite!' and embrace what is offered when the fallacy of the excluded middle is made explicit, in the choice Keener later presents.

Once a presentation of injustice has aroused compassion to indignation, most people do not use their full critical faculties: they want to right a wrong, not sit and analyse. This means that a powerful account of injustice (with your claims presented as a way to fight the injustice) is a powerful way to get people to accept claims that would be rejected if presented on their logical merits. Keener's 'of course' is particularly significant; he builds the reader's sense of outrage by adding 'of course' with a (carefully studied but) seemingly casual manner. It is not obvious to a Western reader that a bride's murder would be left uninvestigated; adding 'of course' gives nothing to Keener's logical case but adds significantly to the emotional effect Keener seeks, more effectively and more manipulatively than were he to visibly write those words from outrage.

The sentence about proof-texts and loving one's neighbour is of particular interest. On a logical level, it is restrained and cannot really be attacked. The persuasive and emotional force—distinct from what is logically present—is closer to, 'Accepting those proof-texts is equivalent to supporting such oppression; following the Law of Love contradicts both.'

This is one instance of a broader phenomenon: a gap between what the author entails and implicates. Both 'entail' and 'implicate' are similar in meaning to 'imply', but illustrate opposite sides of a distinction. What a text entails is what is implied by the text in a strictly logical sense; what a text implicates is what is implied in the sense of what it leads the reader to believe. What is implicated includes what is entailed, and may often include other things. The entailed content of 'But while some Christians...' is modest and does not particularly advance a discussion of egalitarianism. The implicated content is much more significant; it takes a logically tight reading to recognise that the text does not entail a conflation claiming that nonfeminist Christians condone rape and murder. The text implicates much more than it entails, and I believe that this combination of restricted entailment with far-reaching implication is a valuable cue. It can be highly informative to read a text with an eye to the gap between what is entailed and what is implicated. The gap between entailment and implicature seemed noticeably more pronounced in Keener than in yielding materials I have read, including O'Brien. Another example of a gap between entailment and implicature is found close[8], '...the secular generalization that Christians (both men and women) who respect the Bible oppose women's rights is an inaccurate caricature of these Christians' admits a similar analysis: the entailment is almost unassailable, while the implicature establishes in the reader's mind that the conservative position is excisable from respect for the Bible, and that the nonfeminist position denies something basic to women that they should have. The term 'women's rights' is by entailment the sort of thing one would not want to oppose, and by implicature a shorthand for 'women's rights as understood and interpreted along feminist lines'. As well as showing a significant difference between entailment and implicature, this provides an example of a text which closes off the most obvious means of rebuttal, another rhetorical trait which may be produced by the same mindset as produces unyielding analysis.

What is left out of the cited text is also significant. The statistics given are incomplete (they focus on profound ways in which women suffer so the reader will not think of profound ways in which men suffer) but as far as describing principles to discriminate yielding versus unyielding analysis, this seems to be privileged information. I don't see a way to let a reader compare the text as if there were a complementary account written in the margin. Also, a careful reading of the text may reveal a Biblical nonfeminist position as the middle fallaciously excluded earlier, in which sexual distinction exists on some basis other than violence. All texts we are interested in—yielding or unyielding—must stop somewhere, but it is possible to exclude data that should have been included and try to conceal its absence. Lacunae that seem to have been chosen for persuasion rather than limitation of scope may signal unyielding analysis.

Further Examples

In a discussion[9] of the haustafel's (Ephesians 5:21 and following[10] injunction that the husband love his wife based on Christ's love for the Church, Keener says, 'Indeed, Christ's love is explicitly defined in this passage in terms of self-sacrificial service, not in terms of his authority.' The passage does not mention that self-sacrificial service is a defining feature of Christ's model of authority, and in these pages the impression is created that the belief in servant love is a Biblical Egalitarian distinctive, so that the reader might be surprised to find the conservative O'Brien saying[11]:

...Paul does not here, or anywhere else for that matter, exhort husbands to rule over their wives. They are nowhere told, 'Exercise your headship!' Instead, they are urged repeatedly to love their wives (vv. 25, 28, and 33). This will involve each husband showing unceasing care and loving service for his wife's entire well-being...

O'Brien is emphatic that husbands must love their wives; examples could easily be multiplied. Keener argues for loving servanthood as if it were a claim which his opponents rejected. The trusting reader will believe that nonfeminists believe in submission and egalitarians alone recognise that Paul calls husbands to servant love. I believe that this selective fact-telling is one of the more foundational indicators: some factual claims will be out of a given reader's competence to evaluate, but so far as a reader can evaluate whether a fair picture is presented, the presence or absence of selective fact-telling may help.

Chapter 4 is interesting in that there are several thoughts that are very effectively conveyed without being explicitly stated. The account of 'conservatives' (i.e. misogynistic reactionaries) is never explicitly stated to apply to Christians who disagree with Keener, but works in a similar fashion (and for similar reasons) to the 'Green Book' which introduces the first major argument in The Abolition of Man.[12] By the same mechanism as the Green Book leads the reader to believe that claims about the outer world are in fact only claims about ourselves, not the slightest obstacle is placed to the reader believing that Keener exposes the true nature of 'conservatism', and that the picture of Graeco-Roman conservatism portrayed is a picture of conservatism, period, as true of conservatism today as ever.

A smaller signal may be found in that Keener investigates inconvenient verses in a way that never occurs for convenient ones. Keener explores the text, meaning, and setting to 5:22-33 in a way that never occurs for 5:21; a careless reader may get the impression that 5:21 doesn't have a cultural setting.

Drawing on Privileged Information

I would next like to outline a difference between men's and women's communication, state what Keener's Roman conservatives did with this, and state what Keener did with the Roman conservatives. One apparent gender difference in communication is that when a woman makes a claim, it is relatively likely to mean, 'I am in the process of thinking and here is where I am now,' while a man's claim is more likely to mean, 'I have thought. I have come to a conclusion. Here is my conclusion.' Without mentioning caveats, there is room for considerable friction when men assume that women are stating conclusions and women assume that men are giving the current state of a developing thought. The conservatives described by Keener seem frustrated by this friction; Keener quotes Josephus [13]:

Put not trust in a single witness, but let there be three or at least two, whose evidence shall be accredited by their past lives. From women let no evidence be accepted, because of the levity and temerity of their sex; neither let slaves bear witness, because of the baseness of their soul.

This passage is introduced, "...regards the prohibition of women's testimony as part of God's law, based in the moral inferiority inherent in their gender." The reader is not likely to question whether it's purely misogyny for a man (frustrated by women apparently showing levity by changing their minds frequently) to find this perceived mutability a real reason why these people should not be relied on as witnesses when someone's life may be at stake. Keener has been working to portray conservatives as misogynistic. Two pages earlier[14], he tells us,

An early Jewish teacher whose work was undoubtedly known to Paul advised men not to sit among women, because evil comes from them like a moth emerging from clothes. A man's evil, this teacher went on to complain, is better than a woman's good, for she brings only shame and reproach.

This, and other examples which could be multiplied, deal with something crystallised on the previous page[15]. Keener writes,

Earlier philosophers were credited with a prayer of gratitude that they were not born women, and a century after Paul a Stoic emperor could differentiate a women's soul from that of a man.

The moral of this story is that believing in nonphysical differences between men and women is tantamount to misogyny. This is a highly significant claim, given that the questions of women's ordination and headship in marriage are largely epiphenomenal to the question of whether we are created masculine and feminine at every level of our being, or ontologically neuter spirits in reproductively differentiated bodies. Keener produces a conclusion (i.e. that the human spirit is neuter) without ever stating it or drawing the reader to consciously consider whether this claim should be believed. In a text that is consistently polite, the opposing view is not merely negated but vilified: to hold this view (it is portrayed) is tantamount to taking a view of women which is extraordinarily reprehensible. Either of these traits may signal unyielding analysis; I believe the combination is particularly significant.

Tacit and Overt Communication

Although the full import of tacit versus overt communication is well beyond my competency to address, I would like to suggest something that merits further study.[16] Keener seemed, to a significant degree, to:

  • Tacitly convey most of his important points, without stating them explicitly.
  • Present claims so the opposing view is never considered.
  • Build up background assumptions which will produce the desired conclusions, more than give explicit arguments.
  • Work by manipulating background assumptions, often provided by the reader's culture.

As an example of this kind of tacit communication, I would indicate two myths worked with in the introduction and subsequently implied. By 'myth' I do not specifically mean 'widespread misconception', but am using a semiotic term comparable in meaning to 'paradigm': '[M]yths act as scanning devices of a society's 'possibles' and 'pensables' [17]. The two myths are:

    • Men are powerful and violent aggressors, whilst women are powerless and innocent victims. The alarming claims and statistics[18] mention aggression against men only in the most incidental fashion.
    • The accurate spokesperson for women's interests is the feminist movement. Keener diminishes this myth's force by disclaiming support for abortion (and presenting a pro-choice stance as separable from other feminist claims), but (even when decrying prenatal discrimination in sex-selective abortion[19]) Keener refers to the feminist movement interchangeably as 'the feminist movement'[20] and 'the women's movement'[21], and does not lead the reader to consider that one could speak for women's interests by contradicting feminism, or question the a priori identification of womens' interests with the content of feminist claims.As well as the emotional disinformation explored in many of the examples above, there are several points where the nature of the argument is of interest. Five argument-like features are explored:
      • Verses which help our position are principles that apply across all time; verses which contradict our position were written to address specific issues in a specific historical context.
      • X had beneficial effect Y; X was therefore purely instrumental to Y, and we may remove X if we no longer require X as an instrument to Y.
      • The absolute position taken in this passage addresses a specific historical idiosyncrasy, but the relative difference between this passage and its surroundings is a timeless principle across all times.
      • If X resonates with a passage's cultural context, then X need not be seen as part of the Bible's revelation.
      • We draw the lines of equivalence in the following manner...

      'Verses which help our position are principles that apply across all time; verses which contradict our position were written to address specific issues in a specific historical context' is less an argument than an emergent property. It's not argued; the text just turns out that way. Keener gives a diplomatically stated reason why Paul wrote the parts of 5:22-6:9 he focuses on: 'Paul was very smart.'[22] The subsequent argument states that Paul wrote in a context where Christians behaving conservatively would diminish he perceived threat to social conservatives. Keener writes[23], 'Paul is responding to a specific cultural issue for the sake of the Gospel, and his words should not be taken at face value in all cultures.' There is a fallacy which seems to be behind this argument in Keener: being timeless principles and being historically prompted are non-overlapping categories, so finding a historical prompt suffices to demonstrate that material in question does not display a timeless principle.'The absolute position taken in this passage addresses a specific historical idiosyncrasy, but the relative difference between this passage and its surroundings is a timeless principle across all times.' A text embodies both an absolute position in se, and a relative difference by how it is similar to and different from its surrounding cultural mainstream. 5:22-33 requires submission of wives and love of husbands; that absolute position can be understood with little study of context, while the relative difference showed both a continuity with Aristotelian haustafels and a difference by according women a high place that was unusual in its setting. The direction of Keener's argument is to say explicitly[25] that the verses should not be taken at face value, and to implicitly clarify that the absolute position should not be taken at face value, but part of the relative position, namely the sense in which Paul was much more feminist-like than his setting ('[A quote from Plutarch] is one of the most "progressive" social models in Paul's day... It is most natural to read Paul as making a much more radical statement than Plutarch, both because of what Paul says and because of what he does not say,'[26]) is a timeless principle that should apply in our day as well as Paul's. Without proper explanation of why the relative difference should be seen as absolute, given that the absolute position is idiosyncratic, the impression is strongly conveyed that respecting Paul's spirit means transposing his absolute position so that a similar relative difference exists with relation to our setting.'We draw equivalences in the following manner...' This is not a single argument so much as an attribute of arguments; I believe that what is presented as equivalent can be significant. In the autobiographical comments in the introduction, Keener writes[27]:What Keener has been arguing is not just the relevance of culture but the implicit necessity of a piecemeal hermeneutic. The implication (beyond an excluded middle) is that using culture to argue a piecemeal, feminist modification to Paul is the same sort of thing as not literally practicing the holy kiss.[28] The sixth of seven chapters, after emotionally railing against slavery, argues that retaining the institution of marriage while excising one dimension is the same sort of thing as abolishing the institution of slavery; 'The Obedience of Children: A Better Model?'[29] explicitly rejects the claim that marriage is more like parenthood than owning slaves. While no comparison is perfect, I believe that these are examples of comparisons where it is illuminating to see what the author portrays as equivalent.In my own experience at least, this kind of argument is not purely the idiosyncrasy of one book. The idea this thesis is based on occurred to me after certain kinds of arguments recurred. Certain dark patterns, or anti-patterns, came up in different contexts like a broken record that kept on making its sound. I'm not sure how many times I had seen instances of 'X had beneficial effect Y; X was therefore purely instrumental to Y, and we may remove X if we no longer require X as an instrument to Y,' but I did not first meet that argument in Keener. These arguments represent fallacies of a more specialised nature than post hoc, ergo propter hoc ("after the fact, therefore because of the fact") or argumentum ad ignorantiam ("appeal to ignorance"). I believe that they allow a persuasive, rational-seeming argument of a conclusion not yet justified on logical terms. The experience that led to the formation of my thesis was partly from repeatedly encountering such fallacies in surprising cultural find arguments.I have tried to provide a pilot study identifying indicators of unyielding analysis. These indicators are not logically tied in the sense of 'Here's something which, on logical terms, can only indicate unyielding analysis.' The unyielding analysis I have met, before and in Keener, has been constructed with enough care to logic that I don't start by looking at logic. There are other things which are not of logical necessity required by unyielding analysis, but which seem to be produced by the same mindset. I have encountered these things both in the chosen text and in repeated previous experiences which first set me thinking along these lines.It is unfortunate that my control text made little use of emotion. I believe my case study would have been better rounded, had I been able to contrast emotion subverting logic in Keener with emotion complementing logic in the control text. As it is, the case study lends itself to an unfortunate reading of "logic is good and emotion is bad", and gives the impression that I consider the bounds of legitimate persuasion to simply be those of logic.

      Directions for Further Inquiry

      There were other indicators which I believe could be documented from this text with greater inquiry, but which I have not investigated due to constraints. Among these may be mentioned:

      • Misrepresentation of material. Recognising this would seem to require privileged information, and work better for an area where the reader knows something rather than nothing, but I believe that a reader who knows part of the covered domain stands to benefit from seeing if it is covered fairly.
      • Doing more than a text presents itself as doing. A certain kind of deceit, in which the speaker works hard to preserve literal truth, has a complex quality caused by more going on than is presented. I believe an exploration of this quality, and its tie to unyielding analysis, may be fruitful.
      • Shared attributes with a test case. A small and distinctive minority of cases qualify to become test cases in American legal practice; they possess a distinct emotional signature, and portions of Keener's argument (i.e. 'Would [Paul] have ignored her personal needs in favour of the church's witness?'[31]) are reminiscent in both argument and emotional appeal of test cases.
      • An Amusement Park Ride with a Spellbinding Showman. Especially in their introductions, O'Brien seems to go out of his way to let the reader know the full background to the debate; Keener seems more like a fascinating showman who directs the reader's attention to certain things and away from others; knowing the other side to statistics cited[32]—or even knowing that there is another side—destroys the effect. A careful description of this difference in rhetoric may be helpful, and I believe may be tied to disinformation in that there is a difference in working style; yielding persuasion suffers far less from the reader knowing the other side than does unyielding persuasion.Lastly, I would suggest that a study of sharpening and leveling would be fruitful.[34] 'Sharpening' and 'leveling' refer to a phenomenon where people remembering a text tend to sharpen its main points while leveling out attenuating factors. For many texts, sharpening and leveling are an unintended effect of their publication, while Keener seems at times to write to produce a specific result after sharpening and leveling have taken effect. What he writes in itself is more carefully restrained than what a reader would walk away thinking, and the latter appears to be closer to what Keener wants to persuade the reader of. Combining narrow entailment with broad implicature is a way for an author to write a text that creates a strong impression (sharpening and leveling produce an impression from what is implicated more than what is entailed) while being relatively immune to direct criticism: when a critic rereads a text closely, it turns out that the author didn't really say the questionable things the critic remembers the author to have said.[1] I.e. the 'Gang of Four': Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John, Design Patterns: Elements of Reusable Object-Oriented Software, Boston: Addison-Wesley, 1994.[4] Peabody: Hendrickson, 1992.[7] Ibid., pp. 6-9; compare almost any of O'Brien pp. 4-47.[10] A haustafel is a household code such as the one found in Ephesians; for my purposes, the Ephesians haustafel stretches from 5:21 to 6:9.[13] Keener, p. 163; O'Brien in pp. 405-438 does not cite a non-Biblical primary source likely to be similarly repellent, and portrays opposing secondary sources as mistaken without setting them in a disturbing light, i.e. in footnote 211, page 413.[16] My attempts to find material discussing how these things work, academic or popular, have had mixed success. If I were to write a thesis around this issue, I would initially explore works such as Michael I. Polanyi's Personal Knowledge: Towards a Post-Critical Philosophy, Chicago: University of Chicago Press, 1958, and anthropological treatments of the high-context/low-context and direct/indirect axes of human communication (which suggest relevant lines of inquiry). C.S. Lewis's account of the Un-man's dialogue with the Lady in Perelandra (chapters 8-11, pp. 274-311 in Out of the Silent Planet / Perelandra, Surrey: Voyager Classics, 1938 / 1943), seems to represent a very perceptive grappling with the issue of tacit communication in relation to deceit.[19] Ibid., p. 7.[22] Ibid., p. 141. Contrast O'Brien's comments on 6:5-9 in 447-456, seemingly the most obvious place to portray at least some of the text as parochial; O'Brien disclaims that Paul was making any social comment on slavery (p. 448), but unpacks the verses without obviously approaching the text from the same mindset as Keener.[25] Keener, p. 170.[28] Remember that Keener is an American. The suggestion he makes is more significant in U.S. than English culture. U.S. culture has a place for giving kisses to one's romantic partner, to family, and to small children, but not ordinarily to friends. Because of this, culture shock affects almost any attempt to consider ecclesiastical usage. 'Greet one another with a holy kiss.' serves in U.S. Evangelical conversation as the standard example of a New Testament injunction which cannot be taken seriously as a commandment to follow. It seem to be often assumed as an example of cultural noise in the Bible.[31] Keener, p. 148.[34] Comments from Asher Koriat, Morris Goldsmith, and Ainat Pansky in 'Toward a Psychology of Memory Accuracy (in the 2000 Annual Review of Psychology as seen in 2003 at http://www.findarticles.com/cf_0/m0961/2000_Annual/61855635/p7/article.jhtml?term=) provide a summary, with footnotes, suggesting the basic psychological mechanism. An accessible treatment of a related, if not identical, application to what I suggest here is found on pp. 91-94 in Thomas Gilovich's How We Know What Isn't So, New York: The Free Press, 1993.
    • [33] I.e. the 'Gang of Four': Gamma, Erich; Helm, Richard; Johnson, Ralph; Vlissides, John, Design Patterns: Elements of Reusable Object-Oriented Software, Boston: Addison-Wesley, 1994.
    • [32] Ibid. pp. 7-8.
    • [30] Oxford: Oxford University Press, 1979.
    • [29] Keener, pp. 186-188; contrast O'Brien, pp. 409-438, where he elaborates the text's analogy with Christ and the Church as a model for understanding marriage, rather than comparing to slavery (which Keener not only does but works to give the reader a reservoir of anger at slavery which may transfer when he argues that marital submission is like slavery).
    • [27] Ibid., p. 4; contrast the series preface before O'Brien: 'God stands over against us; we do not stand in judgment of him. When God speaks to us through his Word, those who profess to know him must respond in an appropriate way...' (page viii).
    • [26] Ibid., p. 170.
    • [24] Ibid., pp. 174-8. O'Brien covers some of the same basic facts without obviously presenting argument in this vein (pp. 405-409).
    • [23] Keener, p. 170.
    • [21] Ibid., p. 9.
    • [20] Ibid., p. 6.
    • [18] Keener, pp. 7-9.
    • [17] Maranda, Pierre, 'Elusive Semiosis', The Semiotic Review of Books, Volume 3, Issue 1, seen in 2003 at http://www.bdk.rug.nl/onderzoek/castor/srb/srb/elusive.html.
    • [15] Ibid., p. 160.
    • [14] Keener, p. 161.
    • [12] Lewis, C.S., chapter 1, pp. 1-26, San Francisco: Harper SanFrancisco, 1943, 2001.
    • [11] O'Brien, p. 419.
    • [9] Ibid., p. 167.
    • [8] Keener, p. 9.
    • [6] Keener, pp. 7-9.
    • [5] Rev. 6:8, RSV.
    • [3] Macon: Smyth & Helwys, 1999.
    • [2] Leicester: Apollos, 1999.
    • Footnotes
    • More broadly, I believe there is room for inquiry into the relation between this use of patterns and that in other disciplines. The application I have made is not a straight transposition; in architecture and computer science patterns are a tool to help people communicate about best practices to follow, not identify questionable practice to criticise as I have done here. What becomes of the Quality Without a Name may be interesting. This thesis only suggests two patterns; GoF[33] describes twenty-three computer programming patterns broken into three groups, so that they provide a taxonomy of recurring solutions and not merely a list. A taxonomy of Biblical studies patterns could be a valuable achievement.
  • On a broader scale, it is my hope that this may serve not only as a pilot study regarding unyielding analysis but a tentative introduction of a modified concept of 'pattern', or rather 'dark pattern' or 'anti-pattern' in theology. The concept of pattern was introduced by the architect Christopher Alexander and is sufficiently flexible to be recognised as powerful in computer science. I believe there are other patterns that can be helpful, and I would suggest that books like Alexander's The Timeless Way of Building[30] are accessible to people in a number of disciplines.
  • At a fairly basic level, the case study is a study of a cultural dimension of communication. I believe that portions of this pilot study may be deepened by the insights of scholars from humanities which study human culture and communication. I believe that some of my remarks would be improved by a serious attempt to connect them with high-context and low-context communication as studied in anthropology. If I am doing a pilot study that cannot provide much of any firm answers, I do hope to suggest fruitful lines of inquiry and identify deep questions which for which interdisciplinary study could be quite fruitful.
  • Conclusion
  • In some cases, the argument types I have described are not things which must be wrong, but things which lack justification. The claim that an absolute position is parochial but the relative difference is timeless is not a claim I consider to be unjustifiable, but it is a claim which I believe requires justification, a justification which is not necessarily provided.
  • "But it's part of the Bible!" I protested. "If you throw this part out, you have to throw everything else out, too." I cannot recall anyone having a good response to my objection, but even as a freshman I knew very well that if I were consistent in my stance against using culture to interpret the Bible, I would have to advocate women's head coverings in church, the practice of holy kisses, and parentally arranged marriages.
  • 'If X resonates with a passage's cultural context, then X need not be seen as part of the Bible's revelation.' This is often interwoven with the previous two arguments. Apart from showing a feminist-like relative difference, Keener works to establish that Paul used a haustafel in a way that reduced Christianity's perceived threat to conservatives. This is presented as establishing that therefore wives are not divinely commanded to submit.
  • 'X had beneficial effect Y; X was therefore purely instrumental to Y, and we may remove X if we no longer require X as an instrument to Y.' Keener argues[24] that the haustafel mitigated prejudice against Christianity, which is presented as a reason why we need not observe the haustafel if we do not perceive need for that apologetic concern.
  • Argument Structure

AI as an Arena for Magical Thinking Among Skeptics

Own C.J.S. Hayward's complete works in paper!

Surgeon General's Warning

This piece represents my first serious study as an Orthodox Christian. The gist of it, by which I mean a critique of the artificial intelligence and cognitive science movement whose members are convinced of its progress for reasons unrelated to any real achievement of its core goal, is one I would still maintain. Artificial intelligence, over a decade after the thesis was written, remains "just around the corner since 1950". The core pioneer John von Neumann's The Computer and the Brain's core assertion that the basis of human thought is "add, subtract, multiply, and divide" remains astonishingly naïve to the point of being crass.

With that much stated, there are things that don't belong. The "I-Thou" existentialism is not of Orthodox origin and its study of occult aspects is simply inappropriate. I do not say inaccurate, only wrong. I believe there is probably some truth to some suggestion that the artificial intelligence endeavor represents a recurrence of age-old occult dreams dressed in the clothing of computer science and secular rationality. Such things should still not have been studied, or at very least not by me.

For those still interested, my dissertation is below.

Cog, portrayed as 'Robo Sapiens'

AI as an Arena for Magical Thinking Among Skeptics
Artificial intelligence, cognitive science, and Eastern Orthodox views on personhood

M.Phil. Dissertation

CJS Hayward
christos.jonathan.hayward@gmail.com
CJSHayward.com

15 June 2004

Table of Contents

Abstract

Introduction

Artificial Intelligence

The Optimality Assumption

Just Around the Corner Since 1950

The Ghost in the Machine

Occult Foundations of Modern Science

Renaissance and Early Modern Magic

Science, Psychology, and Behaviourism

I-Thou and Humanness

Orthodox Anthropology in Maximus Confessor's Mystagogia

Intellect and Reason

Intellect, Principles, and Cosmology

The Intelligible and the Sensible

Knowledge of the Immanent

Intentionality and Teleology

Conclusion

Epilogue

Bibliography

Abstract

I explore artificial intelligence as failing in a way that is characteristic of a faulty anthropology. Artificial intelligence has had excellent funding, brilliant minds, and exponentially faster computers, which suggests that any failures present may not be due to lack of resources, but arise from an error that is manifest in anthropology and may even be cosmological. Maximus Confessor provides a genuinely different background to criticise artificial intelligence, a background which shares far fewer assumptions with the artificial intelligence movement than figures like John Searle. Throughout this dissertation, I will be looking at topics which seem to offer something interesting, even if cultural factors today often obscure their relevance. I discuss Maximus's use of the patristic distinction between 'reason' and spiritual 'intellect' as providing an interesting alternative to 'cognitive faculties.' My approach is meant to be distinctive both by reference to Greek Fathers and by studying artificial intelligence in light of the occult foundations of modern science, an important datum omitted in the broader scientific movement's self-presentation. The occult serves as a bridge easing the transition between Maximus Confessor's worldview and that of artificial intelligence. The broader goal is to make three suggestions: first, that artificial intelligence provides an experimental test of scientific materialism's picture of the human mind; second, that the outcome of the experiment suggests we might reconsider scientific materialism's I-It relationship to the world; and third, that figures like Maximus Confessor, working within an I-Thou relationship, offer more wisdom to us today than is sometimes assumed. I do not attempt to compare Maximus Confessor's Orthodoxy with other religious traditions, however I do suggest that Orthodoxy has relevant insights into personhood which the artificial intelligence community still lacks.

Introduction

Some decades ago, one could imagine a science fiction writer asking, 'What would happen if billions of dollars, dedicated laboratories with some of the world's most advanced equipment, indeed an important academic discipline with decades of work from some of the world's most brilliant minds—what if all of these were poured into an attempt to make an artificial mind based on an understanding of personhood that came out of a framework of false assumptions?' We could wince at the waste, or wonder that after all the failures the researchers still had faith in their project. And yet exactly this philosophical experiment has been carried out, in full, and has been expanded. This philosophical experiment is the artificial intelligence movement.

What relevance does AI have to theology? Artificial intelligence assumes a particular anthropology, and failures by artificial intelligence may reflect something of interest to theological anthropology. It appears that the artificial intelligence project has failed in a substantial and characteristic way, and furthermore that it has failed as if its assumptions were false—in a way that makes sense given some form of Christian theological anthropology. I will therefore be using the failure of artificial intelligence as a point of departure for the study of theological anthropology. Beyond a negative critique, I will be exploring a positive alternative. The structure of this dissertation will open with critiques, then trace historical development from an interesting alternative to the present problematic state, and then explore that older alternative. I will thus move in the opposite of the usual direction.

For the purposes of this dissertation, artificial intelligence (AI) denotes the endeavour to create computer software that will be humanly intelligent, and cognitive science the interdisciplinary field which seeks to understand the mind on computational terms so it can be re-implemented on a computer. Artificial intelligence is more focused on programming, whilst cognitive science includes other disciplines such as philosophy of mind, cognitive psychology, and linguistics. Strong AI is the classical approach which has generated chess players and theorem provers, and tries to create a disembodied mind. Other areas of artificial intelligence include the connectionist school, which works with neural nets,[1] and embodied AI, which tries to take our mind's embodiment seriously. The picture on the cover[2] is from an embodied AI website and is interesting for reasons which I will discuss below under the heading of 'Artificial Intelligence.'

Fraser Watts (2002) and John Puddefoot (1996) offer similar and straightforward pictures of AI. I will depart from them in being less optimistic about the present state of AI, and more willing to find something lurking beneath appearances. I owe my brief remarks about AI and its eschatology, under the heading of 'Artificial Intelligence' below, to a line of Watts' argument.[3]

Other critics[4] argue that artificial intelligence neglects the body as mere packaging for the mind, pointing out ways in which our intelligence is embodied. They share many of the basic assumptions of artificial intelligence but understand our minds as biologically emergent and therefore tied to the body.

There are two basic points I accept in their critiques:

First, they argue that our intelligence is an embodied intelligence, often with specific arguments that are worth attention.

Second, they often capture a quality, or flavour, to thought that beautifully illustrates what sort of thing human thought might be besides digital symbol manipulation on biological hardware.

There are two basic points where I will be departing from their line of argument:

First, they think outside the box, but may not go far enough. They are playing on the opposite team to cognitive science researchers, but they are playing the same game, by the same rules. The disagreement between proponents and critics is not whether mind may be explained in purely materialist terms, but only whether that assumption entails that minds can be re-implemented on computers.

Second, they see the mind's ties to the body, but not to the spirit, which means that they miss out on half of a spectrum of interesting critiques. I will seek to explore what, in particular, some of the other half of the spectrum might look like. As their critiques explore what it might mean to say that the mind is embodied, the discussion of reason and intellect under the heading 'Intellect and Reason' below may give some sense of what it might mean to say that the mind is spiritual. In particular, the conception of the intellects offers an interesting base characterisation of human thought that competes with cognitive faculties. Rather than saying that the critics offer false critiques, I suggest that they are too narrow and miss important arguments that are worth exploring.

I will explore failures of artificial intelligence in connection with the Greek Fathers. More specifically, I will look at the seventh century Maximus Confessor's Mystagogia. I will investigate the occult as a conduit between the (quasi-Patristic) medieval West and the West today. The use of Orthodox sources could be a particularly helpful light, and one that is not explored elsewhere. Artificial intelligence seems to fail along lines predictable to the patristic understanding of a spirit-soul-body unity, essentially connected with God and other creatures. The discussion becomes more interesting when one looks at the implications of the patristic distinction between 'reason' and the spiritual 'intellect.' I suggest that connections with the Orthodox doctrine of divinisation may make an interesting a direction for future enquiry. I will only make a two-way comparison between Orthodox theological anthropology and one particular quasi-theological anthropology. This dissertation is in particular not an attempt to compare Orthodoxy with other religious traditions.

One wag said that the best book on computer programming for the layperson was Alice's Adventures in Wonderland, but that's just because the best book on anything for the layperson was Alice's Adventures in Wonderland. One lesson learned by a beginning scholar is that many things that 'everybody knows' are mistaken or half-truths, as 'everybody knows' the truth about Galileo, the Crusades, the Spanish Inquisition, and other select historical topics which we learn about by rumour. There are some things we will have trouble understanding unless we can question what 'everybody knows.' This dissertation will be challenging certain things that 'everybody knows,' such as that we're making progress towards achieving artificial intelligence, that seventh century theology belongs in a separate mental compartment from AI, or that science is a different kind of thing from magic. The result is bound to resemble a tour of Wonderland, not because I am pursuing strangeness for its own sake, but because my attempt to understand artificial intelligence has taken me to strange places. Renaissance and early modern magic is a place artificial intelligence has been, and patristic theology represents what we had to leave to get to artificial intelligence.

The artificial intelligence project as we know it has existed for perhaps half a century, but its roots reach much further back. This picture attests to something that has been a human desire for much longer than we've had digital computers. In exploring the roots of artificial intelligence, there may be reason to look at a topic that may seem strange to mention in connection with science: the Renaissance and early modern occult enterprise.

Why bring the occult into a discussion of artificial intelligence? It doesn't make sense if you accept science's own self-portrayal and look at the past through its eyes. Yet this shows bias and insensitivity to another culture's inner logic, almost a cultural imperialism—not between two cultures today but between the present and the past. A part of what I will be trying to do in this thesis is look at things that have genuine relevance to this question, but whose relevance is obscured by cultural factors today. Our sense of a deep divide between science and magic is more cultural prejudice than considered historical judgment. We judge by the concept of scientific progress, and treating prior cultures' endeavours as more or less successful attempts to establish a scientific enterprise properly measured by our terms.

We miss how the occult turn taken by some of Western culture in the Renaissance and early modern period established lines of development that remain foundational to science today. Many chasms exist between the mediaeval perspective and our own, and there is good reason to place the decisive break between the mediaeval way of life and the Renaissance/early modern occult development, not placing mediaeval times and magic together with an exceptionalism for our science. I suggest that our main differences with the occult project are disagreements as to means, not ends—and that distinguishes the post-mediaeval West from the mediaevals. If so, there is a kinship between the occult project and our own time: we provide a variant answer to the same question as the Renaissance magus, whilst patristic and mediaeval Christians were exploring another question altogether. The occult vision has fragmented, with its dominion over the natural world becoming scientific technology, its vision for a better world becoming political ideology, and its spiritual practices becoming a private fantasy.

One way to look at historical data in a way that shows the kind of sensitivity I'm interested in, is explored by Mary Midgley in Science as Salvation (1992); she doesn't dwell on the occult as such, but she perceptively argues that science is far more continuous with religion than its self-understanding would suggest. Her approach pays a certain kind of attention to things which science leads us to ignore. She looks at ways science is doing far more than falsifying hypotheses, and in so doing observes some things which are important. I hope to develop a similar argument in a different direction, arguing that science is far more continuous with the occult than its self-understanding would suggest. This thesis is intended neither to be a correction nor a refinement of her position, but development of a parallel line of enquiry.

It is as if a great island, called Magic, began to drift away from the cultural mainland. It had plans for what the mainland should be converted into, but had no wish to be associated with the mainland. As time passed, the island fragmented into smaller islands, and on all of these new islands the features hardened and became more sharply defined. One of the islands is named Ideology. The one we are interested in is Science, which is not interchangeable with the original Magic, but is even less independent: in some ways Science differs from Magic by being more like Magic than Magic itself. Science is further from the mainland than Magic was, even if its influence on the mainland is if anything greater than what Magic once held. I am interested in a scientific endeavour, and in particular a basic relationship behind scientific enquiry, which are to a substantial degree continuous with a magical endeavour and a basic relationship behind magic. These are foundationally important, and even if it is not yet clear what they may mean, I will try to substantiate these as the thesis develops. I propose the idea of Magic breaking off from a societal mainland, and sharpening and hardening into Science, as more helpful than the idea of science and magic as opposites.

There is in fact historical precedent for such a phenomenon. I suggest that a parallel with Eucharistic doctrine might illuminate the interrelationship between Orthodoxy, Renaissance and early modern magic, and science (including artificial intelligence). When Aquinas made the Christian-Aristotelian synthesis, he changed the doctrine of the Eucharist. The Eucharist had previously been understood on Orthodox terms that used a Platonic conception of bread and wine participating in the body and blood of Christ, so that bread remained bread whilst becoming the body of Christ. One substance had two natures. Aristotelian philosophy had little room for one substance which had two natures, so one thing cannot simultaneously be bread and the body of Christ. When Aquinas subsumed real presence doctrine under an Aristotelian framework, he managed a delicate balancing act, in which bread ceased to be bread when it became the body of Christ, and it was a miracle that the accidents of bread held together after the substance had changed. I suggest that when Zwingli expunged real presence doctrine completely, he was not abolishing the Aristotelian impulse, but carrying it to its proper end. In like fashion, the scientific movement is not a repudiation of the magical impulse, but a development of it according to its own inner logic. It expunges the supernatural as Zwingli expunged the real presence, because that is where one gravitates once the journey has begun. What Aquinas and the Renaissance magus had was composed of things that did not fit together. As I will explore below under the heading 'Renaissance and Early Modern Magic,' the Renaissance magus ceased relating to society as to one's mother and began treating it as raw material; this foundational change to a depersonalised relationship would later secularise the occult and transform it into science. The parallel between medieval Christianity/magic/science and Orthodoxy/Aquinas/Zwingli seems to be fertile: real presence doctrine can be placed under an Aristotelian framework, and a sense of the supernatural can be held by someone who is stepping out of a personal kind of relationship, but in both cases it doesn't sit well, and after two or so centuries people finished the job by subtracting the supernatural.

Without discussing the principles in Thomas Dixon's 1999 delineation of theology, anti-theology, and atheology that can be un-theological or quasi-theological, regarding when one is justified in claiming that theology is present, I adopt the following rule:

A claim is considered quasi-theological if it can conflict with theological claims.

Given this rule, patristic theology, Renaissance and early modern magic (hereafter 'magic' or 'the occult'), and artificial intelligence claims are all considered to be theological or quasi-theological.

I will not properly trace an historical development so much as show the distinctions between archetypal scientific, occult, and Orthodox worldviews as seen at different times, and briefly discuss their relationships with some historical remarks. Not only are there surprisingly persistent tendencies, but Lee repeats Weber's suggestion that there is real value to understand ideal types.[5]

I will be attempting to bring together pieces of a puzzle—pieces scattered across disciplines and across centuries, often hidden by today's cultural assumptions about what is and is not connected—to show their interconnections and the picture that emerges from their fit. I will be looking at features including intentionality,[6] teleology,[7] cognitive faculties,[8] the spiritual intellect,[9] cosmology, and a strange figure who wields a magic sword with which to slice through society's Gordian knots. Why? In a word, all of this connected. Cosmology is relevant if there is a cosmological error behind artificial intelligence. There are both an organic connection and a distinction between teleology and intentionality, and the shift from teleology to intentionality is an important shift; when one shifts from teleology to intentionality one becomes partly blind to what the artificial intelligence picture is missing. Someone brought up on cognitive faculties may have trouble answering, 'How else could it be?'; the patristic understanding of the spiritual intellect gives a very interesting answer, and offers a completely different way to understand thought. And the figure with the magic sword? I'll let this figure remain mysterious for the moment, but I'll hint that without that metaphorical magic sword we would never have a literal artificial intelligence project. I do not believe I am forging new connections among these things, so much as uncovering something that was already there, overlooked but worth investigating.

This is an attempt to connect some very diverse sources, even if the different sections are meant primarily as philosophy of religion. This brings problems of coherence and disciplinary consistency, but the greater risk is tied to the possibility of greater reward. It will take more work to show connections than in a more externally focused enquiry, but if I can give a believable case for those interconnections, this will ipso facto be a more interesting enquiry.

All translations from French, German, Latin, and Greek are my own.

Artificial Intelligence

Artificial intelligence is not just one scientific project among others. It is a cultural manifestation of a timeless dream. It does not represent the repudiation of the occult impulse, but letting that impulse work out according to its own inner logic. Artificial intelligence is connected with a transhumanist vision for the future[10] which tries to create a science-fiction-like future of an engineered society of superior beings.[11] This artificial intelligence vision for the future is similar to the occult visions for the future we will see below. Very few members of the artificial intelligence movement embrace the full vision—but I may suggeste that its spectre is rarely absent, and that that spectre shows itself by a perennial sense of, 'We're making real breakthroughs today, and full AI is just around the corner.' Both those who embrace the fuller enthusiasm and those who are more modestly excited by current project have a hope that we are making progress towards creating something fundamentally new under the sun, of bequeathing humanity with something that has never before been available, machines that genuinely think. Indeed, this kind of hope is one of magic's most salient features. The exact content and features vary, but the sometimes heady excitement and the hope to bestow something powerful and new mark a significant point contact between the artificial intelligence and the magic that enshrouded science's birth.

There is something timeless and archetypal about the desire to create humans through artifice instead of procreation. Jewish legend tells of a rabbi who used the Kaballah to create a clay golem to defend a city against anti-semites in 1581.[12] Frankenstein has so marked the popular imagination that genetically modified foods are referred to as 'Frankenfoods,' and there are many (fictional) stories of scientists creating androids who rebel against and possibly destroy their creators. Robots who have artificial bodies but think and act enough like humans never to cause culture shock are a staple of science fiction. [13] There is a timeless and archetypal desire to create humans by artifice rather than procreation. Indeed, this desire has more than a little occult resonance.

We should draw a distinction between what may be called 'pretentious AI' and 'un-pretentious AI.' The artificial intelligence project has managed technical feats that are sometimes staggering, and from a computer scientist's perspective, the state of computer science is richer and more mature than if there had been no artificial intelligence project. Without making any general claim that artificial intelligence achieves nothing or achieves nothing significant, I will explore a more specific and weaker claim that artificial intelligence does not and cannot duplicate human intelligence.

A paradigm example of un-pretentious AI is the United States Postal Service handwriting recognition system. It succeeds in reading the addresses on 85% of postal items, and the USPS annual report is justifiably proud of this achievement.[14] However, there is nothing mythic claimed for it: the USPS does not claim a major breakthrough in emulating human thought, nor does it give people the impression that artificial mail carriers are just around the corner. The handwriting recognition system is a tool—admittedly, quite an impressive tool—but it is nothing more than a tool, and no one pretends it is anything more than a tool.

For a paradigm example of pretentious AI, I will look at something different. The robot Cog represents equally impressive feats in artificial hand-eye coordination and motor control, but its creators claim something deeper, something archetypal and mythic:

The robot Cog, portrayed as Robo sapiens
Fig. 2: Cog, portrayed as Robo sapiens[15]

The scholar places his hand on the robots' shoulder as if they had a longstanding friendship. At almost every semiotic level, this picture constitutes an implicit claim that the researcher has a deep friendship with what must be a deep being. The unfortunately blurred caption reads, '©2000 Peter Menzel / Robo sapiens.' On the Cog main website area, every picture with Cog and a person theatrically shows the person treating the robot as quite lifelike—giving the impression that the robot must be essentially human.

But how close is Cog to being human? Watts writes,

The weakness of Cog at present seems to be that it cannot actually do very much. Even its insect-like computer forebears do not seem to have had the intelligence of insects, and Cog is clearly nowhere near having human intelligence.[16]

The somewhat light-hearted frequently-asked-questions list acknowledges that the robot 'has no idea what it did two minutes ago,' answers 'Can Cog pass the Turing test?' by saying, 'No... but neither could an infant,' and interestingly answers 'Is Cog conscious?' by saying, 'We try to avoid using the c-word in our lab. For the record, no. Off the record, we have no idea what that question even means. And still, no.' The response to a very basic question is ambiguous, but it seems to joke that 'consciousness' is obscene language, and gives the impression that this is not an appropriate question to ask: a mature adult, when evaluating our AI, does not childishly frame the question in terms of consciousness. Apparently, we should accept the optimistic impression of Cog, whilst recognising that it's not fair to the robot to ask about features of human personhood that the robot can't exhibit. This smells of begging the question.

Un-pretentious AI makes an impressive technical achievement, but recognises and acknowledges that they've created a tool and not something virtually human. Pretentious AI can make equally impressive technical achievements, and it recognises that what it's created is not equivalent to human, but it does not acknowledge this. The answer to 'Is Cog conscious?' is a refusal to acknowledge something the researchers have to recognise: that Cog has no analogue to human consciousness. Is it a light-hearted way of making a serious claim of strong agnosticism about Cog's consciousness? It doesn't read much like a mature statement that 'We could never know if Cog were conscious.' The researcher in Figure 2 wrote an abstract on how to give robots a theory of other minds[17], which reads more like psychology than computer science.

There's something going on here that also goes on in the occult. In neo-paganism, practitioners find their magic to work, not exactly as an outsider would expect, by making incantations and hoping that something will happen that a skeptic would recognise as supernatural, but by doing what they can and then interpreting reality as if the magic had worked. They create an illusion and subconsciously embrace it. This mechanism works well enough, in fact, that large segments of today's neo-paganism started as jokes and then became real, something their practitioners took quite seriously.[18] There's power in trying to place a magical incantation or a computer program (or, in programmer slang, 'incantation') to fill a transcendent hope: one finds ways that it appears to work, regardless of what an outsider's interpretation may be. This basic technique appears to be at work in magic as early as the Renaissance, and it appears to be exactly what's going on in pretentious AI. The basic factor of stepping into an illusion after you do what you can makes sense of the rhetoric quoted above and why Cog is portrayed not merely as a successful experiment in coordination but as Robo sapiens, the successful creation of a living golem. Of course we don't interpret it as magic because we assume that artificial and intelligence and magic are very different things, but the researchers' self-deception falls into a quite venerable magical tradition.

Computers seem quite logical. Are they really that far from human rationality? Computers are logical without being rational. Programming a computer is like explaining a task to someone who follows directions very well but has no judgment and no ability to recognise broader intentions in a request. It follows a list of instructions without any recognition or a sense of what is being attempted. The ability to understand a conversation, or recognise another person's intent—even with mistakes—or any of a number of things humans take for granted, belongs to rationality. A computer's behaviour is built up from logical rules that do certain precise manipulations of symbols without any sense of meaning whatsoever: it is logical without being rational. The discipline of usability is about how to write well-designed computer programs; these programs usually let the user forget that computers aren't rational. For instance, a user can undo something when the computer logically and literally follows an instruction, and the user rationally realises that that isn't really what was intended. But even the best of this design doesn't let the computer understand what one meant to say. One frustration people have with computers stems from the fact that there is a gist to what humans say, and other people pick up that gist. Computers do not have even the most rudimentary sense of gist, only the ability to logically follow instructions. This means that the experience of bugs and debugging in programming is extremely frustrating to those learning how to program; the computer's response to what seems a correct program goes beyond nitpicking. This logicality without rationality is deceptive, for it presents something that looks very much like rationality at first glance, but produces unpleasant surprises when you treat it as rational. There's something interesting going on here. When we read rationality into a computer's logicality, we are in part creating the illusion of artificial intelligence. 'Don't anthropomorphise computers,' one tells novice programmers. 'They hate that.' A computer is logical enough that we tend to treat it as rational, and in fact if you want to believe that you've achieved artificial intelligence, you have an excellent basis to use in forming a magician's self-deception.

Artificial intelligence is a mythic attempt to create an artificial person, and it does so in a revealing way. Thought is assumed to be a private manipulation of mental representations, not something that works in terms of spirit. Embodied AI excluded, the body is assumed to be packaging, and the attempt is not just to duplicate the 'mind' in a complete sense, but our more computer-like rationality: this assumes a highly significant division of what is essential, what is packaging, and what comes along for free if you duplicate the essential bits. None of this is simply how humans have always thought, nor is it neutral. Maximus Confessor's assumptions are different enough from AI's that a comparison makes it easier to see some of AI's assumptions, and furthermore what sort of coherent picture could deny them. I will explore how exactly he does so below under the heading 'Orthodox Anthropology in Maximus Confessor's Mystagogia,' More immediately, I wish to discuss a basic type of assumption shared by artificial intelligence and the occult.

The Optimality Assumption

One commonality that much of magic and science share is that broad visions often include the assumption that what they don't understand must be simple, and be easy to modify or improve. Midgley discusses Bernal's exceedingly optimistic hope for society to transform itself into a simplistically conceived scientific Utopia (if perhaps lacking most of what we value in human society);[19] I will discuss later, under various headings, how society simply works better in Thomas More's and B.F. Skinner's Utopias if only it is re-engineered according to their simple models.[20] Aren't Utopian visions satires, not prescriptions? I would argue that the satire itself has a strong prescriptive element, even if it's not literal. The connection between Utopia and AI is that the same sort of thinking feeds into what, exactly, is needed to duplicate a human mind. For instance, let us examine a sample of dialogue which Turing imagined going on in a Turing test:

Q: Please write me a sonnet on the subject of the Forth Bridge.

A: Count me out on this one. I never could write poetry.

Q: Add 34957 to 70764.

A: (Pause about 30 seconds and then give as answer) 105621.

Q: Do you play chess?

A: Yes.

Q: I have K at my K1, and no other pieces. You have only K at K6 and R at R1. It is your move. What do you play?

A: (After a pause of 15 seconds) R-R8 mate.[21]

Turing seems to assume that if you duplicate his favoured tasks of arithmetic and chess, the task of understanding natural language comes along, more or less for free. The subsequent history of artificial intelligence has not been kind to this assumption. Setting aside the fact that most people do not strike up a conversation by strangely requesting the other person to solve a chess problem and add five-digit numbers, Turing is showing an occult way of thinking by assuming there's nothing really obscure, or deep, about the human person, and that the range of cognitive tasks needed to do AI is the range of tasks that immediately present themselves to him. This optimism may be damped by subsequent setbacks which the artificial intelligence movement has experienced, but it's still present. It's hard to see an artificial intelligence researcher saying, 'The obvious problem looks hard to solve, but there are probably hidden problems which are much harder,' let alone consider whether human thought might be non-computational.

Given the difficulties they acknowledge, artificial intelligence researchers seem to assume that the problem is as easy as possible to solve. As I will discuss later, this kind of assumption has profound occult resonance. I will call this assumption the optimality assumption: with allowances and caveats, the optimality assumption states that artificial intelligence is an optimally easy problem to solve. This doesn't mean an optimally easy problem to solve given the easiest possible world, but rather, taking into the difficulties and nuances recognised by the practitioner, the problem is then assumed to be optimally easy, and thenit could be said that we live in the (believable) possible world where artificial intelligence would be easiest to implement. Anything that doesn't work like a computer is assumedly easy, or a matter of unnecessary packaging. There are variations on the theme of begging the question. One basic strategy of ensuring that computers can reach the bar of human intelligence is to lower the bar until it is already met. Another strategy is to try to duplicate human intelligence on computer-like tasks. Remember the Turing test which Turing imagined, which seemed to recognise only the cognitive tasks of writing a poem, doing arithmetic, and solving a chess problem: Turing apparently assumed that natural language understanding would come along for free by the time computers could do both arithmetic and chess. Now we have computer calculators and chess players that can beat humans, whilst natural language understanding tasks which are simple to humans represent an unscaled Everest to artificial intelligence.

We have a situation very much like the attempt to make a robot that can imitate human locomotion—if the attempt is tested by having a robot race a human athlete on a racetrack ergonomically designed for robots. Chess is about as computer-like a human skill as one could find.

Turing's script for an imagined Turing test is one manifestation of a tendency to assume that the problem is optimally easy: the optimality assumption. Furthermore, Turing sees only three tasks of composing a sonnet, adding two numbers, and making a move in chess. But in fact this leaves out a task of almost unassailable difficulty for AI: understanding and appropriately acting on natural language requests. This is part of human rationality that cannot simply be assumed to come with a computer's logicality.

Four decades after Turing imagined the above dialogue, Kurt VanLehn describes a study of problem solving that used a standard story problem.[22] The ensuing discussion is telling. Two subjects' interpretations are treated as problems to be resolved, apparently chosen for their departure from how a human 'should' think about these things. One is a nine year old girl, Cathy: '...It is apparent from [her] protocol that Cathy solves this problem by imagining the physical situation and the actions taken in it, as opposed to, say, converting the puzzle to a directed graph then finding a traversal of the graph.' The purpose of the experiment was to understand how humans solve problems, but it was approached with a tunnel vision that gave a classic kind of computer science 'graph theory' problem, wrapped up in words, and treated any other interpretation of those words as an interesting abnormality. It seems that it is not the theory's duty to approach the subject matter, but the subject matter's duty to approach the theory—a signature trait of occult projects. Is this merely VanLehn's tunnel vision? He goes on to describe the state of cognitive science itself:

For instance, one can ask a subject to draw a pretty picture... [such] Problems whose understanding is not readily represented as a problem space are called ill-defined. Sketching pretty pictures is an example of an ill-defined problem... There have only been a few studies of ill-defined problem solving.[23]

Foerst summarises a tradition of feminist critique:[24] AI was started by men who chose a particular kind of abstract task as the hallmark of intelligence; women might value disembodied abstraction less and might choose something like social skills. The critique may be pushed one step further than that: beyond any claim that AI researchers, when looking for a basis for computer intelligence, tacitly crystallised intelligence out of men's activities rather than women's, it seems that their minds were so steeped in mathematics and computers that they crystallised intelligence out of human performance more in computer-like activities than anything essentially human, even in a masculine way. Turing didn't talk about making artificial car mechanics or deer hunters any more than he had plans for artificial hostesses or childminders.

Harman's 1989 account of functionalism, for instance, provides a more polished-looking version of an optimality assumption: 'According to functionalism, it does not matter what mental states and processes are made of any more than it matters what a carburetor or heart or a chess king is made of.' (832). Another suggestion may be made, not as an axiom but as an answer to the question, 'How else could it be?' This other suggestion might be called the tip of the iceberg conception.

A 'tip of the iceberg' conception might reply, 'Suppose for the sake of argument that it doesn't matter what an iceberg is made of, so long as it sticks up above the surface and is hard enough to sink a ship. The task is then to make an artificial iceberg. One can hire engineers to construct a hard shell to function as a surrogate iceberg. What has been left out is that these properties of something observable from the surface rest on something that lies much, much deeper than the surface. (A mere scrape with an iceberg sunk the Titanic, not only because the iceberg was hard, but because it had an iceberg's monumental inertia behind that hardness.) One can't make a functional tip of the iceberg that way, because a functional tip of an iceberg requires a functional iceberg, and we have very little idea of how to duplicate those parts of an iceberg that aren't visible from a ship. You are merely assuming that one can try hard enough to duplicate what you can see from a ship, and if you duplicate those observables, everything else will follow.' This is not a fatal objection, but it is intended to suggest what the truth could be besides the repeated assumption that intelligence is as easy as possible to duplicate in a computer. Here again is the optimality assumption, and it is a specific example of a broader optimality assumption which will appear in occult sources discussed under the 'Renaissance and Early Modern Magic' heading below. The 'tip of the iceberg' conception is notoriously absent in occult and artificial intelligence sources alike. In occult sources, the endeavour is to create a magically sharp sword that will slice all of the Gordian knots of society's problems; in artificial intelligence the Gordian knots are not societal problems but obstacles to creating a thinking machine, and researchers may only be attempting to use razor blades to cut tangled shoelaces, but researchers are still trying to get as close to that magic sword as they believe possible.

Just Around the Corner Since 1950

The artificial intelligence movement has a number of reasonably stable features, including an abiding sense of 'Today's discoveries are a real breakthrough; artificial minds are just around the corner.' This mood may even be older than digital computers; Dreyfus writes,

In the period between the invention of the telephone relay and its apotheosis in the digital computer, the brain, always understood in terms of the latest technological inventions, was understood as a large telephone switchboard, or more recently, as an electronic computer.[25]

The discoveries and the details of the claim may change, and experience has battered some of strong AI's optimism, but in pioneers and today's embodied AI advocates alike there is a similar mood: 'What we've developed now is effacing the boundary between machine and human.' This mood is quite stable. There is a striking similarity between the statements,

These emotions [discomfort and shock at something so human-like] might arise because in our interactions with Cog, little distinguishes us from the robot, and the differences between a machine and its human counterparts fade.[26]

and:

The reader must accept it as a fact that digital computers can be constructed, and indeed have been constructed, according to the principles we have described, and that they can in fact mimic the actions of a human computer very closely.[27]

What is interesting here is that the second was made by Turing in 1950, and the first by Foerst in 1998. As regards Turing, no one now believes 1950 computers could perform any but the most menial of mathematicians' tasks, and some of Cog's weaknesses have been discussed above ("Cog... cannot actually very much. Even its insect-like forebears do not seem to have had the intelligence of insects..."). The more artificial intelligence changes, the more it seems to stay the same. The overall impression one receives is that for all the surface progress of the artificial intelligence, the underlying philosophy and spirit remain the same—and part of this underlying spirit is the conviction, 'We're making real breakthroughs now, and full artificial intelligence is just around the corner.' This self-deception is sustained in classically magical fashion. Artificial intelligence's self-presentation exudes novelty, a sense that today's breakthroughs are decisive—whilst its actual rate of change is much slower. The 'It's just around the corner.' rhetoric is a longstanding feature. For all the changes in processor power and greater consistency in a materialist doctrine of mind, there are salient features which seem to repeat in 1950's and today's cognitive science. In both, the strategy to ensure that computers could jump the bar of human intelligence is by lowering the bar until it had already been jumped.

The Ghost in the Machine

It has been suggested in connection with Polanyi's understanding of tacit knowledge that behaviourists did not teach, 'There is no soul.' Rather, they draw students into a mode of enquiry where the possibility of a soul is never considered.

Modern psychology takes completely for granted that behavior and neural function are perfectly correlated, that one is completely caused by the other. There is no separate soul or lifeforce to stick a finger into the brain now and then and make neural cells do what they would not otherwise. Actually, of course, this is a working assumption only....It is quite conceivable that someday the assumption will have to be rejected. But it is important also to see that we have not reached that day yet: the working assumption is a necessary one and there is no real evidence opposed to it. Our failure to solve a problem so far does not make it insoluble. One cannot logically be a determinist in physics and biology, and a mystic in psychology.[28]

This is a balder and more provocative way of stating what writers like Turing lead the reader to never think of questioning. The assumption is that the soul, if there is one, is by nature external and separate from the body, so that any interaction between the two is a violation of the body's usual way of functioning. Thus what is denied is a 'separate soul or lifeforce to stick a finger into the brain now and then and make neural cells do what they would not do otherwise.' The Orthodox and others' doctrine of unified personhood is very different from an affirmation of a ghost in the machine. To affirm a ghost in the machine is to assume the soul's basic externality to the body: the basic inability of a soul to interact with a body creates the problem of the ghost in the machine. By the time one attempts to solve the problem of the ghost in the machine, one is already outside of an Orthodox doctrine of personhood in which spirit, soul, and body are united and the whole unit is not an atom.

The objective here is not mainly to criticise AI, but to see what can be learned: AI seems to fail in a way that is characteristic. It does not fail because of insufficient funding or lack of technical progress, but on another plane: it is built on an erroneous quasi-theological anthropology, and its failures may suggest something about being human. The main goal is to answer the question, 'How else could it be?' in a way that is missed by critics working in materialist confines.

What can we say in summary?

First, artificial intelligence work may be divided into un-pretentious and pretentious AI. Un-pretentious AI makes tools that no one presents as anything more than tools. Pretentious AI is presented as more human than is properly warranted.

Second, there are stable features to the artificial intelligence movement, including a claim of, 'We have something essentially human. With today's discoveries, full artificial intelligence is just around the corner.' The exact form of this assertion may change, but the basic claim does not.

Third, artificial intelligence research posits a multifarious 'optimality assumption,' namely that, given the caveats recognised by the researcher, artificial intelligence is an optimally easy assumption to solve. The human mind is assumed to be the sort of thing that is optimally easy to re-create on a computer.

Fourth, artificial intelligence comes from the same kind of thinking as the ghost in the machine problem.

There is more going on in the artificial intelligence project than an attempt to produce scientific results. The persistent rhetoric of 'It's just around the corner.' is not because artificial intelligence scientists have held that sober judgment since the project began, but because there's something else going on. For reasons that I hope will become clearer in the next section, this is beginning to look like an occult project—a secularised occult project, perhaps, but 'secularised occult' is not an empty term in that you take all of the occult away if you take away spellbooks. There is much more to the occult than crystal balls, and a good deal of this 'much more' is at play even if artificial intelligence doesn't do things the Skeptical Enquirer would frown on.

Occult Foundations of Modern Science

With acknowledgment of the relevance of the Reformation, the wake of Aristotelianism, and the via moderna of nominalism,[29] I will be looking at a surprising candidate for discussion on this topic: magic. Magic was a large part of what shaped modernity, a much larger factor than one would expect from modernity's own self-portrayal, and it has been neglected for reasons besides than the disinterested pursuit of truth. It is more attractive to our culture to say that our science exists in the wake of Renaissance learning or brave Reformers than to say that science has roots in it decries as superstition. For reasons that I will discuss below under the next heading, I suggest that what we now classify as the artificial intelligence movement is a further development of some of magic's major features.

There is a major qualitative shift between Newton's development of physics being considered by some to be a diversion from his alchemical and other occult endeavours, and 'spooky' topics today being taboo for scientific research. Yet it is still incomplete to enter a serious philosophical discussion of science without understanding the occult, as as it incomplete to enter a serious discussion of Christianity without understanding Judaism. Lewis points out that the popular understanding of modern science displacing the magic of the middle ages is at least misleading; there was very little magic in the middle ages, and then science and magic flourished at the same time, for the same reason, often in the same people: the reason science became stronger than magic is purely Darwinian: it worked better.[30] One may say that medieval religion is the matrix from which Renaissance magic departed, and early modern magic is the matrix from which science departed.

What is the relationship between the mediaeval West and patristic Christianity? In this context, the practical difference is not yet a great one. The essential difference is that certain seeds have been sown—such as nominalism and the rediscovered Aristotelianism—which in the mediaeval West would grow into something significant, but had not in much of any practical sense affected the fabric of society. People still believed that the heavens told the glory of God; people lived a life oriented towards contemplation rather than consumption; monasteries and saints were assumed so strongly that they were present even—especially—as they retreated from society. Certain seeds had been sown in the mediaeval West, but they had not grown to any significant stature. For this discussion, I will treat mediaeval and patristic Christianity as more alike than different.

Renaissance and Early Modern Magic

Magic in this context is much more than a means of casting spells or otherwise manipulating supernatural powers to obtain results. That practice is the token of an entire worldview and enterprise, something that defines life's meaning and what one ought to seek. To illustrate this, I will look at some details of work by a characteristic figure, Leibniz. Then I will look at the distinctive way the Renaissance magus related to the world and the legacy this relationship has today. Alongside this I will look at a shift from understanding this life as a contemplative apprenticeship to Heaven, to understanding this life as something for us to make more pleasurable.

Leibniz, a 17th century mathematician and scientist who co-discovered calculus, appears to have been more than conversant with the occult memory tradition,[31] and his understanding of calculus was not, as today, a tool used by engineers to calculate volumes. Rather, it was part of an entire Utopian vision, which could encompass all knowledge and all thoughts, an apparently transcendent tool that would obviate the need for philosophical disagreements:

If we had this [calculus], there would be no more reason for disputes between philosophers than between accountants. It would be enough for them to take their quills and say, 'Let us calculate!'

Leibniz's 1690 Ars Combinatoria contains some material that is immediately accessible to a modern mathematician. It also contains material that is less accessible. Much of the second chapter (9-48) discusses combinations of the letters U, P, J, S, A, and N; these letters are tied to concepts ranging from philosophy to theology, jurisprudence and mathematics: another table links philosophical concepts with numbers (42-3). The apparent goal was to validly manipulate concepts through mechanical manipulations of words, but I was unable to readily tell what (mathematico-logical?) principle was supposed to make this work. (The principle is apparently unfamiliar to me.) This may reflect the influence of Ramon Lull, thirteenth century magician and doctor of the Catholic Church who adapted a baptised Kaballah which involved manipulating combinations of (Latin) letters. Leibniz makes repeated reference to Lull (28, 31, 34, 46), and specifically mentions his occult ars magna (28). Like Lull, Leibniz is interested in the occult, and seeks to pioneer some new tool that will obviate the need for this world's troubles. He was an important figure in the creation of science, and his notation is still used for calculus today. Leibniz is not trying to be just another member of society, or to contribute to society's good the way members have always contributed to society's good: he stands above it, and his intended contribution is to reorder the fabric of society according to his endowed vision. Leibniz provides a characteristic glimpse of how early modern magic has left a lasting imprint.

If the person one should be in Orthodoxy is the member of Church and society, the figure in magic is the magus, a singular character who stands outside of the fabric of society and seeks to transform it. What is the difference? The member of the faithful is an integrated part of society, and lives in submission and organic connection to it. The magus, by contrast, stands above society, superior to it, having a relation to society as one whose right and perhaps duty is to tear apart and reconstruct society along better lines. We have a difference between humility and pride, between relating to society as to one's mother and treating society as raw material for one to transform. The magus is cut off from the common herd by two closely related endowments: a magic sword to cut through society's Gordian knots, and a messianic fantasy.[32] In Leibniz's case the magic sword is an artificial language which will make philosophical disagreements simply obsolete. For the artificial intelligence movement, the magic sword is artificial intelligence itself. The exact character of the sword, knot, and fantasy may differ, but their presence does not.

The character of the Renaissance magus may be seen as as hinging on despair with the natural world. This mood seems to be woven into Hermetic texts that were held in such esteem in the Renaissance and were connected at the opening of pre-eminent Renaissance neo-Platonist Pico della Mirandola's Oration on the Dignity of Man.[33] If there is good to be had, it is not met in the mundane world of the hoi polloi. It must be very different from their reality, something hidden that is only accessible to an elite. The sense in which this spells out an interest in the occult means far more than carrying around a rabbit's foot. The specific supernatural contact was valued because the occult was far hidden from appearances and the unwashed masses. (The Christian claim that one can simply pray to God and be heard is thus profoundly uninteresting. Supernatural as it may be, it is ordinary, humble, and accessible in a way that the magus is trying to push past.) This desire for what is hidden or very different from the ordinary means that the ideal future must be very different from the present. Therefore Thomas More, Renaissance author, canonised saint, and strong devotee of Mirandola's writing, himself writes Utopia. In this work, the philosophic sailor Raphael establishes his own reason as judge over the appropriateness of executing thieves,[34] and describes a Utopia where society simply works better: there seem to be no unpleasant surprises or unintended consequences. [35] There is little sense of a complex inner logic to society that needs to be respected, or any kind of authority to submit to. Indeed, Raphael abhors authority and responds to the suggestion that he attach himself to a king's court by saying, 'Happier! Is that to follow a path that my soul abhors?' This Utopian vision, even if it is from a canonised Roman saint, captures something deep of the occult currents that would later feed into the development of political ideology. The content of an occult vision for constructing a better tomorrow may vary, but it is a vision that seeks to tear up the world as we now know it and reconstructs it along different lines.

Magic and science alike relate to what they are interested in via an I-It rather than an I-Thou relationship. Relating to society as to one's mother is an I-Thou relationship; treating society as raw material is an I-It relationship. An I-Thou relationship is receptive to quality. It can gain wisdom and insight. It can connect out of the whole person. The particular kind of I-It relationship that undergirds science has a powerful and narrow tool that deals in what can be mathematically represented. The difference between those two is misunderstood if one stops after saying, 'I-It can make technology available much better than I-Thou.' That is how things look through I-It eyes. But I-Thou allows a quality of relationship that does not exist with I-It. 'The fundamental word I-Thou can only be spoken with one's whole being. The fundamental word I-It can never be spoken with one's whole being.' I-Thou allows a quality-rich relationship that always has another layer of meaning. In the Romance languages there are two different words for knowledge: in French,connaissance and savoir. They both mean 'knowledge,' but in different ways: savoir is knowledge of fact (or know-how); one can sait que ('know that') something is true. Connaissance is the kind of knowledge of a person, a 'knowledge of' rather than a 'knowledge that' or 'knowledge how.' It can never be a complete knowledge, and one cannot connait que ('know-of that') something is true. It is personal in character. An I-It relationship is not just true of magic; as I will discuss below under the heading of 'Science, Psychology, and Behaviourism,' psychology seeks a baseline savoir of people where it might seek a connaissance , and its theories are meant to be abstracted from relationships with specific people. Like magic, the powers that are based on science are epiphenomenal to the relationship science is based on. Relating in an I-Thou rather than I-It fashion is not simply less like magic and science; it is richer, fuller, and more human.

In the patristic and medieval eras, the goal of living had been contemplation and the goal of moral instruction was to conform people to reality. Now there was a shift from conforming people to reality, towards conforming reality to people.[36] This set the stage, centuries later, for a major and resource-intensive effort to create an artificial mind, a goal that would not have fit well with a society oriented to contemplation. This is not to say that there is no faith today, nor that there was no technology in the middle ages, nor that there has been no shift between the early modern period and today. Rather, it is to say that a basic trajectory was established in magic that significantly shapes science today.

The difference between the Renaissance magus and the mediaeval member of the Church casts a significant shadow today. The scientist seems to live more in the shadow of the Renaissance magus than of the member of mediaeval society. This is not to say that scientists cannot be humble and moral, nor that they cannot hold wonder at what they study. But it is to say that there are a number of points of contact between the Renaissance magus's way of relating to the world and that of a scientist and those who live in science's shadow. Governments today consult social scientists before making policy decisions: the relationship seems to be how to best deal with material rather than a relationship as to one's mother. We have more than a hint of secularised magic in which substantial fragments of Renaissance and early modern magic have long outlived some magical practices.

Under the patristic and medieval conception, this life was an apprenticeship to the life in Heaven, the beginning of an eternal glory contemplating God. Magic retained a sense of supernatural reality and a larger world, but its goal was to improve this life, understood as largely self-contained and not as beginning of the next. That was the new chief end of humanity. That shift is a shift towards the secular, magical as its beginning may be. Magic contains the seeds of its own secularisation, in other words of its becoming scientific. The shift from contemplation of the next world to power in this world is why the occult was associated with all sorts of Utopian visions to transform the world, a legacy reflected in our political ideologies. One of the tools developed in that magical milieu was science: a tool that, for Darwinian reasons, was to eclipse all the rest. The real magic that has emerged is science.

Science, Psychology, and Behaviourism

What is the niche science has carved out for itself? I'd like to look at an academic discipline that is working hard to be a science, psychology. I will more specifically look at behaviourism, as symptomatic within the history of psychology. Is it fair to look at behaviourism, which psychology itself rejected? It seems that behaviourism offers a valuable case study by demonstrating what is more subtly present elsewhere in psychology. Behaviourism makes some basic observations about reward and punishment and people repeating behaviours, and portrays this as a comprehensive psychological theory: behaviourism does not acknowledge beliefs, for instance. Nonetheless, I suggest that behaviourism is a conceivable development in modern psychology which would have been impossible in other settings. Behaviourism may be unusual in the extreme simplicity of its vision and its refusal to recognise internal states, but not in desiring a Newton who will make psychology a full-fledged science and let psychology know its material with the same kind of knowing as physics has for its material.

Newton and his kin provided a completely de-anthropomorphised account of natural phenomena, and behaviourism provided a de-anthropomorphised account of humans. In leading behaviourist B.F. Skinner's Walden Two (1948), we have a Utopian vision where every part of society seems to work better: artists raised under Skinner's conditioning produce work which is 'extraordinarily good,' the women are more beautiful,[37] and Skinner's alter ego expresses the hope of controlling the weather,[38] and compares himself with God.[39] Skinner resemble seems to resemble a Renaissance magus more than a mediaeval member: society is raw material for him to transform. Skinner is, in a real sense, a Renaissance magus whose magic has become secularised. Quite a lot of the magus survives the secularisation of Skinner's magic.

Even without these more grandiose aspirations, psychology is symptomatic of something that is difficult to discern by looking at the hard sciences. Psychological experiments try to find ways in which the human person responds in terms comparable to a physics experiment—and by nature do not relate to their subjects as human agents. These experiments study one aspect of human personhood, good literature another, and literature offers a different kind of knowing from a psychological experiment. If we assume that psychology is the best way to understand people—and that the mind is a mechanism-driven thing—then the assumed burden of proof falls on anyone saying, 'But a human mind isn't the sort of thing you can duplicate on a computer.' The cultural place of science constitutes a powerful influence on how people conceive the question of artificial intelligence.

Behaviourism offers a very simple and very sharp magic sword to cut the Gordian knot of unscientific teleology, a knot that will be discussed under the heading of 'Intentionality and Teleology' below. It removes suspicion of the reason being attached to a spiritual intellect by refusing to acknowledge reason. It removes the suspicion of emotions having a spiritual dimension by refusing to acknowledge emotions. He denies enough of the human person that even psychologists who share those goals would want to distance themselves from him. And yet Skinner does more than entertain messianic fantasies: Walden Two is a Utopia, and when Skinner's alter ego compares himself with God, God ends up second best.[40] I suggest that this is no a contradiction at all, or more properly it is a blatant contradiction as far as common sense is concerned, but as far as human human phenomena go, we have two sides of the same coin. The magic sword and the messianic fantasy belong to one and the same magus.

There is in fact an intermediate step between the full-fledged magus and the mortal herd. One can be a magician's assistant, clearing away debris and performing menial tasks to support the real magi. [41] The proportion of the Western population who are scientists is enormous compared to science's founding, and the vast majority of the increase is in magician's assistants. If one meets a scientist at a social gathering, the science is in all probability not a full-fledged magus, but a magician's assistant, set midway between the magus and the commoner. The common scientist is below the magus in knowledge of science but well above most commoners. In place of a personal messianic fantasy is a more communal tendency to assume that the scientific enterprise is our best hope for the betterment of society. (Commoners may share this belief.) There is a significant difference between the magus and most assistants today. Nonetheless, the figure of the magus is alive today—secularised, in most cases, but alive and well. Paul Johnson's Augustinian account ofIntellectuals includes such eminent twentieth century scientific figures as Bertrand Russell, Noam Chompsky, and Albert Einstein;[42] the figures one encounters in his pages are steeped in the relationship to society as to raw material instead as to one's mother, the magic sword, and the messianic fantasy.

I-Thou and Humanness

I suggest that the most interesting critiques of artificial intelligence are not obtained by looking through I-It eyes in another direction, but in using other eyes to begin with, looking through I-Thou eyes. Let us consider Turing's 'Arguments from Various Disabilities'.[43]Perhaps the people who furnished Turing with these objections were speaking out of something deeper than they could explain:

Be kind, resourceful, beautiful, friendly, have initiative, have a sense of humour, tell right from wrong, make mistakes, fall in love, enjoy strawberries and cream, make some one fall in love with it, learn from experience, use words properly, be the subject of its own thought, have as much diversity of behaviour as a man, do something really new.

Be kind:
Kindness is listed by Paul as the fruit of the Spirit (Gal. 5:22) in other words, an outflow of a person living in the Spirit. Disregarding the question of whether all kindness is the fruit of the Spirit, in humans kindness is not merely following rules, but the outflow of a concern for the other person. Even counterfeit kindness is a counterfeit from someone who knows the genuine article. It thus uses some faculty of humanity other than the reasoning ability, which classical AI tries to duplicate and which is assumed to be the one thing necessary to duplicate human cognition.

Be resourceful:
The artificial intelligence assumption is that if something is non-deterministic, it is random, because deterministic and pseudo-random are the only options one can use in programming a computer. This leaves out a third possibility, that by non-computational faculties someone may think, not merely 'outside the box,' in a random direction, but above it. The creative spark comes neither from continuing a systematic approach, nor simply picking something random ('because I can't get my computer to turn on, I'll pour coffee on it and see if that helps'), but something that we don't know how to give a computer.

Be beautiful:
Beauty is a spiritual quality that is not perceived by scientific enquiry and, given our time's interpretation of scientific enquiry, is in principle not recognised. Why not? If we push materialist assumptions to the extreme, it is almost a category error to look at a woman and say, 'She is beautiful.' What is really being said—if one is not making a category error—is, 'I have certain emotions when I look at her.' Even if there is not a connection between physical beauty and intelligence, there seems to be some peasant shrewdness involved. It is a genuine, if misapplied, appeal to look at something that has been overlooked.

Be friendly:
True as opposed to counterfeit friendliness is a manifestation of love, which has its home in the will, especially if the will is not understood as a quasi-muscular power of domination, but part of the spirit which lets us turn towards another in love.

Remarks could easily be multiplied. What is meant to come through all this is that science is not magic, but science works in magic's wake. Among relevant features may be mentioned relating as a magus would (in many ways distilling an I-It relationship further), and seeking power over the world in this life rather living an apprenticeship to the next.

Orthodox Anthropology in Maximus Confessor's Mystagogia

I will begin detailed enquiry in the Greek Fathers by considering an author who is foundational to Eastern Orthodoxy, the seventh century Greek Father Maximus Confessor. Out of the existing body of literature, I will focus on one work, his Mystagogia,[44] with some reference to the Capita Gnosticae. Maximus Confessor is a synthetic thinker, and the Mystagogia is an anthropological work; its discussion of Church mystagogy is dense in theological anthropology as the training for a medical doctor is dense in human biology.

Orthodox Christians have a different cosmology from the Protestant division of nature, sin, and grace. Nature is never un-graced, and the grace that restores from sin is the same grace that provides continued existence and that created nature in the first place. That is to say, grace flows from God's generosity, and is never alien to nature. The one God inhabits the whole creation: granted, in a more special and concentrated way in a person than in a rock, but the same God is really present in both.

Already, without having seriously engaged theological anthropology, we have differences with how AI looks at things. Not only are the answers different, but the questions themselves are posed in a different way. 'Cold matter,' such as is assumed by scientific materialism, doesn't exist, not because matter is denied in Berkeleyan fashion but because it is part of a spiritual cosmology and affirmed to be something more. It is mistaken to think of cold matter, just as it is mistaken to think of tepid fire. Even matter has spiritual attributes and is graced. Everything that exists, from God and the spiritual creation to the material creation, from seraphim to stone, is the sort of thing one connects to in an I-Thou relationship. An I-It relationship is out of place, and from this perspective magic and science look almost the same, different signposts in the process of establishing a progressively purer I-It relationship.

Intellect and Reason

Maximus' anthropology is threefold: the person is divided into soul and body, and the soul itself is divided into a higher part, the intellect, and a lower part, the reason:[45]

[Pseudo-Dionysius] used to teach that the whole person is a synthesis of soul and body joined together, and furthermore the soul itself can be examined by reason. (The person is an image which reflects teaching about the Holy Church.) Thus he said that the soul had an intellectual and living faculty that were essentially united, and described the moving, intellectual, authoritative power—with the living part described according its will-less nature. And again, the whole mind deals with intelligible things, with the intelligible power being called intellect, whilst the sensible power is called reason.

This passage shows a one-word translation difficulty which is symptomatic of a difference between his theology and the quasi-theological assumptions of the artificial intelligence project. The word in question, which I have rendered as 'authoritative power,' is 'exousiastikws,' with root word 'exousia.' The root and its associated forms could be misconstrued today as having a double meaning of 'power' and 'authority,' with 'authority' as the basic sense. In both classical and patristic usage, it seems debatable whether 'exousia' is tied to any concept of power divorced from authority. In particular this passage's 'exousiastikws' is most immediately translated as power rather than any kind of authority that is separate from power. Yet Maximus Confessor's whole sense of power here is one that arises from a divine authorisation to know the truth. This sense of power is teleologically oriented and has intrinsic meaning. This is not to say that Maximus could only conceive of power in terms of authority. He repeatedly uses 'dunamis,' (proem.15-6, 26, 28, etc), a word for power without significant connotations of authority. However, he could conceive of power in terms of authority, and that is exactly what he does when describing the intellect's power.

What is the relationship between 'intellect'/'reason' and cognitive faculties? Which, if either, has cognitive faculties a computer can't duplicate? Here we run into another difficulty. It is hard to say that Maximus Confessor traded in cognitive faculties. For Maximus Confessor the core sense of 'cognitive faculties' is inadequate, as it is inadequate to define an eye as something that provides nerve impulses which the brain uses to generate other nerve impulses. What is missing from this picture? This definition does not provide any sense that the eye interacts with the external world, so that under normal circumstances its nerve impulses are sent because photons strike photoreceptors in an organ resembling a camera. Even this description hides most teleology and evaluative judgment. It does not say that an eye is an organ for perceiving the external world through an image reconstructed in the brain, and may be called 'good' if it sees clearly and 'bad' if it doesn't. This may be used as a point of departure to comment on Maximus Confessor and the conception of cognitive faculties.

Maximus Confessor does not, in an amoral or self-contained fashion, see faculties that operate on mental representations. He sees an intellect that is where one meets God, and where one encounters a Truth that is no more private than the world one sees with the eye is private.

Intellect and reason compete with today's cognitive faculties, but Maximus Confessor understands the intellect in particular as something fundamentally moral, spiritual, and connected to spiritual realities. His conception of morality is itself different from today's private choice of ethical code; morality had more public and more encompassing boundaries, and included such things as Jesus' admonition not to take the place of highest honour so as not to receive public humiliation (Luke 14:7-10): it embraced practical advice for social conduct, because the moral and spiritual were not separated from the practical. It is difficult to Maximus Confessor conceiving of practicality as hampered by morality. In Maximus Confessor's day what we separate into cognitive, moral, spiritual, and practical domains were woven into a seamless tapestry.

Intellect, Principles, and Cosmology

Chapter twenty-three opens by emphasising that contemplation is more than looking at appearances (23.1-10), and discusses the Principles of things. The concept of a Principle is important to his cosmology. There is a foundational difference between the assumed cosmologies of artificial intelligence and Maximus Confessor. Maximus Confessor's cosmology is not the artificial intelligence cosmology with a spiritual dimension added, as a living organism is not a machine modified to use foodstuffs as fuel.

Why do I speak of the 'artificial intelligence cosmology'? Surely one can have a long debate about artificial intelligence without adding cosmology to the discussion. This is true, but it is true because cosmology has become invisible, part of the assumed backdrop of discussion. In America, one cultural assumption is that 'culture' and 'customs' are for faroff and exotic people, not for 'us'—'we' are just being human. It doesn't occur to most Americans to think of eating Turkey on Thanksgiving Day or removing one's hat inside a building as customs, because 'custom' is a concept that only applies to exotic people. I suggest that Maximus Confessor has an interesting cosmology, not because he's exotic, but because he's human.

Artificial intelligence proponents and (most) critics do not differ on cosmology, but because that is because it is an important assumption which is not questioned even by most people who deny the possibility of artificial intelligence. Searle may disagree with Fodor about what is implied by a materialist cosmology, but not whether one should accept materialism. I suggest that some artificial intelligence critics miss the most interesting critiques of artificial intelligence because they share that project's cosmology. If AI is based on a cosmological error, then no amount of fine-tuning within the system will rectify the error. We need to consider cosmology if we are to have any hope of correcting an error that basic. (Bad metaphysics does not create good physics.) I will describe Maximus Confessor's cosmology in this section, not because he has cosmology and AI doesn't, but because his cosmology seems to suggest a correction to the artificial intelligence cosmology.

At the base of Maximus's cosmology is God. God holds the Principles in his heart, and they share something of his reality. Concrete beings (including us) are created through the Principles, and we share something of their reality and of God. The Principles are a more concrete realisation of God, and we are a more concrete realisation of the Principles. Thought (nohsis) means beholding God and the Principles ( logoi) through the eye of the intellect. Thinking of a tree means connecting with something that is more tree-like than the tree itself.

It may be easier to see what the important Principles in Maximus Confessor's cosmology if we see how they are being dismantled today. Without saying that Church Fathers simply grafted in Platonism, I believe it safe to say that Plato resembled some of Church doctrine, and at any rate Plato's one finger pointing up to God offers a closer approximation to Christianity than Aristotle's fingers pointing down. I would suggest further that looking at Plato can suggest how Christianity differs from Aristotelianism's materialistic tendencies, tendencies that are still unfolding today. Edelman describes the assumptions accompanying Darwin's evolution as the 'death blow' to the essentialism, the doctrine that there are fixed kinds of things, as taught by Plato and other idealists.[46] Edelman seems not to appreciate why so many biologists assent to punctuated equilibrium.[47] However, if we assume that there is solid evidence establishing that all life gradually evolved from a common ancestor, then this remark is both apropos and perceptive.

When we look around, we see organisms that fit neatly into different classes: human, housefly, oak. Beginning philosophy students may find it quaint to hear of Plato's Ideas, and the Ideal horse that is copied in all physical horses, but we tend to assume Platonism at least in that horses are similar 'as if' there were an Ideal horse: we don't believe in the Ideal horse any more, but we still treat its shadow as if it were the Ideal horse's shadowy copy.

Darwin's theory of evolution suggests that all organisms are connected via slow, continuous change to a common ancestor and therefore to each other. If this is true, there are dire implications for Platonism. It is as if we had pictures of wet clay pottery, and posited a sharp divide between discrete classes of plates, cups, and bowls. Then someone showed a movie of a potter deforming one and the same clay from one shape to another, so that the divisions are now shown to be arbitrary. There are no discrete classes of vessels, just one lump of clay being shaped into different things. Here we are pushing a picture to the other end of a spectrum, further away from Platonism. It is a push from tacitly assuming there is a shadow, to expunging the remnant of belief in the horse and its shadow.

But this doesn't mean we're perfect Platonists, or can effortlessly appreciate the Platonic mindset. There are things we have to understand before we can travel in the other direction. If anything, there is more work involved. We act as if the Ideas' shadows are real things, but we don't genuinely believe in the shadows qua shadows, let alone the Ideas. We've simply inherited the habit of treating shadows as a convenient fiction. But Maximus Confessor believed the Principles (Ideas) represented something fuller and deeper than concrete things.

This is foundational to why Maximus Confessor would not have understood thought as manipulating mental representations in the inescapable privacy of one's mind. Contemplation is not a matter of closing one's eyes and fantasising, but of opening one's eyes and beholding something deeper and more real than reality itself. The sensible reason can perceive the external physical world through the senses, but this takes a very different light from Kant's view.

Maximus Confessor offers a genuinely interesting suggestion that we know things not only because of our power-to-know, but because of their power-to-be-known, an approach that I will explore later under the heading 'Knowledge of the Immanent.' The world is not purely transcendent, but immanent. For Kant the mind is a box that is hermetically sealed on top but has a few frustratingly small holes on the bottom: the senses. Maximus Confessor doesn't view the senses very differently, but the top of the box is open.

This means that the intellect is most basically where one meets God. Its powerful ability to know truth is connected to this, and it connects with the Principles of things, as the senses connect with mere things. Is it fair to the senses to compare the intellect's connection with Principles with the senses' experience of physical things? The real question is not that, but whether it is fair to the intellect, and the answer is 'no.' The Principles are deeper, richer, and fuller than the mere visible things, as a horse is richer than its shadow. The knowledge we have through the intellect's connection with the Principles is of a deeper and richer sort than what is merely inferred from the senses.

The Intelligible and the Sensible

Maximus Confessor lists, and connects, several linked pairs, which I have incorporated into a schema below. The first column of this schema relates to the second column along lines just illustrated: the first member of each pair is transcendent and eminent to the second, but also immanent to it.

Head Body
Heaven earth (3.1-6)
holy of holies sanctuary (2.8-9)
intelligible sensible (7.5-10)
contemplative active (5.8-9)
intellect reason (5.9-10)
spiritual wisdom practical wisdom (5.13-15)
knowledge virtue (5.58)
unforgettable knowledge faith (5.58-60)
truth goodness (5.58-9)
archetype image (5.79-80)
New Testament Old Testament (6.4-6)
spiritual meaning of a text literal meaning of a text (6.14-5)
bishop's seating on throne bishop's entrance into Church (8.5-6, 20-21)
Christ's return in glory Christ's first coming, glory veiled (8.6-7, 18)

Maximus Confessor's cosmology sees neither a disparate collection of unconnected things, nor an undistinguished monism that denies differences. Instead, he sees a unity that sees natures (1.16-17) in which God not only limits differences, as a circle limits its radii (1.62-67), but transcends all differences. Things may be distinguished, but they are not divided. This is key to understanding both doctrine and method. He identifies the world with a person, and connects the Church with the image of God. Doctrine and method are alike synthetic, which suggests that passages about his cosmology and ecclesiology illuminate anthropology.

One recurring theme shows in his treatment of heaven and earth, the soul and the body, the intelligible (spiritual) and the sensible (material). The intelligible both transcends the sensible, and is immanent to it, present in it. The intelligible is what can be apprehended by the part of us that meets God; the sensible is what presents itself to the world of senses. (The senses are not our only connection with the world.) This is a different way of thinking about matter and spirit from the Cartesian model, which gives rise to the ghost in the machine problem. Maximus Confessor's understanding of spirit and matter does not make much room for this dilemma. Matter and spirit interpenetrate. This is true not just in us but in the cosmos, which is itself 'human': he considers '...the three people: the cosmos (let us say), the Holy Scriptures, and this is true with us' (7.40-1). The attempt to connect spirit and matter might have struck him like an attempt to forge a link between fire and heat, two things already linked.

Knowledge of the Immanent

The word which I here render 'thought' is 'nohsis', cognate to 'intellect' ('nous') which has been discussed as that which is inseparably the home of thought and of meeting God. We already have a hint of a conceptual cast in which thought will be understood in terms of connection and contemplation.

In contrast to understanding thought as a process within a mind, Maximus describes thought in terms of a relationship: a thought can exist because there is a power to think of in the one thinking, and a power to be thought of in what is thought of.[48] We could no more know an absolutely transcendent creature than we could know an absolutely transcendent Creator. Even imperfect thought exists because we are dealing with something that 'holds power to be apprehended by the intellect' (I.82). We say something is purple because its manifest purpleness meets our ability to perceive purple. What about the claim that purple is a mental experience arising from a certain wavelength of light striking our retinas? One answer that might be given is that those are the mechanisms by which purple is delivered, not the nature of what purple is.[49] The distinction is important.

We may ask, what about capacity for fantasy and errors? The first response I would suggest is cultural. The birth of modernity was a major shift, and its abstraction introduced new things into the Western mind, including much of what supports our concept of fantasy (in literature, etc.). The category of fantasy is a basic category to our mindset but not to the patristic or medieval mind. Therefore, instead of speculating how Maximus Confessor would have replied to these objections, we can point out that they aren't the sort of thing that he would ever think of, or perhaps even understand.

But in fact a more positive reply can be taken. It can be said of good and evil that good is the only real substance. Evil is not its own substance, but a blemish in good substance. This parallels error. Error is not something fundamentally new, but a blurred or distorted form of truth. Fantasy does not represent another fundamentally independent, if hypothetical, reality; it is a funhouse mirror refracting this world. We do not have a representation that exists in one's mind alone, but a dual relationship that arises both from apprehending intellect and an immanent thing. The possibility of errors and speculation make for a longer explanation but need not make us discard this basic picture.

Intentionality and Teleology

One of the basic differences in cosmology between Maximus Confessor and our own day relates to intentionality. As it is described in cognitive science's philosophy of mind, 'intentionality' refers to an 'about-ness' of human mental states, such as beliefs and emotions. The word 'tree' is about an object outside the mind, and even the word 'pegasus' evokes something that one could imagine existing outside of the mind, even if it does not. Intentionality does not exist in computer programs: a computer chess program manipulates symbols in an entirely self-enclosed system, so 'queen' cannot refer to any external person or carry the web of associations we assume. Intentionality presents a philosophical problem for artificial intelligence. Human mental states and symbol manipulation are about something that reach out to the external world, whilst computer symbol manipulation is purely internal. A computer may manipulate symbols that are meaningful to humans using it, but the computer has no more sense of what a webpage means than a physical book has a sense that its pages contain good or bad writing. Intentionality is a special feature of living minds, and does not exist outside of them. Something significant will be achieved if ever a computer program first embodies intentionality outside of a living mind.

Maximus Confessor would likely have had difficulty understanding this perspective as he would have had difficulty understanding the problem of the ghost in the machine: this perspective makes intentionality a special exception as the ghost in the machine made our minds' interaction with our bodies a special exception, and to him both 'exceptions' are in fact the crowning jewel of something which permeates the cosmos.

The theory of evolution is symptomatic of a difference between the post-Enlightenment West and the patristic era. This theory is on analytic grounds not a true answer to the question, 'Why is there life as we know it?' because it does not address the question, 'Why is there life as we know it?' At best it is a true answer to the question, 'How is there life as we know it?' which people often fail to distinguish from the very different question, 'Why is there life as we know it?' The Enlightenment contributed to an effort to expunge all trace of teleology from causality, all trace of 'Why?' from 'How?' Of Aristotle's four causes, only the efficient cause[50] is familiar; a beginning philosophy student is liable to misconstrue Aristotle's final cause[51] as being an efficient cause whose effect curiously precedes the cause. The heavy teleological scent to final causation is liable to be missed at first by a student in the wake of reducing 'why' to 'how'; in Maximus Confessor, causation is not simply mechanical, but tells what purpose something serves, what it embodies, what meaning and relationships define it, and why it exists.

Strictly speaking, one should speak of 'scientific mechanisms' rather than 'scientific explanations.' Why? 'Scientific proof' is an oxymoron: science does not deal in positive proof any more than mathematics deals in experiment, so talk of 'scientific proof' ordinarily signals a speaker who has more faith in science than understanding of what science really does. 'Scientific explanation' is a less blatant contradiction in terms, but it reflects a misunderstanding, perhaps one that is more widespread, as it often present among people who would never speak of 'scientific proof.' Talk of 'scientific explanation' is not simply careless speech; there needs to be a widespread category error before there is any reason to write a book like Mary Midgley's Science as Salvation (1992). Science is an enterprise which provides mechanisms and has been given the cultural place of providing explanations. This discrepancy has the effect that people searching for explanations turn to scientific mechanisms, and may not be receptive when a genuine explanation is provided, because 'explanation' to them means 'something like what science gives.' This may not be the only factor, but it casts a long shadow. The burden of proof is born by anyone who would present a non-scientific explanation as being as real as a scientific explanation. An even heavier burden of proof falls on the person who would claim that a non-scientific explanation—not just as social construction, but a real claim about the external world—offers something that science does not.

The distinction between mechanism and explanation is also relevant because the ways in which artificial intelligence has failed may reflect mechanisms made to do the work of explanations. In other words, the question of 'What is the nature of a human?' is answered by, 'We are able to discern these mental mechanisms in a human.' If this is true, the failure to duplicate a human mind in computers may be connected to researchers answering the wrong question in the first place. These are different, as the question, 'What literary devices can you find in The Merchant of Venice[52]?' is different from 'Why is The Merchant of Venice powerful drama?' The devices aren't irrelevant, but neither are they the whole picture.

Of the once great and beautiful land of teleology, a land once brimming in explanations, all has been conquered, all has been levelled, all has been razed and transformed by the power of I-It. All except two stubborn, embattled holdouts. The first holdout is intentionality: if it is a category error to project things in the human mind onto the outer world, nonetheless we recognise that intentionality exists in the mind—but about-ness of intentionality is far less than the about-ness once believed to fill the cosmos. The second and last holdout is evolution: if there is to be no mythic story of origins that gives shape and meaning to human existence, if there cannot be an answer to 'Why is there life as we know it?' because there is no reason at all for life, because housefly, horse, and human are alike the by-product of mindless forces that did not have us in mind, nonetheless there is still an emaciated spectre, an evolutionary mechanism that does just enough work to keep away a teleological approach to origins questions. The land of teleology has been razed, but there is a similarity between these two remnants, placeholders which are granted special permission to do what even the I-It approach recognises it cannot completely remove of teleology. That is the official picture, at least. Midgley is liable to pester us with counterexamples of a teleology that is far more persistent than the official picture gives credit for: she looks at evolution doing the work of a myth instead of a placeholder that keeps myths away, for instance.[53] Let's ignore her for the moment and stick with the official version. Then looking at both intentionality and evolution can be instructive in seeing what has happened to teleology, and appreciating what teleology was and could be. Now Midgley offers us reasons why it may not be productive to pretend we can excise teleology: the examples of teleology she discusses do not seem to be improved by being driven underground and presented as non-teleological.

Maximus's picture, as well as being teleological, is moral and spiritual. As well as having intentions, we are living manifestations of a teleological, moral and spiritual Intention in God's heart. Maximus Confessor held a cosmology, and therefore an anthropology, that did not see the world in terms of disconnected and meaningless things. He exhibited a number of traits that the Enlightenment stripped out: in particular, a pervasive teleology in both cosmology and anthropology. He believed in a threefold anthropology of intellect/spirit, reason/soul, and body, all intimately tied together. What cognitive science accounts for through cognitive faculties, manipulating mental representations, were accounted for quite differently by an intellect that sees God and the Principles of beings, and a reason that works with the truths apprehended by intellect. The differences between the respective cosmologies and anthropologies are not the differences between two alternate answers to the same question, but answers to two different questions, differently conceived. They are alike in that they can collide because they are wrestling with the same thing: where they disagree, at least one of them must be wrong. They are different in that they are looking at the same aspect of personhood from two different cultures, and Maximus Confessor seems to have enough distance to provide a genuinely interesting critique.

Conclusion

Maximus Confessor was a synthetic thinker, and I suggest that his writings, which are synthetic both in method and in doctrine, are valuable not only because he was brilliant but because synthetic enquiry can be itself valuable. I have pursued a synthetic enquiry, not out of an attempt to be like Maximus Confessor, but because I think an approach that is sensitive to connections could be productive here. I'm not the only critic who has the resources to interpret AI as floundering in a way that may be symptomatic of a cosmological error. It's not hard to see that many religious cosmologies offer inhospitable climates to machines that think: Foerst's reinterpretation of the image of God[54] seems part of an effort to avoid seeing exactly this point. The interesting task is understanding and conveying an interconnected web. So I have connected science with magic, for instance, because although the official version is that they're completely unrelated, there is a strong historic link between them, and cultural factors today obscure the difference, and for that matter obscure several other things that interest us.

This dissertation falls under the heading of boundary issues between religion and science, and some readers may perceive me to approach boundary issues in a slightly different fashion. That perception is correct. One of the main ways that boundary issues are framed seems to be for Christian theologians to show the compatibility of their timeless doctrines with that minority of scientific theories which have already been accepted by the scientific community and which have not yet been rejected by that same community. With the question of origins, there has been a lot of work done to show that Christianity is far more compatible with evolutionary theory than a literal reading of Genesis 1 would suggest. It seems to have only been recently that gadflies within the intelligent design movement have suggested both that the scientific case for evolution is weaker that it has been made out to be, and there seems to be good reason to believe that Christianity and evolution are incompatible at a deep enough level that the literal details of Genesis 1 are almost superfluous. Nobody conceives the boundary issues to mean that theologians should demonstrate the compatibility of Christianity with that silent majority of scientific theories which have either been both accepted and discredited (like spontaneous generation) or not yet accepted (like the cognitive-theoretic model of the universe). The minority is different, but not as different as people often assume.

One of the questions which is debated is whether it is best to understand subject-matter from within or without. I am an M.Phil. student in theology with a master's and an adjunct professorship in the sciences. I have worked to understand the sciences from within, and from that base look and understand science from without as well as within. Someone who only sees science from without may lack appreciation of certain things that come with experience of science, whilst someone who only sees science from within may not be able to question enough of science's self-portrayal. This composite view may not be available to all, nor is it needed, but I believe it has helped me in another basic röle from showing religion's compatibility with current science: namely, serving as a critical observer and raising important questions that science is itself unlikely to raise, sometimes turning a scientific assumption on its head. Theology may have other things to offer in its discussion with science than simply offering assent: instead of solely being the recipient of claims from science, it should be an agent which adds to the conversation.

Are there reasons why the position I propose is to be preferred? Science's interpretation of the matter is deeply entrenched, enough so that it seems strange to connect science with the occult. One response is that this perspective should at least be listened to, because it is challenging a now entrenched cultural force, and it may be a cue to how we could avoid some of our own blind spots. Even if it is wrong, it could be wrong in an interesting way. A more positive response would be to say that this is by my own admission far from a complete picture, but it makes sense of part of the historical record that is meaningless if one says that modern science just happened to be born whilst a magical movement waxed strong, and some of science's founders just happened to be magicians. A more robust picture would see the early modern era as an interlocking whole that encompassed a continuing Reformation, Descartes, magic, nascent science, and the wake of the Renaissance polymath. They all interconnect, even if none is fully determined. Lack of time and space preclude me from more than mentioning what that broader picture might be. There is also another reason to question the validity of science's basic picture:

Artificial intelligence doesn't work, at least not for a working copy of human intelligence.

Billions of dollars have been expended in the pursuit of artificial intelligence, so it is difficult to say the artificial intelligence project has failed through lack of funding. The project has attracted many of the world's most brilliant minds, so it is difficult to say that the project has failed through lack of talent. Technology has improved a thousandfold or a millionfold since a giant like Turing thought computer technology was powerful enough for artificial intelligence, so it is difficult to say that today's computers are too underpowered for artificial intelligence. Computer science has matured considerably, so it's hard to say that artificial intelligence hasn't had a chance to mature. In 1950, one could have posited a number of reasons for the lack of success then, but subsequent experience has made many of these possibilities difficult to maintain. This leaves open the possibility that artificial intelligence has failed because the whole enterprise is based on a false assumption, perhaps an error so deep as to be cosmological.

The power of science-based technology is a side effect of learning something significant about the natural world, and both scientific knowledge and technology are impressive cultural achievements. Yet science is not a complete picture—and I do not mean simply that we can have our own private fantasies—and science does not capture the spiritual qualities of matter, let alone a human being. The question of whether science understands mechanical properties of physical things has been put to the test, and the outcome is a resounding yes. The question of whether science understands enough about humans to duplicate human thought is also being put to the test, and when the rubber meets the road, the answer to that question looks a lot like, 'No.' It's not definitive (it couldn't be), but the picture so far is that science is trying something that can't work. It can't work because of spiritual principles, as a perpetual motion machine can't work because of physical principles. It's not a matter of insufficient resources available so far, or still needing to find the right approach. It doesn't seem to be the sort of thing which could work.

We miss something about the artificial intelligence project if we frame it as something that began after computer scientists saw that computers can manipulate symbols. People have been trying to make intelligent computers for half a century, but artificial intelligence is a phenomenon that has been centuries in the making. The fact that people saw the brain as a telephone switchboard, when that was the new technology, is more a symptom than a beginning. There's more than artificial intelligence's surface resemblance to alchemists' artificial person ('homunculus'). A repeated feature of the occult enterprise is that you do not have people giving to society in the ways that people have always given to society; you have exceptional figures trying to delve into unexplored recesses and forge some new creation, some new power—some new technology or method—to achieve something mythic that has simply not been achieved before. The magus is endowed with a magic sword to powerfully slice through his day's Gordian knots, and with a messianic fantasy. This is true of Leibniz's Ars Combinatoria and it is true of more than a little of artificial intelligence. To the reader who suggests, 'But magic doesn't really work!' I would point out that artificial intelligence also doesn't really work—although its researchers find it to work, like Renaissance magi and modern neo-pagans. The vast gap between magic and science that exists in our imagination is a cultural prejudice rather than a historical conclusion. Some puzzles which emerge from an non-historical picture of science—in particular, why a discipline with modest claims about falsifying hypotheses is held in such awe—seem to make a lot more sense if science is investigated as a historical phenomenon partly stemming from magic.

If there is one unexpected theme running through this enquiry, it is what has emerged about relationships. The question of whether one relates to society (or the natural world) as to one's mother or as to raw material, in I-Thou or I-It fashion, first crept in as a minor clarification. The more I have thought about it, the more significant it seems. The Renaissance magus distinguished himself from his medieval predecessors by converting I-Thou relationships into I-It. How is modern science different? To start with, it is much more consistent in pursuing I-It relationships. The fact that science gives mechanisms instead of explanations is connected; an explanation is an I-Thou thing, whilst a bare mechanism is I-It: if you are going to relate to the world in I-It fashion, there is every reason to replace explanations with mechanisms. An I-Thou relationship understands in a holistic, teleological fashion: if you are going to push an I-It relationship far enough, the obvious approach is to try to expunge teleology as the Enlightenment tried. A great many things about magus and scientist alike hinge on the rejection of Orthodoxy's I-Thou relationship.

In Arthurian legend, the figure of Merlin is a figure who holds magical powers, not by spells and incantations, but by something deeper and fundamental. Merlin does not need spells and incantations because he relates to the natural world in a way that almost goes beyond I-Thou; he relates to nature as if it were human. I suggest that science provides a figure of an anti-Merlin who holds anti-magical powers, not by spells and incantations, but by something deeper and fundamental. Science does not need spells and incantations because it relates to the natural world and humans in a way that almost goes beyond I-It; it relates to even the human as if it were inanimate. In both cases, the power hinges on a relationship, and the power is epiphenomenal to that relationship.

If this is a problem, what all is to be done? Let me say what is not to be done. What is not to be done is to engineer a programme to enlist people in an I-Thou ideology. Why not? 'I-Thou ideology' is a contradiction in terms. The standard response of starting a political programme treats society as raw material to be transformed according to one's vision—and I am not just disputing the specific content of some visions, but saying that's the wrong way to start. Many of the obvious ways of 'making a difference' that present themselves to the modern mind work through an I-It relationship, calculating how to obtain a response from people, and are therefore tainted from the start. Does that mean that nothing is to be done? No; there are many things, from a walk of faith as transforming communion with God, to learning to relate to God, people, and the entire cosmos in I-Thou fashion, to using forms of persuasion that appeal to a whole person acting in freedom. But that is another thesis to explore.

Epilogue, 2010

I look back at this piece six years later, and see both real strengths and things I wince at. This was one of my first major works after being chrismated Orthodox, and while I am enthusiastic for Orthodoxy there are misunderstandings. My focus on cosmology is just one step away from Western, and in particular scientific, roots, and such pressure to get cosmology right is not found in any good Orthodox theologian I know. That was one of several areas where I had a pretty Western way of trying to be Orthodox, and I do not blame people who raise eyebrows at my heavy use of existentialist distinction between I-Thou and I-It relationship. And the amount of time and energy spent discussing magic almost deterred me from posting it from my website; for that reason alone, I spent time debating whether the piece was fit for human consumption. And it is possibly theology in the academic sense, but not so much the Orthodox sense: lots of ideas, cleverly put together, with little invitation to worship.

But for all this, I am still posting it. The basic points it raises, and much of the terrain, are interesting. There may be fewer true believers among scientists who still chase an artificial intelligence pot o' gold, but it remain an element of the popular imagination and belief even as people's interests turn more and more to finding a magic sword that will slice through society's Gordian knots—which is to say that there may be something relevant in this thesis besides the artificial intelligence critique.

I am posting it because I believe it is interesting and adds something to the convesation. I am also posting it in the hope that it might serve as a sort of gateway drug to some of my more recent works, and provide a contrast: this is how I approached theology just after being received into Holy Orthodoxy, and other works show what I would present as theology having had more time to steep in Orthodoxy, such as The Arena.

I pray that God will bless you.

Bibliography

Augustine, In Euangelium Ioannis Tractatus, in Nicene and Post-Nicene Fathers, Series I, Volume VII, Edinburgh: T & T Clarke, 1888.

Bianchi, Massimo Luigi, Signatum Rerum: Segni, Magia e Conoscenza da Paracelso a Leibniz, Edizioni dell'Ateneo, 1987.

Buber, Martin, Ich und Du, in Werke,Erster Band Schriften zur Philosophie, Heidelberg: Kösel-Verlag, 1962, 79-170.

Caroll, Lewis, Alice's Adventures in Wonderland, Cambridge: Candlewick Press, 2003.

Dixon, Thomas, 'Theology, Anti-Theology and Atheology: From Christian Passions to Secular Emotions,' in Modern Theology, Vol 15, No 3, Oxford: Blackwell 1999, 297-330.

Dreyfus, Hubert L., What Computers Still Can't Do: A Critique of Artificial Reason, London: MIT Press, 1992.

Edelman, Gerald, Bright Air, Brilliant Fire, New York: BasicBooks, 1992.

Fodor, Jerry, In Critical Condition: Polemical Essays on Cognitive Science and the Philosophy of Mind, London: MIT Press, 1998.

Foerst, Anne, 'Cog, a Humanoid Robot, and the Question of the Image of God,' in Zygon 33, no. 1, 1998, 91-111.

Gibson, William, Neuromancer, New York: Ace, 2003.

Harman, Gilbert, 'Some Philosophical Issues in Cognitive Science: Qualia, Intentionality, and the Mind-Body Problem,' in Posner 1989, pp. 831-848.

Hebb, D.O. Organization of Behavior: A Neuropsychological Theory, New York: Wiley, 1949.

Johnson, Paul, Intellectuals, New York: Perennial, 1990.

Layton, Bentley, The Gnostic Scriptures: Ancient Wisdom for the New Age, London: Doubleday, 1987.

Lee, Philip J., Against the Protestant Gnostics, New York: Oxford University Press, 1987.

VanLehn, Kurt, 'Problem Solving and Cognitive Skill Acquisition,' in Posner 1989, pp. 527-580.

Leibniz, Gottfried Wilhelm, Frieherr von, Ars Combinatoria, Francofurti: Henri Christopher Cröckerum, 1690.

Lewis, C.S., The Abolition of Man, Oxford: Oxford University Press 1950-6.

Lewis, C.S., That Hideous Strength, London: MacMillan, 1965.

Lewis, C.S., The Chronicles of Narnia, London: Harper Collins, 2001.

Margot Adler, Drawing Down the Moon: Witches, Druids, Goddess Worshippers and Other Pagans in America Today (Revised and Expanded Edition), Boston: Beacon Press, 1986,

Maximus Confessor, Capita Gnosticae (Capita Theologiae et OEconomiae), in Patrologiae Graeca 90: Maximus Confessor, Tome I, Paris: Migne, 1860, 1083-1462.

Maximus Confessor; Berthold, George (tr.), Maximus Confessor: Selected Writings, New York, Paulist Press,, 1985.

Maximus Confessor, Mystagogia, as published at Thesaurus Linguae Graecae, http://stephanus.tlg.uci.edu/inst/browser?uid=&lang=eng&work=2892049&context=21&rawescs=N&printable=N&betalink=Y&filepos=0&outline=N&GreekFont=Unicode. Citations from the Mystagogia will be referenced by chapter and line number as referenced by Thesaurus Linguae Graecae.

Midgley, Mary, Science as Salvation: A Modern Myth and Its Meaning, London: Routledge, 1992.

More, Thomas, Thomas More: Utopia, Digitale Rekonstruktion (online scan of 1516 Latin version), http://www.ub.uni-bielefeld.de/diglib/more/utopia/, as seen on 2 June 2004.

Norman, Donald, The Invisible Computer, London: MIT Press, 1998.

Norman, Donald, Things That Make Us Smart, Cambridge: Perseus 1994.

Von Neumann, John, The Computer and the Brain, London: Yale University Press, 1958.

Polanyi, Michael, Personal Knowledge, Chicago: University of Chicago Press, 1974.

Posner, Michael I. (ed.), Foundations of Cognitive Science, London: MIT, 1989.

Pseudo-Dionysius; Luibheid, Colm (tr.), Pseudo-Dionysius: The Complete Works, New York: Paulist Press, 1987.

Puddefoot, John, God and the Mind Machine: Computers, Artificial Intelligence and the Human Soul, London: SPCK1996.

Read, John, 'Alchimia e magia e la ''separazione delle due vie'',' in Cesare Vasoli (ed.), Magia e scienza nella civilté umanistica, Bologna: Societé editrice il Mulino 1976, 83-108.

Sacks, Oliver, The Man who Mistook his Wife for a Hat, Basingstroke: Picador, 1985.

Searle, John, Minds, Brains, and Science, London: British Broadcasting Corporation, 1984.

Searle, John, The Mystery of Consciousness, London: Granta Books, 1997.

Shakespeare, William, The Merchant of Venice, as seen on the Project Gutenberg archive at http://www.gutenberg.net/etext97/1ws1810.txt on 15 June 2004.

Skinner, B. F., Walden Two, New York: Macmillan, 1948.

Thomas, Keith, Religion and the Decline of Magic: Studies in Popular Beliefs in Sixteenth and Seventeenth Century England, Letchworth: Weidenfeld and Nicolson, 1971.

Turing, Alan M., 'Computing Machinery and Intelligence,' in Mind 49, 1950, pp. 433-60, as seen at http://cogprints.ecs.soton.ac.uk/archive/00000499/00/turing.html on 25 Feb 04.

Watts, Fraser, 'Artificial Intelligence' in Psychology and Theology, Aldercroft: Ashgate, 2002.

Webster, Charles, From Paracelsus to Newton: Magic and the Making of Modern Science, Cambridge: Cambridge University Press, 1982.

Yates, Frances A., The Occult Philosophy in the Elizabethan Age, London: Routledge, 1979.

Yates, Frances A., Selected Works, Volume III: The Art of Memory, London: Routledge, 1966, as reprinted 1999.

Footnotes

[1] These neural nets are modelled after biological neural nets but are organised differently and seem to take the concept of a neuron on something of a tangent from its organisation and function in a natural brain, be it insect or human.

[2] Cog, http://www.ai.mit.edu/projects/humanoid-robotics-group/cog/images/cog-rod-slinky.gif, as seen on 11 June 2004 (enlarged).

[3] 2002, 50-1.

[4] Searle 1998, Edelman 1992, etc., including some of Dreyfus 1992. Edelman lists Jerome Brunner, Alan Gauld, Claes von Hofsten, George Lakoff, Ronald Langaker, Ruth Garrett Millikan, Hilary Putnam, John Searle, and Benny Shannon as convergent members of a realist camp (1992, 220).

[5] Lee 1987, 6.

[6] 'Intentionality' is a philosophy of mind term for the 'about-ness' of mental states.

[7] By 'teleology' I understand in a somewhat inclusive sense that branch of theology and philosophy that deals with goals, ends, and ultimate meanings.

[8] 'Cognitive faculty' is a philosophy of mind conception of a feature of the human mind that operates on mental representations to perform a specific function.

[9] The spiritual 'intellect' is a patristic concept that embraces thought, conceived on different terms from 'cognitive science,' and is inseparably the place where a person meets God. Augustine locates the image of God in the intellect (In Euangelium Ioannis Tractatus, III.4), and compares the intellect to Christ as illuminating both itself and everything else (In Euangelium Ioannis Tractatus, XLVII, 3).

[10] Watts 2002, 57-8. See the World Transhumanist Association website at http://www.transhumanist.org for further information on transhumanism.

[11] C.S. Lewis critiques this project in The Abolition of Man (1943) and That Hideous Strength (1965). He does not address the question of whether this is a possible goal, but argues that it is not a desirable goal: the glorious future it heralds is in fact a horror compared to the present it so disparages.

[12] Encyclopedia Mythica, 'Rabbi Loeb,' http://www.pantheon.org/articles/r/rabbi_loeb.html, as seen on 26 Mar 04.

[13] Foerst 1998, 109 also brings up this archetypal tendency in her conclusion.

[14] United States Postal Service 2003 annual report, http://www.usps.com/history/anrpt03/html/realkind.htm, as seen on 6 May 2004.

[15] Cog, as seen on http://www.ai.mit.edu/projects/humanoid-robotics-group/cog/images/scaz-cog.gif, on 6 May 2004 (enlarged).

[16] 2002, 57.

[17] Cog, 'Theory of Mind for a Humanoid Robots,' http://www.ai.mit.edu/projects/humanoid-robotics/group/cog/Abstracts2000/scaz.pdf, as seen on 6 May 2004.

[18] Adler 1986, 319-321.

[19] 1992, 161-4.

[20] Utopias are often a satire more than a prescription literally conceived, but they are also far more prescriptive than one would gather from a simple statement that they are satire.

[21] Turing 1950.

[22] VanLehn 1989, in Posner 1989, 532.

[23] Ibid. in Posner 1989, 534.

[24] 1998, 101.

[25] 1992, 159.

[26] Foerst 1998, 103.

[27] Turing 1950.

[28] Hebb 1949, as quoted in the Linux 'fortune' program.

[29] Nominalism said that general categories are something in the mind drawn from real things, and not something things themselves arise from. This has profoundly shaped the course of Western culture.

[30] Lewis 1943, 46.

[31] Yates 1966, 380-382.

[32] Without submitting to the Church in the usual way, the magus is equal to its highest members (Webster 1982, 57).

[33] George Mason University's Modern & Classical Languages, 'Pico della Mirandola: Oratio de hominis dignitate,' http://www.gmu.edu/departments/fld/CLASSICS/mirandola.oratio.html, as seen on 18 May 2004. See Poim 27-9, CH7 1-2 in Bentley 1987 for texts reflecting an understanding of the world as evil and associated contempt for the hoi polloi.

[36] Lewis 1943, 46.

[37] Ibid., 33-35.

[38] Ibid., 23-24.

[39] Ibid., 295-299.

[40] Ibid.

[41] See Midgley, 1992, 80.

[42] 1990, 195, 197-224,337-41.

[43] 1950.

[44] References will be to the online Greek version at Thesaurus Linguae Graecae, http://stephanus.tlg.uci.edu/inst/wsearch?wtitle=2892+049&uid=&GreekFont=Unicode&mode=c_search, according to chapter and line. Unless otherwise specified, references in this section will be to the Mystagogia.

[45] 5.1-10. 'Intellect' in particular is used as a scholarly rendering of the Greek 'nous,' and is not equivalent to the layman's use of 'intellect,' particularly not as cognate to 'intelligence.' The 'reason' ('logos') is closer to today's use of the term, but not as close as you might think. This basic conceptualisation is common to other patristic and medieval authors, such as Augustine.

[46] 1992, 239.

[47] 'Punctuated equilibrium' is a variant on Darwin's theory of (gradual) evolution. It tries to retain an essentially Darwinian mechanism whilst acknowledging a fossil record and other evidence which indicate long periods of stability interrupted by the abrupt appearance and disappearance of life forms. It is called 'punk eek' by the irreverent.

[48] I.82. Material from the Capita Gnosticae, not available in Thesaurus Linguae Graecae, will be referenced by century and chapter number, i.e. I.82 abbreviates Century I, Chapter 82.

[49] See Lewis 2001, 522.

[50] What we usually mean by 'cause' today: something which mechanically brings about its effect, as time and favourable conditions cause an acorn to grow into an oak.

[51] The 'final cause' is the goal something is progressing towards: thus a mature oak is the final cause of the acorn that would one day grow into it.

[52] As seen on the Project Gutenberg archive at http://www.gutenberg.net/etext97/1ws1810.txt on 15 June 2004.

[53] 1992, 147-165.

[54] 1998, 104-7.