Eric Steinhart

My dissertation aims to provide a formal semantic theory for metaphors and a computational model of that theory. A computer program, NETMET, implements the ideas presented in the dissertation. Working in a thoroughly cognitive manner, my dissertation is both rigorously mathematical and psychologically well-informed. The dissertation is scientific in method. The reasoning is primarily abductive, and each proposed hypothesis is validated against large, detailed examples from the history of philosophy and science. ;The dissertation begins by sketching a formal theory of conceptual knowledge. Conceptual knowledge is modeled as a semantic network of concepts: concepts are modeled as network nodes, propositions as structures containing such nodes. A semantic field is characterized as a cluster of densely interrelated concepts. ;The core of the dissertation is a formal theory of analogy. It is argued that analogies serve as the primary basis for the generation of metaphors. Analogies are viewed as approximate homomorphisms from a source semantic field to a target field. Constraint-satisfaction algorithms are presented for computing analogies and for transfering knowledge from the source to the target by means of an underlying analogy; particular care is taken to transfer the implicative structure of the source field. Such analogical transference produces metaphorical propositions. Rules are given for generating several syntactical forms of metaphorical utterances. ;The dissertation then proceeds to the analysis and interpretation of metaphors. Logical deep structures are provided for several syntactic forms of metaphors. For instance, copula metaphors are shown to be class-inclusion statements . A forward-chaining inference algorithm is presented that deduces literal propositions from metaphorical propositions. It is then shown how such literal entailments can be incorporated into abductive argument schema which confirm or disconfirm metaphors. In this respect, at least, metaphorical propositions are analogous to theoretical statements. Since arguments can be provided for metaphorical propositions, it is argued that they carry truth-values, and so are cognitively meaningful

_More Precisely_ provides a rigorous and engaging introduction to the mathematics necessary to do philosophy. It is impossible to fully understand much of the most important work in contemporary philosophy without a basic grasp of set theory, functions, probability, modality and infinity. Until now, this knowledge was difficult to acquire. Professors had to provide custom handouts to their classes, while students struggled through math texts searching for insight. _More Precisely_ fills this key gap. Eric Steinhart provides lucid explanations of the basic mathematical concepts and sets out most commonly used notational conventions. Furthermore, he demonstrates how mathematics applies to many fundamental issues in branches of philosophy such as metaphysics, philosophy of language, epistemology, and ethics.

I discuss the view, increasingly common in physics, that the foundational level of our physical reality is a network of computing machines (so that our universe is ultimately like a cellular automaton). I discuss finitely extended and divided (discrete) space-time and discrete causality. I examine reasons for thinking that the foundational computational complexity of our universe is finite. I discuss the emergence of an ordered complexity hierarchy of levels of objects over the foundational level and I show how the special sciences study these emergent objects.

Nick Bostrom’s Simulation Argument (SA) has many intriguing theological implications. We work out some of them here. We show how the SA can be used to develop novel versions of the Cosmological and Design Arguments. We then develop some of the affinities between Bostrom's naturalistic theogony and more traditional theological topics. We look at the resurrection of the body and at theodicy. We conclude with some reflections on the relations between the SA and Neoplatonism (friendly) and between the SA and theism (less friendly).

Many religions and religious philosophies say that ultimate reality is a kind of primal energy. This energy is often described as a vital power animating living things, as a spiritual force directing the organization of matter, or as a divine creative power which generates all things. By refuting older conceptions of primal energy, modern science opens the door to new and more precise conceptions. Primal energy is referred to here as ‘spirit’. But spirit is a natural power. A naturalistic theory of spirit is developed using ideas from information theory and thermodynamics, such as the maximum entropy production principle. Spirit drives the evolution of complexity at all levels of existence.

The game of life is an excellent framework for metaphysical modeling. It can be used to study ontological categories like space, time, causality, persistence, substance, emergence, and supervenience. It is often said that there are many levels of existence in the game of life. Objects like the glider are said to exist on higher levels. Our goal here is to work out a precise formalization of the thesis that there are various levels of existence in the game of life. To formalize this thesis, we develop a set-theoretic construction of the glider. The method of this construction generalizes to other patterns in the game of life. And it can be extended to more realistic physical systems. The result is a highly general method for the set-theoretical construction of substances

Structural idealism uses formal and computational techniques to describe an idealist ontology composed of God and a set of finite minds. A finite mind is a system of private intentional worlds. An intentional world is a connectionist hierarchy of intentional objects (propositions, concepts, sensible things, sensations). Intentional objects, similar to Leibnizian monads, are computing machines. To escape the egocentric predicament, Leibnizian relations of (in)compossibility exist between finite minds, linking them together into a constraint-satisfaction network, thereby coordinating their private intentional worlds.

Philosophical concepts are easier to teach and to learn if students can directly manually and visually manipulate the objects instantiating them. What is needed is a philosophy laboratory in which students learn by experimenting. Games are highly idealized yet concrete structures able to instantiate abstract concepts. I show how to use the Game of Life (a computerized cellular automaton "game") to teach concepts like: individuation; supervenience; the phenomena / noumena distinction; the physical / design / and intentional stances; the argument from design; and models for Leibnizian monads. Such formal games are good ways to use computers to teach philosophy.

I gather and constructively criticize Nietzsche’s writings on identity. Nietzsche treats identity as a logical fiction. He denies that there are any enduring things (no substances); he denies that there are any indiscernible things in any respect (no universals, no bare particulars). For Nietzsche, the world consists of durationless events bearing non-universal properties and standing to one another in non-universal relations. Events are bundles of tropes. Nietzsche even denies self-identity. His events are self-differing trope-bundles. I link Nietzsche’s denial of self-identity with modern treatments of paradox.

Many recent writers have developed a rich system of theological concepts inspired by computers. This is digital theology. Digital theology shares many elements of its eschatology with Christian post-millenarianism. It promises a utopian perfection via technological progress. Modifying Christian soteriology, digital theology makes reference to four types of immortality. I look critically at each type. The first involves transferring our minds from our natural bodies to superior computerized bodies. The second and third types involve bringing into being a previously living person, or person who has never existed, within an artificial digital environment. The fourth involves promotion of our lives into some higher level computational reality.

The Logic of Metaphor uses techniques from possible worlds semantics to provide formal truth-conditions for many grammatical classes of metaphors. It gives logically precise and practically useful syntactic and semantic rules for generating and interpreting metaphors. These rules are implemented in a working computer program. The book treats the lexicon as a conceptual network with semantics provided by an intensional predicate calculus. It gives rules for finding analogies in such networks. It shows how to syntactically and semantically analyze texts containing metaphors and how to use structural similarities between parts of possible worlds to provide truth-conditions for metaphors. Meanings for metaphors are linked to the modal logics of identity and indiscernibility. The book shows how to extend deductive and abductive inference systems to handle metaphors. It shows how to handle novel metaphorical word-senses. The Logic of Metaphor will be useful to philosophers, logicians, linguists, and computer scientists.

You can survive after death in various kinds of artifacts. You can survive in diaries, photographs, sound recordings, and movies. But these artifacts record only superficial features of yourself. We are already close to the construction of programs that partially and approximately replicate entire human lives (by storing their memories and duplicating their personalities). A digital ghost is an artificially intelligent program that knows all about your life. It is an animated auto-biography. It replicates your patterns of belief and desire. You can survive after death in a digital ghost. We discuss a series of digital ghosts over the next 50 years. As time goes by and technology advances, they are progressively more perfect replicas of the lives of their original authors.

A god is a cosmic designer-creator. Atheism says the number of gods is 0. But it is hard to defeat the minimal thesis that some possible universe is actualized by some possible god. Monotheists say the number of gods is 1. Yet no degree of perfection can be coherently assigned to any unique god. Lewis says the number of gods is at least the second beth number. Yet polytheists cannot defend an arbitrary plural number of gods. An alternative is that, for every ordinal, there is a god whose perfection is proportional to it. The n -th god actualizes the best universe(s) in the n -th level of an axiological hierarchy of possible universes. Despite its unorthodoxy, ordinal polytheism has many metaphysically attractive features and merits more serious study.

Infinite machines (IMs) can do supertasks. A supertask is an infinite series of operations done in some finite time. Whether or not our universe contains any IMs, they are worthy of study as upper bounds on finite machines. We introduce IMs and describe some of their physical and psychological aspects. An accelerating Turing machine (an ATM) is a Turing machine that performs every next operation twice as fast. It can carry out infinitely many operations in finite time. Many ATMs can be connected together to form networks of infinitely powerful agents. A network of ATMs can also be thought of as the control system for an infinitely complex robot. We describe a robot with a dense network of ATMs for its retinas, its brain, and its motor controllers. Such a robot can perform psychological supertasks - it can perceive infinitely detailed objects in all their detail; it can formulate infinite plans; it can make infinitely precise movements. An endless hierarchy of IMs might realize a deep notion of intelligent computing everywhere.

Mathematics is obviously important in the sciences. And so it is likely to be equally important in any effort that aims to understand God in a scientifically significant way or that aims to clarify the relations between science and theology. The degree to which God has any perfection is absolutely infinite. We use contemporary mathematics to precisely define that absolute infinity. For any perfection, we use transfinite recursion to define an endlessly ascending series of degrees of that perfection. That series rises to an absolutely infinite degree of that perfection. God has that absolutely infinite degree. We focus on the perfections of knowledge, power, and benevolence. Our model of divine infinity thus builds a bridge between mathematics and theology.

I follow standard mathematical practice and theory to argue that the natural numbers are the finite von Neumann ordinals. I present the reasons standardly given for identifying the natural numbers with the finite von Neumann's (e.g., recursiveness; well-ordering principles; continuity at transfinite limits; minimality; and identification of n with the set of all numbers less than n). I give a detailed mathematical demonstration that 0 is { } and for every natural number n, n is the set of all natural numbers less than n. Natural numbers are sets. They are the finite von Neumann ordinals.

An Omega Point Theory says that reality is making progress from some initial state to some final state. It moves from some Alpha Point (the initial state) to some Omega Point (the final state). The progress is an increase in some quality. For example, reality is making progress from the chaotic to the orderly; or it is making progress from the simple to the complex; or from the mindless to the mental; or from evil to good. Here we focus on the Omega Point theory of Peirce. An Omega Point Theory is an evolutionary cosmology – it says that the universe is evolving from the Alpha Point to the Omega Point. Peirce refers to his evolutionary cosmology as a Cosmogonic Philosophy would suppose that in the beginning – infinitely remote – there was a chaos of unpersonalized feeling, which being without connection or regularity would properly be without existence. This feeling, sporting here and there in pure arbitrariness, would have started the germ of a generalizing tendency. Its other sportings would be evanescent, but this would have a growing virtue. Thus the tendency to habit would be started; and from this, with the other principles of evolution, all the regularities of the universe would be evolved. At any time, however, an element of pure chance survives and will remain until the world becomes an absolutely perfect, rational, and symmetrical system, in which mind is at last crystallized in the infinitely distant future. (Peirce, Collected Papers , 6.33)

Nietzsche has a surprisingly significant and strikingly positive assessment of mathematics. I discuss Nietzsche's theory of the origin of mathematical practice in the division of the continuum of force, his theory of numbers, his conception of the finite and the infinite, and the relations between Nietzschean mathematics and formalism and intuitionism. I talk about the relations between math, illusion, life, and the will to truth. I distinguish life and world affirming mathematical practice from its ascetic perversion. For Nietzsche, math is an artistic and moral activity that has an essential role to play in the joyful wisdom.

Many writers advocate the development of new and more naturalistic religions.1 Perhaps these new religions will emerge from religious naturalism. Peters believes that religious naturalism “could lead to a new significant form of organized religion with a structured community, ritual practices, and ways of moral living.”2 However, at the present time, religious naturalism is not a nature-centered religion. The features mentioned by Peters are mainly missing.3 At the present time, the most significant effort to derive a nature-centered religion from religious naturalism is found in Crosby. Over the course of several books, Crosby lays out his metaphysical theory of nature.4 He uses that theory to develop a...

On Nietzsche aims to present Nietzsche's thought as a coherent and reasonable system rather than as a collage of prophetic or poetic aphorisms. Nietzsche is a thinker who gives reasons and makes arguments. At the core of Nietzsche's thought is radical world- and life-affirmation. It is that affirmation than which there is none greater. It is an affirmation ultimately based on the classical Greek principle of plenitude: it is better to be than not to be. On Nietzsche lays out his views on the human condition, religion, language, knowledge, science, truth, the will to power, the herd and the individual, and the eternal return. On Nietzsche shows how he develops ideas from Plotinus, Anselm, Leibniz, Kant, Schopenhauer, and others. It also aims to show how the contemporary Anglo-American tradition has adopted many Nietzschean ideas.

A powerful argument against the resurrection of the body is based on the premise that all resurrection theories violate natural laws. We counter this argument by developing a fully naturalistic resurrection theory. We refer to it as the revision theory of resurrection (the RTR). Since Hick’s replica theory is already highly naturalistic, we use Hick’s theory as the basis for the RTR. According to Hick, resurrection is the recreation of an earthly body in another universe. The recreation is a resurrection counterpart. We show that the New Testament supports the idea of resurrection counterparts. The RTR asserts that you are a node in a branching tree of increasingly perfect resurrection counterparts. These ever better counterparts live in increasingly perfect resurrection universes. We give both theological arguments and an empirical argument for the RTR.

I use concepts from Foucault's analysis of the human condition to investigate how we recognize or fail to recognize ourselves in machines like computers. Human beings are traditionally defined as "rational animals" or as "thinking things". I examine how this self-conception determines our use of computing machines as logical mirrors in which we both hope and fear to see our truest selves. I examine two analogies: (1) how we think of computers as if they were human (self-projection) and (2) how we think of humans as if they were computers (self-reflection). I interpret the humanization of computers and the computerization of humans as ways that thought tries to master its own freedom by thinking of itself metaphorically in terms of something else.

Ordinal polytheism is motivated by the cosmological and design arguments. It is also motivated by Leibnizian–Lewisian modal realism. Just as there are many universes, so there are many gods. Gods are necessary concrete grounds of universes. The god-universe relation is one-to-one. Ordinal polytheism argues for a hierarchy of ranks of ever more perfect gods, one rank for every ordinal number. Since there are no maximally perfect gods, ordinal polytheism avoids many of the familiar problems of monotheism. It links theology with counterpart theory, mathematics and computer science. And it entails that the system of universes has an attractive axiological structure

I use modal logic and transfinite set-theory to define metaphysical foundations for a general theory of computation. A possible universe is a certain kind of situation; a situation is a set of facts. An algorithm is a certain kind of inductively defined property. A machine is a series of situations that instantiates an algorithm in a certain way. There are finite as well as transfinite algorithms and machines of any degree of complexity (e.g., Turing and super-Turing machines and more). There are physically and metaphysically possible machines. There is an iterative hierarchy of logically possible machines in the iterative hierarchy of sets. Some algorithms are such that machines that instantiate them are minds. So there is an iterative hierarchy of finitely and transfinitely complex minds.

A model of analogical mapping is proposed that uses five principles to generate consistent and conflicting hypotheses regarding assignments of elements of a source domain to analogous elements of a target domain. The principles follow the fine conceptual structure of the domains. The principles are: (1) the principle of proportional analogy; (2) the principle of mereological analogy, (3) the principle of chain reinforcement; (4) the principle of transitive reinforcement; and (5) the principle of mutual inconsistency. A constraint-satisfaction network is used to find the set of assignments that preserves the greatest relational structure of the source. In contrast to the model proposed here, most models of analogical mapping use only the principle of proportional analogy. The use of many principles is shown to be superior in that it permits smoother integration of pragmatic factors and results in a more efficient mapping process.