Cellular automata (henceforth: CA) are discrete, abstract computational systems that have proved useful both as general models of complexity and as more specific representations of non-linear dynamics in a variety of scientific fields. Firstly, CA are (typically) spatially and temporally discrete: they are composed of a finite or denumerable set of homogeneous, simple units, the atoms or cells. At each time unit, the cells instantiate one of a finite set of states. They evolve in parallel at discrete time steps, (...) following state update functions or dynamical transition rules: the update of a cell state obtains by taking into account the states of cells in its local neighborhood (there are, therefore, no actions at a distance). Secondly, CA are abstract, as they can be specified in purely mathematical terms and implemented in physical structures. Thirdly, CA are computational systems: they can compute functions and solve algorithmic problems. Despite functioning in a different way from traditional, Turing machine-like devices, CA with suitable rules can emulate a universal Turing machine, and therefore compute, given Turing's Thesis, anything computable.... (shrink)

Introduction. During the past two decades philosophers of psychology have considered a large variety of computational models for philosophy of mind and more recently for cognitive science. Among the suggested models are computer programs, Turing machines, pushdown automata, linear bounded automata, finite state automata and sequential machines. Many philosophers have found finite state automata models to be the most appealing, for various reasons, although there has been no shortage of defenders of programs (...) and Turing machines. A paper by Arthur Burks convinced me long ago that “all natural human functions” are, or can be fruitfully modeled to be, finite state automata with output. Further work in the field has reinforced this conviction. There is room, however, for the use of any of the above models in philosophy of mind and in the ongoing development of cognitive science. (shrink)

The advance of mechanism in science and philosophy in the 17th century created a great interest to machines or automata. Leibniz was no exception - in an early memoir Drôle de pensée he wrote admiringly about a machine that could walk on water, exhibited in Paris. The idea of automatic processing in general had a large role in his thought, as can be seen, for example, in his invention of the binary code and the so-called Calculemus!-model for solving (...) controversies. In metaphysics, the idea of an automata was expressed most clearly in the 1695 article New System of the Nature of Substances and their Communication, and the ensuing correspondence with, among others, Foucher, Bayle, Lamy, Jaquelot and Masham. In the article Leibniz discusses the soul as a spiritual machine in the context of pre-established harmony, arguing that God can "give to a substance at the outset a nature or internal force which could produce in it an orderly way (as in spiritual or formal automaton; but a free one, in the case of a substance which is endowed with a share of reason) everything that is going to happen to it, that is to say, all the appearances or expressions it is going to have, and all without the help of any created thing." The basic idea of Leibniz's spiritual machine is that the soul or entelechy is an autonomous and spontaneous unity, consisting of internal active force and producing its own perceptions (both confused and distinct). It is a self-moving machine, driven by its perceptions and appetites, but it follows (without being conscious of it) a lawful series or programme created by God. The entelechy remains the same despite undergoing an infinite number of changes. To Foucher he explained that each state of the individual substance is a consequence of its preceding one, "as if there were only God and the substance in the world". Despite this, the spiritual machine is related not only to God, but through the pre-established harmony to bodies or natural machines. However, as it is not dependent on them, the spiritual machine is superiot to natural machines. In this paper I concentrate on three moral themes related to the spiritual machine: moral deliberation, moral identity and the goal of moral action. All these themes are more or less implicit in the New System, but are discussed in more detail in the ensuing correspondence after the publication of the article. Finally, the themes are given an extended discussion especially in the second book of New Essays on Human Understanding (1704, published 1765), written partly at the same time as some of the correspondence and unpublished related material. I will first give an overview of Leibniz's position concerning the spiritual machine or automaton in the New System and then go on to explore the three moral themes one by one, as they feature in the subsequent correspondence and in the New Essays. I will show that the three topics are essential to the function of the spiritual machine – to Sophie Charlotte Leibniz wrote: "...let us say that everything in bodies happens mechanically, or in accordance with laws of motion, and that everything in the soul happens morally, or in accordance with perceived good or evil." There are many texts that anticipate the views in the New System (notably the unpublished memoir De Affectibus of 1679) and Leibniz continued to discuss its themes later on (in addition to correpondence, for example, in Theodicy of 1710 and Monadology and Principles of Nature and Grace of 1714). Here I focus on the short-term development of Leibniz's views on the topic (around 1695-1705), but I argue that his basic view of the spiritual machine did not change much after finishing the dialogue with Locke in 1704. (shrink)

Turing's World is a self-contained introduction to Turing machines, one of the fundamental notions of logic and computer science. The text and accompanying diskette allow the user to design, debug, and run sophisticated Turing machines in a graphical environment on the Macintosh. Turning's World introduces users to the key concpets in computability theory through a sequence of over 100 exercises and projects. Within minutes, users learn to build simple Turing machines using a convenient package of graphical functions. (...) Exercises then progress through a significant portion of elementary computability theory, covering such topics as the Halting problem, the Busy Beaver function, recursive functions, and undecidability. Version 3.0 is an extensive revision and enhancement of earlier releases of the program, allowing the construction of one-way and two-way finite state machines (finite automata), as well as nondeterministic Turing and finite-state machines. Special exercises allow users to explore these alternative machines. (shrink)

Igor Aleksander has spent many years developing artificial neural networks of a special category called weightless - the elements are effectively chunks of computer memory - which show interesting and useful properties. In this book he gives us an overview of his research leading to his "basic guess" about consciousness: he thinks that the brain is a neural state machine, the activity of this machine is the mind, a subset of which is conscious. I leave it to the reader (...) to decide whether this makes sense though i cannot reconcile automata theory with consciousness. (shrink)

The aim of this paper is to shed light on our understanding of large scale properties of infinite strings. We say that one string $\alpha $ has weaker large scale geometry than that of $\beta $ if there is color preserving bi-Lipschitz map from $\alpha $ into $\beta $ with small distortion. This definition allows us to define a partially ordered set of large scale geometries on the classes of all infinite strings. This partial order compares large scale geometries of (...) infinite strings. As such, it presents an algebraic tool for classification of global patterns. We study properties of this partial order. We prove, for instance, that this partial order has a greatest element and also possess infinite chains and antichains. We also investigate the sets of large scale geometries of strings accepted by finite state machines such as Büchi automata. We provide an algorithm that describes large scale geometries of strings accepted by Büchi automata. This connects the work with the complexity theory. We also prove that the quasi-isometry problem is a $\Sigma _2^0$ -complete set, thus providing a bridge with computability theory. Finally, we build algebraic structures that are invariants of large scale geometries. We invoke asymptotic cones, a key concept in geometric group theory, defined via model-theoretic notion of ultra-product. Partly, we study asymptotic cones of algorithmically random strings, thus connecting the topic with algorithmic randomness. (shrink)

We study satisfiability and infinite-state model checking in ICPDL, which extends Propositional Dynamic Logic (PDL) with intersection and converse operators on programs. The two main results of this paper are that (i) satisfiability is in 2EXPTIME, thus 2EXPTIME-complete by an existing lower bound, and (ii) infinite-state model checking of basic process algebras and pushdown systems is also 2EXPTIME-complete. Both upper bounds are obtained by polynomial time computable reductions to ω-regular tree satisfiability in ICPDL, a reasoning problem that we (...) introduce specifically for this purpose. This problem is then reduced to the emptiness problem for alternating two-way automata on infinite trees. Our approach to (i) also provides a shorter and more elegant proof of Danecki's difficult result that satisfiability in IPDL is in 2EXPTIME. We prove the lower bound(s) for infinite-state model checking using an encoding of alternating Turing machines. (shrink)

Early modern automata, understood as efforts to ‘model’ life, to grasp its singular properties and/or to unveil and demystify its seeming inaccessibility and mystery, are not just fascinating liminal, boundary, hybrid, crossover or go-between objects, while they are all of those of course. They also pose a direct challenge to some of our common conceptions about mechanism and embodiment. They challenge the simplicity of the distinction between a purported ‘mechanistic’ worldpicture, its ontology and its goals, and on the other (...) hand an attempt to understand ourselves and animals more broadly as flesh-and-blood, affective entities (that is, not just breathing and perspiring, but also desiring and ‘sanguine’ machines, as La Mettrie might have put it). In what follows I reflect on the complexity of early modern mechanism faced with the (living) body, and its mirror image, contemporary theories of embodiment. At times, embodiment theory seems to be governed by a fascination with what the Artificial Life researcher Ezequiel Di Paolo has called ‘biochauvinism’ (Di Paolo, “Extended Life”): an unquestioned belief that ‘living bodies are special’. Yet how does the theorist define this special status? The question is apparently a simple one, or at least promptly yields an aporia which appears simple: to borrow a provocative phrase from Terry Eagleton, embodiment theory is obsessed by the body but terrified of biology. Yet at the same time, at least since Hubert Dreyfus and Andy Clark’s groundbreaking works, embodiment has been a legit part of cognitive science, yielding the even more recently emerged field of ‘embodied cognition’ (see the work of Larry Shapiro), which seeks to depart from traditional cognitive science, especially the latter’s understanding of cognition as computational, in order to instead underscore “the significance of an organism’s body in how and what the organism thinks,” in Shapiro’s words. (shrink)

Abstract State Machines (ASMs) provide a formal method for transparent design and specification of complex dynamic systems. They combine advantages of informal and formal methods. Applications of this method motivate a number of computability and decidability problems connected to ASMs. Such problems result for example from the area of verifying properties of ASMs. Their high expressive power leads rather directly to undecidability respectively uncomputability results for most interesting problems in the case of unrestricted ASMs. Consequently, it is rather (...) natural to ask whether there exist expressive classes of ASMs for which we can prove positive decidability and computability results. In this work, we introduce such a class of ASMs. The concept is similar to the one of the guarded fragment of first-order logic. We analyze the expressive power of this class and prove that it is stronger than Datalog LITE and the guarded fragment of first-order fixed point logic. Some decidability and computability results have been proven in earlier works. (shrink)

Based on the standpoint close to that of philosophical functionalism, the paper addresses the history and present state of scientific research on artificial reconstruction of some of the rational thinking functions, and acquisition of valid knowledge of phenomenally given actuality, by way of engineering artificial intelligent automata. Thereby, the author examines the settings of emergence of an attendant basic ontology, and the place of logic in the process of knowing, by intelligent automata and humans, accordingly. Analysis and (...) collations are made by proceeding from the phenomenalistic logic and ontology presupposition in the theory of experience and knowing, as previously detailed by the author. Under this presupposition, the actual is considered temporally ordered facts with attached significance used to order them logically, in reciprocally defining them logical relations as a result of phenomenal statements on their identification and re-identification as such. The paper offers an overview of primary logical and ontological foundations for operation of intelligent automata classed as “expert systems” in their collation with a correspondent model of functionally determined meaningful activity of humans, while making the case for the observation on a sufficient functional parallelism between them, against the background of their noted specifics. By moving on to engineering intelligent automata classed as “machine learning systems” grounded on “connectionism”, prospects for overcoming the deficit of reflexive plasticity in “artificial intelligence”, and the effect of fundamental convergence between the human functional intelligence and an “artificial” intelligence, are clarified. Admitting a demonstrated functional success of such intelligent automata in the functional context, along with their logic being affined to that of humans, the notion of intelligence incurs significant de-humanization. Manuscript received 14.02.2020. (shrink)

The presented paper proposes a state machine of REA (Resource–Event–Agent) model. This model constitutes a fundamental building block for value modeling applications. Contrary to other appr...

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s (Representation & Reality, Bradford Books, Cambridge in 1988 ) monograph, “Representation & Reality”, which if correct, has (...) important implications for turing machine functionalism and the prospect of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ( x )”. Then, equating Q ( x ) to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q (crediting it with mental states and consciousness) opens the door to a vicious form of panpsychism whereby all open systems, (e.g. grass, rocks etc.), must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

Kummer's Cardinality Theorem states that a language A must be recursive if a Turing machine can exclude for any n words ω1...., ωn one of the n + 1 possibilities for the cardinality of {ω1...., ωn} ∩ A. There was good reason to believe that this theorem is a peculiarity of recursion theory: neither the Cardinality Theorem nor weak forms of it hold for resource-bounded computational models like polynomial time. This belief may be flawed. In this paper it is shown (...) that weak cardinality theorems hold for finite automata and also for other models. An explanation is proposed as to why recursion-theoretic and automata-theoretic weak cardinality theorems hold, but not corresponding 'middle-ground theorems': The recursion- and automata-theoretic weak cardinality theorems are instantiations of purely logical weak cardinality theorems. The logical theorems can be instantiated for logical structures characterizing recursive computations and finite automata computations. A corresponding structure characterizing polynomial time computations does not exist. (shrink)

We capture the principal models of computation and specification in the literature by a uniform set of transparent mathematical descriptions which—starting from scratch—provide the conceptual basis for a comparative study.1.

This is a presentation about joint work between Hector Zenil and Jean-Paul Delahaye. Zenil presents Experimental Algorithmic Theory as Algorithmic Information Theory and NKS, put together in a mixer. Algorithmic Complexity Theory defines the algorithmic complexity k(s) as the length of the shortest program that produces s. But since finding this short program is in general an undecidable question, the only way to approach k(s) is to use compression algorithms. He shows how to use the Compress function in Mathematica to (...) give an idea about the compressibility of various sequences. However, the idea of applying a compression algorithm breaks down for very short sequences. This is true not only for the Compress function, but also for any other compression algorithm. Zenil's approach is to construct a metric of algorithmic complexity for short sequences from scratch. He defines the algorithmic probability as the probability that an arbitrary program produces a sequence. The basic idea is to run a whole class of computational devices such as Turing Machines or Cellular Automata, and compute the distributions of the sequences they generate. Zenil presents a comparison of frequency distributions of sequences generated by 2-state 3-color Turing Machines and 2-color radius 1 Cellular Automata. He also compared these distributions to distributions found in data from the real world, and found that not only there is correlation across different systems, but also that the distributions are rather stable, and the difference between the distributions in abstract systems and real-world data can be attributed to noise. In his paper Zenil elaborates on the nature of the noise he has encountered. Zenil conjectures that the correlation distances between different systems decreases with a larger number of steps, and converge in the infinite limit case. (shrink)

There have been two major lines of research aimed at capturing resource-bounded players in game theory. The first, initiated by Rubinstein (), charges an agent for doing costly computation; the second, initiated by Neyman (), does not charge for computation, but limits the computation that agents can do, typically by modeling agents as finite automata. We review recent work on applying both approaches in the context of decision theory. For the first approach, we take the objects of choice in (...) a decision problem to be Turing machines, and charge players for the “complexity” of the Turing machine chosen (e.g., its running time). This approach can be used to explain well-known phenomena like first-impression-matters biases (i.e., people tend to put more weight on evidence they hear early on) and belief polarization (two people with different prior beliefs, hearing the same evidence, can end up with diametrically opposed conclusions) as the outcomes of quite rational decisions. For the second approach, we model people as finite automata, and provide a simple algorithm that, on a problem that captures a number of settings of interest, provably performs optimally as the number of states in the automaton increases. (shrink)

The most cursory examination of the history of artificial intelligence highlights numerous egregious claims of its researchers, especially in relation to a populist form of ‘strong’ computationalism which holds that any suitably programmed computer instantiates genuine conscious mental states purely in virtue of carrying out a specific series of computations. The argument presented herein is a simple development of that originally presented in Putnam’s monograph, “Representation & Reality”, which if correct, has important implications for turing machine functionalism and the prospect (...) of ‘conscious’ machines. In the paper, instead of seeking to develop Putnam’s claim that, “everything implements every finite state automata”, I will try to establish the weaker result that, “everything implements the specific machine Q on a particular input set ”. Then, equating Q to any putative AI program, I will show that conceding the ‘strong AI’ thesis for Q opens the door to a vicious form of panpsychism whereby all open systems,, must instantiate conscious experience and hence that disembodied minds lurk everywhere. (shrink)

Over the last 25 years, evolutionary game theory has grown with theoretical contributions from the disciplines of mathematics, economics, computer science and biology. It is now ripe for applications. In this book, Daniel Friedman---an economist trained in mathematics---and Barry Sinervo---a biologist trained in mathematics---offer the first unified account of evolutionary game theory aimed at applied researchers. They show how to use a single set of tools to build useful models for three different worlds: the natural world studied by biologists; the (...) social world studied by anthropologists, economists, political scientists and others; and the virtual world built by computer scientists and engineers. The first six chapters offer an accessible introduction to core concepts of evolutionary game theory. These include fitness, replicator dynamics, sexual dynamics, memes and genes, single and multiple population games, Nash equilibrium and evolutionarily stable states, noisy best response and other adaptive processes, the Price equation, and cellular automata. The material connects evolutionary game theory with classic population genetic models, and also with classical game theory. Notably, these chapters also show how to estimate payoff and choice parameters from the data. The last eight chapters present exemplary game theory applications. These include a new coevolutionary predator-prey learning model extending rock-paper-scissors; models that use human subject laboratory data to estimate learning dynamics; new approaches to plastic strategies and life cycle strategies, including estimates for male elephant seals; a comparison of machine learning techniques for preserving diversity to those seen in the natural world; analyses of congestion in traffic networks and the. (shrink)

The aim of this paper is to offer a formal criterion for physical computation that allows us to objectively distinguish between competing computational interpretations of a physical system. The criterion construes a computational interpretation as an ordered pair of functions mapping (1) states of a physical system to states of an abstract machine, and (2) inputs to this machine to interventions in this physical system. This interpretation must ensure that counterfactuals true of the abstract machine have appropriate counterparts which are (...) true of the physical system. The criterion proposes that rival interpretations be assessed on the basis of simplicity. Simplicity is construed as the Kolmogorov complexity of the interpretation. This approach is closely related to the notion of algorithmic information distance and draws on earlier work on real patterns. (shrink)

In The Piano Tuner of EarthQuakes, the Quay Brothers' second feature, the sensual form and the meta-artistic content are truly interweaved, and the siblings' staple animated materials become part of the theme itself. Using Michel Serres's argument in Les cinq sens, I address the relationship between the Quays intermedial animation and the way the art forms of music, painting, theatre and sculpture are used to captivate the film viewer's sensorium in the same way that some of the characters are fascinated (...) by the evil Droz, a scientist and failed composer who manipulates machines and people alike, among them Felisberto, a meek piano tuner with the ability to stir the natural elements. I further proceed to posit the entire film as an intended allegory of animation on the Quays part. Their haptic construction of a three-dimensional world which they control artistically is replicated in the film in Droz's and Felisberto's activities vis-à-vis Malvina van Stille, an abducted opera diva who is kept in a suspended animation state and several hydraulic automata with musical resounding properties, some of them made up of an uncanny assortment of body parts. The artificial life of these creatures is contrasted, in two ways, with their physical reality as beings that exist in the world: first, via Serres's sensorial strategy to transform a body into a conscious entity, an embodiment I call 'Corpo-Reality', and second, by resorting to Deleuze and Guattari's theory of the body without organs in its advocacy of 'hard' nature and the rejection of a rigid assortment of body parts. The paradoxical organic objectivity of the 'marionettized' Malvina is pitted against the seemingly subjective doings of the mechanical automata, especially an android woodcutter. However, just as in the story things are not what they seem, and the automata actually reflect the 'real' world of Felisberto's tuning of them, so the film itself can be a 'crystal-image', offering itself to the senses of the spectator. (shrink)

Tranquillity’s Secret Presents A New Understanding Of The World And Ourselves, And A Forgotten Meditation Technique That Protects You From Traumatic Harm. There Is A Way Of Seeing The World Different. -/- My goal in this book is two-fold: to introduce a revolutionary paradigm for understanding ourselves and the world; and to explain an ancient meditation technique that brought me to the insights upon which it is founded. This technique appears in different forms in the extant spiritual and religious traditions (...) over millennia which have used it — and in which it has been acknowledged as the most efficacious way to reach a direct experience of mind, or the most direct path to a union with God. Unfortunately, the proper way to use it has been largely lost over the last few centuries along with a clear understanding of why it was claimed to be so highly efficient. The primary reason for this loss is the mechanical materialism that frames all our scientific knowledge today. Lady Anne Conway, an English philosopher and a contemporary of René Déscartes, the French Metaphysician of the Seventeenth Century, was the first to characterize his philosophy as the “Mechanical philosophy.” It was Déscartes’ fascination with garden automata (moving statues) that he saw throughout Paris during his time, that led to his idea that the bodies of animals are nothing more than machines of varying complexity – which could be replaced by metal cogs, axles, and wheels. This very contemporary idea is in fact his legacy to humanity — along with the mind-body split that it entails — as mechanism became the standard to which Nature and all life was compared, and still is. This was the genesis of the modern reductive scientific understanding of life as discovered mechanisms made up of dead matter. -/- Although Déscartes’ philosophy was not materialism proper, as he held mind to not be material in nature, his was the most significant move to a cognitive framing of all phenomena as the result of mechanical interactions, and he went so far as placing all non-human animals into the machine-only category, because, he argued, they didn’t have minds. While a full account of Déscartes’ thought is not useful in this work, I want to use Lady Conway’s term to make a distinction between a mechanical materialism, which materialism has evolved into, and a less severe understanding that is not so destructive of the primacy of two aspects of being alive — mind and cognizance — which today are asserted to be by-products or epiphenomena of material processes in the brain by strict adherents to the mechanical philosophy. -/- This frame allows nothing but dead matter, and all that is comprised of dead matter, to be entertained as real. Anything beyond that is either ignored, or considered to be nothing more than figments of someone’s imagination — and this both limits and structures our thoughts about everything. Even those who believe they have moved on from this limiting understanding continue to be fenced in by language, which is structured by it — so that there is no escaping its limitations via a simple substitution or redefinition of concepts. Rather, it will take a truly revolutionary new paradigm and a concomitant reframing of our understanding of ourselves, this world, and reality, and how they come together in the new paradigm. I characterize the difficulty of this change as being like that of meeting an alien race and trying to work out how they see reality before communication can begin — which is very difficult to do when one’s own view is so limited. -/- I call this revolutionary paradigm Responsive Naturing. -/- Responsive Naturing replaces the current paradigm and its concomitant idea of deterministic causality which is foundational in scientific practice today. It can do this because, as you will see, it better accounts for all categories of phenomena, and thus includes all the most important human experiences, such as that of being alive, of beauty, of love, and the ultimate unity of all things. Responsive Naturing provides a sound foundation for the sciences, without the imposed limitation of mechanical materialist explanations, so that both science and spirituality can be founded upon this single common understanding of how things work. -/- This novel paradigmatic understanding of reality intrinsically applies to all dimensions of mental phenomena — be it of perceptions, sensations, or thoughts — and from the indeterminacy of quantum mechanics to the stochastic nature of most physical phenomena, to the often accidental, sometimes fortunate, but never sure, character of all human activities. This makes this new paradigm immediately productive in a practical way — it simply works, as I will show. It empowers us in ways that our disjointed and parochial schools of thought lock us out of completely, opening up new possible methods of looking at problems and finding solutions across disciplines. However, understanding the repercussions of the new paradigm upon one’s cognitive frame and the concomitant structure of language is difficult to comprehend simply because it is alien to the existing frame and paradigm. The impetus to make the effort is becoming quite clear: -/- Today, the sciences are ruled by the limiting cognitive framing of mechanical materialism, and over the last century, the limitations of that frame and its associated scientific paradigm of physical causality have become obvious: science has become schizophrenic. On one hand, some scientists say everything is strictly determined by the laws of nature, and neither free will nor conscious intent have any involvement in what happens; but others say that the state of the underlying quanta that make-up everything is indeterminate until consciously observed with the intent to measure it. Mechanical materialism is why scientists say you have no free will, while you obviously experience that you do — and you are held responsible for your actions by society because you do. It is also why scientists cannot find a non-speculative explanation of consciousness on an evolutionary or biological level, even though being conscious is the most obvious aspect of being alive. And these contradictions have infected every aspect of our lives, and our world, by limiting our ability to see the world any other way. Even the formulation of spiritual doctrines is constrained today by this cognitive frame’s presence in our language. This is not an academic matter, as we see clearly in our failure, so-far, to change the path that has brought us to a global environmental collapse and the ecocide of life on Earth. -/- What is unique about the book’s approach is that it does not speculate about what might be the case, like so much of philosophy does. Instead, it relies upon meditative and contemplative insights that were gleaned directly from a dedicated advanced meditation practice over 60+ years of the author’s life. These insights were then confirmed by subsequent research into similar forms of this advanced meditation technique found across the world and throughout human history. In conjunction with my meditation practice, I have doctoral-level education in Philosophy and a 30-year career in Software Engineering. The latter was in part focused on automated software development, during which I was confronted with the unsolvable enigma — within the mechanical materialist understanding that I was enculturated into, and inculcated with — of Human Creativity. An enigma that set me on my path of discovery. -/- I have discovered, and continue to discover, just how productive this novel paradigm is in understanding ourselves and our world, by its ability to explain — in detail — so many of our experiences that are today either inexplicable, paradoxical, or ignored “for the present” by scientists until some hoped for mechanical description can be found. For the most part, scientists constrain themselves to describing mechanisms, but describing how is not explaining why — and that is why so much of our modern knowledge has a best-used-by-date. On the other side, seemingly all spiritual traditions accept this modern characterization of the world, ourselves, and reality that is manifest in our language, so that even spiritual phenomena and ideas are necessarily structured by it. We accept the ideas of separate beings, intentional entities, levels of consciousness, and attainment of enlightenment or unification with God, all of which are necessary because dead matter, and unconsciousness, are considered to be the starting point. It isn’t. Rather than just present this novel paradigm as a fait accompli, the book’s five sections bring the reader through stages of reconfiguration of our understanding: -/- Volume 1. The Way of Unsaying — The need for the articles in the first volume is not to tell the reader how things are, but to unsay the things that they have heard throughout their lives and have taken to heart. This is accomplished by exposing the logical and explanatory limitations of those ideas that usually go unnoticed. This is necessary to do in order to open the reader’s mind to other ways of accounting for phenomena, and navigating life, so that the reader will understand: first, why the meditation technique I will present is so effective; and second, why the novel paradigm that I propose will truly advance human knowledge and enable us to change our way of being in the world. In order to liberate oneself from seeing the world in a particular way I use skillful means to unseat all the understandings that we have all been inculcated with. This can be destabilizing, and you might find yourself getting annoyed, or even frightened. To paraphrase a Buddhist proverb: Better not to start; but if started, better to finish: -/- Volume 2. The Way of Contemplation — In this volume, the paradigm of Responsive Naturing is developed, building upon the dialogs in volume 1. This volume challenges the reader, since breaking free of one’s existing cognitive frame and paradigmatic understanding is not a trivial exercise, and neither is restructuring one’s thoughts to fit into a new paradigm. This section explains what Responsive Naturing means, how it works in both spiritual and scientific senses, my specific arguments for why it is the answer to our need for a better way to account for phenomena and experience, and how our way of being in the world can change because of it. I attempt to show, via a myriad of independent fields of study, just how powerful this paradigm is in explaining the various phenomena that until now, either had no scientific explanation, or had an incoherent and never proven one. -/- Volume 3. The Way of Tradition — This volume provides the reader with traditional descriptions of similar types of meditation to that which I am presenting. These techniques are related by the unusual support for meditation that they use: that of Inner Spontaneous Sound. This information is provided for two reasons: 1) to validate the technique I present in volume 4, The Way of Meditation, by showing the high esteem that these techniques have been held in by all spiritual traditions, and 2) to present a rational explanation for the technique’s effectiveness, based upon responsive naturing. Volume 4. The Way of Meditation — This volume describes the practice that I call “Great Responsiveness Meditation” which will allow the reader to: 1) engage in a long-term meditative and contemplative practice in order to attain the insights that are the foundation for the novel paradigm that I am presenting; and 2) to benefit from two unique side-effects of using inner spontaneous sound: one which protects the meditator during traumatic and extreme emotional experiences, especially of the kind now expected because of the current global environmental and societal crises; and the other — which is widely attested to — is an alchemical-like change in the meditator, who quickly displays compassion without self-centered concern. In Buddhism, this is known by the Sanskrit word “Mahākaruṇā,” which is the type of responsive compassion displayed by all enlightened beings. It is a permanent change in how we live our life, and it enables each of us to overcome our worst inculcated selfish behaviors. (shrink)

The paper describes a decidable class of verification problems expressed in first order timed logic. To specify programs we useState Machines. It is known that Abstract State Machines and first order timed logic are two very powerful formalisms apt to represent verification problems for timed distributed systems. However, the general verification problem represented in this way is undecidable. Prior, some decidable classes of verification problems were described in semantical properties that are in their turn undecidable. The decidable (...) class of the present paper is described in syntactical terms. Though it admits no functions, only predicates, it is of practical interest and we give an example illustrating possible applications. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Journal of the History of Ideas 61.3 (2000) 415-432 [Access article in PDF] Christiaan Huygens's Attitude toward Animals Nathaniel Wolloch The debate on the status of animals has interested people since ancient times. In the early modern era this debate reached one of its most historically important and sedulous stages, drawing the attention of some of the most famous minds in Europe. Curiously enough, the historiography of this debate (...) has failed to take cognizance of the part played in it by the famous Dutch scientist Christiaan Huygens (1629-95), renowned for his invention of the pendulum clock, founding of the wave theory of light, and discovery of the true shape of the rings of Saturn, to name only a few of his prolific and varied activities. 1 While Huygens's contribution does not occupy a historically central part in this debate, which did not usually directly engross his attention, it is possible, based on some of his writings and activities, to piece together a picture of his general attitude toward animals. Such a study, as presented here, reveals more than anecdotal importance, since it both entails and affords an enlightening discussion of the connection between philosophy, science, and the treatment of animals, a discussion, moreover, which is relevant to the understanding not only of the early modern debate on animals, but also to the current debate of this issue. [End Page 415]One of the most prevalent features of the development of the attitude toward animals has been the recurrence of anthropocentric arguments. Such arguments were exhibited both by theriophiles (lovers of animals) and anti-theriophiles. 2 A significant instance of this is the recurring argument that harming animals is not bad in itself but rather because it might lead to the harming or corruption of human beings. While such an approach in effect states that those who are kind to animals would also be kind to human beings, it also implies that cruelty toward animals is excusable if committed to advance good causes, such as science and medicine. 3 Such anthropocentric views ultimately derive from both classical culture and philosophy, and especially the notion, rooted in biblical cosmology, according to which all of nature was given to man for his use by God, i.e., man was given the stewardship of nature. 4Theriophilic views which tend to regard animals as sentient beings in their own right became relatively common in early modern times. The most influential of these theriophiles was Michel de Montaigne, known for his love and praise [End Page 416] of animals, 5 and among the many theriophiles influenced by his views one of the most important was his disciple Pierre Charron. 6However, the most influential early modern view of animals, which became the main reference-point for the debate on animals, was anti-theriophilic. This was the Cartesian theory of the "beast-machine," which viewed animals as mere automata, devoid of an immortal soul as possessed by human beings; they were regarded as devoid of mind, and their behavior was compared to that of a clock. Descartes himself seems to have been rather agnostic regarding this issue. He did not deny animals some capacity for feeling but claimed that it was more probable they were senseless automata than beings with souls like human beings. 7 However, while many theriophiles attacked the beast-machine theory, its anti-theriophilic implications were developed and radicalized by various seventeenth-century Cartesians beyond what Descartes himself probably intended. The most prominent example of this was the leading Cartesian Nicolas Malebranche. The French intellectual Bernard Le Bovier, sieur de Fontenelle, related how he saw Malebranche, a generally kind man, kick a pregnant bitch, and when confronted with his (Fontenelle's) alarm, regarded this act as inconsequential, claiming that she did not feel a thing. 8 As cruel as the beast-machine [End Page 417] theory may seem, however, one should remember that it tried to explain away the suffering of animals. It implied that had such suffering been proven to exist, it would have required moral consideration. The views of Spinoza... (shrink)

What is nontrivial digital computation? It is the processing of discrete data through discrete state transitions in accordance with finite instructional information. The motivation for our account is that many previous attempts to answer this question are inadequate, and also that this account accords with the common intuition that digital computation is a type of information processing. We use the notion of reachability in a graph to defend this characterization in memory-based systems and underscore the importance of instructional information (...) for digital computation. We argue that our account evaluates positively against adequacy criteria for accounts of computation. (shrink)

Impossible Minds: My Neurons, My Consciousness has been written to satisfy the curiosity each and every one of us has about our own consciousness. It takes the view that the neurons in our heads are the source of consciousness and attempts to explain how this happens. Although it talks of neural networks, it explains what they are and what they do in such a way that anyone may understand. While the topic is partly philosophical, the text makes no assumptions of (...) prior knowledge of philosophy; and so contains easy excursions into the important ideas of philosophy that may be missing in the education of a computer scientist. The approach is pragmatic throughout; there are many references to material on experiments that were done in our laboratories. The first edition of the book was written to introduce curious readers to the way that the consciousness we all enjoy might depend on the networks of neurons that make up the brain. In this second edition, it is recognized that these arguments still stand, but that they have been taken much further by an increasing number of researchers. A post-script has now been written for each chapter to inform the reader of these developments and provide an up-to-date bibliography. A new epilogue has been written to summarize the state-of-the art of the search for consciousness in neural automata, for researchers in computation, students of philosophy, and anyone who is fascinated by what is one of the most engaging scientific endeavours of the day. This book also tells a story. A story of a land where people think that they are automata without much in the way of consciousness, a story of cormorants and cliffs by the sea, a story of what it might be like to be a conscious machine... (shrink)

Recovery is a model of care in (forensic) mental health settings across Western nations that aims to move past the paternalistic and punitive models of institutional care of the 20th century and toward more patient‐centered approaches. But as we argue in this paper, the recovery‐oriented services that evolved out of the early stages of this liberating movement signaled a shift in nursing practices that cannot be viewed only as improvements. In effect, as “recovery” nursing practices became more established, more codified, (...) and more institutional(ized), a stasis developed. Recovery had been reterritorialized. The purpose of this paper is to examine some of the threads of recovery, from its early days of antipsychiatry activism to its codification into mental health—including forensic mental health—institutions through the lens of poststructuralist philosophers Gilles Deleuze and Felix Guattari. We believe that Deleuze and Guattari's scholarship provides the necessary, albeit uncomfortable, framework for this critical examination. From a conceptualization of recovery as an assemblage, we critically examine how we can go about creating something new, caught in a tension between stasis and change. (shrink)

Explainable AI (XAI) provides methods to understand non-interpretable machine learning models. However, we have little knowledge about what legal experts expect from these explanations, including their legal compliance with, and value against European Union legislation. To close this gap, we present the Explanation Dialogues, an expert focus study to uncover the expectations, reasoning, and understanding of legal experts and practitioners towards XAI, with a specific focus on the European General Data Protection Regulation. The study consists of an online questionnaire and (...) follow-up interviews, and is centered around a use-case in the credit domain. We extract both a set of hierarchical and interconnected codes using grounded theory, and present the standpoints of the participating experts towards XAI. We find that the presented explanations are hard to understand and lack information, and discuss issues that can arise from the different interests of the data controller and subject. Finally, we present a set of recommendations for developers of XAI methods, and indications of legal areas of discussion. Among others, recommendations address the presentation, choice, and content of an explanation, technical risks as well as the end-user, while we provide legal pointers to the contestability of explanations, transparency thresholds, intellectual property rights as well as the relationship between involved parties. (shrink)

We define a class of finite state automata acting on transfinite sequences, and use these automata to prove that no singular cardinal can be defined by a monadic second order formula over the ordinals.

ABSTRACT In this paper we explore how a public national media outlet, the British BBC, represents an international legal case which has a highly political nature. The case is US versus Huawei/meng Wanzhou, which took place between 2018 and 2021. Accusations were that the Chinese technology company committed fraud, leading the global HSBC bank to breach US sanctions against Iran. The charges were made by the US using what is called an ‘extraterritorial law’, which, while rejected as law by governments (...) around the world, is policed by US economic powers and control over international finance. Using Critical Discourse Analysis we show that, while the BBC presents much detail of legal process, the actual nature of the law the US uses to bring criminal charges against international companies and banks, is neither considered nor questioned. Our interest is how such a law, which has a huge influence over global trade and politics, is presented to the public in this particular case. We contribute to the position that the nature of laws, how they are used and known, must always be understood within the prevailing discourses of the moment. (shrink)

June 2022 A Revolutionary New Metaphysics, Based on Consciousness, and a Call to All Philosophers We are in a unique moment of our history unlike any previous moment ever. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. As I write, the planet is in deep trouble, heat, fires, great storms, and record flooding, (...) weather patterns drastic everywhere. Capitalism has been so successful in supplying us with an endless array of consumer items, that we have never noticed there is a cost. But there is a cost, the cost is the very life of the Earth herself, and now the day of reckoning is here. Days of reckoning are most often days of rath. But I am hoping that this is a day of major Awakening over the entire planet. We have caused a crisis so great for the Earth we can hardly get our minds around it. But I am proposing that deeply embedded in the crisis are ideas, about who and what the Earth is, Ourselves, and what we are here for. I am proposing that this is a call to all philosophy and philosophers to rethink ourselves from the ground up. The human race has never gotten the Earth right and now we must, for the Earth is the true foundation for civilization. We are in deep trouble with the Earth, and it owes to the fact that the great male thinkers never got the Earth right, they could never make the connection between the life of mind and the life of the Earth. I am proposing that deeply embedded in the crisis we are in are ideas. And that in fact the planet is in the grip of a false metaphysics, and scientific image of nature that really comes most recently from Descartes. His conviction that matter, and with it the Earth, are simply the weighable, the measurable the extended in space and time, utterly devoid of any inner life of mind thoughts or Consciousness. This view of matter and the Earth goes back to the very dawn of thought, Descartes is just its most recent and comprehensive version of things. This view of matter is really a false metaphysics that dominates most of the modern world and underpins the whole scientific image of nature itself. I am proposing this is a false metaphysics and offering a new version of things based on Consciousness. If there is a single idea fueling and driving the destruction of the planet, it is the conviction that the Earth is something without Consciousness. When you intend to ravage and savage the planet, turn it into consumer items to be converted into money in the bank, first pretend that all of the bright beings in the natural world are devoid of Consciousness, just “things” you do not have to have any conscious about destroying them. I am proposing that this term Consciousness, that has appeared as term and a problem for modern science, is the key to getting ourselves right with the Earth. I propose this new theory for science will ramify into every other disciplines as well, and the ways we think just about everything. This old paradigm based on a false theory of matter, has run its course, it has brought us to the brink of our own extinction. We need new ideas, and we need them now. You will find my recent work in the Scientific God Journal under the title: Consciousness as the Organizing Principle, and a very complete version of my arguments for this term Consciousness, along with radical reinterpretation of modern science itself, on the Galileo Commission site. It is a radical moment for all of the thinkers among us, take this as my small contribution to rethinking ourselves in new terms, based on my understanding that the true basis for the whole of Being, the Universe, the Cosmos, and with them Ourselves, is this term Consciousness. And unpack it. And I predict that with this term Consciousness every intractable human problem in both science and the modern world will go down like a line of dominos before it. And so, here are a few new ideas I would offer you. These are the times of the Reappearance of the Feminine, a great Awakening as of Springtime after a long dark and lonely Winter. We are leaving behind us an old civilization based on male dominance, fear lies and control, now in decay, disease, and death disintegrating all around us. We are moving into a whole new civilization based on Love and Truth. A new civilization requires new basic terms values and first principles. And so, I return to Descartes. 1. Just over 300 years ago a young man travelling with the army found himself stranded in a foreign town in a bare room lit by a candle with nothing to do but think. And in a couple of nights Descartes laid the entire thought foundations for modern science and most of the modern world. It isn’t clear that modern philosophers with their funding sources of grants, their graduate students, their reputation and all the perks and privileges of academia can do any better. Descartes claimed there are just two principles in the Universe, Matter and Mind. God was pure mind; human beings were mind and matter. And we are the only ones on the planet with mind. Everything else all of the bright array of beings who share the planet with us are simply matter. And matter? The weighable the measurable the extended in space and time utterly devoid of any inner life of thoughts, feelings, or Consciousness This classification was a boon for developing science. Scientists did not have to worry about any inner life in nature, ideas or Consciousness, they could just set about weighing and measuring, as they have until the present day. But it was a disaster for the Earth. Earth was once worshiped as a Goddess. With Descartes she became almost overnight “things.” Simply commodities and resources, an endless of supply of consumer items, to be turned into money in the bank. And now Descartes concept of matter is up for us. If there is a single idea that is enabling and driving the destruction of the Earth, it is the conviction that Earth is something without Consciousness. This whole scientific image of nature as something devoid of Consciousness is driving the destruction of the Earth, and driving us all insane, and it needs to change. Ever since Descartes formulated Dualism, scientists and philosophers have been trying to get rid of it. They have done this by attempting to make matter the fundamental term of reality, and to explain mind or Consciousness in terms of matter. And now, Consciousness has emerged as term and a problem for modern science. 2. The prevailing Universe picture has been mainly based on the belief that Consciousness appears only at the end of evolution in ourselves and some of the higher animals when matter attains “a certain state of complexity” and it is produced by neurons in the brain. But Consciousness is nothing real in itself, the neurons are doing the work, Consciousness is simply a byproduct of neural activity. As William James summed up this position, not his: Consciousness is to the brain as a shadow to the runner, it runs beside him but never influences his stride. And so, the great problem of neuroscience: How do neurons produce Consciousness? So far, no one has been able to say how. All we have is parallelism. Two processes are running in parallel a train of neural events and a train of Consciousness events. And so, which one is primary? The face of neuroscience and much of the modern world is that the neural events are what is really real, Consciousness is secondary. The conviction that Consciousness is something produced by neurons is so deeply held and has been so for so long, that it seems like an obvious fact. It is in fact an assumption and a theory, and it could all well be the other way around. The scientific image of nature as something devoid of Consciousness is now up for us. It has enabled the destruction of the Earth, and we are now at a unique place in our own evolution where we can foresee if we continue on as we are, our own extinction. And so, there are the best reasons for rethinking Descartes concepts of matter. Scientists and philosophers have been trying to escape dualism by making matter the fundamental term. And now, this has not worked. In a nutshell: The mind body problem, the “hard problem of Consciousness” ---how do neurons in the brain, atoms and molecules give rise to ideas thoughts and feelings and who what and where is the “I” who sees them? And then, the near-death experience. I remind you of the truth of the near-death experience. The body in the bed is brain dead eeg flat, but the patient, pure Consciousness is hovering at the ceiling watching the doctors work over the body below, able to read dials he could not have seen from the bed, sometimes able to events in the corridor beyond the room, all subsequently confirmed by the doctors. Evidence as good as it gets that the patient really was out of his body. And so, the patient is able to see without eyes, hear without ears and to think and remember without a brain. There is not a single scientific principle that can account for this. And I am proposing that the near-death experience is a threshold and a key for a much deeper understanding of the Universe. These three problems are so hard they cannot be solved by present scientific principles and therefore call all present principles and ways of thought into question. When your axioms cannot account for the data, it is time to drop them and find better fundamental terms. We have not been able to solve the problems of Consciousness with the assumption that matter is the most basic and fundamental term. And so, if Cartesian dualism is to be overcome at all, we need to try it the other way around. 3. We are in the position of Copernicus. Remember Copernicus? He was making his calculations on the assumption that the Earth was the center of the Universe until they became so unwieldy that he decided to try it all the other way around. To make the sun the center, the Earth revolving around it. And lo, all of his data fell neatly into place. I am proposing a whole new Universe picture. Evolution makes us continuous with every other being, Consciousness would not be in us if it were not in them also, and then, in the atoms and molecules and cells that make up living beings. I propose to make Consciousness the most basic term and see what follows. I am in fact, proposing a new Copernican Revolution, that Consciousness is the true basis for the Universe and the right fundamental term, for science itself all other disciplines as well, and the whole of the modern world. And I predict that every intractable problem in science or the modern world, will go down like a line of dominos before it. In a nutshell: Consciousness and not matter is “first and fundamental” in the Universe, it is there from the very “Beginning” everything has it and all of the true causalities, the explanatory principles belong to it. Not to matter. What then is matter? All matter is an Appearance of something much more real, Consciousness. All matter is an expression of Consciousness, even the least little bit of matter contains Consciousness, and is an expression of Consciousness. And so, we revise the scientific image of nature. Science at present is two termed, matter/energy. It needs to become three termed: Matter/energy/Consciousness, with the recognition that all of the basic principles, the true causalities of events, and of the Universe belong to Consciousness. And now physics. To accommodate this new Universe picture physics needs to alter just one term, energy. All energy contains Consciousness, that idea alone will change our world forever. The animals the trees the plants are just as conscious as we are, as is the Earth herself, a continuum of many forms of Consciousness of which our own is one. The Earth consists of interacting and intersecting forms of Consciousness, Consciousness within Consciousness within Consciousness within Consciousness. A remarkable work has just appeared entitled “Beyond Words What Animals Feel and Think.” Describing in detail how like ourselves all of the animals are. And the more we can see how like us everything else really is, the harder it will be for us to do them all in, in the interest of turning them into consumer items. And so, here is a new principle of understanding, that entails completely new forms of explanation, and a whole new Universe picture to be spelled out in terms of Consciousness and its various properties. This is a Universe that is aware awake and Enspirited throughout. And so, there is only one principle, not two. And so, how does Consciousness work? There is “no mind/body problem.” My Consciousness is aligning the Consciousness of neurons in the brain, that aligns the Consciousness of all other cells in the body, that aligns the Consciousness of molecules and atoms themselves. Mainly from the top down, but also interactive, and not reduction to the purely physical forces. 4. And so, here is a radical new Universe picture, and with it a new way to think about the Universe itself, the Earth, Ourselves, and Spirit. It requires a complete revision of both of the terms of modern science itself. The problem of the modern world owes in deep measure to Descartes concept of matter as something devoid of interior life. But he is only the most powerful and simple expression of a whole tradition of thought that predates him, that goes back to the very dawn of thought itself. It owes to the conviction of both Plato and Aristotle that the Earth was something devoid of reason, or mind, and therefore something to be held in complete contempt. We are emerging from a civilization based on contempt for the Earth, and down the road, it will become contempt for the body, sex, women, the Native people, and people of color everywhere. And so, this entire tradition is now up for us, it has brought us to the brink of our own extinction, and we need to get beyond it. I am proposing that this term Consciousness is the way out. The missing piece of the puzzle and the idea whose time has come. And it will enable us to move into a completely new civilization based on respect for the Earth, women, sex, people of color, that honors everyone and has a place for all. Revolutions in science occur when new data show up that cannot be accounted for by existing paradigms (Thomas Kuhns: The Structure of Scientific Revolutions). Consciousness, and all the properties and problems of Consciousness are just such data, and they compel a new scientific revolution. But we are a scientific age. A new Copernican revolution in science is such as revolution everywhere. And Consciousness is the key to getting every other reality at all levels and depths right as well. It will enable us finally to get the Earth right, get ourselves right with the Earth, and with one another. Archimedes: Give me a place to stand, and I will move the world. I am proposing a new synthesis among our fundamental terms in which this term Consciousness is the new lynchpin. And so, I return once more to Descartes. Descartes in the Mediations was a dualist, they were two realities interacting in the pineal gland mind and body. But Descartes age was high on “Cartesianisms,” on Descartes concept of matter. Animals were simply cleverly wired machines (Hobbes called them automata). Rumor had it that Descartes followers went about kicking dogs reasoning that their howls were not due to any feelings of pain, but simply the wiring of the machine. We have been doing this to the Earth ever since, and now the Earth is not going to stand for it any longer. It is time we all woke up. There is no matter in Descartes sense of it, or in Plato and Aristotle’s sense of it. This old concept of matter is embedded in all of the crisis and catastrophes---fires, drought, pandemics, over population, the disintegrating economies, our ways of life, capitalism and consumerism themselves. All matter is Enspirited, contains Consciousness, and is an expression of Consciousness. Now I tell you something about Descartes you may not know. In the Mediations was a dualist, there are minds and bodies. But by the end of his life, he knew the truth. Descartes guided his whole life by these vivid dreams, and toward the end of his life he had this dream: He saw the Universe as a giant machine and in the heart of the machine propelling the whole, was Consciousness. And so, out of the shades and shadows and into the light of day. Here is a renewed and a new science, a new cosmology. And with it, a revolutionary new metaphysics. The whole of the modern world is in the grip of a false metaphysics, based on Descartes theory of matter. Here is a new, and finally true metaphysics based on the single term, Consciousness. 5. And in all my works, I spell out this new metaphysics based on Consciousness, and what it means for how we think about virtually everything: The Universe, the Earth, Ourselves, and Spirit. Of who, what and where Spirit is, that we may connect with Spirit everywhere. There is only one term for the Universe, and not two, this single term Consciousness, that manifests itself in two modes: Consciousness in Form, Consciousness Formless. And so, here is a sketch of what this new term Consciousness really means. For four great aspects of the real, four new cornerstones for a whole new civilization on Earth, based on Love and Truth. A. For the Universe: New causalities, all matter is an expression of Consciousness, awake and aware, Enspirited throughout, which has a place for the causalities of love ideas intent plan and purpose, what Aristotle called final causality, that for the sake of which. And it has a place for subjectivity, the greatest mystery in the whole of the Universe, knowable only in ourselves, but there in everything else as well, bedrock in the chain of causalities. The buck stops here. Here are two very different Universe pictures. The Cartesian Universe consists of things, pushed, and pulled around by the physical forces that function blind. The true Universe consists of selves and not things. Selves at least in ourselves, are organized and focused about an I, an I am, or a sense of self in everything, ever other being dear to itself. Just one aspect of subjectivity. And so, it is Consciousness all the way down, and subjectivity all the way down. Science proceeds on the basis of the negligible of what it can leave out as unimportant. Subjectivity is the ultimate animating principle of the Universe. What Descartes really did was to strip from nature what is most essential about it, its animating principle Consciousness. And so, we come out of a long history of “clunk.” The great male thinkers have killed creation. First in concepts and now in the lived life. And so, after centuries of fruitless search, not all of it in vain, finally, and just in time the true basic principle for the Universe has shown up in virtually all disciplines, this term Consciousness. B. And so, the Earth: What does this term Consciousness really mean for the Earth? It means that all of the bright array of beings around us have Consciousness. And the more we can realize how like us they are, the harder it will be to do them all in. Is this what it really means to be “made in the image of Spirit?” To destroy ever other living being? The god of Genesis is a creator god who has created billions and billions of living forms. Man, taking himself to be made in the image of Spirit has destroyed virtually all of it. The Earth is not things, not commodities and resources, not an endless array of consumer goods. The Earth consists of conscious living spiritual beings like ourselves, who need to be honored and respected, nurtured and cared for, to be Loved. And if the human race can finally pull it off and bring Love here and start helping the Earth rather than destroying her, even our vast numbers now at 8 billion, may not matter. Deeply embedded in the modern world is a false cosmology based on the hitherto useful but ultimately false metaphysics of Descartes. In particular it owes to Descartes concepts of matter, and of the Earth, as something devoid of Consciousness. And now this concept is up for us. If there is a single idea enabling and driving the destruction of the planet, it is the conviction that the Earth is something devoid of Consciousness. And we all have a vested interest in keeping this false concept in place. When you intend to ravage and savage the Earth, to turn it into consumer items, and money in the bank, first pretend she has no Consciousness that way we need not have any conscious about it. We are in deep trouble with the planet. Virtually all human economies are based on the destruction of the Earth, and we are now at a place in our history where we can foresee if we continue on as we are, our own extinction. And so, here are a few new guiding principles for the planet, based on Consciousness. Consciousness has field properties. The Earth is Consciousness throughout, connected and interconnected throughout, intersecting and interacting fields of Consciousness of which our own is one. To harm one is to harm all. Only this understanding of the Earth can set our destructive technologies, and capitalism, their goals, and their limits. The real problem with capitalism, and with civilization itself is it has no true understanding of the Earth, all the exquisite networks and webworks that connect all beings with one another. Nor it is about to admit that the Earth is our “life support system,” reason gone insane in the modern world. We are destroying our life support system, capitalism is the full expression of the human death wish in the modern world, and it needs to change. And now, let the barriers between ourselves and all other beings go down. C. And so, Ourselves. This new Universe picture based on Consciousness opens into and has a place for new concepts of human identity. In particular, it has a place for reincarnation, a process whereby one Consciousness dons’ bodies again and again and lays them down. This is a process wholly impossible on materialistic theories. This new view of things puts a higher perspective on Freudian determinism, which is a partial knowing in a greater account. We are something more than the victims of genes drives and childhood. We are immortally eternal evolving spiritual beings who take on a cycle of earthly lives in order to achieve certain goals and abilities, and then, our earthly cycle complete, we depart the Earth plane for other areas of the Universe physical or purely spiritual, to continue our evolution elsewhere. The scientific evidence for reincarnation is increasing on all sides, see for example the work of Michael Newton, a mainstream scientist forced to confront the fact of reincarnation. A completely new reincarnational picture is now emerging everywhere. We choose our parents for abilities we could acquire through them. We all come here with reasons for being here, and we all have free will, an original property of Consciousness, and we work out our issues accordingly. We all come here with the same reason for being here. It is to experience the Earth plane and human society at all levels and depths, in every social role, every climate, both sexes male and female and in all races. We are all here to acquire a deep understanding of the Earth plane with all its challenges and all of its present problems. We are not here to devour and consume the Earth, but to honor her for the learning experience she makes available for us. And so, reincarnation is the great equalizer, the fundamental basis for any bill of rights. Many of the problems of the modern world owe to the fact that reincarnation has not been taught in the West. Reincarnation was the center piece of Jesus teachings. It was banned by a fourth century council that decided the populous could best be controlled through fear. They edited all mention of reincarnation from the scriptures, and inserted fear terms instead, a judgmental god, and so on. If reincarnation had been taught, there would have been no suppression of women, but the gift of both sexes would have been honored and developed. And there would have been no reason for contempt for people of color because who they are, we have been or will be. There is no reason to look down on anyone when we know that our own identity includes membership in theirs. The truth of reincarnation needs to be the foundation for getting ourselves right with the Earth, and with one another. D. And so, Spirit. This new Universe picture, based on Consciousness, has a place for Spirit as simply Infinite Consciousness. All universes all worlds are formed out of this Consciousness, divine and sacred throughout. And Spirit is everywhere in the Earth and can be connected everywhere. And the Native North American people had things right. Everything has its own Spirit, and without contradiction is also an expression of Spirit. And what I am really doing in terms of concepts of modern science is presenting the Native North American version of the Real. And this new Universe picture has a place for the essential insight of all religions almost smothered by church tradition: Love. Not an emotion but a great Oneness, that can be found everywhere, even in a busy city street. But especially in the Earth, that is levels and depths of Oneness everywhere. And so, for the first time in their long and bitter antagonistic history, science and religion now share a common base with this term Spirit, the lynchpin in a new conceptual framework. And I offer an interpretation of where we are in our history, this present moment of historical grace, and these tumultuous times in which we live, the return of the Goddess and the Divine Feminine, the Reappearance of the Feminine in history, the Advent of Women, this great Awakening, as of Springtime after a long dark Winter, the Awakening, the Second Coming. And so, stay tuned! (shrink)

In prior papers the following question was considered: which classes of computable sets can be learned if queries about those sets can be asked by the learner? The answer depended on the query language chosen. In this paper we develop a framework for studying this question. Essentially, once we have a result for queries to [S,<]2, we can obtain the same result for many different languages. We obtain easier proofs of old results and several new results. An earlier result we (...) have an easier proof of: the set of computable sets cannot be learned with queries to the language [+,<] . A new result: the set of computable sets cannot be learned with queries to the language [+,<,POWa] where POWa is the predicate that tests if a number is a power of a. (shrink)

We explore a network architecture introduced by Elman (1988) for predicting successive elements of a sequence. The network uses the pattern of activation over a set of hidden units from time-step 25-1, together with element t, to predict element t + 1. When the network is trained with strings from a particular finite-state grammar, it can learn to be a perfect finite-state recognizer for the grammar. When the network has a minimal number of hidden units, patterns on the (...) hidden units come to correspond to the nodes of the grammar, although this correspondence is not necessary for the network to act as a perfect finite-state recognizer. We explore the conditions under which the network can carry information about distant sequential contingencies across intervening elements. Such information is maintained with relative ease if it is.. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

It is argued that Nozick's experience machine thought experiment does not pose a particular difficulty for mental state theories of well-being. While the example shows that we value many things beyond our mental states, this simply reflects the fact that we value more than our own well-being. Nor is a mental state theorist forced to make the dubious claim that we maintain these other values simply as a means to desirable mental states. Valuing more than our mental states (...) is compatible with maintaining that the impact of such values upon our well-being lies in their impact upon our mental lives. (shrink)

The imaginative context in which artificial intelligence is embedded remains a crucial touchstone from which to understand and critique both the histories and prospective futures of an AI-driven world. A recent article from Cave and Dihal sets out a narrative schema of four hopes and four corresponding fears associated with intelligent machines and AI. This article seeks to respond to the work of Cave and Dihal by presenting a gendered reading of this schema of hopes and fears. I offer (...) a brief genealogy of narratives which feature female automata, before turning to examine how gendered technology today—particularly AI assistants like Siri and Alexa—reproduces the historical narratives associated with intelligent machines in new ways. Through a gendered reading of the hopes and fears associated with AI, two key responses arise. First, that the affective reactions to intelligent machines cannot be readily separated where such machines are gendered female. And second, that the gendering of AI technologies today can be understood as an attempt to reconcile the opposing hopes and fears AI produces, and that this reconciliation is based on the association of such technologies with traditional notions of femininity. Critically, a gendered reading enables us to problematize the narratives associated with AI and expose the power asymmetries that lie within, and the technologies which arise out of, such narratives. (shrink)

To clarify the notion of computation and its role in cognitive science, we need an account of implementation, the nexus between abstract computations and physical systems. I provide such an account, based on the idea that a physical system implements a computation if the causal structure of the system mirrors the formal structure of the computation. The account is developed for the class of combinatorial-state automata, but is sufficiently general to cover all other discrete computational formalisms. The implementation (...) relation is non-vacuous, so that criticisms by Searle and others fail. This account of computation can be extended to justify the foundational role of computation in artificial intelligence and cognitive science. (shrink)

This paper aims at tracking down, by looking at late medieval and early modern discussions over the ontological status of artifacts, the main steps of the process through which nature became theorized on a mechanistic model in the early 17th century. The adopted methodology consists in examining how inventions such as mechanical clocks and automata forced philosophers to modify traditional criteria based on an intrinsic principle of motion and rest for defining natural beings. The paper studies different strategies designed (...) in the transitional period 1300–1600 for making these inventions compatible with classical definitions of nature and artifacts. In the first part of the paper, it is shown that, even if virtually all medieval philosophers acknowledged an ontological distinction between artifacts and natural beings, these different strategies demonstrate a growing concern about the consistency of the art/nature distinction. The next part of the paper studies how mechanical clocks, even before the Scientific Revolution, served as theoretical models for applying mechanistic views to different objects (be they cosmological, physical or biological). The epistemological function of clocks appears to stem from different factors (like the specific manufacturing of late medieval clocks as well as the evolution of 16th-century mechanics) that are listed in this second part of the paper. These factors, combined with the definitional issues raised by automata, explain that clocks became the symbol of a new approach to natural philosophy, characterized by the collapse of the art/nature distinction and the “mechanization of nature”. (shrink)

Finite automata have been recently used as alternative, discrete models in theoretical physics, especially in problems related to the dichotomy between endophysical/intrinsic and exophysical/ extrinsic perception . These studies deal with Moore experiments; the main result states that it is impossible to determine the initial state of an automaton, and, consequently, a discrete model of Heisenberg uncertainty has been suggested. For this aim the classical theory of finite automata — which considers automata with initial states — (...) is not adequate, and a new approach is necessary. A study of finite deterministic automata without initial states is exactly the aim of this paper. We will define and investigate the complexity of various types of simulations between automata. Minimal automata will be constructed and proven to be unique up to an isomorphism. We will build our results on an extension of Myhill-Nerode technique; all constructions will make use of “automata responses” to simple experiments only, i.e., no information about the internal machinery will be considered available. (shrink)

We suggest that developing automata theoretic foundations is relevant for knowledge theory, so that we study not only what is known by agents, but also the mechanisms by which such knowledge is arrived at. We define a class of epistemic automata, in which agents’ local states are annotated with abstract knowledge assertions about others. These are finite state agents who communicate synchronously with each other and information exchange is ‘perfect’. We show that the class of recognizable languages (...) has good closure properties, leading to a Kleene-type theorem using what we call regular knowledge expressions. These automata model distributed causal knowledge in the following way: each agent in the system has a partial knowledge of the temporal evolution of the system, and every time agents synchronize, they update each other’s knowledge, resulting in a more up-to-date view of the system state. Hence we show that these automata can be used to solve the satisfiability problem for a natural epistemic temporal logic for local properties. Finally, we characterize the class of languages recognized by epistemic automata as the regular consistent languages studied in concurrency theory. (shrink)

The United States has introduced automatic enrollment into retirement savings schemes, and the United Kingdom is in the throes of doing so. The financial crisis has reminded us that returns on these schemes can be poor, even negative. Behavioral economics shows that people can be “nudged” into schemes regardless, but it also implies that the liberal account of market legitimation through informed choice cannot be applied. This article examines how risks are assigned in schemes and how enrollees might seek recourse (...) if their expectations are disappointed. Comparing the United States and the United Kingdom, it argues that enrollees are more likely to seek recourse from the government in the United Kingdom. The explanation can be found in regulatory decisions that reflect the structure of each country’s public pension scheme. This structure is conducive to private risk bearing in the United States, but not in the United Kingdom, suggesting that regulatory market liberalism is undermined by a residual approach to public provision. (shrink)