This book offers a comprehensive treatment of the classical decision problem of mathematical logic and of the role of the classical decision problem in modern computer science. The text presents a revealing analysis of the natural order of decidable and undecidable cases and includes a number of simple proofs and exercises.

This collection of original essays on Yoga in honour of Professor Gerald James Larson provides fascinating new insights into the yoga traditions of India as a ...

Current textbooks in formal semantics are all versions of, or introductions to, the same paradigm in semantic theory: Montague Grammar. Knowledge of Meaning is based on different assumptions and a different history. It provides the only introduction to truth- theoretic semantics for natural languages, fully integrating semantic theory into the modern Chomskyan program in linguistic theory and connecting linguistic semantics to research elsewhere in cognitive psychology and philosophy. As such, it better fits into a modern graduate or undergraduate program in (...) linguistics, cognitive science, or philosophy. Furthermore, since the technical tools it employs are much simpler to teach and to master, Knowledge of Meaning can be taught by someone who is not primarily a semanticist. Linguistic semantics cannot be studied as a stand-alone subject but only as part of cognitive psychology, the authors assert. It is the study of a particular human cognitive competence governing the meanings of words and phrases. Larson and Segal argue that speakers have unconscious knowledge of the semantic rules of their language, and they present concrete, empirically motivated proposals about a formal theory of this competence based on the work of Alfred Tarski and Donald Davidson. The theory is extended to a wide range of constructions occurring in natural language, including predicates, proper nouns, pronouns and demonstratives, quantifiers, definite descriptions, anaphoric expressions, clausal complements, and adverbs. Knowledge of Meaning gives equal weight to philosophical, empirical, and formal discussions. It addresses not only the empirical issues of linguistic semantics but also its fundamental conceptual questions, including the relation of truth to meaning and the methodology of semantic theorizing. Numerous exercises are included in the book. (shrink)

The theme of this book is formed by a pair of concepts: the concept of formal language as carrier of the precise expression of meaning, facts and problems, and the concept of algorithm or calculus, i.e. a formally operating procedure for the solution of precisely described questions and problems. The book is a unified introduction to the modern theory of these concepts, to the way in which they developed first in mathematical logic and computability theory and later in automata theory, (...) and to the theory of formal languages and complexity theory. Apart from considering the fundamental themes and classical aspects of these areas, the subject matter has been selected to give priority throughout to the new aspects of traditional questions, results and methods which have developed from the needs or knowledge of computer science and particularly of complexity theory. It is both a textbook for introductory courses in the above-mentioned disciplines as well as a monograph in which further results of new research are systematically presented and where an attempt is made to make explicit the connections and analogies between a variety of concepts and constructions. (shrink)

There is sufficient evidence from more recent experiments in psychology that equal retinal stimulus-elements do not lead to equal experiences and reactions except under certain rather specific conditions. An unsophisticated observer will find himself surprised to be able to cover with his own finger a person entering the door of his living room. When the finger is moved to the right or left, thus doing away with the precise retinal coincidence with the person, the observer will soon become unable to (...) recognize intuitively the actual retinal stimulus equality of the two distant things. This usually holds even for the case when he is making every inner effort towards an antagonistic, analytic perceptual attitude of the type which is used by painters or draughtsmen in order to represent the environmental situation in a similar way as it would project itself on a photographic plate or on a retina. (shrink)

“I often said before starting, that I had no doubt I should frequently repent of the whole undertaking.” So wrote Charles Darwin aboard The Beagle , bound for the Galapagos Islands and what would arguably become the greatest and most controversial discovery in scientific history. But the theory of evolution did not spring full-blown from the head of Darwin. Since the dawn of humanity, priests, philosophers, and scientists have debated the origin and development of life on earth, and with modern (...) science, that debate shifted into high gear. In this lively, deeply erudite work, Pulitzer Prize–winning science historian Edward J. Larson takes us on a guided tour of Darwin’s “dangerous idea,” from its theoretical antecedents in the early nineteenth century to the brilliant breakthroughs of Darwin and Wallace, to Watson and Crick’s stunning discovery of the DNA double helix, and to the triumphant neo-Darwinian synthesis and rising sociobiology today. Along the way, Larson expertly places the scientific upheaval of evolution in cultural perspective: the social and philosophical earthquake that was the French Revolution; the development, in England, of a laissez-faire capitalism in tune with a Darwinian ethos of “survival of the fittest”; the emergence of Social Darwinism and the dark science of eugenics against a backdrop of industrial revolution; the American Christian backlash against evolutionism that culminated in the famous Scopes trial; and on to today’s world, where religious fundamentalists litigate for the right to teach “creation science” alongside evolution in U.S. public schools, even as the theory itself continues to evolve in new and surprising directions. Throughout, Larson trains his spotlight on the lives and careers of the scientists, explorers, and eccentrics whose collaborations and competitions have driven the theory of evolution forward. Here are portraits of Cuvier, Lamarck, Darwin, Wallace, Haeckel, Galton, Huxley, Mendel, Morgan, Fisher, Dobzhansky, Watson and Crick, W. D. Hamilton, E. O. Wilson, and many others. Celebrated as one of mankind’s crowning scientific achievements and reviled as a threat to our deepest values, the theory of evolution has utterly transformed our view of life, religion, origins, and the theory itself, and remains controversial, especially in the United States (where 90% of adults do not subscribe to the full Darwinian vision). Replete with fresh material and new insights, Evolution will educate and inform while taking readers on a fascinating journey of discovery. (shrink)

This volume is a “state-of-the-art‘ assessment of comparative philosophy written by some of the leading practitioners of the field. While its primary focus is on gaining methodological clarity regarding the comparative enterprise of “interpreting across boundaries,‘ the book also contains new substantive essays on Indian, Chinese, Japanese, and European thought. The contributors are Roger T. Ames, William Theodore de Bary, Wing-tsit Chan, A. S. Cua, Eliot Deutsch, Charles Hartshorne, Daya Krishna, Gerald James Larson, Sengaku Mayeda, Hajime Nakamura, Raimundo Panikkar, (...) Karl H. Potter, Henry Rosemont, Jr., Ben-Ami Scharfstein, Ninian Smart, Fritz Staal, and Frederick J. Streng. Comparative or cross-cultural philosophy can be seen as a relative newcomer to the field of philosophy. It has its antecedents in the emergence of comparative studies in nineteenth-century European intellectual history, as well as in the sequence of East-West Philosophers’ Conferences at the University of Hawaii, which began in 1939. This book will prove to be of great significance in helping to define a field that is only now becoming fully self-conscious, methodologically and substantively, about its role and function in the larger enterprises of philosophy and comparative studies. (shrink)

Samkhya is one of the oldest, if not the oldest, system of classical Indian philosophy. This book traces its history from the third or fourth century B. C. up through the twentieth century. The Encyclopedia as a whole will present the substance of the various Indian systems of thought to philosophers unable to read the Sanskrit and having difficulty in finding their way about in the translations (where such exist). This volume includes a lengthy introduction by Gerald James Larson, (...) which discusses the history of Samkhya and its philosophical contours overall. The remainder of the book includes summaries in English of all extant Sanskrit texts of the system. Originally published in 1987. The Princeton Legacy Library uses the latest print-on-demand technology to again make available previously out-of-print books from the distinguished backlist of Princeton University Press. These editions preserve the original texts of these important books while presenting them in durable paperback and hardcover editions. The goal of the Princeton Legacy Library is to vastly increase access to the rich scholarly heritage found in the thousands of books published by Princeton University Press since its founding in 1905. (shrink)

In [P. Larson, Martin’s Maximum and the axiom , Ann. Pure App. Logic 106 135–149], we modified a coding device from [W.H. Woodin, The Axiom of Determinacy, Forcing Axioms, and the Nonstationary Ideal, Walter de Gruyter & Co, Berlin, 1999] and the consistency proof of Martin’s Maximum from [M. Foreman, M. Magidor, S. Shelah, Martin’s Maximum. saturated ideals, and non-regular ultrafilters. Part I, Annal. Math. 127 1–47] to show that from a supercompact limit of supercompact cardinals one could force (...) Martin’s Maximum to hold while the axiom fails. Here we modify that argument to prove a stronger fact, that Martin’s Maximum is consistent with the existence of a wellordering of the reals definable in H without parameters, from the same large cardinal hypothesis. In doing so we give a much simpler proof of the original result. (shrink)

Our century thinks scientifically. Nothing would be more plausible than that it has the same relation to the world as does Sein und Zeit. This, however, is not the case. For Heidegger, Science and Technology are essential characteristics of our time. Both are rooted in man insofar as he is a "Will to Will." Scientific man is man as subject. As such he does not wish to see the world the way it appears by itself but rather as a field (...) that may be tilled by him and is preordained for him and his activity. The world as the object of action does not merely come to man as a legacy; instead he violently grasps it and makes it his hunting ground. "Man becomes that Seiende, on which is based all Seiende in the manner of its Being and its Truth". Man of the machine-age does not allow for a world "where Being is as Being." The Subject "sets" its world and therefore has a Welt-bild and Welt-anschauungen, all of these being bifurcations indicating the separation of subject and world. A uniform world is replaced by Ego over against World. In this kind of "world" man makes God in his own image by setting the "world" as the stage for his Welt-anschauung, one which aims at utility and plasticity. Man is the director staging the world of his idea. As the objects which are handled have properties which reflect back on the producer, the directing is all the more dangerous. He who in everything that he thinks and does is staging himself might become the victim of his own production; the world of the calculating man has the character of its producer. "The calculating mind, adapting itself, invents 'values'. Value is the transformation of the Essence of Essence into the quantitative and the gigantic." In Holzwege Heidegger shows that the gigantic is a consequence of the way the subject places himself in the world. The world does not appear as what it is, but as what man makes of it. The world of the machine-age is a world-less world and the "world" as it is described in Sein und Zeit and more so in the essay "Vom Wesen des Grundes" does not appear in it. (shrink)