Coastal ecosystems are increasingly dominated by humans. Consequently, the human dimensions of sustainability science have become an integral part of emerging coastal governance and management practices. But if we are to avoid the harsh lessons of land management, coastal decision makers must recognize that humans are one of the more coastally dependent species in the biosphere. Management responses must therefore confront both the temporal urgency and the very real compromises and sacrifices that will be necessary to achieve a sustainable coastal (...) ecosystem, one that is economically feasible, socially just, and ecologically sound. (shrink)

This volume contains papers and abstracts of papers delivered at the colloquium at Tihany, Hungary in 1962. There were seven sections; mathematical logic, computers and automata theory, circuit theory, mathematical linguistics, computers and programming, applications of computers in economics, artificial intelligence. Among the more interesting—to the reviewer—were these papers: one by Church concerning an independence problem in recursive arithmetic; Muller—characterizing classes of recursive functions; a long and philosophically stimulating study by Watanabe on a formalization of inductive logic; Kiefer—applications of set (...) theoretic techniques in linguistics; Abraham and Salapina—recognition of synonymity by machine; Gelernter—problem-solving graphs and heuristic programming. A number of papers which were read are not included in this volume.—P. J. M. (shrink)

To celebrate the four-hundredth anniversary of Galileo's birth, the University of Rochester held a series of lectures on the thought and influence of Galileo; there were six contributors and their work groups itself into three areas. The first of these is the importance and relevance of Galileo in modern thought and society: these were discussed by Giorgio di Santillana and Gilgerto Bernardino respectively. Norwood Hanson and E. W. Strong study the work of Galileo in dynamics and his theory of measurement. (...) The last two papers are concerned with the role of science in society—they spring from the confrontation of Galileo and the Church, the first indication of the special problems the scientific disciplines would face in their intercourse with the rest of society—and are by Philip Abelson and Erich Kahler. Although this brief collection cannot provide a full view of the scope of Galileo's activities and their subsequent impact, we are still able to feel that some of the vast gap between ourselves and the initiator of modern physics has been spanned, and that he can be seen more clearly for it.—P. J. M. (shrink)

The author's central thesis is that a knowledge of set theory can be put to good use by the linguist interested in the syntax of natural languages. The author first points out the role of set theory in formal science, and then gives a short summary of some of the more important ideas. He then develops certain relations in set theory which are of special importance in the study of languages. A fair number of examples—admittedly in rather trivial form—which occur (...) in the study of language are exhibited to show some of the applications in mind. The last few pages are devoted to a review of how his thesis has fared. Although it may seem obvious to some that set theory is the means par excellence for the formal study of any discipline, many linguists apparently do not yet see this; this book will go some way toward demonstrating this.—P. J. M. (shrink)

This is easily the most systematic survey of the foundations of logic and mathematics available today. Although Beth does not cover the development of set theory in great detail, all other aspects of logic are well represented. There are nine chapters which cover, though not in this order, the following: historical background and introduction to the philosophy of mathematics; the existence of mathematical objects as expressed by Logicism, Cantorism, Intuitionism, and Nominalism; informal elementary axiomatics; formalized axiomatics with reference to finitary (...) theory of proof; non-elementary metamathematics, embracing formal syntax and semantics; applications of set theory and topology in metamathematics—especially in the theory of models; recursive function theory; the logical paradoxes; the relation of philosophy of mathematics to general philosophy. This is a mere skeleton of the whole, but it indicates the broad sweep of the work. One unifying feature is the author's use of his "semantic tableau" method of examining the truth or falsity of sentences. Although the author is an Intuitionist, classical metamathematical proof techniques are by no means slighted; they are used throughout much of the book, and are indispensable, of course, when dealing with classical logic. Exercises are scattered throughout and at the end; few of them are trivial. There is a very extensive bibliography, brought up to date from the first edition. This extraordinary book will be of use to logicians as a reference tool and to philosophers trying to survey the field of modern formal logic; its appearance in a fine paper edition is therefore doubly welcome—P. J. M. (shrink)

The aim of the authors is to present a comprehensive study of the basis of intuitionistic mathematics by means of modern meta-mathematical devices. The first author, for whom this book is a capstone of twenty years' work on the subject, contributes three chapters on a formal system of intuitionistic analysis, notions of realizability, and order in the continuum; the second provides an analysis of the intuitionistic continuum. An extensive bibliography which includes references to almost every article on the subject makes (...) this book especially valuable; for those interested in intuitionism and its relations to classical mathematics this work will be essential.—P. J. M. (shrink)

What is attempted in this book is a presentation of various areas of science in such ways that their attendant philosophical problems are displayed, and their philosophical relevance is made evident. Essentially, there are three parts to the book: the first, comprising chapters on the nature of number, geometry, and the mathematical treatments of motion and measurement, presents the usual problems of conventionalism in geometry, physical vs. formal geometry, but also discusses Turing machines and information theory. The next five chapters (...) analyze the laws of motion, probability, chance, and credibility, order in nature, and the conceptual structure of modern physics. The last four chapters constitute a study of evolutionary theory, psychology, ethics, and economic theory, the last topic not often appearing in studies of scientific philosophy. The selection of topics is judicious and balanced, but the author often overuses certain ideas and theories, for example, information theory, as both heuristic devices and as factually true of various situations; in this sense he is misleading and conceptually unrigorous. A number of illustrations, visually interesting and enlightening, help to add interest.—P. J. M. (shrink)

Multiple measures of decision-making under uncertainty (e.g. jumping to conclusions (JTC), bias against disconfirmatory evidence (BADE), win-switch behavior, random exploration) have been associated with delusional thinking in independent studies. Yet, it is unknown whether these variables explain shared or unique variance in delusional thinking, and whether these relationships are specific to paranoia or delusional ideation more broadly. Additionally, the underlying computational mechanisms require further investigation. To investigate these questions, task and self-report data were collected in 88 individuals (46 healthy controls, (...) 42 schizophrenia-spectrum) and included measures of cognitive biases and behavior on probabilistic reversal learning and explore/exploit tasks. Of those, only win-switch rate significantly differed between groups. In regression, reversal learning performance, random exploration, and poor evidence integration during BADE showed significant, independent associations with paranoia. Only self-reported JTC was associated with delusional ideation, controlling for paranoia. Computational parameters increased the proportion of variance explained in paranoia. Overall, decision-making influenced by strong volatility and variability is specifically associated with paranoia, whereas self-reported hasty decision-making is specifically associated with other themes of delusional ideation. These aspects of decision-making under uncertainty may therefore represent distinct cognitive processes that, together, have the potential to worsen delusional thinking across the psychosis spectrum. (shrink)

The infinitary languages studied in this book are those in which quantification of infinitely many variables simultaneously, and conjunctions or alternations of infinitely many are permitted. Infinitary concatenation and infinitary propositional logics are first discussed, and a completeness theorem is proved about the latter. The later chapters deal with infinitary predicate languages and Scott's proof of incompleteness is introduced. Throughout the discussion, unsolved problems are mentioned and areas undergoing current development are emphasized. A short bibliography lists most recent articles on (...) this new branch of logic.—P. J. M. (shrink)