Graham White

We compare the role of Cartesian assumptions in the symbol grounding problem and in the Myth of the Given: We argue that the Sellars–McDowell critique of the Myth of the Given and, in particular, its use of the concept of normativity can provide useful resources for responding to the symbol grounding problem. We also describe the concepts of normativity at work in computer science and cognitive science: We argue that normative concepts are pervasive in the sciences and that, in particular, McDowell’s dichotomy between the normative space of reasons and the realm of nature is somewhat problematic

We start with Fodor's critique of cognitive science in "The mind doesn't work that way: The scope and limits of computational psychology": he argues that much mental activity cannot be handled by the current methods of cognitive science because it is nonmonotonic and, therefore, is global in nature, is not context-free, and is thus not capable of being formalized by a Turing-like mental architecture. We look at the use of nonmonotonic logic in the artificial intelligence community, particularly with the discussion of the so-called frame problem. The mainstream approach to the frame problem is, we argue, probably susceptible to Fodor's critique; however, there is an alternative approach, due to McCain and Turner, which is, when suitably reformulated, not susceptible. In the course of our argument, we give a proof theory for the McCain-Turner system and show that it satisfies cut elimination. We have two substantive conclusions: first, that Fodor's argument depends on assumptions about logical form which not all nonmonotonic theories satisfy and, second, that metatheory plays an important role in the context of evolutionary accounts of rationality.

By any measure, Oliver Wendell Holmes, Jr., led a full and remarkable life. He was tall and exceptionally attractive, especially as he aged, with piercing eyes, a shock of white hair, and prominent moustache. He was the son of a famous father, a thrice-wounded veteran of the Civil War, a Harvard-educated member of Brahmin Boston, the acquaintance of Longfellow, Lowell, and Emerson, and for a time a close friend of William James. He wrote one of the classic works of American legal scholarship, The Common Law, and he served with distinction on the Supreme Court of the United States. He was actively involved in the Court's work into his nineties. In Justice Oliver Wendell Holmes, G. Edward White, the acclaimed biographer of Earl Warren and one of America's most esteemed legal scholars, provides a rounded portrait of this remarkable jurist. We see Holmes's early life in Boston and at Harvard, his ambivalent relationship with his father, and his harrowing service during the Civil War. White examines Holmes's curious, childless marriage and he includes new information on Holmes's relationship with Clare Castletown. White not only provides a vivid portrait of Holmes's life, but examines in depth the inner life and thought of this preeminent legal figure. There is a full chapter devoted to The Common Law, for instance, and throughout the book, there is astute commentary on Holmes's legal writings. Indeed, White reveals that some of the themes that have dominated 20th-century American jurisprudence--including protection for free speech and the belief that "judges make the law"--originated in Holmes's work. Perhaps most important, White suggests that understanding Holmes's life is crucial to understanding his work, and he continually stresses the connections between Holmes's legal career and his personal life. For instance, his desire to distinguish himself from his father and from the "soft" literary culture of his father's generation drove him to legal scholarship of a particularly demanding kind. White's biography of Earl Warren was hailed by Anthony Lewis on the cover of The New York Times Book Review as "serious and fascinating," and The Los Angeles Times noted that "White has gone beyond the labels and given us the man." In Justice Oliver Wendell Holmes, White has produced an equally serious and fascinating biography, one that again goes beyond the labels and gives us the man himself.

This is a handbook, written by a number of authors from different research communities. Even though the subject matter of the book is reasonably unified, the divergence between their communities – firstly category theory and type theory, secondly universal algebra, and thirdly classical logic and complexity theory -- makes it difficult to get an overview; these communities are notorious for their poor relations with each other. Thus, even though it would be tempting to envisage a world in which the various chapters would be written so as to illuminate each other, and in which prospective readers would have a broad enough background to be able to appreciate all of this book, it is not the world that we live in.