Eric Steinhart

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.