We discuss mathematical and physical arguments against continuity and in favor of discreteness, with particular emphasis on the ideas of Émile Borel.

Although widely investigated and used in psychology, the concept of randomness is beset with philosophical and practical difficulties. In this paper, I propose a resolution to a long-standing problem in psychological research by arguing that the inability to comprehend and produce random behavior is not caused by a defect on the part of the observer but is a consequence of conceptual confusion. Randomness describes a state of high complexity which defies analysis and understanding. The well-known biases in predictive behavior are (...) not caused by the observers’ inability to comprehend randomness but reflect a natural pattern-seeking response to high-complexity situations. Further, I address the circularity at the heart of the randomness debate. Replacing randomness with complexity in psychology and cognitive science would eliminate many of the current problems associated with defining, investigating and using this elusive term. (shrink)

In this paper I argue that Turing’s responses to the mathematical objection are straightforward, despite recent claims to the contrary. I then go on to show that by understanding the importance of learning machines for Turing as related not to the mathematical objection, but to Lady Lovelace’s objection, we can better understand Turing’s response to Lady Lovelace’s objection. Finally, I argue that by understanding Turing’s responses to these objections more clearly, we discover a hitherto unrecognized, substantive thesis in his philosophical (...) thinking about the nature of mind. (shrink)

This book brings together philosophers, mathematicians and logicians to penetrate important problems in the philosophy and foundations of mathematics. In philosophy, one has been concerned with the opposition between constructivism and classical mathematics and the different ontological and epistemological views that are reflected in this opposition. The dominant foundational framework for current mathematics is classical logic and set theory with the axiom of choice. This framework is, however, laden with philosophical difficulties. One important alternative foundational programme that is actively pursued (...) today is predicativistic constructivism based on Martin-Löf type theory. Associated philosophical foundations are meaning theories in the tradition of Wittgenstein, Dummett, Prawitz and Martin-Löf. What is the relation between proof-theoretical semantics in the tradition of Gentzen, Prawitz, and Martin-Löf and Wittgensteinian or other accounts of meaning-as-use? What can proof-theoretical analyses tell us about the scope and limits of constructive and predicative mathematics? (shrink)

Global environmental science, in its current configuration as predominantly interdisciplinary earth systems analysis, owes its existence to technological development in three respects. (1) Environmental impacts of globalization of corporate and military industrial development linked to widespread use of new technologies prompted investigation of ways to understand and anticipate the global nature of such impacts. (2) Extension of the reach of technology itself demands extension of attempts to anticipate and control the environment in which the technology is to function. Thus as (...) the reach becomes global, the environment in question is also global. (3) Such global studies cannot get far without the development of command, control and information technologies (computers, satellites, automated remote sensing devices) which are crucial for data gathering, storage, and analysis and for the simulation modeling, crucial to theory testing and prediction. This network of dependence on technological development gives the global environmental sciences a rather distinctive epistemological profile, one in which some distinctions that we had thought were clear, on the basis of models of classic laboratory sciences (such as those between experiment and deduction or representation and instrument), turn out to be far from clear. In consequence there needs to be a careful evaluation of the extent to which, or the ways in which, these sciences can provide bases for policy decisions. (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)

Accounting firms are reporting the use of Artificial Intelligence in their auditing and advisory functions, citing benefits such as time savings, faster data analysis, increased levels of accuracy, more in-depth insight into business processes, and enhanced client service. AI, an emerging technology that aims to mimic the cognitive skills and judgment of humans, promises competitive advantages to the adopter. As a result, all the Big 4 firms are reporting its use and their plans to continue with this innovation in areas (...) such as audit planning risk assessments, tests of transactions, analytics, and the preparation of audit work-papers, among other uses. As the uses and benefits of AI continue to emerge within the auditing profession, there is a gradual awakening to the fact that unintended consequences may also arise. Thus, we heed to the call of numerous researchers to not only explore the benefits of AI but also investigate the ethical implications of the use of this emerging technology. By combining two futuristic ethical frameworks, we forecast the ethical implications of the use of AI in auditing, given its inherent features, nature, and intended functions. We provide a conceptual analysis of the practical ethical and social issues surrounding AI, using past studies as well as our inferences based on the reported use of the technology by auditing firms. Beyond the exploration of these issues, we also discuss the responsibility for the policy and governance of emerging technology. (shrink)

In recent decades, there has been a proliferation among the scientific community of works that focus on Alan Turing’s contributions to the design and development of the modern computer. However, there are significant discrepancies among these studies, to such a point that some of them cast serious doubts on Alan Turing’s work with respect to today’s computer, and there are others that staunchly defend his leading role, as well as other studies that set out more well-balanced opinions. Faced with this (...) situation, the aim of this paper is to analyse the evidence existing today in order to be able to draw a conclusion about whether or not Turing anticipated the trivialisation of the modern computer memory and, likewise, if his universal a-machine is the precursor of the general-purpose computer so omnipresent today. As a result of our research, the authors conclude that Turing did indeed play a leading role in the appearance of the modern computer, although he was not the only one or the first in the field of Computing Science, albeit he was the most influential, both in scope and in depth. (shrink)

Turing’s much debated test has turned 70 and is still fairly controversial. His 1950 paper is seen as a complex and multilayered text, and key questions about it remain largely unanswered. Why did Turing select learning from experience as the best approach to achieve machine intelligence? Why did he spend several years working with chess playing as a task to illustrate and test for machine intelligence only to trade it out for conversational question-answering in 1950? Why did Turing refer to (...) gender imitation in a test for machine intelligence? In this article, I shall address these questions by unveiling social, historical and epistemological roots of the so-called Turing test. I will draw attention to a historical fact that has been only scarcely observed in the secondary literature thus far, namely that Turing’s 1950 test emerged out of a controversy over the cognitive capabilities of digital computers, most notably out of debates with physicist and computer pioneer Douglas Hartree, chemist and philosopher Michael Polanyi, and neurosurgeon Geoffrey Jefferson. Seen in its historical context, Turing’s 1950 paper can be understood as essentially a reply to a series of challenges posed to him by these thinkers arguing against his view that machines can think. Turing did propose gender learning and imitation as one of his various imitation tests for machine intelligence, and I argue here that this was done in response to Jefferson's suggestion that gendered behavior is causally related to the physiology of sex hormones. (shrink)

We examine the philosophical disputes among computer scientists concerning methodological, ontological, and epistemological questions: Is computer science a branch of mathematics, an engineering discipline, or a natural science? Should knowledge about the behaviour of programs proceed deductively or empirically? Are computer programs on a par with mathematical objects, with mere data, or with mental processes? We conclude that distinct positions taken in regard to these questions emanate from distinct sets of received beliefs or paradigms within the discipline: – The rationalist (...) paradigm, which was common among theoretical computer scientists, defines computer science as a branch of mathematics, treats programs on a par with mathematical objects, and seeks certain, a priori knowledge about their ‘correctness’ by means of deductive reasoning. – The technocratic paradigm, promulgated mainly by software engineers and has come to dominate much of the discipline, defines computer science as an engineering discipline, treats programs as mere data, and seeks probable, a posteriori knowledge about their reliability empirically using testing suites. – The scientific paradigm, prevalent in the branches of artificial intelligence, defines computer science as a natural (empirical) science, takes programs to be entities on a par with mental processes, and seeks a priori and a posteriori knowledge about them by combining formal deduction and scientific experimentation. We demonstrate evidence corroborating the tenets of the scientific paradigm, in particular the claim that program-processes are on a par with mental processes. We conclude with a discussion in the influence that the technocratic paradigm has been having over computer science. (shrink)

In the first section of the paper I present Alan Turing’s notion of effective memory, as it appears in his 1936 paper ‘On Computable Numbers, With an Application to The Entscheidungsproblem’. This notion stands in surprising contrast with the way memory is usually thought of in the context of contemporary computer science. Turing’s view (in 1936) is that for a computing machine to remember a previously scanned string of symbols is not to store an internal symbolic image of this string. (...) Rather, memory consists in the fact that the past scanning of the string affects the behavior of the computer in the face of potential future inputs. In the second, central section of the paper I begin exploring how this view of Turing’s bears upon contemporary discussions in the philosophy of mind. In particular, I argue that Turing’s approach can be used to lend support to dispositional conceptions of the propositional attitudes, like the one recently presented by Matthews (2007), and that his effective memory manifests some of the characteristics of Millikan’s (1996) pushmepullyou mental states. (shrink)

Purpose. Understanding the philosophical and anthropological importance of the development the artificial intelligence systems requires the analysis of the socio and anthropological content of intercomputer problems of interaction in the context of media philosophical praxis, anthropological maintenance of intellect nature, considering the specifics of the concept of artificial intelligence systems in the environment of M2M development of socio-cognitive practices of intercomputer interaction of social and humanitarian potential. Methodology. The implementation target is seen in the use of scientific and theoretical basis (...) of the media philosophical, philosophical anthropology, the media philosophical approach to understanding society, science and technology, the use of publications on selected topics of research. Scientific novelty. The concept of artificial intelligence systems in the aspect of social and humanitarian potential of their formation and development in the environment of M2M was considered. The problems of machine learning as technology transformation M2M were analysed. The anthropological threats to the development of artificially created intelligent systems were defined. Conclusions. From the global risks point of view, one of the most critical circumstances due to the artificial intelligent system can strengthen its intelligence very quickly. The obvious reason for suspecting such an opportunity – a recursive self-improvement. Such system becomes smarter, including the intelligent writing of internal cognitive function, that the ability to rewrite their existing cognitive function to make it work better. This will make such systems more intelligent, and smarter in terms of the processing itself. The success of artificial intelligence may be the beginning of the end of the human race. Almost any technology falling into malicious hands reveals the potential for harm, but when it comes to artificial intelligent system, there is a new problem with the fact that these malicious hands may belong to the technology itself. (shrink)

Disertační práce se zabývá problematikou připisování myšlení jiným entitám, a to pomocí imitační hry navržené v roce 1950 britským filosofem Alanem Turingem. Jeho kritérium, známé v dějinách filosofie jako Turingův test, je podrobeno detailní analýze. Práce popisuje nejen původní námitky samotného Turinga, ale především pozdější diskuse v druhé polovině 20. století. Největší pozornost je věnována těmto kritikám: Lucasova matematická námitka využívající Gödelovu větu o neúplnosti, Searlův argument čínského pokoje konstatující nedostatečnost syntaxe pro sémantiku, Blockův návrh na použití brutální síly pro (...) řešení imitační hry, Frenchova teorie subkognitivních informací a Michieho skepticismus ohledně možnosti umělého vědomí. Závěr práce zachycuje současný stav recepce Turingova testu a představuje pokusy o jeho praktickou realizaci, například v každoroční soutěži o Loebnerovu cenu. Autor práce zastává názor, že ani po více než šedesáti letech od uveřejnění Turingova paradigmatického eseje stále neexistují žádné vážné důvody pro zamítnutí jeho tvrzení. Tradiční komputační funkcionalismus možná není ideální teorií vysvětlující činnost myslí a jako slibnější se může jevit vývoj v neurálních vědách, ale Turingův test je přesto užitečným a snad i jediným nástrojem pro detekci inteligence u lidmi vytvořených strojů. (shrink)

This chapter offers a high-level overview of the philosophy of cognitive science and an introduction to the Oxford Handbook of Philosophy of Cognitive Science. The philosophy of cognitive science emerged out of a set of common and overlapping interests among philosophers and scientists who study the mind. We identify five categories of issues that illustrate the best work in this broad field: (1) traditional philosophical issues about the mind that have been invigorated by research in cognitive science, (2) issues regarding (...) the practice of cognitive science and its foundational assumptions, (3) issues regarding the explication and clarification of core concepts in cognitive science, (4) first-order empirical issues where philosophers participate in the interdisciplinary investigation of particular psychological phenomena, (5) traditional philosophical issues that aren’t about the mind but that can be informed by a better understanding of how the mind works. (shrink)