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

. The question of whether or not our universe is deterministic remains of interest to both scientists and theologians. In this essay I argue that this question can be solved only by metaphysical decision and that no scientific evidence for either determinism or indeterminism will ever be conclusive. No finite being, no matter how powerful its cognitive abilities, will ever be able to establish the deterministic nature of the universe. The only being that would be capable of doing so would (...) be one that is at once transcendent and immanent. Such a being is compatible with the God of the Christian tradition, which yields that a deterministic worldview is compatible with a deterministic worldview. A more important point is that because science is never able to establish the determinism of our universe, it can never definitely rule out divine action except on metaphysical grounds. (shrink)

We explore the possibility of using quantum mechanical principles for hypercomputation through the consideration of a quantum algorithm for computing the Turing halting problem. The mathematical noncomputability is compensated by the measurability of the values of quantum observables and of the probability distributions for these values. Some previous no-go claims against quantum hypercomputation are then reviewed in the light of this new positive proposal.

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

Proponents of two axioms of biological evolutionary theory have attempted to find justification by reference to nonequilibrium thermodynamics. One states that biological systems and their evolutionary diversification are physically improbable states and transitions, resulting from a selective process; the other asserts that there is an historically constrained inherent directionality in evolutionary dynamics, independent of natural selection, which exerts a self-organizing influence. The first, the Axiom of Improbability, is shown to be nonhistorical and thus, for a theory of change through time, (...) acausal. Its perception of the improbability of living states is at least partially an artifact of closed system thinking. The second, the Axiom of Historically Determined Inherent Directionality, is supported evidentially and has an explicit historical component. Historically constrained dynamic populations are inherently nonequilibrium systems. It is argued that living, evolving systems, when considered to be historically constrained nonequilibrium systems, do not appear improbable at all. Thus, the two axioms are not compatible. Instead, the Axiom of Improbability is considered to result from an unjustified attempt to extend the contingent proximal actions of natural selection into the area of historical, causal explanations. It is thus denied axiomatic status, and the effects of natural selection are subsumed as an additional level of constraint in an evolutionary theory derived from the Axiom of Historically Determined Inherent Directionality. (shrink)

The aim of this paper is to develop a consistent reading of Deleuze and Guattari’s account of capitalism by taking seriously their use of Kant’s philosophy in formulating it. In Sect. 1, I will set out the two different roots of the term axiomatic in Deleuze and Guattari’s thought. The first of these is the axiomatic approach to formalising fields of mathematics, and the second the Kantian account of the indeterminate relationship between the transcendental unity of apperception and the transcendental (...) object. In Sect. 2, we will see how this transcendental aspect of Deleuze and Guattari’s account of axiomatics is expressed in the notion of binding, which Deleuze and Guattari take to be a process that forces us to understand a field of entities in a certain manner, namely as clearly delimited and deployed in a homogeneous space. I will argue that this process of binding operates as a transcendental condition for capitalism for Deleuze and Guattari. Section 3 addresses some of the details of the capitalist axiomatic itself, drawing out why a Kantian reading of Deleuze and Guattari’s account of the axiomatic provides a response to some of the criticisms of it. Section 4 then analyses Deleuze and Guattari’s account of the outside of capitalism, using the double signification of the noumenal to understand the complex relationship between what they call the war machine and its representation within the axiomatic. (shrink)

John Dewey viewed philosophy as an intelligent means of realizing change, emphasizing the ubiquity of process, context and relations. The revolution in Organizational Behavior known as Process Re-engineering (PR) is an approach to organizational thinking recognizing the importance of process, context and relations at all levels of organizational activity. Because Dewey’s philosophy affords primacy to process and change, context and relations, it is fundamentally aligned with PR. Compelling connections between PR and Dewey’s philosophy are established concerning primacy of process, importance (...) of context, inquiry as experimental, value dimensions of outcomes, work as a means to self-realization, and increasing recognition of the future as an open possibility. While Dewey’s philosophy and PR stand as examples of intelligent understanding and reconstruction of process, recent developments in formal systems ontology point to dangerous consequences resulting from an eclipse of the material conditions of experience through the imposition of a formal architectonic. (shrink)

The notion of reduction in the natural sciences has been assimilated to the notion of inter-theoretical explanation. Many philosophers of science (following Nagel) have held that the apparently ontological issues involved in reduction should be replaced by analyses of the syntactic and semantic connections involved in explaining one theory on the basis of another. The replacement does not seem to have been especially successful, for we still lack a plausible account of inter-theoretical explanation. I attempt to provide one.

It is shown that the method of operationaldefinition of theoretical terms applied inphysics may well support constructivist ideasin cognitive sciences when extended toobservational terms. This leads to unexpectedresults for the notion of reality, inductionand for the problem why mathematics is sosuccessful in physics.A theory of cognitive operators is proposedwhich are implemented somewhere in our brainand which transform certain states of oursensory apparatus into what we call perceptionsin the same sense as measurement devicestransform the interaction with the object intomeasurement results. Then, (...) perceivedregularities, as well as the laws of nature wewould derive from them can be seen asinvariants of the cognitive operators concernedand are by this human specific constructsrather than ontologically independent elements.. So, reality in so far it isrepresented by the laws of nature has no longeran independent ontological status. This isopposed to Campbell's `natural selectionepistemology'. From this it is shown that thereholds an incompleteness theorem for physicallaws similar to Gödels incompletenesstheorem for mathematical axioms, i.e., there isno definitive or object `theory of everything'.This constructivist approaches to cognitionwill allow a coherent and consistent model ofboth cognitive and organic evolution. Whereasthe classical view sees the two evolutionrather dichotomously. (shrink)

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)

In a recent paper, Lyngzeidetson [1990] has claimed that a type of parallel computer called the ‘Connection Machine’ instantiates architectural principles which will ‘revolutionize which "functions" of the human mind can and cannot be modelled by (non-human) computational automata.’ In particular, he claims that the Connection Machine architecture shows the anti-mechanist argument from Gödel's theorem to be false for at least one kind of parallel computer. In the first part of this paper, I argue that Lyngzeidetson's claims are not supported (...) by his arguments; in the second part I consider some other aspects of parallel computation which may be of theoretical significance in cognitive science. (shrink)

Batterman has recently argued that fundamental theories are typically explanatorily inadequate, in that there exist physical phenomena whose explanation requires that the conceptual apparatus of a fundamental theory be supplemented by that of a less fundamental theory. This paper is an extended critical commentary on that argument: situating its importance, describing its structure, and developing a line of objection to it. The objection is that in the examples Batterman considers, the mathematics of the less fundamental theory is definable in terms (...) of the mathematics of the fundamental theory and that only the latter need be given a physical interpretation---so we can view the desired explanation as drawing only upon resources internal to the more fundamental physical theory. (The paper also includes an appendix surveying some recent results on quantum chaos.). (shrink)