Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese room (...) (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)

The development of a robust, holistic theological anthropology will require that theology and biblical studies alike enter into genuine interdisciplinary conversations. Depth psychology in particular has the capacity to be an exceedingly fruitful conversation partner for theology because of its commitment to the totality of the human experience (both the conscious and unconscious aspects) as well as its unique ability to interpret archetypal symbols and mythological thinking. By arguing for a psycho-theological hermeneutic that accounts for depth psychology's conviction that myths (...) about the origin of the world are always simultaneously myths about the origin and emergence of human consciousness, I demonstrate that the presence of numerous Jungian archetypes in Genesis 1–3 suggests that the narrative can be read from a psychological perspective without diminishing or marginalizing the dominant theological themes of exile and return. Furthermore, such a reading fundamentally suggests that the narrative is not about how sin entered into creation, but rather how consciousness emerged in human community. (shrink)

The Epiphenomenal Mind is both a deflationary attack on the powers of the human mind and a defence of human subjectivity. It is deflationary because in the thesis I argue that consciousness is an epiphenomenal consequence of events in the brain. It is a defence of human subjectivity because I argue that the mind is sui generis real, irreducible, and largely an endogenous product (i.e. not dependent on society or its resources). Part I is devoted to arguing that the conscious (...) mind is epiphenomenal. Arguing from, the irreducibility of mental states, the causal closure of the physical domain, and the principle of causal explanatory exclusion, I seek to demonstrate that all theories of mental causation necessarily violate one or more of these premises. Contemporary approaches to mental causation come under two broad categories, those that argue that mental events are supervenient on physical events (such as Davidson, Kim and Horgan) and those (like Haskar) who argue that the mind is an emergent property of the brain. Supervenience based theories, I argue, end up reducing mental states in their search for a theory of mental causation and emergence based theories end up violating the principle of the causal closure of the physical. In part II, I explore some of the consequences of epiphenomenalism for social theory. This exploration comes in the context of a defence of human subjectivity against (i.) those sociological imperialists who view the mind and self as a 'gift of society', and (ii.) social situationalists who have abandoned the concept of action and an interest in 'what's in the head' of the actor, in favour of a concept of social action which views behaviour as action only to the extent that it is socially meaningful. The conclusion is that the social sciences should return to an interpretative style (Weberian) methodology. (shrink)

Reading through Mechanica1 Intelligence, volume III of Alan Turing's Collected Works, one begins to appreciate just how propitious Turing's timing was. If Turing's major accomplishment in ‘On Computable Numbers’ was to expose the epistemological premises built into formalism, his main achievement in the 1940s was to recognize the extent to which this outlook both harmonized with and extended contemporary psychological thought. Turing sought to synthesize these diverse mathematical and psychological elements so as to forge a union between ‘embodied rules’ and (...) ‘learning programs’. Through their joint service in the Mechanist Thesis each would validate the other: and the frameworks from whence each derived. In this paper I will try to show how Turing's psychological thesis forces us to reassess the consequences of establishing AI on the epistemological foundation that underlies behaviourism. (shrink)

Though my ultimate concern is with issues in epistemology and metaphysics, let me phrase the central question I will pursue in terms evocative of philosophy of religion: What are the implications of our logic-in particular, of Cantor and G6del-for the possibility of omniscience?

What psychological and philosophical significance should we attach to recent efforts at computer simulations of human cognitive capacities? In answering this question, I find it useful to distinguish what I will call "strong" AI from "weak" or "cautious" AI. According to weak AI, the principal value of the computer in the study of the mind is that it gives us a very powerful tool. For example, it enables us to formulate and test hypotheses in a more rigorous and precise fashion. (...) But according to strong AI, the computer is not merely a tool in the study of the mind; rather, the appropriately programmed computer really is a mind, in the sense that computers given the right programs can be literally said to. (shrink)

We are responsible for some things but not for others. In this thesis, I investigate what it takes for an entity to be responsible for something. This question has two components: agents and actions. I argue for a permissive view about agents. Entities such as groups or artificially intelligent systems may be agents in the sense required for responsibility. With respect to actions, I argue for a causal view. The relation in virtue of which agents are responsible for actions is (...) a causal one. I claim that responsibility requires causation and I develop a causal account of agency. This account is particularly apt for addressing the relationship between agency and moral responsibility and sheds light on the causal foundations of moral responsibility. (shrink)

This paper is about the status of collective actions. According to one view, collective actions metaphysically reduce to individual actions because sentences about collective actions are merely a shorthand for sentences about individual actions. I reconstruct an argument for this view and show via counterexamples that it is not sound. The argument relies on a paraphrase procedure to unpack alleged shorthand sentences about collective actions into sentences about individual actions. I argue that the best paraphrase procedure that has been put (...) forward so far fails to produce adequate results. (shrink)

Both a traditional notion of free will, present in human beings, and artificial intelligence are often argued to be inherently incompatible with determinism. Contrary to these criticisms, this paper defends that an account of free will compatible with determinism, the responsibility strategy (coined here) specifically, is a variety of free will worth wanting as well as a variety that is possible to (in principle) artificially construct. First, freedom will be defined and related to ethics. With that in mind, the two (...) theses of free will are addressed (namely could have done otherwise and source origination) for both human beings and artificial agents. (shrink)

To construct a synthetic cell we need to understand the rules that permit life. A central idea in modern biology is that in addition to the four entities making reality, matter, energy, space and time, a fifth one, information, plays a central role. As a consequence of this central importance of the management of information, the bacterial cell is organised as a Turing machine, where the machine, with its compartments defining an inside and an outside and its metabolism, reads and (...) expresses the genetic program carried by the genome. This highly abstract organisation is implemented using concrete objects and dynamics, and this is at the cost of repeated incompatibilities (frustration), which need to be sorted out by appropriate «patches». After describing the organisation of the genome into the paleome (sustaining and propagating life) and the cenome (permitting life in context), we describe some chemical hurdles that the cell as to cope with, ending with the specific case of the methionine salvage pathway. (shrink)

The article offers a critical assessment of an article on "Corporate Legitimacy as Deliberation" by Guido Palazzo and Andreas Scherer in this journal. We share the concern about the precarious legitimacy of globally active corporations, infringing on the legitimacy of democracy at large. There is no quarrel with Palazzo/Scherer's diagnosis, which focuses on the consequences of globalization and ensuing challenges for corporate social responsibilities. However, we disagree with the "solutions" offered by them. In a first step we refute the idea (...) of a legitimacy of morals, maintaining that morality is a premodern mode of creating legitimacy. Even worse, moral is becoming a dangerous commodity under conditions of fundamental global disagreements and antagonisms. We secondly refute the concept of the "politicized corporation", maintaining that Palazzo/Scherer disregard the consequences of functional differentiation of modern societies and, in particular, disregard the wisdom of political restraint and constitutional guarantees for the autonomy of different spheres of society. Finally, we refute a seemingly romantic notion of deliberation, maintaining that deliberation and deliberative democracy is a worthy idea, which, however, has no place in the real world of globalized contexts. On the other hand, we also find enough common ground and common concern with Palazzo/Scherer to validate a fruitful discourse. (shrink)

In this paper a possible extension of Turing test [1] will be presented, which is intended to overcome the limits highlighted by several researchers and scientists in the last seventy years. The main problem related to the execution in Turing test is substantially dealing with the trouble in identification of a human-like intelligence based on a pure evaluation of external behavior of a machine. In this work first of all a description of classical Turing test will be done. After that, (...) some of the main exceptions or oppositions to the Turing test ability to detect “intelligent machines” will be presented. The Lovelace test will be presented as well, as possible alternative to Turing Test, and some considerations on its scope and effectiveness will be made. Furthermore, some references to Penrose and Hofstadter ideas will be recalled, highlighting the strongest troubles in defining and detecting a human-like intelligence, intended as “self-consciousness”. Finally, the new approach will be explained, introducing the new test intended to overcome the troubles highlighted on Turing test execution, based on a model of the self-consciousness obtained by means of the hypersets theory. An example will be presented as well, in order to clarify the proposed approach and its goal. (shrink)

Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...) claim to any notion of reality. This foundation begins with Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and the relationship of language to formal logic. Ultimately, we arrive at an answer to the question of why people believe the things they do. This is effectively a modification of Alfred Tarski’s semantic theory of truth. The second major issue addressed is the ‘dreaded’ Hard Problem of Consciousness as first stated by David Chalmers in 1995. The solution is found in the unification of consciousness, information theory and notions of physicalism. The physical world is shown to be an isomorphic representation of the phenomenological conscious experience. New concepts in understanding how language operates help to explain why this relationship has been so difficult to appreciate. The inclusion of concepts from information theory shows how a digital mechanics resolves heretofore conflicting theories in physics, cognitive science and linguistics. Scientific orthodoxy is supported, but viewed in a different light. Mainstream science is not challenged, but findings are interpreted in a manner that unifies consciousness without contradiction. Digital mechanics and formal systems of logic play central roles in combining language, consciousness and the physical world into a unified theory where all can be understood within a single consistent framework. (shrink)

Problem-solving software that is not-necessarily infallible is central to AI. Such software whose correctness and incorrectness properties are deducible by agents is an issue at the foundations of AI. The Comprehensibility Theorem, which appeared in a journal for specialists in formal mathematical logic, might provide a limitation concerning this issue and might be applicable to any agents, regardless of whether the agents are artificial or natural. The present article, aimed at researchers interested in the foundations of AI, addresses many questions (...) related to that theorem, including differences between it and results of Gödel and Turing that have sometimes played key roles in Minds and Machines articles. This study also suggests that—if one is willing to assume a thesis due to Donald Knuth—the Comprehensibility Theorem is the first mathematical theorem implying the impossibility of any AI agent or natural agent—including a not-necessarily infallible human agent—satisfying a rigorous and deductive interpretation of the self-comprehensibility challenge. Some have pointed out the difficulty of self-comprehensibility, even according to presumably a less rigorous interpretation. This includes Socrates, who considered it to be among the most important of intellectual tasks. Self-comprehensibility in some form might be essential for a kind of self-reflection useful for self-improvement that might enable some agents to increase their success. We use the methods of applied mathematics, rather than philosophy, although some topics considered could be of interest to philosophers. (shrink)

There are a number of dispositionalist solutions to the free will problem based on freedom consisting in the agent's exercise of a power. But if a subject a is free when they exercise their power P, there is an objection to be overcome from the possibility of power implantation. A brainwasher, rather than directly manipulating a subject's movements, can instead implant in them a desire, to be understood as a disposition to act, and allow the subject to exercise such a (...) power. It seems that, according to the dispositionalist theory of freedom, such an agent would still count as acting freely. There is a strong non-consent intuition that a is not free in such a case because they did not consent to having the power P—the desire in question. Filling out this intuition is not straightforward. But it can be done in terms of the exercise of P being regulated by higher-order powers of self-reflection. Such regulation is what allows an agent to either take ownership of a power or to reject it. (shrink)

For an artificial agent to be morally praiseworthy, its rules for behaviour and the mechanisms for supplying those rules must not be supplied entirely by external humans. Such systems are a substantial departure from current technologies and theory, and are a low prospect. With foreseeable technologies, an artificial agent will carry zero responsibility for its behavior and humans will retain full responsibility.

The concept of dominance is used in the behavioral and biological sciences to describe outcomes in a variety of competitive interactions. In some taxa, a history of agonistic encounters among individuals modifies the course of future agonistic encounters such that the existence of a certain type of relationship can be inferred. If one is to characterize such relationships as dominance, however, then they must be distinguished from other kinds of interaction patterns for which the term tends to be used, as (...) well as from factors such as territoriality and "trained" winners and losers, which may also influence the expression of agonistic behavior. Operational definitions based on causal, functional, evolutionary, and ontogenetic considerations have been proposed. Reliability and validity problems have been discussed, but the dominance concept has proved useful despite methodological difficulties. The confusion of dominance relationships (which involve two or more individuals) with dominance ranks (which are assigned to a single individual) has obscured the possible evolutionary basis of dominance relationships. If benefits accrue to dominant members of pairs, then those attributes which allow an animal to establish dominance can be selected. Dominance per se and dominance ranks, on the other hand, cannot be genetically transmitted since they constitute relationships with other individuals rather than absolute attributes. Dominance rankings in particular may be useful for describing behavioral patterns within a group, but they may reflect our own ability to count rather than any important variable in social organization. (shrink)