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)

In biology the idea of matter as something passive has been abandoned in favour of the idea that matter has the capacity of self-activity. In modern physics too matter functions more as an agent, with which the experimenter has a relation, than as passive material which he can handle as he likes. So in both fields of study the antithesis between idealism and materialism has been given up, so that the relation instead of the difference between man and nature became (...) the starting point of scientific inquiry. (shrink)

Peckham claims that my "behavior" in dealing with the quotations in Natural Supernaturalism is the same, in methodology and validity, as the interpretative behavior of Booth's waiter. But the great bulk of the utterances in my quotations—and no less, of the utterances constituting Peckham's own essay—do not consist of orders, requests, or commands. Instead, they consist of assertions, descriptions, judgments, exclamations, approbations, condemnations, and many other kinds of speech-acts, the meanings of which are not related to my interpretative behavior, even (...) in the indirect way in which the meaning of Booth's order is related to the future behavior of his waiter. M. H. Abrams, author of Natural Supernaturalism and The Mirror and the Lamp and Class of 1916 Professor of English at Cornell University, responds in this essay to Morse Peckham's "The Infinitude of Pluralism" . Morse Peckham, in his Critical Response, was commenting on issues raised by the forum on "The Limits of Pluralism" , to which M. H. Abrams contributed. Previous contributions to Critical Inquiry are "Rationality and Imagination in Cultural History: A Reply to Wayne Booth" and "The Deconstructive Angel". (shrink)

From Nobel Laureate Robert M. Solow comes this second edition of his classic text, Growth Theory, to which he has added six new chapters. The book begins with the author's Nobel Prize Lecture "Growth Theory and After", followed by the six original chapters of the first edition. The author maintains that basic growth theory is still best summarized in these chapters.The publication of the first edition in 1970 coincided with a worldwide productivity slowdown; during that time very little work occurred (...) on growth theory. It wasn't until the 1980s that a surge of new research appeared, including the work of Roemer, Lucas, Grossman/Helpman, Aghion, and Howitt. The second half of the book deals with this relatively recent surge, often referred to as "the new endogenous growth theory." As a bridge to the six new chapters, Solow includes an essay entitled "Intermezzo" in which he discusses this transition. The author recasts his model to help the reader compare the relationships among all models; he deals rather tersely, for reasons explained in the book, with "AK" theory, convergence, and international cross-section studies rather tersely. The author concludes by drawing some lessons from the new growth theory and suggests where gaps may be filled in future research. Although Solow disagrees strongly with much of the recent research, he is quick to acknowledge some of its outstanding contributions.This second edition is essential reading for graduate courses in macroeconomics as well as courses on growth theory at both undergraduate and graduate levels. No other book provides this broad overview of the whole field and its evolution. (shrink)

A Select Bibliography Michael McMahon Sheehan Jacqueline Murray. 16 Ritual and Iconography 134 12-14c Studies in Medieval Domestic Architecture ed M.J. Swanton (London 1975). [English aristocratic housing] 135 11-12c WEDZKI,...

The medieval Islamic philosophers held a certain conception of the divine unity that assumes the necessary existent to be both one and simple. The oneness of the necessary existent meant that it is the only necessary existent and its simplicity meant that it admits no composition whatsoever – it is pure essence and its essence is necessary existence. In The Incoherence of the Philosophers al-Ġazālī presents, with elaboration, an exposition of the philosophers' conception of the divine unity, several arguments for (...) its two components, and his critique of these arguments. In this paper I focus on six of the arguments attributed to the philosophers. Following the textual evidence, I reconstruct these arguments and offer two possible interpretations of them. The first interpretation, which I call the many-argument interpretation, sees one of the arguments as employing the simplicity of the necessary existent to establish its oneness and the other five arguments as invoking oneness to establish simplicity. The second interpretation, which I call the one-argument interpretation, doesn't offer a new reading for the first argument but sees the other five arguments as defending the simplicity of the necessary existent based on its basic concept. I argue for the superiority of the one-argument interpretation. Résumé Les philosophes de l'Islam classique ont une doctrine de l'unité divine selon laquelle l'existant nécessaire est à la fois unique et simple. Son unicité signifie qu'il est le seul existant nécessaire, sa simplicité qu'il n'admet aucune sorte de composition; il est pure essence et son essence est existence nécessaire. Dans la Destruction des Philosophes, al-Ġazālī présente avec force détails un exposé de la doctrine de l'unité divine des philosophes, plusieurs arguments en faveur de ses deux composantes, ainsi que sa critique de ces arguments. Je me concentre ici sur six des arguments qu'il attribue aux philosophes. En suivant les données textuelles, je reconstruis ces arguments et en propose deux interprétations possibles. La première, que j'appelle l'interprétation “à arguments multiples”, identifie l'un des arguments comme s'appuyant sur la simplicité de l'existant nécessaire pour établir son unicité, et les cinq autres comme s'appuyant sur son unicité pour établir sa simplicité. La seconde, que j'appelle l'interprétation “à argument unique”, conserve la première lecture du premier argument mais voit dans les cinq autres une défense de la simplicité de l'existant nécessaire fondée sur sa notion fondamentale. J'argumente en faveur de la supériorité de l'interprétation “à argument unique”. (shrink)

M. F. Burnyeat taught for 14 years in the Philosophy Department of University College London, then for 18 years in the Classics Faculty at Cambridge, 12 of them as the Laurence Professor of Ancient Philosophy, before migrating to Oxford in 1996 to become a Senior Research Fellow in Philosophy at All Souls College. The studies, articles and reviews collected in these two volumes of Explorations in Ancient and Modern Philosophy were all written, and all but two published, before that decisive (...) change. Whether designed for a scholarly audience or for a wider public, they range from the Presocratics to Augustine, from Descartes and Bishop Berkeley to Wittgenstein and G. E. Moore. Their subject-matter falls under four main headings: 'Logic and Dialectic' and 'Scepticism Ancient and Modern', which make up the first volume, with 'Knowledge' and 'Philosophy and the Good Life' contained in this, the second volume. The title 'Explorations' well expresses Burnyeat's ability to discover new aspects of familiar texts, new ways of solving old problems. In his hands the history of philosophy becomes itself a philosophical activity. (shrink)

How should we conceive of the relationship between finite subjectivity and reflection? And what implications does this have for the phenomenological method? This article addresses these questions by reconstructing the main pillars of Patočka’s theory of the subject. I present three of Patočka’s key arguments related to finitude, consciousness, and the world (the primacy of the sum, the reduction to immanence, and temporality); then, after every argument, I outline their implications for Patočka’s philosophy. In particular, I highlight how Patočka’s thought (...) implies a repositioning of the subject in the world to which it ontologically belongs and a reassessment of the meaning of reflection. These theoretical assumptions open phenomenology to a different understanding of the subject than it had previously possessed and promote rich analysis of the movements of existence. The most important implication of Patočka’s theory of finite subjectivity, however, concerns the concept of the world, which bear a significance that extends beyond its critical position vis-à-vis transcendental subjectivity. (shrink)

Studies of callosal sexual differentiation have concentrated on global measures of callosal size, using the rat as a model for studies of potential hormonal mechanisms. It is time to shift the study of callosal sexual differentiation to a more cellular level. Finally, there are potential problems with using the female rat as the primary model for understanding hormonal mechanisms during postnatal life.