© 2016 Regents of the University of California.The Review summarizes much of particle physics and cosmology. Using data from previous editions, plus 3,062 new measurements from 721 papers, we list, evaluate, and average measured properties of gauge bosons and the recently discovered Higgs boson, leptons, quarks, mesons, and baryons. We summarize searches for hypothetical particles such as supersymmetric particles, heavy bosons, axions, dark photons, etc. All the particle properties and search limits are listed in Summary Tables. We also give numerous (...) tables, figures, formulae, and reviews of topics such as Higgs Boson Physics, Supersymmetry, Grand Unified Theories, Neutrino Mixing, Dark Energy, Dark Matter, Cosmology, Particle Detectors, Colliders, Probability and Statistics. Among the 117 reviews are many that are new or heavily revised, including those on Pentaquarks and Inflation. The complete Review is published online in a journal and on the website of the Particle Data Group. The printed PDG Book contains the Summary Tables and all review articles but no longer includes the detailed tables from the Particle Listings. A Booklet with the Summary Tables and abbreviated versions of some of the review articles is also available. (shrink)

To compute is to execute an algorithm. More precisely, to say that a device or organ computes is to say that there exists a modelling relationship of a certain kind between it and a formal specification of an algorithm and supporting architecture. The key issue is to delimit the phrase of a certain kind. I call this the problem of distinguishing between standard and nonstandard models of computation. The successful drawing of this distinction guards Turing's 1936 analysis of computation against (...) a difficulty that has persistently been raised against it, and undercuts various objections that have been made to the computational theory of mind. (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.

This article traces the development of possible worlds semantics through the work of: Wittgenstein, 1913-1921; Feys, 1924; McKinsey, 1945; Carnap, 1945-1947; McKinsey, Tarski and Jónsson, 1947-1952; von Wright, 1951; Becker, 1952; Prior, 1953-1954; Montague, 1955; Meredith and Prior, 1956; Geach, 1960; Smiley, 1955-1957; Kanger, 1957; Hintikka, 1957; Guillaume, 1958; Binkley, 1958; Bayart, 1958-1959; Drake, 1959-1961; Kripke, 1958-1965.

A survey of the field of hypercomputation, including discussion of a variety of objections.

Turing''s test has been much misunderstood. Recently unpublished material by Turing casts fresh light on his thinking and dispels a number of philosophical myths concerning the Turing test. Properly understood, the Turing test withstands objections that are popularly believed to be fatal.

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)

Accelerating Turing machines have attracted much attention in the last decade or so. They have been described as “the work-horse of hypercomputation” (Potgieter and Rosinger 2010: 853). But do they really compute beyond the “Turing limit”—e.g., compute the halting function? We argue that the answer depends on what you mean by an accelerating Turing machine, on what you mean by computation, and even on what you mean by a Turing machine. We show first that in the current literature the term (...) “accelerating Turing machine” is used to refer to two very different species of accelerating machine, which we call end-stage-in and end-stage-out machines, respectively. We argue that end-stage-in accelerating machines are not Turing machines at all. We then present two differing conceptions of computation, the internal and the external, and introduce the notion of an epistemic embedding of a computation. We argue that no accelerating Turing machine computes the halting function in the internal sense. Finally, we distinguish between two very different conceptions of the Turing machine, the purist conception and the realist conception; and we argue that Turing himself was no subscriber to the purist conception. We conclude that under the realist conception, but not under the purist conception, an accelerating Turing machine is able to compute the halting function in the external sense. We adopt a relatively informal approach throughout, since we take the key issues to be philosophical rather than mathematical. (shrink)

In the face of environmental crises such as climate change, pollution and biodiversity loss—which all adversely impact on health—Gils-Schmidt and Salloch explore whether physicians can be justified in taking climate issues into account in clinical care.1 While their approach centres on the ‘climate-sensitive’ decisions, physicians can carry out on the micro-level of clinical decision-making, they encourage further discussions on how climate-related issues can be included across different levels of decision-making in healthcare. We propose a list of tasks and a model (...) to assist with navigating the range of factors and structural elements an environmentally sensitive ethics must address. Stephen Gardiner’s notion of a perfect moral storm is central to understanding these issues.2 Gardiner describes how a perfect moral storm occurs in the centre of three overlapping conditions for human action and policymaking in the face of climate change. This storm is driven by: (1) a lack of interest among current generations to meet global needs and accommodate the well-being of future generations, (2) a lack of ecological concerns for other parts of nature than humans and (3) weak ethical and political theories and institutions shaping policy decisions on issues with severe implications across borders and generations. Moreover, these conditions are embedded in the existing, complex world of ethically unjustified power imbalances and social injustice. The growing awareness of healthcare’s climate footprint has amplified and accelerated global, grassroots action to make healthcare more environmentally friendly. This includes incorporating environmental impacts into quality improvement methodologies, building communities of practice to explore how to make …. (shrink)

Accelerating Turing machines are Turing machines of a sort able to perform tasks that are commonly regarded as impossible for Turing machines. For example, they can determine whether or not the decimal representation of contains n consecutive 7s, for any n; solve the Turing-machine halting problem; and decide the predicate calculus. Are accelerating Turing machines, then, logically impossible devices? I argue that they are not. There are implications concerning the nature of effective procedures and the theoretical limits of computability. Contrary (...) to a recent paper by Bringsjord, Bello and Ferrucci, however, the concept of an accelerating Turing machine cannot be used to shove up Searle's Chinese room argument. (shrink)

Turing’s analysis of computability has recently been challenged; it is claimed that it is circular to analyse the intuitive concept of numerical computability in terms of the Turing machine. This claim threatens the view, canonical in mathematics and cognitive science, that the concept of a systematic procedure or algorithm is to be explicated by reference to the capacities of Turing machines. We defend Turing’s analysis against the challenge of ‘deviant encodings’.Keywords: Systematic procedure; Turing machine; Church–Turing thesis; Deviant encoding; Acceptable encoding; (...) Turing’s analysis of computability; Turing’s Notational Thesis. (shrink)

What are the limits of physical computation? In his ‘Church’s Thesis and Principles for Mechanisms’, Turing’s student Robin Gandy proved that any machine satisfying four idealised physical ‘principles’ is equivalent to some Turing machine. Gandy’s four principles in effect define a class of computing machines (‘Gandy machines’). Our question is: What is the relationship of this class to the class of all (ideal) physical computing machines? Gandy himself suggests that the relationship is identity. We do not share this view. We (...) will point to interesting examples of (ideal) physical machines that fall outside the class of Gandy machines and compute functions that are not Turing-machine computable. (shrink)

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 develop a partial solution to the meta-problem of consciousness that builds on our previous psychological account of an apparent explanatory gap. Drawing from empirical work on explanatory cognition and conceptual development, we sketch a profile of cognitive systems for which primitive concepts facilitate explanatory gaps. This account predicts that there will be multiple explanatory gaps. We suggest that this is borne out by the existence of primitivist theories in multiple philosophical domains.

This paper charts some early history of the possible worlds semantics for modal logic, starting with the pioneering work of Prior and Meredith. The contributions of Geach, Hintikka, Kanger, Kripke, Montague, and Smiley are also discussed.

Context: In this empirical and conceptual paper on the historical, philosophical, and epistemological backgrounds of second-order cybernetics, the emergence of a significant pedagogical component to Heinz von Foerster’s work during the last years of the Biological Computer Laboratory is placed against the backdrop of social and intellectual movements on the American landscape. Problem: Previous discussion in this regard has focused largely on the student radicalism of the later 1960s. A wider-angled view of the American intellectual counterculture is needed. However, this (...) historical nexus is complicated and more often dismissed than brought into clear focus. Method: This essay assembles a historical sequence of archival materials for critical analysis, linked to a conceptual argument eliciting from those materials the second-order cybernetic concepts of observation, recursion, and paradox. Results: In this period, von Foerster found the “positive of the negative” in the social and intellectual unrest of that moment and cultivated those insights for the broader constitution of a new cognitive orientation. Implications: As a successful student of his own continuing course on heuristics, von Foerster left the academic mainstream to ally his constructivist epistemology with the systems counterculture. (shrink)

The Genetic Information Nondiscrimination Act of 2008 prohibits most forms of discrimination on the basis of genetic information in health insurance and employment. The findings cited as justification for the act, the almost universal political support for it, and much of the scholarly literature about genetic discrimination, all betray a confusion about what is really at issue. They imply that genetic discrimination is wrong mainly because of genetic exceptionalism: because some special feature of genetic information makes discrimination on the basis (...) thereof wrong. I suggest, to the contrary, that the best arguments against genetic discrimination assume that health care is an entitlement . I do this by examining two different exceptionalist arguments for genetic nondiscrimination, showing that they do not furnish good reasons for prohibiting genetic discrimination unless one supposes that health care is an entitlement. (shrink)

Respected modern scholars regard the pre-Buddhist philosopher Sañjaya Belaṭṭhiputta—a significant figure in the Buddhist canon—as the originator of the important classical argument- forms known as the catuṣkoṭi and catuṣkoṭi vinirmukta. We argue that the early Buddhist texts do not in fact support this view of the origin of these argument-forms; the question of their origin is open. While it is certainly true that the Pāli Sāmaññaphala Sutta and some of its parallels portray Sañjaya as deploying the catuṣkoṭi, there is nothing (...) in these passages to suggest that he was its originator. The situation concerning the catuṣkoṭi vinirmukta is perhaps even more surprising: There is nothing in the early Pāli texts and their parallels—nor in Buddhagosa’s famous Pāli commentary on the early texts—to show that Sañjaya even deployed the catuṣkoṭi vinirmukta let alone originated it. Further, our investigations also call into question the standard portrayal of Sañjaya as an obfuscator and prevaricator. It appears he may have been a more interesting and able philosopher than the Sāmaññaphala Sutta—and modern accounts based on it—maintain. (shrink)

The mathematical genius Alan Turing, well known for his crucial wartime role in breaking the ENIGMA code, was the first to conceive of the fundamental principle of the modern computer. This text contains first hand accounts by Turing and by the pioneers of computing who worked with him on his revolutionary design for an electronic computing machine - his Automatic Computing Engine.

This article examines the Kantian thesis of the a priori nature of our knowledge of space. Because it makes the representation of objects possible as external to us and all others, and consequently, as distinct and individualized, space (whatever its structure may be) claims the status as necessary condition and as apriori possibility of all knowledge. However, in the light of various physical, psychological and philosophical considerations, it seems that the particular structure allocated by Kant to space (i.e. uniqueness, infinity, (...) continuity, homogeneity, isotropy, Euclidean character and three-dimensional character) is neither necessary nor a priori but is rather contingent and dependent on experience. For this reason a pragmatist relativization of the transcendental approach appears to be necessary: the structure of space which makes knowledge possible is not apriori in an absolute sense, but rather, it is determined within the context of a certain practice, which is characterized by a certain mode of interaction with the environment and reveals particular empirical constraints to which this spatial structure must fit. (shrink)

“Medicalization” has been a contentious notion since its introduction centuries ago. While some scholars lamented a medical overreach into social domains, others hailed its promise for social justice advocacy. Against the backdrop of a growing commitment to health equity across the nation, this article reviews historical interpretations of medicalization, offers an application of the term to non-biologic risk factors for disease, and presents the case of housing the demonstrate the great potential of medicalizing poverty.

The revolution in semantics in the late 1960s and 1970s overturned an earlier competing paradigm, ‘translational’ semantics. I revive and defend Prior’s translational semantics for modals and tense-modals. I also show how to extend Prior’s propositional modal semantics to quantificational modal logic, and use the resulting semantics to formalize Prior’s own counterexample to the Barcan Formula.

One theme in Continental Philosophy is to militate against structures, of language and institutions, as Nietzsche and Foucault did, and Habermas to some extent. That is called ‘poststructuralism’ by some. In this brief note, I do not oppose institutions, because societies cannot do without them. However, I am seeking a structure that leaves some room for freedom of individuals.

A rational and naturalistic definition of ethical norms must stipulate the preservation of the DNA typical of the species and the maintemance of its intra specific variability. Indeed, this aim of preserving the DNA of the species and preserving its intra specific variability is the basic principle of bioethics. The historically limited behaviour can be related to morality which can assume different norms in different historical contexts. Morality could therefore be governed by religious or normalised by discipline. Ethics instead a (...) pure biological and ecological discipline. (shrink)