Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

The assumption that all life on Earth today shares the same basic molecular architecture and biochemistry is part of the paradigm of modern biology. This paper argues that there is little theoretical or empirical support for this widely held assumption. Scientists know that life could have been at least modestly different at the molecular level and it is clear that alternative molecular building blocks for life were available on the early Earth. If the emergence of life is, like other natural (...) phenomena, highly probable given the right chemical and physical conditions then it seems likely that the early Earth hosted multiple origins of life, some of which produced chemical variations on life as we know it. While these points are often conceded, it is nevertheless maintained that any primitive alternatives to familiar life would have been eliminated long ago, either amalgamated into a single form of life through lateral gene transfer (LGT) or alternatively out-competed by our putatively more evolutionarily robust form of life. Besides, the argument continues, if such life forms still existed, we surely would have encountered telling signs of them by now. These arguments do not hold up well under close scrutiny. They reflect a host of assumptions that are grounded in our experience with large multicellular organisms and, most importantly, do not apply to microbial forms of life, which cannot be easily studied without the aid of sophisticated technologies. Significantly, the most powerful molecular biology techniques available—polymerase chain reaction (PCR) amplification of rRNA genes augmented by metagenomic analysis—could not detect such microbes if they existed. Given the profound philosophical and scientific importance that such a discovery would represent, a dedicated search for ‘shadow microbes’ (heretofore unrecognized ‘alien’ forms of terran microbial life) seems in order. The best place to start such a search is with puzzling (anomalous) phenomena, such as desert varnish, that resist classification as ‘biological’ or ‘nonbiological’. Ó 2007 Elsevier Ltd.. (shrink)

There is no broadly accepted definition of ‘life.’ Suggested definitions face problems, often in the form of robust counter-examples. Here we use insights from philosophical investigations into language to argue that defining ‘life’ currently poses a dilemma analogous to that faced by those hoping to define ‘water’ before the existence of molecular theory. In the absence of an analogous theory of the nature of living systems, interminable controversy over the definition of life is inescapable.

Many scientists believe that there is a uniform, interdisciplinary method for the prac- tice of good science. The paradigmatic examples, however, are drawn from classical ex- perimental science. Insofar as historical hypotheses cannot be tested in controlled labo- ratory settings, historical research is sometimes said to be inferior to experimental research. Using examples from diverse historical disciplines, this paper demonstrates that such claims are misguided. First, the reputed superiority of experimental research is based upon accounts of scientific methodology (Baconian inductivism (...) or falsificationism) that are deeply flawed, both logically and as accounts of the actual practices of scientists. Second, although there are fundamental differences in methodology between experimental scien- tists and historical scientists, they are keyed to a pervasive feature of nature, a time asymmetry of causation. As a consequence, the claim that historical science is methodo- logically inferior to experimental science cannot be sustained. (shrink)

Experimental research is commonly held up as the paradigm of "good" science. Although experiment plays many roles in science, its classical role is testing hypotheses in controlled laboratory settings. Historical science is sometimes held to be inferior on the grounds that its hypothesis cannot be tested by controlled laboratory experiments. Using contemporary examples from diverse scientific disciplines, this paper explores differences in practice between historical and experimental research vis-à-vis the testing of hypotheses. It rejects the claim that historical research is (...) epistemically inferior. For as I argue, scientists engage in two very different patterns of evidential reasoning and, although there is overlap, one pattern predominates in historical research and the other pattern predominates in classical experimental research. I show that these different patterns of reasoning are grounded in an objective and remarkably pervasive time asymmetry of nature. (shrink)

: Despite its amazing morphological diversity, life as we know it on Earth today is remarkably similar in its basic molecular architecture and biochemistry. The assumption that all life on Earth today shares these molecular and biochemical features is part of the paradigm of modern biology. This paper examines the possibility that this assumption is false, more specifically, that the contemporary Earth contains as yet unrecognized alternative forms of microbial life. The possibility that more than one form of life arose (...) on Earth is consistent with our current understanding of conditions on the early Earth and the biochemical and molecular possibilities for life. Arguments that microbial descendents of an alternative origin of life could not co-exist with familiar life are belied by what we know of the complexity and diversity of microbial communities. Furthermore, the tools that are currently used to explore the microbial world – microscopy (with the aid of techniques such as DAPI staining and fluorescence in situ hybridization), cultivation and PCR amplification of rRNA genes – could not detect such organisms if they existed. Thus, the fact that we have not discovered any alternative life forms cannot be taken as evidence that they do not exist. (shrink)

In earlier work ( Cleland [2001] , [2002]), I sketched an account of the structure and justification of ‘prototypical’ historical natural science that distinguishes it from ‘classical’ experimental science. This article expands upon this work, focusing upon the close connection between explanation and justification in the historical natural sciences. I argue that confirmation and disconfirmation in these fields depends primarily upon the explanatory (versus predictive or retrodictive) success or failure of hypotheses vis-à-vis empirical evidence. The account of historical explanation (...) that I develop is a version of common cause explanation. Common cause explanation has long been vindicated by appealing to the principle of the common cause. Many philosophers of science (e.g., Sober and Tucker) find this principle problematic, however, because they believe that it is either purely methodological or strictly metaphysical. I defend a third possibility: the principle of the common cause derives its justification from a physically pervasive time asymmetry of causation (a.k.a. the asymmetry of overdetermination). I argue that explicating the principle of the common cause in terms of the asymmetry of overdetermination illuminates some otherwise puzzling features of the practices of historical natural scientists. (shrink)

Bringing together the latest scientific advances and some of the most enduring subtle philosophical puzzles and problems, this book collects original historical and contemporary sources to explore the wide range of issues surrounding the nature of life. Selections ranging from Aristotle and Descartes to Sagan and Dawkins are organised around four broad themes covering classical discussions of life, the origins and extent of natural life, contemporary artificial life creations and the definition and meaning of 'life' in its most general form. (...) Each section is preceded by an extensive introduction connecting the various ideas discussed in individual chapters and providing helpful background material for understanding them. With its interdisciplinary perspective, this fascinating collection is essential reading for scientists and philosophers interested in astrobiology, synthetic biology and the philosophy of life. (shrink)

The question ‘what is life?’ has long been a source of philosophical debate and in recent years has taken on increasing scientific importance. The most popular approach among both philosophers and scientists for answering this question is to provide a “definition” of life. In this article I explore a variety of different definitional approaches, both traditional and non-traditional, that have been used to “define” life. I argue that all of them are deeply flawed. It is my contention that a scientifically (...) compelling understanding of the nature of life presupposes an empirically adequate scientific theory (vs. definition) of life; as I argue, scientific theories are not the sort of thing that can be encapsulated in definitions. Unfortunately, as I also discuss, scientists are currently in no position to formulate even a tentative version of such a theory. Recent discoveries in biology and biochemistry have revealed that familiar Earth life represents a single example that may not be representative of life. If this is the case, life on Earth today provides an empirically inadequate foundation for theorizing about life considered generally. I sketch a strategy for procuring the needed additional examples of life without the guidance of a definition or theory of life, and close with an application to NASA’s fledgling search for extraterrestrial life. (shrink)

The Church-Turing thesis makes a bold claim about the theoretical limits to computation. It is based upon independent analyses of the general notion of an effective procedure proposed by Alan Turing and Alonzo Church in the 1930''s. As originally construed, the thesis applied only to the number theoretic functions; it amounted to the claim that there were no number theoretic functions which couldn''t be computed by a Turing machine but could be computed by means of some other kind of effective (...) procedure. Since that time, however, other interpretations of the thesis have appeared in the literature. In this paper I identify three domains of application which have been claimed for the thesis: (1) the number theoretic functions; (2) all functions; (3) mental and/or physical phenomena. Subsequently, I provide an analysis of our intuitive concept of a procedure which, unlike Turing''s, is based upon ordinary, everyday procedures such as recipes, directions and methods; I call them mundane procedures. I argue that mundane procedures can be said to be effective in the same sense in which Turing machine procedures can be said to be effective. I also argue that mundane procedures differ from Turing machine procedures in a fundamental way, viz., the former, but not the latter, generate causal processes. I apply my analysis to all three of the above mentioned interpretations of the Church-Turing thesis, arguing that the thesis is (i) clearly false under interpretation (3), (ii) false in at least some possible worlds (perhaps even in the actual world) under interpretation (2), and (iii) very much open to question under interpretation (1). (shrink)

In the technical literature of computer science, the concept of an effective procedure is closely associated with the notion of an instruction that precisely specifies an action. Turing machine instructions are held up as providing paragons of instructions that "precisely describe" or "well define" the actions they prescribe. Numerical algorithms and computer programs are judged effective just insofar as they are thought to be translatable into Turing machine programs. Nontechnical procedures (e.g., recipes, methods) are summarily dismissed as ineffective on the (...) grounds that their instructions lack the requisite precision. But despite the pivotal role played by the notion of a precisely specified instruction in classifying procedures as effective and ineffective, little attention has been paid to the manner in which instructions "precisely specify" the actions they prescribe. It is the purpose of this paper to remedy this defect. The results are startling. The reputed exemplary precision of Turing machine instructions turns out to be a myth. Indeed, the most precise specifications of action are provided not by the procedures of theoretical computer science and mathematics (algorithms) but rather by the nontechnical procedures of everyday life. I close with a discussion of some of the rumifications of these conclusions for understanding and designing concrete computers and their programming languages. (shrink)

Horsten and Roelants have raised a number of important questions about my analysis of effective procedures and my evaluation of the Church-Turing thesis. They suggest that, on my account, effective procedures cannot enter the mathematical world because they have a built-in component of causality, and, hence, that my arguments against the Church-Turing thesis miss the mark. Unfortunately, however, their reasoning is based upon a number of misunderstandings. Effective mundane procedures do not, on my view, provide an analysis of ourgeneral concept (...) of an effective procedure; mundane procedures and Turing machine procedures are different kinds of procedure. Moreover, the same sequence ofparticular physical action can realize both a mundane procedure and a Turing machine procedure; it is sequences of particular physical actions, not mundane procedures, which enter the world of mathematics. I conclude by discussing whether genuinely continuous physical processes can enter the world of real numbers and compute real-valued functions. I argue that the same kind of correspondence assumptions that are made between non-numerical structures and the natural numbers, in the case of Turing machines and personal computers, can be made in the case of genuinely continuous, physical processes and the real numbers. (shrink)

Since the mid-twentieth century, the concept of the Turing machine has dominated thought about effective procedures. This paper presents an alternative to Turing's analysis; it unifies, refines, and extends my earlier work on this topic. I show that Turing machines cannot live up to their billing as paragons of effective procedure; at best, they may be said to provide us with mere procedure schemas. I argue that the concept of an effective procedure crucially depends upon distinguishing procedures as definite courses (...) of action(- types) from the particular courses of action(-tokens) that actually instantiate them and the causal processes and/or interpretations that ultimately make them effective. On my analysis, effectiveness is not just a matter of logical form; `content' matters. The analysis I provide has the advantage of applying to ordinary, everyday procedures such as recipes and methods, as well as the more refined procedures of mathematics and computer science. It also has the virtue of making better sense of the physical possibilities for hypercomputation than the received view and its extensions, e.g. Turing's o-machines, accelerating machines. (shrink)

Telling a patient that the outcome of his illness is not good, or even hopeless, requires sensitivity and the ability to communicate with him in the setting of a hospital which is an unnatural environment divorced from family and friends. It is a task which must be taught and learned by doctors and nurses.

The achievements of the textile industry in Roman Britain are often underestimated as a result of the meagreness of our available evidence. The Edict on maximum prices issued by Diocletian in A.D. 301 shows that British capes commanded high prices on the markets of the Empire, and that in the late third century A.D. British rugs were the best in the world. In view of the competition from the traditional centres of rug manufacture in the East, this is an astonishing (...) achievement. (shrink)

The received translation and interpretation of many of the technical terms current in the textile industry of the Roman Empire are inaccurate, because lexicographers have either fought shy of being precise, or have thought that they recognized in the ancient world technical processes which originated at a much later date. The evidence is often equivocal or insufficient, but may still yield details that have been overlooked. The textile expression scutulatus, to take an example, deserves more attention than Blümner has devoted (...) to it. When it refers to the appearance of a garment, Lewis and Short, s.v. scutulatus, translate ‘diamond or lozenge-shaped, checkered’. It seems worth while to attempt a more precise translation, and, if possible, to estimate the significance in context of the goods so designated. (shrink)

Living out of silence, out of a fully functioning, lovingly attentive mind, and not just out of thought, out of a partially functioning mind, is requisite for depth or profundity in living or relating. A fully attentive, truly silent or meditative mind sees that there is real dualism of time and the timeless and that time and the timeless each has its own unique value. The timeless, or real silence, that which alone can make for depth in one's living and (...) relating, can be there only when, in one's awareness, time and all that is related to time, have come to an end. An examination of a wide variety of statements made by writers, both past and present, shows that these understandings are seldom there in contemporary writings, just as they were not there in writings that have come down to us from the past. 'Living beyond the One and the Many' invites readers to consider the possibility that what is presented in it can bring deep meaning to one's way of living in the world"--Publisher's description, back cover. (shrink)

Is one of the roles of theory in biology answering the question “What is life?” This is true of theory in many other fields of science. So why should not it be the case for biology? Yet efforts to identify unifying concepts and principles of life have been disappointing, leading some (pluralists) to conclude that life is not a natural kind. In this essay I argue that such judgments are premature. Life as we know it on Earth today represents a (...) single example and moreover there is positive evidence that it may be unrepresentative of life considered generally. Furthermore, as I discuss, the prototype for theorizing about life has traditionally been based on multicellular plants and animals. Yet biologists have discovered that the latter represent a rare, exotic, and fairly recent form of Earth life. By far the oldest, toughest, most extensive, and diverse form of life on our planet is unicellular, prokaryotic microbes, and there are reasons to suppose that this is almost certainly true elsewhere in the universe as well. If there are explanatorily and predictively powerful, biologically distinctive principles for life that can be gleaned from our insular example of life it is more likely that they will be found among the microbes. I discuss some provocative ways in which unicellular microbes differ from multicellular eukaryotes and argue that some of them just might provide us with key insights into the nature of life. (shrink)

If the world itself is metaphysically indeterminate in a specified respect, what follows? In this paper, we develop a theory of metaphysical indeterminacy answering this question.

Despite the fact that they play a prominent role in everyday speech, the representation and processing of fixed expressions during language production is poorly understood. Here, we report a study investigating the processes underlying fixed expression production. “Tip-of-the-tongue” (TOT) states were elicited for well-known idioms (e.g., hit the nail on the head) and participants were asked to report any information they could regarding the content of the phrase. Participants were able to correctly report individual words for idioms that they could (...) not produce. In addition, participants produced both figurative (e.g., pretty for easy on the eye) and literal errors (e.g., hammer for hit the nail on the head) when in a TOT state, suggesting that both figurative and literal meanings are active during production. There was no effect of semantic decomposability on overall TOT incidence; however, participants recalled a greater proportion of words for decomposable rather than non-decomposable idioms. This finding suggests there may be differences in how decomposable and non-decomposable idioms are retrieved during production. (shrink)

This chapter contains sections titled: Introduction The Scientific Method of Yore The Structure and Research Practices of Scientific Historiography of Nature Explanation and Confirmation in Scientific Historiography Narrative Explanation Common Cause Explanation References.

The assumption that all life on Earth today shares the same basic molecular architecture and biochemistry is part of the paradigm of modern biology. This paper argues that there is little theoretical or empirical support for this widely held assumption. Scientists know that life could have been at least modestly different at the molecular level and it is clear that alternative molecular building blocks for life were available on the early Earth. If the emergence of life is, like other natural (...) phenomena, highly probable given the right chemical and physical conditions then it seems likely that the early Earth hosted multiple origins of life, some of which produced chemical variations on life as we know it. While these points are often conceded, it is nevertheless maintained that any primitive alternatives to familiar life would have been eliminated long ago, either amalgamated into a single form of life through lateral gene transfer or alternatively out-competed by our putatively more evolutionarily robust form of life. Besides, the argument continues, if such life forms still existed, we surely would have encountered telling signs of them by now. These arguments do not hold up well under close scrutiny. They reflect a host of assumptions that are grounded in our experience with large multicellular organisms and, most importantly, do not apply to microbial forms of life, which cannot be easily studied without the aid of sophisticated technologies. Significantly, the most powerful molecular biology techniques available—polymerase chain reaction amplification of rRNA genes augmented by metagenomic analysis—could not detect such microbes if they existed. Given the profound philosophical and scientific importance that such a discovery would represent, a dedicated search for ‘shadow microbes’ seems in order. The best place to start such a search is with puzzling phenomena, such as desert varnish, that resist classification as ‘biological’ or ‘nonbiological’. (shrink)