Scientific behavior is used as a benchmark to examine the truth status of computationalism (COMP) as a law of nature. A COMP-based artificial scientist is examined from three simple perspectives to see if they shed light on the truth or falsehood of COMP through its ability or otherwise, to deliver authentic original science on the a priori unknown like humans do. The first perspective (A) looks at the handling of ignorance and supports a claim that COMP is "trivially true" or (...) "pragmatically false" in the sense that you can simulate a scientist if you already know everything, which is a state that renders the simulation possible but pointless. The second scenario (B) is more conclusive and unusual in that it reveals that the COMP scientist can never propose/debate that COMP is a law of nature. This marked difference between the human and the artificial scientist in this single, very specific circumstance, means that COMP cannot be true as a general claim. The third scenario (C) examines the artificial scientist's ability to do science on itself/humans to uncover the "law of nature" which results in itself. This scenario reveals that a successful test for scientific behavior by a COMP-based artificial scientist supports a claim that COMP is true. Such a test is quite practical and can be applied to an artificial scientist based on any design principle, not merely COMP. Scenario (C) also reveals a practical example of the COMP scientist's inability to handle informal systems (in the form of liars), which further undermines COMP. Overall, the result is that COMP is false, with certainty in one very specific, critical place. This lends support to the claims (i) that artificial general intelligence will not succeed based on COMP principles, and (ii) computationally enacted abstract models of human cognition will never create a mind. (shrink)

This book reports on the results of the third edition of the premier conference in the field of philosophy of artificial intelligence, PT-AI 2017, held on November 4 - 5, 2017 at the University of Leeds, UK. It covers: advanced knowledge on key AI concepts, including complexity, computation, creativity, embodiment, representation and superintelligence; cutting-edge ethical issues, such as the AI impact on human dignity and society, responsibilities and rights of machines, as well as AI threats to humanity and AI safety; (...) and cutting-edge developments in techniques to achieve AI, including machine learning, neural networks, dynamical systems. The book also discusses important applications of AI, including big data analytics, expert systems, cognitive architectures, and robotics. It offers a timely, yet very comprehensive snapshot of what is going on in the field of AI, especially at the interfaces between philosophy, cognitive science, ethics and computing. (shrink)

According to David Chalmers, the hard problem of consciousness consists of explaining how and why qualitative experience arises from physical states. Moreover, Chalmers argues that materialist and reductive explanations of mentality are incapable of addressing the hard problem. In this chapter, I suggest that Chalmers’ hard problem can be usefully distinguished into a ‘how question’ and ‘why question,’ and I argue that evolutionary biology has the resources to address the question of why qualitative experience arises from brain states. From this (...) perspective, I discuss the different kinds of evolutionary explanations (e.g., adaptationist, exaptationist, spandrel) that can explain the origins of the qualitative aspects of various conscious states. This argument is intended to clarify which parts of Chalmers’ hard problem are amenable to scientific analysis. (shrink)

Excitation at widely dispersed loci in the cerebral cortex may represent a neural correlate of consciousness. Accordingly, each unique combination of excited neurons would determine the content of a conscious moment. This conceptualization would be strengthened if we could identify what orchestrates the various combinations of excited neurons. In the present paper, cholinergic afferents to the cerebral cortex are hypothesized to enhance activity at specific cortical circuits and determine the content of a conscious moment by activating certain combinations of postsynaptic (...) sites in select cortical modules. It is proposed that these selections are enabled by learning-related restructuring that simultaneously adjusts the cytoskeletal matrix at specific constellations of postsynaptic sites giving all a similar geometry. The underlying mechanism of conscious awareness hypothetically involves cholinergic mediation of linkages between microtubules and microtubule-associated protein-2 . The first reason for proposing this mechanism is that previous studies indicate cognitive-related changes in MAP-2 occur in cholinoceptive cells within discrete cortical modules. These cortical modules are found throughout the cerebral cortex, measure 1–2 mm2, and contain approximately 103–104cholinoceptive cells that are enriched with MAP-2. The subsectors of the hippocampus may function similarly to cortical modules. The second reason for proposing the current mechanism is that the MAP-2 rich cells throughout the cerebral cortex correspond almost exactly with the cortical cells containing muscarinic receptors. Many of these cholinoceptive, MAP-2 rich cells are large pyramidal cell types, but some are also small pyramidal cells and nonpyramidal types. The third reason for proposing the current mechanism is that cholinergic afferents are module-specific; cholinergic axons terminate wholly within individual cortical modules. The cholinergic afferents may be unique in this regard. Finally, the tapering apical dendrites of pyramidal cells are proposed as primary sites for cholinergic mediation of linkages between MAP-2 and microtubules because especially high amounts of MAP-2 are found here. Also, the possibility is raised that muscarinic actions on MAP-2 could modulate microtubular coherence and self-collapse, phenomena that have been suggested to underlie consciousness. (shrink)

In this paper we consider the creative realisation of new beings — namely, cyborgs. These can be brought about in a number of ways, and several versions are discussed. A key feature is merging biological and technological sections into an overall living operational whole. A practical look is taken at how the use of implant and electrode technology can be employed to open up new paths between humans/animals and technology, especially linking the brain directly with external entities. Actual experimentation in (...) each of the different cyborg forms perhaps defines the paper’s contents more than anything else. Considered are RFID implants, magnet implants, deep brain stimulation, Braingate implants and growing biological brains in robot bodies. (shrink)

We argue that thinking of the man-machine comparison in terms of a contest involves, in a reasonable scenario, a criterion of success that is neutral. This is because we want to avoid a petitio principii. We submit, however, that, by looking at things this way, one makes the most essential human things invisible. Thus, in a sense, the contest approach is self-defeating.

Over the past century phenomenology has ably analyzed the basic structuresof consciousness as we experience it. Yet recent philosophy of mind, lookingto brain activity and computational function, has found it difficult to makeroom for the structures of subjectivity and intentionality that phenomenologyhas appraised. In order to understand consciousness as something that is bothsubjective and grounded in neural activity, we need to delve into phenomenologyand ontology. I draw a fundamental distinction in ontology among the form,appearance, and substrate of any entity. Applying (...) this three-facet ontology toconsciousness, we distinguish: the intentionality of consciousness ,the way we experience consciousness ,and the physical, biological, and cultural basis of consciousness .We can thus show how these very different aspects of consciousness fit togetherin a fundamental ontology. And we can thereby define the proper domains ofphenomenology and other disciplinesthat contribute to our understanding of consciousness. (shrink)

The aim of this paper is to present some philosophical considerations about the supposed AI emergence in the future. However, the predicted timeline of this process is uncertain. To avoid any kind of speculations on the proposed analysis from a scientific point of view, a metaphysical approach is undertaken as a modal context of the discussion. I argue that modal claim about possible AI emergence at a certain point of time in the future is justified from a temporal perspective. Therefore, (...) worldwide society must be prepared for possible AI emergence and the expected profound impact of such an event on the existential status of humanity. (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)

If education is to make a difference it is widely acknowledged that we must aim to educate for understanding, but this means being clear about what we mean by understanding. This paper argues for a concept of personal understanding, recognising both the commonality and individuality of each pupil's understandings, and the relationship between understanding and interpretation, analysis and synopsis, and the quest for meaning. In supporting this view, the paper advocates an emergentist notion of person‐hood, and considers the neurophysiological reasons (...) for asserting the individuality of human minds, brains, and the creation of personal meanings. The notion of personal meanings would, however, seem to run counter to the post‐modern denial of the autonomous self, and the tradition in philosophy, most recently stemming from Wittgenstein, that insists that meanings and understandings are essentially social, and not personal—a view also advocated by John White in regard to education. In contrast, this paper argues that meanings and understandings are both social and personal. Once we reinstate the notion of personal minds and personal understandings, alongside the social, we may see more clearly what it means to educate for understanding, and why this might begin to make a difference. (shrink)

In this transdisciplinary article which stems from philosophical considerations (that depart from phenomenology—after Merleau-Ponty, Heidegger and Rosen—and Hegelian dialectics), we develop a conception based on topological (the Moebius surface and the Klein bottle) and geometrical considerations (based on torsion and non-orientability of manifolds), and multivalued logics which we develop into a unified world conception that surmounts the Cartesian cut and Aristotelian logic. The role of torsion appears in a self-referential construction of space and time, which will be further related to (...) the commutator of the True and False operators of matrix logic, still with a quantum superposed state related to a Moebius surface, and as the physical field at the basis of Spencer-Brown’s primitive distinction in the protologic of the calculus of distinction. In this setting, paradox, self-reference, depth, time and space, higher-order non-dual logic, perception, spin and a time operator, the Klein bottle, hypernumbers due to Musès which include non-trivial square roots of ±1 and in particular non-trivial nilpotents, quantum field operators, the transformation of cognition to spin for two-state quantum systems, are found to be keenly interwoven in a world conception compatible with the philosophical approach taken for basis of this article. The Klein bottle is found not only to be the topological in-formation for self-reference and paradox whose logical counterpart in the calculus of indications are the paradoxical imaginary time waves, but also a classical-quantum transformer (Hadamard’s gate in quantum computation) which is indispensable to be able to obtain a complete multivalued logical system, and still to generate the matrix extension of classical connective Boolean logic. We further find that the multivalued logic that stems from considering the paradoxical equation in the calculus of distinctions, and in particular, the imaginary solutions to this equation, generates the matrix logic which supersedes the classical logic of connectives and which has for particular subtheories fuzzy and quantum logics. Thus, from a primitive distinction in the vacuum plane and the axioms of the calculus of distinction, we can derive by incorporating paradox, the world conception succinctly described above. (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)

Classical (Bayesian) probability (CP) theory has led to an influential research tradition for modeling cognitive processes. Cognitive scientists have been trained to work with CP principles for so long that it is hard even to imagine alternative ways to formalize probabilities. However, in physics, quantum probability (QP) theory has been the dominant probabilistic approach for nearly 100 years. Could QP theory provide us with any advantages in cognitive modeling as well? Note first that both CP and QP theory share the (...) fundamental assumption that it is possible to model cognition on the basis of formal, probabilistic principles. But why consider a QP approach? The answers are that (1) there are many well-established empirical findings (e.g., from the influential Tversky, Kahneman research tradition) that are hard to reconcile with CP principles; and (2) these same findings have natural and straightforward explanations with quantum principles. In QP theory, probabilistic assessment is often strongly context- and order-dependent, individual states can be superposition states (that are impossible to associate with specific values), and composite systems can be entangled (they cannot be decomposed into their subsystems). All these characteristics appear perplexing from a classical perspective. However, our thesis is that they provide a more accurate and powerful account of certain cognitive processes. We first introduce QP theory and illustrate its application with psychological examples. We then review empirical findings that motivate the use of quantum theory in cognitive theory, but also discuss ways in which QP and CP theories converge. Finally, we consider the implications of a QP theory approach to cognition for human rationality. (shrink)

The conservation of energy and momentum have been viewed as undermining Cartesian mental causation since the 1690s. Modern discussions of the topic tend to use mid-nineteenth century physics, neglecting both locality and Noether’s theorem and its converse. The relevance of General Relativity has rarely been considered. But a few authors have proposed that the non-localizability of gravitational energy and consequent lack of physically meaningful local conservation laws answers the conservation objection to mental causation: conservation already fails in GR, so there (...) is nothing for minds to violate. This paper is motivated by two ideas. First, one might take seriously the fact that GR formally has an infinity of rigid symmetries of the action and hence, by Noether’s first theorem, an infinity of conserved energies-momenta. Second, Sean Carroll has asked how one should modify the Dirac–Maxwell–Einstein equations to describe mental causation. This paper uses the generalized Bianchi identities to show that General Relativity tends to exclude, not facilitate, such Cartesian mental causation. In the simplest case, Cartesian mental influence must be spatio-temporally constant, and hence 0. The difficulty may diminish for more complicated models. Its persuasiveness is also affected by larger world-view considerations. The new general relativistic objection provides some support for realism about gravitational energy-momentum in GR. Such realism also might help to answer an objection to theories of causation involving conserved quantities, because energies-momenta would be conserved even in GR. (shrink)

Since Leibniz's time, Cartesian mental causation has been criticized for violating the conservation of energy and momentum. Many dualist responses clearly fail. But conservation laws have important neglected features generally undermining the objection. Conservation is _local_, holding first not for the universe, but for everywhere separately. The energy in any volume changes only due to what flows through the boundaries. Constant total energy holds if the global summing-up of local conservation laws converges; it probably doesn't in reality. Energy conservation holds (...) if there is symmetry, the sameness of the laws over time. Thus, if there are time-places where symmetries fail due to nonphysical influence, conservation laws fail there and then, while holding elsewhere, such as refrigerators and stars. Noether's converse first theorem shows that conservation laws imply symmetries. Thus conservation trivially nearly entails the causal closure of the physical. But expecting conservation to hold in the brain simply assumes the falsehood of Cartesianism. Hence Leibniz's objection begs the question. Empirical neuroscience is another matter. So is Einstein's General Relativity: far from providing a loophole, General Relativity makes mental causation _harder_. (shrink)

This paper concerns Alan Turing’s ideas about machines, mathematical methods of proof, and intelligence. By the late 1930s, Kurt Gödel and other logicians, including Turing himself, had shown that no finite set of rules could be used to generate all true mathematical statements. Yet according to Turing, there was no upper bound to the number of mathematical truths provable by intelligent human beings, for they could invent new rules and methods of proof. So, the output of a human mathematician, for (...) Turing, was not a computable sequence (i.e., one that could be generated by a Turing machine). Since computers only contained a finite number of instructions (or programs), one might argue, they could not reproduce human intelligence. Turing called this the “mathematical
objection” to his view that machines can think. Logico-mathematical reasons, stemming from his own work, helped to convince Turing that it should be possible to reproduce human intelligence, and eventually compete with it, by developing the appropriate kind of digital computer. He felt it
should be possible to program a computer so that it could learn or discover new rules, overcoming the limitations imposed by the incompleteness and undecidability results in the same way that human
mathematicians presumably do. (shrink)

The mental realm seems different to the physical realm; the mental is thought to be dependent on, yet distinct from the physical. But how, exactly, are the two realms supposed to be different, and what, exactly, creates the seemingly insurmountable juxtaposition between the mental and the physical? This review identifies and discusses five marks of the mental, features that set characteristically mental phenomena apart from the characteristically physical phenomena. These five marks (intentionality, consciousness, free will, teleology, and normativity) are not (...) presented as a set of features that define mentality. Rather, each of them is something we seem to associate with phenomena we consider mental, and each of them seems to be in tension with the physical view of reality in its own particular way. It is thus suggested how there is no single mind-body problem, but a set of distinct but interconnected problems. Each of these separate problems is analyzed, and their differences, similarities and connections are identified. This provides a useful basis for future theoretical work on psychology and philosophy of mind, that until now has too often suffered from unclarities, inadequacies, and conflations. (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)

The article begins at the intellectual fissure between many statements coming from neuroscience and the language of faith and theology. First I show that some conclusions drawn from neuroscientific research are not as firm as they seem: neuroscientific data leave room for the interpretation that mind matters. I then take a philosophical-theological look at the notions of soul, self, and freedom, also in the light of modern scientific research (self-organization, neuronal networks), and present a view in which these theologically important (...) notions are seen in relation both to matter (brain) and to God. I show that religious insights expressed with soul and free will bear a remarkable resemblance to certain insights from neuroscience and the science of complex, self-organizing systems, including emphasis on corporeality and emphasis on organization as a form of that corporeality, and that they also show an interesting parallel --- albeit described in different terms --- concerning the crucial role of a valuation principle that generates attraction. With that, the common-sense idea that freedom simply is the same as indeterminism is refuted: freedom primarily means self-determination. I bring to the fore that the self is not a static thing but a “longing.‘ Such longing springs from something, and it is the relationship to this source that constitutes the self. The main concern is to point out the crucial role of attraction with respect to being and to life, and to draw attention not only to the astonishing parallel on this point between Thomas Aquinas and Alfred North Whitehead but also to a surprising --- albeit more implicit --- analogy between these philosophical-theological views and scientific theories of self-organization (such as those concerning neuronal networks). In short, being attracted toward what appears as “good‘ is what constitutes us as selves and what thereby signifies the primary meaning of our freedom. (shrink)

The discussion about a difference between brain and soul or mind is now at the center of the anthropological debate. It seems that the pioneers in this current polemic have a reductionistic view of human nature, inherited from the Cartesian solution to mind-body problem and the modern materialistic explanation of reality. This view – dualistic or monistic – about the opposition between material and immaterial structure of the person, claims that as a consequence of scientific progress, the human brain in (...) the future could be completely explained in naturalistic terms. On the other hand, according to the new results of scientific research, this situation reveals the possibility to develop a new, more adequate paradigm of man as an incarnated person. This change was called by many researchers “the passage from the mind-body problem to the person-body problem”. It seems that the Aristotelian-Thomistic approach is the most suitable to describe this “paradigm shift”. Aristotelian-Thomistic philosophy undoubtedly encourages lively dialogue between philosophy and contemporary sciences through its dual ontology. Thus, it can give suitable answers for questions about the nature of human reason ; unity of composition of the human brain and the role of causality in natural processes. (shrink)

This article examines Hilary Putnam's work in the philosophy of mathematics and - more specifically - his arguments against mathematical realism or objectivism. These include a wide range of considerations, from Gödel's incompleteness-theorem and the limits of axiomatic set-theory as formalised in the Löwenheim-Skolem proof to Wittgenstein's sceptical thoughts about rule-following, Michael Dummett's anti-realist philosophy of mathematics, and certain problems – as Putnam sees them – with the conceptual foundations of Peano arithmetic. He also adopts a thought-experimental approach – a (...) variant of Descartes' dream scenario – in order to establish the in-principle possibility that we might be deceived by the apparent self-evidence of basic arithmetical truths or that it might be ‘rational’ to doubt them under some conceivable set of circumstances. Thus Putnam assumes that mathematical realism involves a self-contradictory ‘Platonist’ idea of our somehow having quasi-perceptual epistemic ‘contact’ with truths that in their very nature transcend the utmost reach of human cognitive grasp. On this account, quite simply, ‘nothing works’ in philosophy of mathematics since wecan either cling to that unworkable notion of objective truth or abandon mathematical realism in favour of a verificationist approach that restricts the range of admissible statements to those for which we happen to possess some means of proof or ascertainment. My essay puts the case, conversely, that these hyperbolic doubts are not forced upon us but result from a false understanding of mathematical realism – a curious mixture of idealist and empiricist themes – which effectively skews the debate toward a preordained sceptical conclusion. I then go on to mount a defence of mathematical realism with reference to recent work in this field and also to indicate some problems – as I seethem – with Putnam's thought-experimental approach as well ashis use of anti-realist arguments from Dummett, Kripke, Wittgenstein, and others. (shrink)

When are two formal theories of broadly logical concepts, such as truth, equivalent? The paper investigates a case study, involving two well-known variants of Kripke–Feferman truth. The first, \, features a consistent but partial truth predicate. The second, \, an inconsistent but complete truth predicate. It is known that the two truth predicates are dual to each other. We show that this duality reveals a much stricter correspondence between the two theories: they are intertraslatable. Intertranslatability, under natural assumptions, coincides with (...) definitional equivalence, and is arguably the strictest notion of theoretical equivalence different from logical equivalence. The case of \ and \ raises a puzzle: the two theories can be proved to be strictly related, yet they appear to embody remarkably different conceptions of truth. We discuss the significance of the result for the broader debate on formal criteria of conceptual reducibility for theories of truth. (shrink)

This paper seeks to understand machine cognition. The nature of machine cognition has been shrouded in incomprehensibility. We have often encountered familiar arguments in cognitive science that human cognition is still faintly understood. This paper will argue that machine cognition is far less understood than even human cognition despite the fact that a lot about computer architecture and computational operations is known. Even if there have been putative claims about the transparency of the notion of machine computations, these claims do (...) not hold out in unraveling machine cognition, let alone machine consciousness (if there is any such thing). The nature and form of machine cognition remains further confused also because of attempts to explain human cognition in terms of computation and to model/simulate (aspects of) human cognitive processing in machines. Given that these problems in characterizing machine cognition persist, a view of machine cognition that aims to avoid these problems is outlined. The argument that is advanced is that something becomes a computation in machines only when a human interprets it, which is a kind of semiotic causation. From this it follows that a computing machine is not engaged in a computation unless a human interprets what it is doing; instead, it is engaged in machine cognition, which is defined as a member or subset of the set of all possible mappings of inputs to outputs. The human interpretation, which is a semiotic process, gives meaning to what a machine does, and then what it does becomes a computation. (shrink)

¿Cómo se nos presenta, fenomenológicamente la realidad humana? Es la que vemos diariamente en nuestra vida personal y social. Estamos hechos de materia, formamos parte del universo evolutivo. Además, está formada en nosotros una vida psíquica: la sensación, un sistema de percepciones, una conciencia integrada, una condición de sujeto psicológico; producimos conocimiento, emociones, motivaciones; pero, sobre todo, tenemos una mente que discurre racionalmente y nos instala en un mundo de emociones humanas; esta razón emocional está en la base de la (...) búsqueda de la verdad del universo, del sentido de la vida y de la responsabilidad moral, en la vida personal y social. Nuestra realidad humana es, pues, una realidad personal. Somos personas. Ahora bien, ¿cómo explica hoy la ciencia, la neurología, el hecho de que nuestra realidad humana posea estas propiedades que nos hacen personas? Esto debería poder explicarse desde el mundo físico-biológico. Ahora bien, en concreto, ¿cómo la ciencia hace posible explicar que la evolución nos haya producido a nosotros en nuestra condición de personas? Es decir, ¿cuál es el soporte físico que hace inteligible la ontología psico-bio-física que produce evolutivamente nuestra experiencia personal fenomenológica? Esta es, en último término, todavía hoy la cuestión fundamental de las ciencias humanas. Lo que la ciencia, a saber, la neurología, debe explicar es obvio: el hecho de que haya emergido la sensibilidad-conciencia, nuestra condición de sujetos psíquicos, el conocimiento y la razón emocional; de tal manera que, una vez emergida la razón emocional, lleve por sí misma a constituir la actividad racional y las emociones propias de la persona humana encaminada a construir el sentido de su vida. Estas son las cuestiones que abordamos en este artículo. (shrink)

I defend a physicalistic version of ontological emergence; qualia emerge from the brain, but are physical properties nevertheless. First, I address the following questions: what are the central tenets of physicalistic ontological emergentism; what are the relationships between these tenets; what is the relationship between physicalistic ontological emergentism and non-reductive physicalism; and can there even be a physicalistic version of ontological emergentism? This discussion is merely an attempt to clarify exactly what a physicalistic version of ontological emergentism must claim, and (...) to show that the view is at least coherent. I then defend the view from objections, for example, Kim’s (Philos Stud 95:3–36, 1999) attempt to apply a version of his exclusion argument to ontological emergentism. I conclude by offering a positive argument for the view: given certain empirical evidence concerning the organization of the brain, physicalism might have to endorse ontological emergentism to avoid epiphenomenalism. (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)

The aim of this paper is to introduce a new member of the family of the modal interpretations of quantum mechanics. In this modal-Hamiltonian interpretation, the Hamiltonian of the quantum system plays a decisive role in the property-ascription rule that selects the definite-valued observables whose possible values become actual. We show that this interpretation is effective for solving the measurement problem, both in its ideal and its non-ideal versions, and we argue for the physical relevance of the property-ascription rule by (...) applying it to well-known physical situations. Moreover, we explain how this interpretation supplies a description of the elemental categories of the ontology referred to by the theory, where quantum systems turn out to be bundles of possible properties. (shrink)

Any complete understanding of human psychology must take into account that a brain’s actions in the world are mediated by the body it belongs to. In the process of such interaction the human being creates artificial things, structures and mechanisms, such as technology, relationships, and culture. The subjective world is not simply the interactions between neurons at different systemic levels, but the existence of mental contents, which are determined by specific features of a certain domain of reality with which a (...) cognitive agent interacts by means of her actions. It is possible to understand specific features of the subjective world with the conception of the “embodied” and “inactive” cognition. In this framework, the problems of consciousness of consciousness, free will, the possibility of “reading” another mind and constructing mental phenomena are analyzed. If cognitive studies are not used for manipulating humans, and are not means of human degradation they must take into consideration specific features of the human phenomenon: the belonging of the human being to the social world and the world of culture. The development of cognitive studies can lead humans to new levels and contribute to new interpretations of humanism. However, under certain conditions, this development can lead to the death of the human being. This paper shows that some Soviet philosophers and psychologists, during the second half of the twentieth century, anticipated the formulations and solutions of several contemporary key problems in cognitive science before these problems emerged. (shrink)

The moral enhancement of human beings is a constant theme in the history of humanity. Today, faced with the threats of a new, globalised world, concern over this matter is more pressing. For this reason, the use of biotechnology to make human beings more moral has been considered. However, this approach is dangerous and very controversial. The purpose of this article is to argue that the use of another new technology, AI, would be preferable to achieve this goal. Whilst several (...) proposals have been made on how to use AI for moral enhancement, we present an alternative that we argue to be superior to other proposals that have been developed. (shrink)

John Searle has recently developed a theory of reasons for acting that intends to rescue the freedom of the will, endangered by causal determinism, whether physical or psychological. To achieve this purpose, Searle postulates a series of "gaps" that are supposed toendowthe self with free will. Reviewing key steps in Searle's argument, this article shows that such an undertaking cannot be successfully completed because of its solipsist premises. The author argues that reasons for acting do not have a subjective, I-ontology (...) but a first-person plural, Weontology that better accounts for agency and responsibility. Key Words: free will • agency • reasons for acting • ontology. (shrink)

Scientists routinely solve the problem of supplementing one’s store of variables with new theoretical posits that can explain the previously inexplicable. The banality of success at this task obscures a remarkable fact. Generating hypotheses that contain novel variables and accurately project over a limited amount of additional data is so difficult—the space of possibilities so vast—that succeeding through guesswork is overwhelmingly unlikely despite a very large number of attempts. And yet scientists do generate hypotheses of this sort in very few (...) tries. I argue that this poses a dilemma: either the long history of scientific success is a miracle, or there exists at least one method or algorithm for generating novel hypotheses with at least limited projectibility on the basis of what’s available to the scientist at a time, namely a set of observations, the history of past conjectures, and some prior theoretical commitments. In other words, either ordinary scientific success is miraculous or there exists a logic of discovery at the heart of actual scientific method. (shrink)

This paper presents an analysis and critique of Roger Penrose’s epistemological, methodological, and ontological positions. The analysis is relevant not only because Penrose is an influential scientist, but also because of the particular traits of his thought. These traits are directly connected with his background and approach to science: ontological and epistemological realism, mathematical Platonism, emphasis on the continuities of science, epistemological inclusiveness and essential openness of science, the role of common sense, emphasis on the connection between science, ethics, and (...) philosophy. The paper articulates Penrose’s position and criticizes some of its possible shortcomings. It contributes to the perception of science as an open activity, as illustrated in Penrose’s particular approach, and provides an interesting case-study that can contribute to understanding how epistemological and ontological positions are connected with particular scientific practices. (shrink)

Roger Penrose formuló en 1989 un argumento contra la IA. Dicho argumento concluye que la explicación científico-matemática de la realidad es más amplia que la meramente computacional, porque existen ciertos aspectos de la realidad no-computables. Este artículo analiza dicho argumento y la discusión al respecto, para concluir que el tipo de argumento que quiere desarrollar Penrose está viciado de raíz, lo que impide llegar a las conclusiones deseadas. A la vez se sostiene la validez filosófica de sus conclusiones y se (...) apunta a la idea de no-localidad como consistente al hablar sobre la conciencia. (shrink)

Two hundred years ago, Friedrich Schleiermacher took critical issue with Immanuel Kant's intellectual notion of intuition as applied to human nature (Wellmon 2006). He found it necessary to modify—"hermeneutically," as he said—Kant's notion of anthropology by enabling it to include as human the new and strange human tribes Captain Cook found in the Pacific South Seas. A similar hermeneutic move is necessary if physics is to include the local contextual empirical syntheses of relativity and quantum physics. In this hermeneutical revision (...) the synthesis is formed around the notion of a Hilbert Vector Space as the universal grammar of physics, adding to it the dynamic of the Schrödinger equation, and representing empirical "observables" by projection operators that map the subspaces of definite measurable values. Among the set of observable projection operators, some pairs share the same subspace, commute with one another, and share a common laboratory setting. Other pairs do not share this property and are described as being mutually complementary. Complementary symmetries introduce into the discursive language of physics the commonsense notion of contextuality. The new synthesis, proposed by Eugene Wigner, John von Neumann, and (in his own way) Paul Dirac, brought physics into the community of common language and established it as a work of general human achievement. 1. (shrink)

In biological terms, human consciousness appears as a feature associated with the func- tioning of the human brain. The corresponding activities of the neural network occur strictly in accord with physical laws; however, this fact does not necessarily imply that there can be a comprehensive scientific theory of conscious- ness, despite all the progress in neurobiology, neuropsychology and neurocomputation. Pre- dictions of the extent to which such a theory may become possible vary widely in the scien- tific community. There are (...) basic reasons - not only practical but also epistemological - why the brain-mind relation may never be fully “decod- able” by general finite procedures. In partic- ular self-referential features of consciousness, such as self-representations involved in strate- gic thought and dispositions, may not be resolv- able in all their essential aspects by brain analy- sis. Assuming that such limitations exist, objec- tive analysis by the methods of natural science cannot, in principle, fully encompass subjective, mental experience. (shrink)

Can mind be modeled as a Turing machine? If you find such questions irrelevant, e.g. because the subject is already exhausted, then you need not read the book Mind versus Computer (Gams et al., 1991). If, on the other hand, you do find such questions relevant, then perhaps you need not read Dunlop's review of the book (Dunlop, 2000). (...).

Certain enterprises at the fringes of science, such as intelligent design creationism, claim to identify phenomena that go beyond not just our present physics but any possible physical explanation. Asking what it would take for such a claim to succeed, we introduce a version of physicalism that formulates the proposition that all available data sets are best explained by combinations of “chance and necessity”—algorithmic rules and randomness. Physicalism would then be violated by the existence of oracles that produce certain kinds (...) of noncomputable functions. Examining how a candidate for such an oracle would be evaluated leads to questions that do not admit an easy resolution. Since we lack any plausible candidate for any such oracle, however, chance-and-necessity physicalism appears very likely to be correct. (shrink)

In his PhD thesis (1938) Turing introduced what he described as 'a new kind of machine'. He called these 'O-machines'. The present paper employs Turing's concept against a number of currently fashionable positions in the philosophy of mind.

What are the limits of physical computation? In his ‘Church’s Thesis and Principles for Mechanisms’, Turing’s student Robin Gandy proved that any machine satisfying four idealised physical ‘principles’ is equivalent to some Turing machine. Gandy’s four principles in effect define a class of computing machines (‘Gandy machines’). Our question is: What is the relationship of this class to the class of all (ideal) physical computing machines? Gandy himself suggests that the relationship is identity. We do not share this view. We (...) will point to interesting examples of (ideal) physical machines that fall outside the class of Gandy machines and compute functions that are not Turing-machine computable. (shrink)