As we rapidly approach the 50th year of the much‐celebrated ‘cognitive revolution’, it is worth reflecting on its widespread impact on individual disciplines and areas of multidisciplinary endeavour. Of specific concern in this paper is the example of the influence of cognitivism's equation of mind and computer in education. Within education, this paper focuses on a particular area of concern to which both mind and computer are simultaneously central: educational technology. It examines the profound and lasting effect of cognitive science (...) on our understandings of the educational potential of information and communication technologies, and further argues that recent and multiple ‘signs of discontent’, ‘crises’ and even ‘failures’ in cognitive science and psychology should result in changes in these understandings. It concludes by suggesting new directions that educational technology research might take in the light of this crisis of cognitivsm. (shrink)

The paper presents a paradoxical feature of computational systems that suggests that computationalism cannot explain symbol grounding. If the mind is a digital computer, as computationalism claims, then it can be computing either over meaningful symbols or over meaningless symbols. If it is computing over meaningful symbols its functioning presupposes the existence of meaningful symbols in the system, i.e. it implies semantic nativism. If the mind is computing over meaningless symbols, no intentional cognitive processes are available prior to symbol grounding. (...) In this case, no symbol grounding could take place since any grounding presupposes intentional cognitive processes. So, whether computing in the mind is over meaningless or over meaningful symbols, computationalism implies semantic nativism. (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)

Epistemic diversity is the ability or possibility of producing diverse and rich epistemic apparati to make sense of the world around us. In this paper we discuss whether, and to what extent, different conceptions of knowledge—notably as ‘justified true belief’ and as ‘distributed and embodied cognition’—hinder or foster epistemic diversity. We then link this discussion to the widespread move in science and philosophy towards monolingual disciplinary environments. We argue that English, despite all appearance, is no Lingua Franca, and we give (...) reasons why epistemic diversity is also deeply hindered is monolingual contexts. Finally, we sketch a proposal for multilingual academia where epistemic diversity is thereby fostered. (shrink)

As we rapidly approach the 50th year of the much‐celebrated ‘cognitive revolution’, it is worth reflecting on its widespread impact on individual disciplines and areas of multidisciplinary endeavour. Of specific concern in this paper is the example of the influence of cognitivism's equation of mind and computer in education. Within education, this paper focuses on a particular area of concern to which both mind and computer are simultaneously central: educational technology. It examines the profound and lasting effect of cognitive science (...) on our understandings of the educational potential of information and communication technologies, and further argues that recent and multiple ‘signs of discontent’, ‘crises’ and even ‘failures’ in cognitive science and psychology should result in changes in these understandings. It concludes by suggesting new directions that educational technology research might take in the light of this crisis of cognitivsm. (shrink)

In 1950 Alan Turing asked whether machines could think. This question has been vigorously debated since, and its relevance for machine intelligence, or even agency, continues to provoke interdisciplinary debate. In fact, Turing’s next step in his paper is to ask a far more nuanced question about imitation, which, we suggest, assumes a number of connections between intelligence, agency and the possibility of imitation. This paper will offer three key arguments against these assumptions, and in so doing make the following (...) claims: (1) that intelligence is not a guarantee of personhood or agency, (2) that Turing’s claims for imitation neither resolve the issue of intelligence, nor of agency, and that (3) recognition between agents (or recognition of agency) centres on the interpersonal relationship between agents, which in turn centres on the possibility for communication with a shared language. Our paper does not seek to argue either for or against the possibility of machine thought. Instead we seek to question whether any such processing would be recognized (by other agents) as thought or agency, and what this recognition might involve. (shrink)

In the popular imagination, the relevance of Turing's theoretical ideas to people producing actual machines was significant and appreciated by everybody involved in computing from the moment he published his 1936 paper ‘On Computable Numbers’. Careful historians are aware that this popular conception is deeply misleading. We know from previous work by Campbell-Kelly, Aspray, Akera, Olley, Priestley, Daylight, Mounier-Kuhn, Haigh, and others that several computing pioneers, including Aiken, Eckert, Mauchly, and Zuse, did not depend on Turing's 1936 universal-machine concept. Furthermore, (...) it is not clear whether any substance in von Neumann's celebrated 1945 ‘First Draft Report on the EDVAC’ is influenced in any identifiable way by Turing's work. This raises the questions: When does Turing enter the field? Why did the Association for Computing Machinery honor Turing by associating his name to ACM's most prestigious award, the Turing Award? Previous authors have.. (shrink)

Sumário Mostramos que, em virtude dos limites teóricos da computação, nem toda a ciência formulada com carácter preditivo pode ser simulada. Em particular, evidencia- se que a Fisica Clássica, nomeadamente a Físíca Newtoniana, padece deste mal, encerrando processos de Zenão.

This article provides a detailed analysis of the transfer of a key cluster of ideas from mathematical logic to computing. We demonstrate the impact of certain of Turing’s logico-philosophical concepts from the mid-1930s on the emergence of the modern electronic computer—and so, in consequence, Turing’s impact on the direction of modern philosophy, via the computational turn. We explain why both Turing and von Neumann saw the problem of developing the electronic computer as a problem in logic, and we describe their (...) joint journey from logic to electronic computation. While much has been written about Turing’s and von Neumann’s individual contributions to the development of the computer, this article investigates less well-known terrain: their interactions and mutual influences. Along the way we argue against ‘logic skeptics’ and ‘Turing skeptics’, who claim that neither logic nor Turing played any significant role in the creation of the modern computer. (shrink)

We present an abstract framework in which we give simple proofs for Gödel’s First and Second Incompleteness Theorems and obtain, as consequences, Davis’, Chaitin’s and Kritchman-Raz’s Theorems.

Gottfried Wilhelm Leibniz is the self-proclaimed inventor of the binary system and is considered as such by most historians of mathematics and/or mathematicians. Really though, we owe the groundwork of today’s computing not to Leibniz but to the Englishman Thomas Harriot and the Spaniard Juan Caramuel de Lobkowitz, whom Leibniz plagiarized. This plagiarism has been identified on the basis of several facts: Caramuel’s work on the binary system is earlier than Leibniz’s, Leibniz was acquainted—both directly and indirectly—with Caramuel’s work and (...) Leibniz had a natural tendency to plagiarize scientific works. (shrink)