Between World War I and World War II, the students of Columbia University's John Dewey and Frederick J. E. Woodbridge built up a school of philosophical naturalism sharply critical of claims to value-neutrality. In the 1930s and 1940s, the second-generation Columbia naturalists and their students who later joined the department reacted with dismay to the arrival on American shores of logical empiricism and other analytic modes of philosophy. These figures undermined their colleague Ernest Nagel's attempt to build an alliance with (...) the logical empiricists, accusing them of ignoring the scholar's primary role as a public critic. After the war, the prestige of analytic approaches and a tendency to label philosophies either???analytic??? or???Continental??? eclipsed the Columbia philosophers??? normatively inflected naturalism. Yet in their efforts to resist logical empiricism, the Columbia naturalists helped to construct a sturdy, canonical portrait of???American philosophy??? that proponents still hold up as a third way between analytic and Continental approaches. (shrink)

Development has been themain strategy in addressing the problemof sustainability since at least the mid-1980s. The results of this strategy have been mixed, if not disappointing. In their objections to this approach, critics frequently invoke constraints imposed by physical reality of which the most important one is entropy production. They question the belief that technological innovations are capable of solving the problem of sustainability. Is development the right response to this problem and is the current course capable of attaining sustainability? (...) The article examines closely and critiques the principal theoretical objection to sustainable development that emphasizes physical constraints, and more specifically entropy production. It also offers a critique of the current approach to sustainable development. The article advocates a systems approach as a way to anchor a broad consensus in the ongoing sustainability debates. (shrink)

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)

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)

The subjectivism of the Austrian school of economics is a special case of Dewey's transactional philosophy, also known as pragmatism or pragmatic epistemology. The Austrian economists Carl Friedrich Menger (1840-1921) and Ludwig von Mises (1881-1973) adopted an Aristotelian deductive approach to economic issues such as social behavior and exchange. Like Menger and Mises, Friedrich A. Hayek (1899-1992) viewed scientific knowledge, even in the social sciences, as asserting and aiming for objective certainty. Hayek was particularly critical of attempts to apply the (...) empiricism of the natural sciences in the social sciences. Though Hayek was not a positivist in the sense ascribed to Milton Friedman (1912-), because he accepted the possibility of final, objective certainty, Hayek's view of scientific knowledge was closer to that of the logical positivists of the Vienna circle than to Dewey's pragmatism. Mises' a priorism, asserting and aiming for apodictic certainty, represented a more extreme form of objectivism even than Hayek's. Mises was similar in this regard to non-Austrian axiomatists such as Gerard Debreau (1921-2005), though he joined Hayek in eschewing mathematical formalism. In Dewey's contrasting view, the scientist commends new, alternative ways of knowing to the scientific community, offering more profound insight or more efficacious practical applications. Alternative ways of knowing which do not offer practical or intellectual benefits are to be rejected. Both the radical subjectivism of the Austrian school and Dewey's transactional strategy justify rejection of the mirage of social justice. Dewey's knowledge as ways of knowing suggests a broader and more fundamental critique of the socialist position in the calculation debate. The arguments presented by the Austrian school can be reformulated in terms of Dewey's pragmatic philosophy. (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.

The emperor's new mind (hereafter Emperor) is an attempt to put forward a scientific alternative to the viewpoint of according to which mental activity is merely the acting out of some algorithmic procedure. John Searle and other thinkers have likewise argued that mere calculation does not, of itself, evoke conscious mental attributes, such as understanding or intentionality, but they are still prepared to accept the action the brain, like that of any other physical object, could in principle be simulated by (...) a computer. In Emperor I go further than this and suggest that the outward manifestations ofconscious mental activity cannot even be properly simulated by calculation. To support this view, I use various arguments to show that the results of mathematical insight, in particular, do not seem to be obtained algorithmically. The main thrust ofthis work, however, is to present an overview ofthe present state of physical understanding and to show that an important gap exists at the point where, quantum and classical physics meet, as well as to speculate on how the conscious brain might be taking advantage ofwhatever new physics is needed to fill this gap to achieve its nonalgorithmic effects. (shrink)

An alternative view to the traditionally held view that schizophrenia is characterised by severely disordered cognition is presented. It is possible that apparently self- contradictory expressions of schizophrenics are well-formed communicative expressions of highly ordered cognitive systems. Building on the premise that behavior is in general communicative, and using Godel’s Incompleteness Theorem from logic as a model, it is shown that the most characteristic symptoms of schizophrenia may indicate truths that cannot be derived within highly ordered cognitive systems.

Lucas-Penrose type arguments have been the focus of many papers in the literature. In the present paper we attempt to evaluate the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. We argue that the best answer to this question was given by Gödel already in 1951 when he realized that either our intellectual capability is not representable by a Turing Machine, or we can never know with mathematical certainty what such a machine is. But his considerations became (...) known only in recent times when many scholars were already aware of Benacerraf’s and Chihara’s analyses on the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. Benacerraf and Chihara, in fact, discussing Lucas’ paper, arrived at the same conclusions as Gödel in the sixties, but in a more formal way. After Penrose’s provocative arguments, Shapiro again shed light on the question. In our paper, after a broad and simple presentation of the contributions to the debate made by different authors, we show how to present Gödel’s argument in a rigorous way, highlighting the necessary philosophical premises of Gödel’s argument and more in general of Gödelian arguments. (shrink)

Derrida's key concepts or pseudo-concepts of différance, the trace, and the undecidable suggest analogies to some of the most significant results of formal, symbolic logic and metalogic. As early as 1970, Derrida himself pointed out an analogy between his use of ‘undecidable’ and Gödel's incompleteness theorems, which demonstrate the existence, in any sufficiently complex and consistent system, of propositions which cannot be proven or disproven (i.e., decided) within that system itself. More recently, Graham Priest has interpreted différance as an instance (...) of the general metalogical procedure of diagonalisation. In this essay, I consider the extent to which Derrida's key terms and the essential operations of deconstruction can be formalised. I argue that, if formalisation is indeed the technique of writing par excellence, then the formalisation of deconstructive concepts tends to show how the auto-deconstruction of total systems arises from the problematic possibility of writing itself. For instance, since diagonalisation permits the ‘arithmetisation of syntax’ whereby a formal system is able to formulate claims about its own logico-grammatical properties, we can understand its potential to inscribe the undecidable within the systematicity of language as simply one instance of the potential of writing, in figuring itself, to render inscrutable the trace of its own origin. (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)

The essay deals with the brief yet significant correspondence between Martin Heidegger and Werner Heisenberg throughout the year 1953 that culminated in Heidegger’s lecture “Die Frage nach der Technik”. The letters and Heidegger’s accompanying thoughts about the production of scientific evidence by means of media technology and mathematics provides a missing link between the genesis of Heidegger’s own philosophy of technology and the history of modern physics. The correspondence indicates the struggle of both philosopher and physicist to understand each other (...) but also Heidegger’s awareness for the necessity of an interdisciplinary discourse on technology within the nuclear era. One of Heisenberg’s letters worked through by Heidegger with crayons is published here for the first time. (shrink)