In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of scientific reasoning. It (...) results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of scientific reasoning. It (...) results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

In studies of scientific methodology, surprisingly little attention has been given to tests of hypotheses. Such testing constitutes a methodology common to various scientific disciplines and is an essential factor in the development of science since it determines which theories are retained. The classical theory of tests is a major accomplishment but requires modification in order to produce a theory that accounts for the success of science. The revised theory is an analysis of the nondeductive aspect of scientific reasoning. It (...) results in a new definition of probability and a nonclassical point of view with regard to the foundations of probability. (shrink)

Ignoring the temporal dimension, an object such as a railway tunnel or a human body is a three-dimensional whole composed of three-dimensional parts. The four-dimensionalist holds that a physical object exhibiting identity across time—Descartes, for example—is a four-dimensional whole composed of 'briefer' four-dimensional objects, its temporal parts. Peter van Inwagen (1990) has argued that four-dimensionalism cannot be sustained, or at best can be sustained only by a counterpart theorist. We argue that different schemes of individuation of temporal parts are available, (...) which undermines van Inwagen's argument. (shrink)

The host actin nucleation machinery is subverted by many bacterial pathogens to facilitate their entry, motility, replication, and survival. The majority of research conducted in the past primarily focused on exploitation of a host actin nucleator, the Arp2/3 complex, by bacterial pathogens. Recently, new studies have begun to explore the role of formins, another family of host actin nucleators, in bacterial pathogenesis. This review provides an overview of recent advances in the study of the exploitation of the Arp2/3 complex and (...) formins by bacterial pathogens. Secreted bacterial effector proteins seem to manipulate the regulation of these actin nucleators or functionally mimic them to drive bacterial entry, motility and survival within host cells. An enhanced understanding of how formins are exploited will provide us with greater insight into how a fundamental eurkaryotic cellular process is utilized by bacteria and will also advance our knowledge of host‐pathogen interactions. (shrink)

Presupposing no familiarity with the technical concepts of either philosophy or computing, this clear introduction reviews the progress made in AI since the inception of the field in 1956. Copeland goes on to analyze what those working in AI must achieve before they can claim to have built a thinking machine and appraises their prospects of succeeding. There are clear introductions to connectionism and to the language of thought hypothesis which weave together material from philosophy, artificial intelligence and neuroscience. (...) John Searle's attacks on AI and cognitive science are countered and close attention is given to foundational issues, including the nature of computation, Turing Machines, the Church-Turing Thesis and the difference between classical symbol processing and parallel distributed processing. The book also explores the possibility of machines having free will and consciousness and concludes with a discussion of in what sense the human brain may be a computer. (shrink)

Lectures, scientific papers, top secret wartime material, correspondence, and broadcasts are introduced and set in context by Jack Copeland, Director of the Turing Archive for the History of Computing."--Jacket.

Alan Turing, pioneer of computing and WWII codebreaker, is one of the most important and influential thinkers of the twentieth century. In this volume for the first time his key writings are made available to a broad, non-specialist readership. They make fascinating reading both in their own right and for their historic significance: contemporary computational theory, cognitive science, artificial intelligence, and artificial life all spring from this ground-breaking work, which is also rich in philosophical and logical insight.

The prelims comprise: The Birth of the Modern Computer What is a Turing Machine? The Basic Operations of a Turing Machine Human Computation The Church—Turing Thesis Beyond the Universal Turing Machine Misunderstandings of the Church—Turing Thesis: The Limits of Machines Conclusion.

An increasingly popular solution to the anti-scientific climate rising on social media platforms has been the appeal to more critical thinking from the user's side. In this paper, we zoom in on the ideal of critical thinking and unpack it in order to see, specifically, whether it can provide enough epistemic agency so that users endowed with it can break free from enclosed communities on social media (so called epistemic bubbles). We criticise some assumptions embedded in the ideal of critical (...) thinking online and, instead, we propose that a better way to understand the virtuous behaviour at hand is as critical engagement, namely a mutual cultivation of critical skills among the members of an epistemic bubble. This mutual cultivation allows members within an epistemic bubble (in contrast, as we will show, with the authority-based models of epistemic echo chambers) to become more autonomous critical thinkers by cultivating self-trust. We use the model of relational autonomy as well as resources from work on epistemic self-trust and epistemic interdependence to develop an explanatory framework, which in turn may ground rules for identifying and creating virtuous epistemic bubbles within the environments of social media platforms. (shrink)

Do the dynamics of a physical system determine what function the system computes? Except in special cases, the answer is no: it is often indeterminate what function a given physical system computes. Accordingly, care should be taken when the question ‘What does a particular neuronal system do?’ is answered by hypothesising that the system computes a particular function. The phenomenon of the indeterminacy of computation has important implications for the development of computational explanations of biological systems. Additionally, the phenomenon lends (...) some support to the idea that a single neuronal structure may perform multiple cognitive functions, each subserved by a different computation. We provide an overarching conceptual framework in order to further the philosophical debate on the nature of computational indeterminacy and computational explanation. (shrink)

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks 'unorganised machines'. By the application of what he described as 'appropriate interference, mimicking education' an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of 'neurons' is sufficient. Turing proposed simulating both the behaviour of the (...) network and the training process by means of a computer program. We outline Turing's connectionist project of 1948. (shrink)

We describe an emerging field, that of nonclassical computability and nonclassical computing machinery. According to the nonclassicist, the set of well-defined computations is not exhausted by the computations that can be carried out by a Turing machine. We provide an overview of the field and a philosophical defence of its foundations.

It is not widely realised that Turing was probably the first person to consider building computing machines out of simple, neuron-like elements connected together into networks in a largely random manner. Turing called his networks unorganised machines. By the application of what he described as appropriate interference, mimicking education an unorganised machine can be trained to perform any task that a Turing machine can carry out, provided the number of neurons is sufficient. Turing proposed simulating both the behaviour of the (...) network and the training process by means of a computer program. We outline Turing's connectionist project of 1948. (shrink)

The tape is divided into squares, each square bearing a single symbol—'0' or '1', for example. This tape is the machine's general-purpose storage medium: the machine is set in motion with its input inscribed on the tape, output is written onto the tape by the head, and the tape serves as a short-term working memory for the results of intermediate steps of the computation. The program governing the particular computation that the machine is to perform is also stored on the (...) tape. A small, fixed program that is 'hard-wired' into the head enables the head to read and execute the instructions of whatever program is on the tape. The machine's atomic operations are very simple—for example, 'move left one square', 'move right one square', 'identify the symbol currently beneath the head', 'write 1 on the square that is beneath the head', and 'write 0 on the square that is beneath the head'. Complexity of operation is achieved by the chaining together of large numbers of these simple atoms. Any universal Turing machine can be programmed to carry out any calculation that can be performed by a human mathematician working with paper and pencil in accordance with some algorithmic method. This is what is meant by calling these machines 'universal'. (shrink)

There are various equivalent formulations of the Church-Turing thesis. A common one is that every effective computation can be carried out by a Turing machine. The Church-Turing thesis is often misunderstood, particularly in recent writing in the philosophy of mind.