The thinkers who have reflected on the problem of a coming superintelligence have generally seen the issue as a technological problem, a problem of how to control what the superintelligence will do. I argue that this approach is probably mistaken because it is based on questionable assumptions about the behavior of intelligent agents and, moreover, potentially counterproductive because it might, in the end, bring about the existential catastrophe that it is meant to prevent. I contend that the problem posed by (...) a future superintelligence will likely be a political problem, that is, one of establishing a peaceful form of coexistence with other intelligent agents in a situation of mutual vulnerability, and not a technological problem of control. (shrink)

Representationalist accounts of mental content face the threat of the homunculus fallacy. In collapsing the distinction between the conscious state and the conscious subject, self-representational accounts of consciousness possess the means to deal with this objection. We analyze a particular sort of self-representational theory, built on the work of John von Neumann on self-reproduction, using tools from mathematical logic. We provide an explicit theory of the emergence of referential beliefs by means of modal fixed points, grounded in intrinsic properties yielding (...) the subjective aspects of experience. Furthermore, we study complications introduced by allowing for the modification of such symbolic content by environmental influences. (shrink)

Inasmuch as physical theories are formalizable, set theory provides a framework for theoretical physics. Four speculations about the relevance of set theoretical modeling for physics are presented: the role of transcendental set theory (i) in chaos theory, (ii) for paradoxical decompositions of solid three-dimensional objects, (iii) in the theory of effective computability (Church-Turing thesis) related to the possible “solution of supertasks,” and (iv) for weak solutions. Several approaches to set theory and their advantages and disadvatages for physical applications are discussed: (...) Canlorian “naive” (i.e., nonaxiomatic) set theory, contructivism, and operationalism. In the author's opinion, an attitude of “suspended attention” (a term borrowed from psychoanalysis) seems most promising for progress. Physical and set theoretical entities must be operationalized wherever possible. At the same time, physicists should be open to “bizarre” or “mindboggling” new formalisms, which need not be operationalizable or testable at the lime of their creation, but which may successfully lead to novel fields of phenomenology and technology. (shrink)

Why do we have records of the past and not the future? Entropic explanations for this ‘record asymmetry’ have been popular ever since Boltzmann. Foremost amongst these is Albert and Loewer’s account, which explains the record asymmetry using a low-entropy initial macrostate plus an initial probability distribution. However, the details of how this initial state underpins the record asymmetry are not fully specified. In this paper I attempt to plug this explanatory gap in two steps. First, I suggest the record (...) asymmetry is more immediately explained by the ‘fork asymmetry’, which their picture omits. Second, by relating the fork asymmetry to an initial state that’s metaphysically similar to theirs, I clarify how this ultimately underpins the record asymmetry. (shrink)

It is widely held that a successful theory of the mind will be neuroscientific. In this paper we ask, first, what this claim means, and, secondly, whether it is true. In answer to the first question, we argue that the claim is ambiguous between two views--one plausible but unsubstantive, and one substantive but highly controversial. In answer to the second question, we argue that neither the evidence from neuroscience itself nor from other scientific and philosophical considerations supports the controversial view.

When it comes to the question of what kind of moral claim an intelligent or autonomous machine might have, one way to answer this is by way of comparison with humans: Is there a fundamental difference between humans and other entities? If so, on what basis, and what are the implications for science and ethics? This question is inherently imprecise, however, because it presupposes that we can readily determine what it means for two types of entities to be sufficiently different—what (...) I will refer to as being “discontinuous”. In this paper, I will sketch a formal characterization of what it means for types of entities to be unique with regard to each other. This expands upon Bruce Mazlish’s initial formulation of what he terms a continuity between humans and machines, Alan Turing’s epistemological approach to the question of machine intelligence, and Sigmund Freud’s notion of scientific revolutions dealing blows to the self-esteem of mankind. I will discuss on what basis we should regard entities as (dis-)continuous, the corresponding moral and scientific implications, as well as an important difference between what I term downgrading and upgrading continuities—a dramatic difference in how two previously discontinuous types of entities might become continuous. All of this will be phrased in terms of which scientific levels of explanation we need to presuppose, in principle or in practice, when we seek to explain a given type of entity. The ultimate purpose is to provide a framework that defines which questions we need to ask if we argue that two types of entities ought (not) to be explained (hence treated) in the same manner, as well as what it takes to reconsider scientific and ethical hierarchies imposed on the natural and artificial world. (shrink)

Obscurity of expression is considered a flaw. Not so, however, in the speech or writing of intellectual gurus. All too often, what readers do is judge profound what they have failed to grasp. Here I try to explain this guru effect by looking at the psychology of trust and interpretation, at the role of authority and argumentation, and at the effects of these dispositions and processes when they operate at a population level where, I argue, a runaway phenomenon of overappreciation (...) may take place. (shrink)

Sections 3.16 and 3.23 of Roger Penrose's Shadows of the mind (Oxford, Oxford University Press, 1994) contain a subtle and intriguing new argument against mechanism, the thesis that the human mind can be accurately modeled by a Turing machine. The argument, based on the incompleteness theorem, is designed to meet standard objections to the original Lucas-Penrose formulations. The new argument, however, seems to invoke an unrestricted truth predicate (and an unrestricted knowability predicate). If so, its premises are inconsistent. The usual (...) ways of restricting the predicates either invalidate Penrose's reasoning or require presuppositions that the mechanist can reject. (shrink)

Biological evolution is often viewed narrowly as a change of morphology or allele frequency in a sequence of generations. Here I pursue an alternative informational concept of evolution, as preservation, advance, and emergence of functional information in natural agents. Functional information is a network of signs that are used by agents to preserve and regulate their functions. Functional information is preserved in evolution via complex interplay of copying and construction processes: the digital components are copied, whereas interpreting subagents together with (...) scaffolds, tools, and resources, are constructed. Some of these processes are simple and invariant, whereas others are complex and contextual. Advance of functional information includes improvement and modification of already existing functions. Although the genome information may change passively and randomly, the interpretation is active and guided by the logic of agent behavior and embryonic development. Emergence of new functions is based on the reinterpretation of already existing information, when old tools, resources, and control algorithms are adopted for novel functions. Evolution of functional information progressed from protosemiosis, where signs correspond directly to actions, to eusemiosis, where agents associate signs with objects. Language is the most advanced form of eusemiosis, where the knowledge of objects and models is communicated between agents. (shrink)

This essay explores how the human biological self is socially constructed, and rejects various truisms that define our character. Rather than being stand-alone entities, the human biological self forms what biologists call “superorganisms” and what I call “poly-super-organisms.” Thus, along with prokaryotes , viruses, and other entities, we are combined in an inseparable menagerie of species that is spread across multiple bodies. Biologists claim that only males and females are organisms. As described here, however, human sperm and eggs are equally (...) entitled to that rank. Much about human reproduction is also socially constructed. For example, contrary to scientific wisdom, humans have always reproduced both sexually and asexually. Moreover, human life does not begin between conception and birth, and neither event creates new life. In addition, some cancer cells are organisms; they are contagious entities formed by asexual human reproduction. Finally, while science universally describes humans as being living entities, accumulating evidence makes clear that the life concept is failing. In fact, much that originates from human bodies does not fall under current biological or cultural classifications.How we construct the human biological self has consequences for understanding our health, how we reproduce, and what we are. These social constructions greatly influence our views on abortion, stem-cell research, human cloning, and our post-human future. A more accurate construction of the human biological self will help us better navigate these contentious issues. (shrink)

There are possible artificially intelligent beings who do not differ in any morally relevant respect from human beings. Such possible beings would deserve moral consideration similar to that of human beings. Our duties to them would not be appreciably reduced by the fact that they are non-human, nor by the fact that they owe their existence to us. Indeed, if they owe their existence to us, we would likely have additional moral obligations to them that we don’t ordinarily owe to (...) human strangers – obligations similar to those of parent to child or god to creature. Given our moral obligations to such AIs, two principles for ethical AI design recommend themselves: (1) design AIs that tend to provoke reactions from users that accurately reflect the AIs’ real moral status, and (2) avoid designing AIs whose moral status is unclear. Since human moral intuition and moral theory evolved and developed in contexts without AI, those intuitions and theories might break down or become destabilized when confronted with the wide range of weird minds that AI design might make possible. (shrink)

A goal of most interpretations of quantum mechanics is to avoid the apparent intrusion of the observer into the measurement process. Such intrusion is usually seen to arise because observation somehow selects a single actuality from among the many possibilities represented by the wavefunction. The issue is typically treated in terms of the mathematical formulation of the quantum theory. We attempt to address a different manifestation of the quantum measurement problem in a theory-neutral manner. With a version of the two-slit (...) experiment, we demonstrate that an enigma arises directly from the results of experiments. Assuming that no observable physical phenomena exist beyond those predicted by the theory, we argue that no interpretation of the quantum theory can avoid a measurement problem involving the observer. (shrink)

Certain selected issues around the Gödelian anti-mechanist arguments which have received less attention are discussed.

This paper reassesses the criticism of the Lucas-Penrose anti-mechanist argument, based on Gödel’s incompleteness theorems, as formulated by Krajewski : this argument only works with the additional extra-formal assumption that “the human mind is consistent”. Krajewski argues that this assumption cannot be formalized, and therefore that the anti-mechanist argument – which requires the formalization of the whole reasoning process – fails to establish that the human mind is not mechanistic. A similar situation occurs with a corollary to the argument, that (...) the human mind allegedly outperforms machines, because although there is no exhaustive formal definition of natural numbers, mathematicians can successfully work with natural numbers. Again, the corollary requires an extra-formal assumption: “PA is complete” or “the set of all natural numbers exists”. I agree that extra-formal assumptions are necessary in order to validate the anti-mechanist argument and its corollary, and that those assumptions are problematic. However, I argue that formalization is possible and the problem is instead the circularity of reasoning that they cause. The human mind does not prove its own consistency, and outperforms the machine, simply by making the assumption “I am consistent”. Starting from the analysis of circularity, I propose a way of thinking about the interplay between informal and formal in mathematics. (shrink)

If the physical mind is located in quantized space of the brain then how does the physical mind become the self? This remains an unresolved problem. It can be restated as how mental representations or mental states get their informational contents, and of doing so in terms of the natural functions brain states have? We call these natural brain functions not teleosemantic functions, but rather teleological functions. This is because teleosemantics portrays mental representations which must have informational contents that track (...) “operational explanations of cognitive capacities” while teleological functions do not as they are hidden in quantized space, suggesting that mind is physical. Specifically teleonomic capacities have been built into us by natural selection, which naturally leads to a teleogical notion of function. Our claim is that teleofunctionality as unification of mental states has natural functions that carry intrinsic dispositions that may be broadly defined as ‘subjectivity’ or intrinsic information content of mental states. Mental states have intrinsic dispositions to change their functions, producing correspondences to the world that includes further layers of subtlety hidden in quantized space. How does intrinsic information self-replicate content in cases of mental misrepresentation? The putative special virtue of teleosemantics and its ability to give a theory of error through ‘uncertainty’ is discussed based on a teleological functionalist epistemology. (shrink)

In his 1951 Gibbs Memorial Lecture, Kurt Gödel put forth his famous disjunction that either the power of the mind outstrips that of any machine or there are absolutely unsolvable problems. The view that there are no absolutely unsolvable problems is optimism, the view that there are such problems is pessimism. In his 1995—and, revised in 2013—Verificationism Then and Now, Per Martin-Löf presents an illustrative argument for a constructivist form of optimism. In response to that argument, Solomon Feferman points out (...) that Martin-Löf’s reasoning relies upon constructive understandings of key philosophical notions. In the vein of Feferman’s analysis, one might be object to Martin-Löf’s argument for either its reliance upon constructivist considerations, or for its appeal to non-unproblematically mathematical premises. We argue that both of these responses fall short. On one hand, to be critical of Martin-Löf’s reasoning for its constructiveness is to reject what would otherwise be a scientific advance on the basis of the assumption of constructivism’s falsehood or implausibility, which is of course uncharitable at best. On the other hand, to object to the argument for its use of non-unproblematically mathematical premises is to assume that there is some philosophically neutral mathematics, which is implausible. Martin-Löf’s argument relies upon his third law, the claim that from the impossibility of a proof of a proposition we can construct a proof of its negation. We close with a discussion of some ways in which this claim can be criticized from the constructive point of view. Specifically, we contend that Martin-Löf’s third law is incompatible with what has been called “Poincaré’s Principle of Epistemic Conservation”, the thesis that genuine increase in mathematical knowledge requires subject-specific insight. (shrink)

A critical re-examination of the history of the concepts of space (including spacetime of general relativity and relativistic quantum field theory) reveals a basic ontological elusiveness of spatial extension, while, at the same time, highlighting the fact that its epistemic primacy seems to be unavoidably imposed on us (as stated by A.Einstein “giving up the extensional continuum … is like to breathe in airless space”). On the other hand, Planck’s discovery of the atomization of action leads to the fundamental recognition (...) of an ontology of non-spatial, abstract entities (Quine) for the quantum level of reality (QT), as distinguished from the necessarily spatio-temporal, experimental revelations (measurements). The elementary quantum act (measured by Planck’s constant) has neither duration nor extension, and any genuinely quantum process literally does not belong in the Raum and time of our experience. As Heisenberg stresses: “Während also die klassische Physik ein objectives Geschehen in Raum and Zeit zum Gegenstand hat, für dessen Existenz seine Beobachtung völlig irrelevant war, behandelt die Quantentheorie Vorgänge, die sozusagen nur in den Momenten der Beobachtung als raumzeitliche Phänomene aufleuchten, und über die in der zwischenzeit anschaulische physikalische Aussagen sinloss sind”. An admittedly speculative, hazardous conjecture is then advanced concerning the relation of such quantum ontology with the role of the pre-phenomenal continuum (Husserl) in the perception of macroscopically distinguishable objects in the Raum and time of our experience. Although rather venturesome, it brings together important philosophical issues. Coherently with recent general results in works on the foundations of QT, it is assumed that the linearity of quantum dynamical evolution does not apply to the central nervous system of living beings at a certain level of the evolutionary ramification and at the pre-conscious stage of subjectivity. Accordingly, corresponding to the onset of a non-linear dynamic evolution, a ‘primary spatial’ reduction is ‘continually’ taking place, thereby constituting the neural precondition for the experience of distinguishable macroscopic objects in the continuous spatial extension. While preventing the theoretically possible quantum superpositions of macroscopic objects from being perceivable by living beings, the ‘primary reduction’ has no effect on the standard processes concerning quantum level entities involved in laboratory man-made experiments. In this connection, an experimental check which might falsify the conjecture is briefly discussed. The approach suggested here, if sound, leads to a naturalization of that part of Kant’s Transcendental Aesthetics than can survive the Euclidean catastrophe. According to such naturalized transcendentalism, “space can well be transcendental without the axioms being so”, in agreement with a well-known statement by Boltzman. Finally, as far as QT is concerned, the conjecture entails that a scheme for quantum measurement of the von Neumann type cannot even ‘leave the ground’, vindicating Bohr’s viewpoint. A quantum theory of measurement, in a proper sense, turns out to be unnecessary and in fact impossible. (shrink)

In computational complexity theory, decision problems are divided into complexity classes based on the amount of computational resources it takes for algorithms to solve them. In theoretical computer science, it is commonly accepted that only functions for solving problems in the complexity class P, solvable by a deterministic Turing machine in polynomial time, are considered to be tractable. In cognitive science and philosophy, this tractability result has been used to argue that only functions in P can feasibly work as computational (...) models of human cognitive capacities. One interesting area of computational complexity theory is descriptive complexity, which connects the expressive strength of systems of logic with the computational complexity classes. In descriptive complexity theory, it is established that only first-order systems are connected to P, or one of its subclasses. Consequently, second-order systems of logic are considered to be computationally intractable, and may therefore seem to be unfit to model human cognitive capacities. This would be problematic when we think of the role of logic as the foundations of mathematics. In order to express many important mathematical concepts and systematically prove theorems involving them, we need to have a system of logic stronger than classical first-order logic. But if such a system is considered to be intractable, it means that the logical foundation of mathematics can be prohibitively complex for human cognition. In this paper I will argue, however, that this problem is the result of an unjustified direct use of computational complexity classes in cognitive modelling. Placing my account in the recent literature on the topic, I argue that the problem can be solved by considering computational complexity for humanly relevant problem solving algorithms and input sizes. (shrink)

Following Marr’s famous three-level distinction between explanations in cognitive science, it is often accepted that focus on modeling cognitive tasks should be on the computational level rather than the algorithmic level. When it comes to mathematical problem solving, this approach suggests that the complexity of the task of solving a problem can be characterized by the computational complexity of that problem. In this paper, I argue that human cognizers use heuristic and didactic tools and thus engage in cognitive processes that (...) make their problem solving algorithms computationally suboptimal, in contrast with the optimal algorithms studied in the computational approach. Therefore, in order to accurately model the human cognitive tasks involved in mathematical problem solving, we need to expand our methodology to also include aspects relevant to the algorithmic level. This allows us to study algorithms that are cognitively optimal for human problem solvers. Since problem solving methods are not universal, I propose that they should be studied in the framework of enculturation, which can explain the expected cultural variance in the humanly optimal algorithms. While mathematical problem solving is used as the case study, the considerations in this paper concern modeling of cognitive tasks in general. (shrink)

The information loss paradox is often presented as an unavoidable consequence of well-established physics. However, in order for a genuine paradox to ensue, not-trivial assumptions about, e.g., quantum effects on spacetime, are necessary. In this work we will be explicit about these additional, speculative assumptions required. We will also sketch a map of the available routes to tackle the issue, highlighting the, often overlooked, commitments demanded of each alternative. Finally, we will display the strong link between black holes, the issue (...) of information loss and the measurement problem. (shrink)

Many mathematicians are platonists: they believe that the axioms of mathematics are true because they express the structure of a nonspatiotemporal, mind independent, realm. But platonism is plagued by a philosophical worry: it is unclear how we could have knowledge of an abstract, realm, unclear how nonspatiotemporal objects could causally affect our spatiotemporal cognitive faculties. Here I aim to make room in our metaphysical picture of the world for the causal relevance of abstracta.

Many non-physicalists, including Chalmers, hold that the zombie argument succeeds in rejecting the physicalist view of consciousness. Some non-physicalists, including, again, Chalmers, hold that quantum collapse interactionism, i.e., the idea that non-physical consciousness causes collapse of the wave function in phenomena such as quantum measurement, is a viable interactionist solution for the problem of the relationship between the physical world and the non-physical consciousness. In this paper, I argue that if QCI is true, the zombie argument fails. In particular, I (...) show that if QCI is true, a zombie world physically identical to our world is impossible because there is at least one law of nature, a fundamental law of physics in particular, that exist only in the zombie world but not in our world. This shows that philosophers like Chalmers are committing an error in endorsing the zombie argument and QCI at the same time. (shrink)

This paper investigates the view that digital hypercomputing is a good reason for rejection or re-interpretation of the Church-Turing thesis. After suggestion that such re-interpretation is historically problematic and often involves attack on a straw man (the ‘maximality thesis’), it discusses proposals for digital hypercomputing with Zeno-machines , i.e. computing machines that compute an infinite number of computing steps in finite time, thus performing supertasks. It argues that effective computing with Zeno-machines falls into a dilemma: either they are specified such (...) that they do not have output states, or they are specified such that they do have output states, but involve contradiction. Repairs though non-effective methods or special rules for semi-decidable problems are sought, but not found. The paper concludes that hypercomputing supertasks are impossible in the actual world and thus no reason for rejection of the Church-Turing thesis in its traditional interpretation. (shrink)

In this article, I will argue that the argument for fatalism based on the relativity of simultaneity fails. The original proponents of the argument called the thesis in terms of ‘determinism’, but Levin refers to it as ‘relativistic fatalism’. Relativistic fatalism is a view supported by the alleged dependence of the property of being future on an arbitrary choice of some coordinate system. First I will try to explain the classic argument, attributed to it a dialectic that justified to call (...) it in the same terms as Levin did. Subsequently, I will refuse the relativistic fatalism using many strategies to deal with it. (shrink)

It has been argued that neural networks and other forms of analog computation may transcend the limits of Turing-machine computation; proofs have been offered on both sides, subject to differing assumptions. In this article I argue that the important comparisons between the two models of computation are not so much mathematical as epistemological. The Turing-machine model makes assumptions about information representation and processing that are badly matched to the realities of natural computation (information representation and processing in or inspired by (...) natural systems). This points to the need for new models of computation addressing issues orthogonal to those that have occupied the traditional theory of computation. (shrink)

This paper draws attention to the tendency of a range of technologies to reduce pedagogical interactions to a series of datafied transactions of information. This is problematic because such transactions are always by definition reducible to finite possibilities. As the ability to gather and analyse data becomes increasingly fine-grained, the threat that these datafied approaches over-determine the pedagogical space increases. Drawing on the work of Hegel, as interpreted by twentieth century French radical philosopher Alexandre Kojève, this paper develops a model (...) of relational pedagogy which highlights three points of incompatibility with a datafied learning environment reduced to finite measures. Firstly: Kojève’s accont of authority in Hegel posits two aspects to the mimetic relation between teacher and student: recognition and realisation, which belong to the ipseity or about-self-ness of the subject, and are incompatible with a general definition of data. Secondly, the Hegelian approach to human historical time, in particular the assertion that time and desire are begun in the future, not the past, renders it incompatible with mathematical time as used in data processing. Finally, from these it is possible to derive a distinctive notion of the work of pedagogy, grounded in Kojève’s realist reading of Hegel, irreducible to information processing. In consequence of this threefold irreducibility, the paper draws attention to a need for relations of human pedagogical work to be inherent in the design of educational technologies and highlights the dangers of presuming a machine intelligence model in the design of learning environments. (shrink)

The philosophy of information (PI) is a new area of research with its own field of investigation and methodology. This article, based on the Herbert A. Simon Lecture of Computing and Philosophy I gave at Carnegie Mellon University in 2001, analyses the eighteen principal open problems in PI. Section 1 introduces the analysis by outlining Herbert Simon's approach to PI. Section 2 discusses some methodological considerations about what counts as a good philosophical problem. The discussion centers on Hilbert's famous analysis (...) of the central problems in mathematics. The rest of the article is devoted to the eighteen problems. These are organized into five sections: problems in the analysis of the concept of information, in semantics, in the study of intelligence, in the relation between information and nature, and in the investigation of values. (shrink)

Many physicists have thought that absolute time became otiose with the introduction of Special Relativity. William Lane Craig disagrees. Craig argues that although relativity is empirically adequate within a domain of application, relativity is literally false and should be supplanted by a Neo-Lorentzian alternative that allows for absolute time. Meanwhile, Craig and co-author James Sinclair have argued that physical cosmology supports the conclusion that physical reality began to exist at a finite time in the past. However, on their view, the (...) beginning of physical reality requires the objective passage of absolute time, so that the beginning of physical reality stands or falls with Craig's Neo-Lorentzian metaphysics. Here, I raise doubts about whether, given Craig's NeoLorentzian metaphysics, physical cosmology could adequately support a beginning of physical reality within the finite past. Craig and Sinclair's conception of the beginning of the universe requires a past boundary to the universe. A past boundary to the universe cannot be directly observed and so must be inferred from the observed matter-energy distribution in conjunction with auxilary hypotheses drawn from a substantive physical theory. Craig's brand of Neo Lorentzianism has not been sufficiently well specified so as to infer either that there is a past boundary or that the boundary is located in the finite past. Consequently, Neo Lorentzianism implicitly introduces a form of skepticism that removes the ability that we might have otherwise had to infer a beginning of the universe. Furthermore, in analyzing traditional big bang models, I develop criteria that Neo-Lorentzians should deploy in thinking about the direction and duration of time in cosmological models generally. For my last task, I apply the same criteria to bounce cosmologies and show that Craig and Sinclair have been wrong to interpret bounce cosmologies as including a beginning of physical reality. (shrink)

The ‘indispensability argument’ for the existence of mathematical objects appeals to the role mathematics plays in science. In a series of publications, Joseph Melia has offered a distinctive reply to the indispensability argument. The purpose of this paper is to clarify Melia’s response to the indispensability argument and to advise Melia and his critics on how best to carry forward the debate. We will begin by presenting Melia’s response and diagnosing some recent misunderstandings of it. Then we will discuss four (...) avenues for replying to Melia. We will argue that the three replies pursued in the literature so far are unpromising. We will then propose one new reply that is much more powerful, and—in the light of this—advise participants in the debate where to focus their energies. (shrink)

We discuss Boltzmann’s probabilistic explanation of the second law of thermodynamics providing a comprehensive presentation of what is called today the typicality account. Countering its misconception as an alternative explanation, we examine the relation between Boltzmann’s H-theorem and the general typicality argument demonstrating the conceptual continuity between the two. We then discuss the philosophical dimensions of the concept of typicality and its relevance for scientific reasoning in general, in particular for understanding the reduction of macroscopic laws to microscopic laws. Finally, (...) we reply to various common criticisms of the typicality account. (shrink)

Benjamin Libet compared the perceived time of direct brain stimulation to the perceived time of skin stimulation. His results are among the most controversial experiments at the interface between psychology and philosophy. The new element that I bring to this discussion is a reanalysis of Libet's raw data. Libet's original data were difficult to interpret because of the manner in which they were presented in tables. Plotting the data as psychometric functions shows that the observers have great uncertainty about the (...) relative timing of events, as seen the shallow psychometric slopes. A second indication of uncertainty comes from Libet's use of three response categories, A first; B first; and A and B simultaneous. The large number of “perceptually simultaneous” responses provides a further measure of the difficulty of the judgment. There are thus a very broad range of stimulus delays in which the subject is unable to make an accurate ordering response. These points provide evidence that there is no compelling reason to invent exotic or ad hoc mechanisms to account for Libet's data since the uncertainty window is large enough to allow simple mechanism such as memory shifts. Libet argued that his data provide evidence for a backward referral in time. I argue that even though Libet's own data are weak, there are good arguments for a backward referral mechanism to help the subject make sense out of the tangled chaos of asynchronous information associated with experienced events. (shrink)

This issue of Consciousness and Cognition presents four target articles and eight commentaries on the target articles. The present article presents comments on those commentaries, grouped into backward referral and volition categories. Regarding backward referral: I disagree with my fellow commentators and take the unpopular position of defending Libet's notion of backward referral. I join my fellow commentators in critiquing Libet's notion of a 500-ms delay. I examine several of the hypotheses suggested by other commentators for why cortical and lateral (...) meniscus stimulation give very different timing results. I suggest a simple experiment to help discriminate among the hypotheses. I comment on why temporal reordering is more likely to occur late rather than early in mental processing. Regarding Libet's volition experiments, I ask what is the root of the controversy, given the general agreement on the data. I agree with a commentator that Libet's chronotheology rather than his chronoscience is the cause of much of the controversy. Rather than joining others in criticizing Libet for his chronotheology I point out that he is making a respectable philosophical point regarding nondeterministic Free Will, but one that is easily misunderstood. I discuss two ways by which Libet's viewpoint can be brought into mainstream science. (shrink)

A quantum measurement-like event can produce any of a number of macroscopically distinct results, with corresponding macroscopically distinct gravitational fields, from the same initial state. Hence the probabilistically evolving large-scale structure of space-time is not precisely or even always approximately described by the deterministic Einstein equations.Since the standard treatment of gravitational wave propagation assumes the validity of the Einstein equations, it is questionable whether we should expect all its predictions to be empirically verified. In particular, one might expect the stochasticity (...) of amplified quantum indeterminacy to cause coherent gravitational wave signals to decay faster than standard predictions suggest. This need not imply that the radiated energy flux from gravitational wave sources differs from standard theoretical predictions. An underappreciated bonus of gravitational wave astronomy is that either detecting or failing to detect predicted gravitational wave signals would constrain the form of the semi-classical theory of gravity that we presently lack. (shrink)

Using a combination of reviewing the extensive relevant literature, the author's original scientific research, and exploring the boundaries of human experiences, this article develops a model for consciousness. As a consequence, consciousness is elevated in the scientific understanding of the structure of the Universe, possibly enabling easier interpretation of such concepts as the anthropic principle and quantum physics. The handling of information is a key, leading to a review of the Information Field theory, together with a preliminary attempt at striking (...) the appropriate balance between mind and matter. (shrink)

Проблема осмислення машинного інтелекту постає для сучасної філософії як комплексне та багатовимірне завдання. Одним з найбільш дискусійних питань в цьому контексті є створення і гіпотетичне майбутнє машинного інтелекту, що самовизначається. Особливої актуальності у цьому зв’язку набувають також різні трансгуманістичні ідеї. Ці ідеї висловлюють турботу про певне благо, хоча й у своєму специфічному розумінні. Мається на увазі благо як для сучасної людини, так і для тих, кого розглядають у якості інших форм людини. В ході взаємозбагачення понять, що позначають різні напрямки комп’ютеризації (...) і трансгуманізму, виникає дещо якісно нове: поняття машинного інтелекту, що самовизначається, в його сучасному вигляді. Однак повний опис і адекватне розуміння такого типу інтелекту є надскладним завданням. В цьому випадку потрібно створення загальної «метамоделі», яка «обіцяє» досягнення мети. Така «метамодель» повинна послідовно породжувати відповідні дослідницькі проблеми для більш локальних досліджень. Але на певному етапі вона може виявитися однією з тих самих «парадигм», що, як писав Т. Кун, припинили породжувати дослідницькі проблеми й замість цього перетворилися на засоби інженерних дисциплін. Отже, потрібно відзначити, що заперечення важливості реагування на можливі загрози на рівні загальної «метамоделі» може надати прецедент для нереагування і на будь-яку іншу «менш гіпотетичну» небезпеку. Адекватним методологічним принципом для вирішення цієї проблеми, на нашу думку, є принцип обережності. Згідно з цим принципом наукове співтовариство і суспільство загалом повинні йти назустріч одне одному. Мова йде як про пізнання реального підґрунтя побоювань суспільства щодо невизначеності перспектив науково-технічного зростання, так і про популяризацію наукових знань, подолання міфів, пов’язаних з наукою та популярних серед неспеціалістів, тощо. Слід створювати резерви для відповідей на ймовірні, а не тільки на впевнено прогнозовані загрози. Ці резерви мають створюватися і в ході подальших наукових досліджень, і в ході гуманізації науки та суспільства, в ході гуманізації людської ментальності як глибинного, стійкого чинника духовної сфери. Отже, саме ці процеси забезпечують вже зараз і забезпечуватимуть у майбутньому готовність суспільства адекватно реагувати на кризові ситуації. (shrink)

In his seminal 1960 paper, the physicist Eugene Wigner formulated the question of the applicability of mathematics in physics in a way nobody had before. This formulation has been entirely overlooked due to an exclusive concern with solving Wigner’s problem and explaining the effectiveness of mathematics in the natural sciences, in one way or another. Many have attempted to attribute Wigner’s unjustified conclusion—that mathematics is unreasonably effective in the natural sciences—to his formalist views on mathematics. My goal is to show (...) that this reading misses out on Wigner’s highly original formulation of the problem which is presented throughout his body of work in physics as well as in philosophy. This formulation, as I will show, leads us in a new direction in solving the applicability problem. (shrink)

Theoretical commentaries on AI often operate as a metadiscourse on the way in which science represents itself to a wider public. The sciences and humanities do the same kind of work but in different fields that encourage them to talk about their work differently: science refers to a natural world that does not talk back, and the humanities refer continually to a world with communicative people in it. This paper suggests that much AI commentary is misconceived because it models itself (...) on the way that science represents itself, rather than on the actual practice of science.AI theorists have become increasingly worried about the lack of evaluation in AI, the lack of reflexivity, and the lack of contact with society. Frequently these writers turn to concepts of tacit knowledge to work through these worries. In doing so they are recognising the problem of AI's second-order representation of science and trying to deal with it. However, this recognition of a problem with the representations of science simply turns back to the legitimation crisis of Western politics where many commentators use science precisely as a ‘model’ for western political institutions. They do so because science is one of the few areas of knowledge where it has been legitimate to use plausible methodology for representation that allows for arbitrary designations of authority as well as parallel systems of different authority. However, the plausible rejects any control on reflexivity, assumes an ethnocentric club culture and does not address social context.It is in this sense that the problems of legitimation in political liberalism are similar to those of legitimation in sciences, both are rooted in their uses of representation. AI's link with the representation of science places it in the heart of this debate about legitimacy. This paper suggests that AI does need to learn about reflexivity and that it might well do so by looking at the recent work on experimentation and representation by historians of science, and by looking to the debates about representation by historians of science, and by looking to the debates about representation within the humanities. However, reflexivity may not be enough. Devising rules of thumb for the appropriate halting of reflexivity, is also needed to address social context and take action. (shrink)