These are the proceedings of the First International Conference on Compu- tional Logic (CL 2000) which was held at Imperial College in London from 24th to 28th July, 2000. The theme of the conference covered all aspects of the theory, implementation, and application of computational logic, where computational logic is to be understood broadly as the use of logic in computer science. The conference was collocated with the following events: { 6th International Conference on Rules and Objects in Databases (DOOD (...) 2000) { 10th International Workshop on Logic-based Program Synthesis and Tra- formation (LOPSTR 2000) { 10th International Conference on Inductive Logic Programming (ILP 2000). CL 2000 consisted of seven streams: { Program Development (LOPSTR 2000) { Logic Programming: Theory and Extensions { Constraints { Automated Deduction: Putting Theory into Practice { Knowledge Representation and Non-monotonic Reasoning { Database Systems (DOOD 2000) { Logic Programming: Implementations and Applications. The LOPSTR 2000 workshop constituted the program development stream and the DOOD 2000 conference constituted the database systems stream. Each stream had its own chair and program committee, which autonomously selected the papers in the area of the stream. Overall, 176 papers were submitted, of which 86 were selected to be presented at the conference and appear in these proceedings. The acceptance rate was uniform across the streams. In addition, LOPSTR 2000 accepted about 15 extended abstracts to be presented at the conference in the program development stream. (shrink)

Researchers have identified how in some rapidly developing countries, road and aviation transportation CO2 emissions are rising faster (over time) when compared to the experiences of the USA at similar levels of economic development. While suggestive of how experiences of the rapidly developing Asia are different from those of the developed world these studies have used only one developed country for comparison, the USA, arguably a special case when it comes to transportation. To address this point this research compares the (...) road transportation CO2 experiences of rapidly developing Asian economies (Hong Kong, Japan, Malaysia, Singapore, South Korea, Taiwan and Thailand) with the USA and six other developed economies (Australia, France, the Netherlands, Italy, Sweden and the United Kingdom). The findings confirm previous results, to wit, Asian economies demonstrate faster annual growth of CO2 emissions in comparison to the experiences of the developed world. (shrink)

The Evolving Block Universe is a model where spacetime continuously emerges leading to a ‘growth’ of spacetime by which there is a passage of time. Its most recent version extends ideas on the passage of time and the various arrows of time (determined by the cosmological evolution of the whole universe). Attention is drawn to some principal problems with this model, especially how the present moment and the passage of time are defined.

In this book, Peter Ahrensdorf explores an overlooked but crucial role that Homer played in the thought of Plato, Machiavelli, and Nietzsche concerning, notably, the relationship between politics, religion, and philosophy; and in their debates about human nature, morality, the proper education for human excellence, and the best way of life. By studying Homer in conjunction with these three political philosophers, Ahrensdorf demonstrates that Homer was himself a philosophical thinker and educator. He presents the full force of Plato's critique (...) of Homer and the paramount significance of Plato's achievement in winning honor for philosophy. Ahrensdorf also makes possible an appreciation of the powerful concerns expressed by Machiavelli and Nietzsche regarding that achievement. By uncovering and bringing to life the rich philosophic conversation among these four foundational thinkers, Ahrensdorf shows that there are many ways of living a philosophic life. His book broadens and deepens our understanding of what a philosopher is. (shrink)

Perspectives on recent business scandals and the current debate.

Alan C. LoveDarwinian calisthenicsAn athlete engages in calisthenics as part of basic training and as a preliminary to more advanced or intense activity. Whether it is stretching, lunges, crunches, or push-ups, routine calisthenics provide a baseline of strength and flexibility that prevent a variety of injuries that might otherwise be incurred. Peter Bowler has spent 40 years doing Darwinian calisthenics, researching and writing on the development of evolutionary ideas with special attention to Darwin and subsequent filiations among scientists exploring (...) evolution . Therefore, we would expect that when Bowler engages in a counterfactual history—imagining a world without Darwin—he is able to avoid historical injury and generate novel insights. My assessment is that the results are mixed. Before we can see why, it is necessary to walk briskly through the main contours of his argument.Bowler begins with an apologia for a counterfactual appr .. (shrink)

Acknowledgments 1. Culture Is Essential 2. Culture Exists 3. Culture Evolves 4. Culture Is an Adaptation 5. Culture Is Maladaptive 6. Culture and Genes Coevolve 7. Nothing about Culture Makes Sense except in the Light of Evolution.

Metaphysicians should pay attention to quantum mechanics. Why? Not because it provides definitive answers to many metaphysical questions-the theory itself is remarkably silent on the nature of the physical world, and the various interpretations of the theory on offer present conflicting ontological pictures. Rather, quantum mechanics is essential to the metaphysician because it reshapes standard metaphysical debates and opens up unforeseen new metaphysical possibilities. Even if quantum mechanics provides few clear answers, there are good reasons to think that any adequate (...) understanding of the quantum world will result in a radical reshaping of our classical world-view in some way or other. Whatever the world is like at the atomic scale, it is almost certainly not the swarm of particles pushed around by forces that is often presupposed. This book guides readers through the theory of quantum mechanics and its implications for metaphysics in a clear and accessible way. The theory and its various interpretations are presented with a minimum of technicality. The consequences of these interpretations for metaphysical debates concerning realism, indeterminacy, causation, determinism, holism, and individuality are explored in detail, stressing the novel form that the debates take given the empirical facts in the quantum domain. While quantum mechanics may not deliver unconditional pronouncements on these issues, the range of possibilities consistent with our knowledge of the empirical world is relatively small-and each possibility is metaphysically revisionary in some way. This book will appeal to researchers, students, and anybody else interested in how science informs our world-view. (shrink)

Shows that the dialogue in Plato's Phaedo is primarily devoted to presenting Socrates' final defense of the philosophical life against the theoretical and political challenge of religion.

How should we undertand the role of norms—especially epistemic norms—governing assertive speech acts? Mitchell Green (2009) has argued that these norms play the role of handicaps in the technical sense from the animal signals literature. As handicaps, they then play a large role in explaining the reliability—and so the stability (the continued prevalence)—of assertive speech acts. But though norms of assertion conceived of as social norms do indeed play this stabilizing role, these norms are best understood as deterrents and not (...) as handicaps. This paper explains the stability problem for the maintenance of animal signals, and so human communication, for we are animals too, after all; the mechanics of the handicap principle; the role of deterrents and punishments as an alternative mechanism; and the role of social norms governing assertion for the case of human communication. (shrink)

Although much has been written about the vigorous debates over science and religion in the Victorian era, little attention has been paid to their continuing importance in early twentieth-century Britain. Reconciling Science and Religion provides a comprehensive survey of the interplay between British science and religion from the late nineteenth century to World War II. Peter J. Bowler argues that unlike the United States, where a strong fundamentalist opposition to evolutionism developed in the 1920s (most famously expressed in the (...) Scopes "monkey trial" of 1925), in Britain there was a concerted effort to reconcile science and religion. Intellectually conservative scientists championed the reconciliation and were supported by liberal theologians in the Free Churches and the Church of England, especially the Anglican "Modernists." Popular writers such as Julian Huxley and George Bernard Shaw sought to create a non-Christian religion similar in some respects to the Modernist position. Younger scientists and secularists—including Rationalists such as H. G. Wells and the Marxists—tended to oppose these efforts, as did conservative Christians, who saw the liberal position as a betrayal of the true spirit of their religion. With the increased social tensions of the 1930s, as the churches moved toward a neo-orthodoxy unfriendly to natural theology and biologists adopted the "Modern Synthesis" of genetics and evolutionary theory, the proposed reconciliation fell apart. Because the tensions between science and religion—and efforts at reconciling the two—are still very much with us today, Bowler's book will be important for everyone interested in these issues. Contents: Illustrations Preface Introduction: A Legacy of Conflict? Confrontation, Cooperation, or Coexistence? Victorian Background Science and Religion in the New Century Part One: The Sciences and Religion 1. The Religion of Scientists Changing Patterns of Belief Scientists and Christianity Scientists and Theism Method and Meaning Science and Values 2. Scientists against Superstition Science and Rationalism Religion without Revelation Marxists and Other Radicals Science, Religion, and the History of Science 3. Physics and Cosmology Ether and Spirit The New Physics The Earth and the Universe 4. Evolution and the New Natural Theology Science and Creation Evolution and Progress The Role of Lamarckism Darwinism Revived 5. Matter, Life, and Mind The Origin of Life Vitalism and Organicism Mind and Body Psychology and Religion Part Two: The Churches and Science 6. The Churches in the New Century The Challenge of the New The Churches’ Response 7. The New Theology in the Free Churches Precursors of the New Theology Campbell and the New Theology Modernism in the Free Churches 8. Anglican Modernism Modernism and the New Natural Theology Charles F. D’Arcy E. W. Barnes W. R. Inge Charles Raven 9. The Reaction against Modernism Evangelicals against Evolution Liberal Catholicism The Menace of the New Psychology Science and Modern Life Theology in the Thirties Roman Catholicism Part Three: The Wider Debate 10. Science and Secularism Against Idealism Popular Rationalism The Social Reformers 11. Religion’s Defenders From Idealism to Spiritualism Creative and Emergent Evolution Evolution and the Human Spirit Progress through Struggle The Christian Response Epilogue Biographical Appendix Bibliography Index. (shrink)

Putnam and Laudan separately argue that the falsity of past scientific theories gives us reason to doubt the truth of current theories. Their arguments have been highly influential, and have generated a significant literature over the past couple of decades. Most of this literature attempts to defend scientific realism by attacking the historical evidence on which the premises of the relevant argument are based. However, I argue that both Putnam's and Laudan's arguments are fallacious, and hence attacking their premises is (...) unnecessary. The paper concludes with a discussion of the further historical evidence that would be required if the pessimistic induction is to present a serious threat to scientific realism. (shrink)

Stewart Cohen has recently presented solutions to two forms of what he calls “The Problem of Easy Knowledge” (“Basic Knowledge and the Problem of Easy Knowledge,” Philosophy and Phenomenological Research, LXV, 2, September 2002, pp. 309‐329). I offer alternative solutions. Like Cohen's, my solutions allow for basic knowledge. Unlike his, they do not require that we distinguish between animal and reflective knowledge, restrict the applicability of closure under known entailments, or deny the ability of basic knowledge to combine with self‐knowledge (...) to provide inductive evidential support. My solution to the closure version of the problem covers a variation on the problem that is immune to Cohen's approach. My response to the bootstrapping version presents reasons to question whether the problem case, as Cohen presents it, is even possible, and, assuming it is, my solution avoids a false implication of Cohen's own. The key to my solutions for both versions is the distinction between an inference's transferring epistemic support, on the one hand, and its not begging the question against skeptics, on the other. (shrink)

This book seeks to restore Homer to his rightful place among the principal figures in the history of political and moral philosophy. Through this fresh and provocative analysis of the Iliad and the Odyssey, Peter J. Ahrensdorf examines Homer's understanding of the best life, the nature of the divine, and the nature of human excellence. According to Ahrensdorf, Homer teaches that human greatness eclipses that of the gods, that the contemplative and compassionate singer ultimately surpasses the heroic warrior in (...) grandeur, and that it is the courageously questioning Achilles, not the loyal Hector or even the wily Odysseus, who comes closest to the humane wisdom of Homer himself. Thanks to Homer, two of the distinctive features of Greek civilization are its extraordinary celebration of human excellence, as can be seen in Greek athletics, sculpture, and nudity, and its singular questioning of the divine, as can be seen in Greek philosophy. (shrink)

Philosophy and Phenomenological Research, EarlyView.

Progress Unchained reinterprets the history of the idea of progress using parallels between evolutionary biology and changing views of human history. Early concepts of progress in both areas saw it as the ascent of a linear scale of development toward a final goal. The 'chain of being' defined a hierarchy of living things with humans at the head, while social thinkers interpreted history as a development toward a final paradise or utopia. Darwinism reconfigured biological progress as a 'tree of life' (...) with multiple lines of advance not necessarily leading to humans, each driven by the rare innovations that generate entirely new functions. Popular writers such as H. G. Wells used a similar model to depict human progress, with competing technological innovations producing ever-more rapid changes in society. Bowler shows that as the idea of progress has become open-ended and unpredictable, a variety of alternative futures have been imagined. (shrink)

Putnam and Laudan separately argue that the falsity of past scientific theories gives us reason to doubt the truth of current theories. Their arguments have been highly influential, and have generated a significant literature over the past couple of decades. Most of this literature attempts to defend scientific realism by attacking the historical evidence on which the premises of the relevant argument are based. However, I argue that both Putnam's and Laudan's arguments are fallacious, and hence attacking their premises is (...) unnecessary. The paper concludes with a discussion of the further historical evidence that would be required if the pessimistic induction is to present a serious threat to scientific realism. (shrink)

Advances in molecular biological research in the latter half of the twentieth century have made the story of the gene vastly complicated: the more we learn about genes, the less sure we are of what a gene really is. Knowledge about the structure and functioning of genes abounds, but the gene has also become curiously intangible. This collection of essays renews the question: what are genes? Philosophers, historians and working scientists re-evaluate the question in this volume, treating the gene as (...) a focal point of interdisciplinary and international research. It will be of interest to professionals and students in the philosophy and history of science, genetics and molecular biology. (shrink)

Propositionalism explains the nature of knowledge-how as follows: P: To know how to ϕ is to stand in a special propositional attitude relation to propositions about how to ϕ. To know how to ride a bike is to have the required propositional attitude to propositions about how to do so. Dispositionalism offers an alternative view.D: To know how to ϕ is to stand in a behavioral-dispositional relation, a being-able-to relation, to ϕ-ing. To know how to ride a bike is to (...) have an ability to do so in the form of a complex disposition to behave in ways that constitute bike riding. Objectualism presents a third option.O: To know how to ϕ is to stand in a non-propositional, non-behavioral-dispositional objective attitude relation to a way of j-ing. To know how to ride a bike is to have an objectual attitude, perhaps a form of knowledge of, to a way of doing so.Dispositionalism is often dismissed on the basis of two criticisms designed to show its shortcomings relative to Propositionalism and Objectualism. According to the Epistemic Improvement Objection, Dispositionalism cannot account for the fact that gaining knowledge-how is an improvement in our epistemic state. According to the Modified Ability Objection, it cannot account for the fact that being able to do something is neither necessary nor sufficient for knowing how to do it. I develop a form of Dispositionalism, the Special Ability View, that avoids both objections. (shrink)

Stewart Cohen has recently presented solutions to two forms of what he calls "The Problem of Easy Knowledge" ("Basic Knowledge and the Problem of Easy Knowledge," Philosophy and Phenomenological Research, LXV, 2, September 2002, pp. 309-329). I offer alternative solutions. Like Cohen's, my solutions allow for basic knowledge. Unlike his, they do not require that we distinguish between animal and reflective knowledge, restrict the applicability of closure under known entailments, or deny the ability of basic knowledge to combine with self-knowledge (...) to provide inductive evidential support. My solution to the closure version of the problem covers a variation on the problem that is immune to Cohen's approach. My response to the bootstrapping version presents reasons to question whether the problem case, as Cohen presents it, is even possible, and, assuming it is, my solution avoids a false implication of Cohen's own. The key to my solutions for both versions is the distinction between an inference's transferring epistemic support, on the one hand, and its not begging the question against skeptics, on the other. (shrink)

Epistemic defeat is standardly understood in either evidentialist or responsibilist terms. The seminal treatment of defeat is an evidentialist one, due to John Pollock, who famously distinguishes between undercutting and rebutting defeaters. More recently, an orthogonal distinction due to Jennifer Lackey has become widely endorsed, between so-called doxastic (or psychological) and normative defeaters. We think that neither doxastic nor normative defeaters, as Lackey understands them, exist. Both of Lackey’s categories of defeat derive from implausible assumptions about epistemic responsibility. Although Pollock’s (...) evidentialist view is superior, the evidentialism per se can be purged from it, leaving a general structure of defeat that can be incorporated in a reliabilist theory that is neither evidentialist nor responsibilist in any way. (shrink)

Oedipus the tyrant and the limits of political rationalism -- Blind faith and enlightened statesmanship in Oedipus at colonus -- The pious heroism of Antigone -- Conclusion: Nietzsche, Plato, and Aristotle on philosophy and tragedy.

Proper functionalism explicates epistemic warrant in terms of the function and normal functioning of the belief-forming process. There are two standard substantive views of the sources of functions in the literature in epistemology: God (intelligent design) or Mother Nature (evolution by natural selection). Both appear to confront the Swampman objection: couldn’t there be a mind with warranted beliefs neither designed by God nor the product of evolution by natural selection? Is there another substantive view that avoids the Swampman objection? There (...) are two. The first is the generalized selected-effects theory of functions. The second is the organizational theory of functions. Both, however, require some history to assign functions, for both are etiological theories of functions: past effects help explain current function. Swampman can then acquire functions, perhaps soon after creation, though he has none at the moment of inception. (shrink)