This book gives a comprehensive overview of central themes of finite model theory – expressive power, descriptive complexity, and zero-one laws – together with selected applications relating to database theory and artificial intelligence, especially constraint databases and constraint satisfaction problems. The final chapter provides a concise modern introduction to modal logic, emphasizing the continuity in spirit and technique with finite model theory. This underlying spirit involves the use of various fragments of and hierarchies within first-order, second-order, fixed-point, and infinitary logics (...) to gain insight into phenomena in complexity theory and combinatorics. The book emphasizes the use of combinatorial games, such as extensions and refinements of the Ehrenfeucht-Fraissé pebble game, as a powerful way to analyze the expressive power of such logics, and illustrates how deep notions from model theory and combinatorics, such as o-minimality and treewidth, arise naturally in the application of finite model theory to database theory and AI. Students of logic and computer science will find here the tools necessary to embark on research into finite model theory, and all readers will experience the excitement of a vibrant area of the application of logic to computer science. (shrink)

This paper emphasizes the crucial role of variation, at several different levels, for a detailed historical understanding of the development of the biomedical sciences. Going beyond valuable recent studies that focus on model organisms, experimental systems and instruments, we argue that all of these categories can be accommodated within our approach, which pays special attention to organismal and cultural variation. Our empirical examples are drawn in particular from recent historical studies of nineteenth- and early twentieth-century genetics and physiology. Based on (...) the quasi-paradoxical conclusion that biological and cultural variation both constrains and enables innovation in the biomedical sciences, we argue that more attention should be paid to variation as an analytical category in the historiography of the life sciences. (shrink)

The editor has assembled these essays to support the thesis that Bergson considered "conceptual revolutions in physics inevitable [and that he foresaw] certain of their most important theoretical consequences." He introduces the collection with an intellectual biography indicating that, far from being antiscientific, Bergson was a respectful and diligent student of science. Several themes illustrative of the thesis run through the selections. One: Bergson's dualisms should be thought of as complementary, for example, intellect and intuition should be regarded as two (...) forms of empiricism rather than as antithetical approaches to knowledge. Another: Bergson anticipated concepts of quantum physics, such as, the dynamic concept of matter and the complementarity of velocity and position. A third theme: Bergson's ideas are suggestive for future scientific investigation, for example, the speed of light may be thought of as a coefficient of equivalence between space and time, a first law of time analogous to the first law of thermodynamics; then Bergson's concepts are perhaps a challenge to develop a second law. Most of the essays, originally published at various times between 1922 and 1959, appear in English for the first time. They are presented in four groups: "Quantum Physics" in which L. de Broglie, S. Watanabe, O. Costa de Beauregard, and R. Blanché are concerned with concepts of motion, entropy, and time; "Relativity" in which appears material by Bergson, Einstein, and Metz on Bergson's criticism of relativity, and essays by G. Pflug, J. F. Busch, W. Berteval, and O. Costa de Beauregard on aspects of Bergson's attack on relativity; "Bergson's and Zeno's Paradoxes" in which D. A. Sipfle uses an analysis of The Arrow by V. C. Chappell to interpret Bergson's theory of time. Milic Capek sums up the volume in an essay arguing that Bergson's concept of psychologic existence, on which his theory of matter is based, suggests a transformation of the basic concepts of the physical sciences. This is a stimulating group of essays, imaginatively edited.--L. G. (shrink)

An engineer views mind as a graduated development of, and complement to the physical world, aided by the principle of microphysical coding of information.--G. L. C.

Science, which is guided by reason and not pure intuition, is to be regarded as justifiable opinion. Bunge's sketch of philosophical intuition from Aristotle to Heidegger will probably be of interest primarily to the general reader.--G. L. C.

Northrop's familiar model of concepts by intellection and by postulation, and their epistemic correlation, provides the key for resolving the dilemma with which the book is concerned: the paradox of man, who is both the closest thing to himself and yet often so unable to understand himself. The argument is taut and the moves so quickly executed--in spite of explicit effort at clarity--that even the reader long familiar with the framework and corpus of Northrop's writings may find himself pleading for (...) further elaboration of central points. Northrop is a man whose fertile and suggestive mind continues to move with care and in focused manner over far-ranging conceptual terrain.--G. L. C. (shrink)

Using data from nonwestern, and chiefly nonliterate, groups but relating his material to utopian, revivalistic, and sectarian movements in western societies, the anthropologist author has analyzed over a dozen cases, having in common a group of people under cultural stress who, finding their lives unsatisfactory, form a new ideal of human integrity and combine to create a new man in a new social order. After identifying the key elements of these millenarian situations, the author defines and relates his terms. He (...) discusses various problematic aspects, such as the role of the prophet and the significance of money. Several kinds of explanation are sketched. In one he lays out a typical millenarian pattern, or sequence of events, and finds himself, having glimpsed a kind of millennium, embarked on the first phase of a millenarian movement. In another scheme, four general types of explanation are examined: the psycho-physiological, the ethnographic, the Marxist, and the Hegelian. Finally, four "primary situations" and twelve "oppositions" are suggested as possible components in a millenarian model, no particular case, of course, requiring the full set. At every point the book invites discussion, clarification, amplification. It is coherent and illuminating but always open-ended, admirably fulfilling its stated purpose of posing problems and stimulating thought, rather than providing answers. The current complex of rebellions is never mentioned, but no one could read it without thinking of those who proclaim new values and who feel that, if only they could smash our present social order, a new and perfect one would arise from the ashes. The book would provide an apt conceptual frame for a study of our troubled times.--L. G. (shrink)

These letters reveal Cohen the friend and teacher of philosophers and jurists, the conscientious liberal, the philosopher. Since few of Cohen's germinal ideas appear in his letters, his tenets find their chief expression through his daughter's uneven commentary. Of the major series of letter exchanged between Cohen and noted figures of his time, O. W. Holmes's letters--with their wit and irony-prove the most exciting.--G. L. C.

A "problem" book which reads, throughout too many of its pages, like an almanac of distinctions. Yet Bunge's discussions of partial truth, causality and chance, and especially of metanomological statements restore the balance and lend support to his thesis: science as a body of knowledge must be regarded as a set of systems of propositions and proposals of many kinds with the aim of "the maximization of the degree of truth."--G. L. C.

Critical expositions of criticism from Aristotle to Bradley, and of features of scholasticism provide the historical foundation for Eliot's theory of poetic criticism as well as for a prolegomenon to the relationship of scholarship and criticism, history and religion, tradition and education. Cardinal points presented and criticized are Eliot's hostility to scholarship not complemented by criticism, his insistence upon literature's commitment to institutional religion, and of literature as a preparation for the inner life of the individual. The main defect of (...) the book is the burden placed upon the reader of tying together too may philosophical and critical ends. The result is that the philosopher unfamiliar with most of Eliot's critical writings, and the critic only slightly disciplined in formal philosophy, may find themselves hard pressed to meet on common ground.--G. L. C. (shrink)

A distinguished group of linguists examine the present state of theoretic linguistics by looking to the past to see what has been accomplished, and to the future for requirements needed to frame a workable theory of language. The universals of language are taken from phonology, grammar, semantics and psycho-linguists. Uriel Weinreich's paper, "On the Semantic Structure of Language," should be of special interest to philosophers.--G. L. C.

Bruening describes his book as "an attempt to capture the spirit of the man—not his works and his life considered in isolation from each other, but the person himself as one single human being." For the most part, however, life and works are separately presented, most of the biographical data being concentrated in the first chapter. Thereafter the works are treated one by one, in largely chronological order: "Notes on Logic" ; "Notes Dictated to Moore" ; Notebooks ; Prototractatus ; (...) Tractatus ; "Lecture on Ethics" ; Blue Book ; Brown Book ; Philosophical Investigations ; Philosophische Bemerkungen ; Philosophical Grammar ; Remarks on the Foundations of Mathematics ; Lectures and Conversations on Aesthetics, Psychology and Religious Belief ; Zettel ; On Certainty. Bruening does not explain his principles of selection. The direction of his interests is suggested by the ten pages on Lectures and Conversations, not written by Wittgenstein, as compared to the mere half page devoted to On Certainty, or by the four pages on a popular lecture on ethics as compared to the single page on Philosophische Bemerkungen. Longer treatments follow the course of the work being glossed and sample its topics, save in the case of the Investigations, where remarks are grouped under these five headings: "Reflections on the Tractatus," "Language Games and Forms of Life," "The Mind-Body Problem and Private Language," "The Nature of Philosophy," and "Seeing and Seeing As." Doubtless beginning readers such as Bruening usually has in view would have found more profit and interest in the coherent development of such themes than in running comments on work after work, especially if they had been shown inside Wittgenstein’s problems and been made to sense the struggle. This seldom happens, however, and the inaccuracies are numerous and sometimes serious. A select bibliography is appended.—G.L.H. (shrink)