Lawrence's volume provides a detailed discussion and analyses of the moral awareness of major characters in Greek tragedy, focusing particularly on the characters' recognition of moral issues and crises, their ability to reflect on them, and their consciousness of doing so.

Pancreatitis is a complex, progressively destructive inflammatory disorder. Alcohol was long thought to be the primary causative agent, but genetic contributions have been of interest since the discovery that rare PRSS1, CFTR and SPINK1 variants were associated with pancreatitis risk. We now report two associations at genome-wide significance identified and replicated at PRSS1-PRSS2 and X-linked CLDN2 through a two-stage genome-wide study. The PRSS1 variant likely affects disease susceptibility by altering expression of the primary trypsinogen gene. The CLDN2 risk allele is (...) associated with atypical localization of claudin-2 in pancreatic acinar cells. The homozygous CLDN2 genotype confers the greatest risk, and its alleles interact with alcohol consumption to amplify risk. These results could partially explain the high frequency of alcohol-related pancreatitis in men. © 2012 Nature America, Inc. All rights reserved. (shrink)

We assume that acting ethically is a skill. We then use a phenomenological description of five stages of skill acquisition to argue that an ethics based on principles corresponds to a beginner’s reliance on rules and so is developmentally inferior to an ethics based on expert response that claims that, after long experience, the ethical expert learns to respond appropriately to each unique situation. The skills model thus supports an ethics of situated involvement such as that of Aristotle, John Dewey, (...) and Carol Gilligan against the detached, rationalist ethics of Kant, John Rawls, Lawrence Kohlberg, and Jürgen Habermas. (shrink)

This article seeks to re-conceptualize Rawlsian public reason as a critical tool against ideological propaganda. The article proposes that public reason, as a standard for public discourse, must be conceptualized beyond its mandate for comprehensive neutrality to additionally emphasize critique of ideologically driven ignorance and propaganda in the public realm. I connect uncritical hospitality to such ideological propaganda with Harry Frankfurt’s concept of bullshit. This paper proposes that philosophers have a unique moral obligation to engage bullshit critically in the public (...) sphere. The obligation for such critique, I argue, represents philosophy’s essential moral component in a society committed to the protection of free speech and deliberative democracy. (shrink)

To what extent does the case for exemptions from laws to accommodate religious commitments rest specifically on egalitarian arguments? To what extent should specifically egalitarian or anti-discrimination concerns be used to determine when such exemptions should be granted? This Article considers both of these questions. It argues that while egalitarian considerations have a role to play in both the general justification and case-by-case evaluation of exemption claims, neither the justification, nor the evaluation of exemptions, properly rests solely on specifically egalitarian (...) considerations. At the level of justification, there is an important, independent role for something akin to the principle of respect for conscience recently put forward by Martha Nussbaum; and, when citizens come to evaluate particular claims for exemptions, the anti-discrimination approach put forward by Christopher Eisgruber and Lawrence Sager in the context of the U.S. and its constitutional tradition is more plausibly seen as a complement to the “balancing test” which has been used historically rather than as an alternative to it. (shrink)

John Stuart Mill is the father of modern liberalism. His most remembered work, On Liberty, which was published in 1859, changed the course of the liberal tradition. What is less well-known is that his ideas have profoundly influenced the American constitutional rights tradition of the latter half of the twentieth century. Mill's 'harm principle' inspired the constitutional right to privacy recognized in Griswold v Connecticut, Roe vs Wade and other cases. His defense of freedom of expression influenced Justices Holmes, (...) Brandeis, Douglas, Brennan and others and led to greatly expanded freedom of speech in the twentieth century. Finally, Mill was an ardent feminist whose last important work, The Subjection of Women, was a full-scale and, for its time, radical defense of complete gender equality. This is a book for lawyers who want to understand the intellectual origins of modern constitutional rights, and for political philosophers interested in the constitutional implications of Mill's conception of freedom. (shrink)

Stereotypes are false or misleading generalizations about groups, generally widely shared in a society, and held in a manner resistant, but not totally, to counterevidence. Stereotypes shape the stereotyper’s perception of stereotyped groups, seeing the stereotypic characteristics when they are not present, and generally homogenizing the group. The association between the group and the given characteristic involved in a stereotype often involves a cognitive investment weaker than that of belief. The cognitive distortions involved in stereotyping lead to various forms of (...) moral distortion, to which moral philosophers have paid insufficient attention. Some of these are common to all stereotypes—failing to see members of the stereotyped groups as individuals, moral distancing, failing to see subgroup diversity within the group. Other moral distortions vary with the stereotype. Some attribute a much more damaging or stigmatizing characteristic (e.g. being violent) than others (e.g. being good at basketball). But the characteristic in question must also be viewed in its wider historical and social context to appreciate its overall negative and positive dimensions. (shrink)

Embodied cognition is one of the foremost areas of study and research in philosophy of mind, philosophy of psychology and cognitive science. The Routledge Handbook of Embodied Cognition is an outstanding guide and reference source to the key philosophers, topics and debates in this exciting subject and essential reading for any student and scholar of philosophy of mind and cognitive science. Comprising over thirty chapters by a team of international contributors, the Handbook is divided into six parts: Historical Underpinnings Perspectives (...) on Embodied Cognition Applied Embodied Cognition: Perception, Language and Reasoning Applied Embodied Cognition: Social and Moral Cognition and Emotion Applied Embodied Cognition: Memory, Attention and Group Cognition Meta-Topics. The early chapters of the Handbook cover empirical and philosophical foundations of embodied cognition, focusing on Gibsonian, phenomenological and cybernetic approaches. Subsequent chapters cover additional, important themes common to work in embodied cognition, incuding embedded , extended and enactive cognition as well as chapters on embodied cognition and empirical research in perception, language, reasoning, social and moral cognition, emotion, consciousness, memory and learning and development. (shrink)

In this work, Mill reflects on the struggle between liberty and authority and defends the view that “the only purpose for which power can be rightfully exercised over any member of a civilized community, against his will, is to prevent harm to others.” He questions the justification for the limits of freedom of conscience and religion, freedom of speech, freedom of action, and the nature of liberalism itself. This new Broadview Edition demonstrates the ways in which Mill’s intellectual landscape differed (...) markedly from our own, while also drawing attention to the reasons why the work remains relevant and essential reading in the present day. Appendices include antecedents to Mill’s work, critical discussions by his contemporaries, and related writings by Mill. Please note: Broadview offers two separate editions of On Liberty. The Kahn edition is particularly relevant to readers who are interested in how the work is situated in the history of political philosophy, whereas the Alexander edition is recommended to those most interested in the work’s Victorian literary and social contexts. (shrink)

The revolutionary outbreak in a variety of civilizations centered around 600 B.C.E., a period in which the great world religions as well as philosophy emerged, from Hebrew scriptures and the teachings of Buddha to the works of Greek and Chinese philosophers, has been named the Axial Age by Karl Jaspers. Yet 75 years earlier, in 1873, unknown to Jaspers and still unknown to the world, John Stuart Stuart-Glennie elaborated a fully developed and more nuanced theory of what he (...) termed The Moral Revolution to characterize the period. This book also brings to light the previously undiscussed ideas of D. H. Lawrence on the phenomenon from 20 years before Jaspers, the seldom mentioned contributions of Lewis Mumford, and proposes a new context for understanding the phenomenon. Halton rewrites the history of this fascinating theory and opens new ways of conceiving the meaning of The Moral Revolution for today. (shrink)

Friendship, Altruism, and Morality, originally published in 1980, gives an account of "altruistic emotions" and friendship that brings out their moral value. Blum argues that moral theories centered on rationality, universal principle, obligation, and impersonality cannot capture this moral importance. This was one of the first books in contemporary moral philosophy to emphasize the moral significance of emotions, to deal with friendship as a moral phenomenon, and to challenge the rationalism of standard interpretations of Kant, although Blum’s "sentimentalism" owes more (...) to Schopenhauer than to Hume. It was a forerunner to care ethics, and feminist ethics more generally; to virtue ethics; and to subsequent influential interpretations of Kant that attempted to room for altruistic emotion and friendship, and other forms of particularism and partialism. In addition, the work has been widely influential in religious studies, political theory, bioethics, and feminist ethics. (shrink)

The essays in this collection examine the moral import of emotion, motivation, judgment, perception, and group identifications, and explore how all these psychic capacities contribute to a morally good life. They examine moral exemplars and the "moral saints" debate, the morality of rescue during the Holocaust, role morality as lying between "personal" and "impersonal" perspectives, Carol Gilligan's theory of women and morality, Iris Murdoch's moral philosophy, and moral responsiveness in young children.

I argue that physicians can save women from life-threatening pregnancies by performing a craniotomy, placentectomy, or salpingotomy without intending death or harm. To support this conclusion, I defend the relevance thesis about intentions (a person intends X only if X explains the action). I then criticize the identity thesis (if a person intends X and knows X is Y then the person intends Y) and three mistakenly strict moral principles: (1) one may not intend something that is a serious harm (...) for an innocent person, (2) one may not intend to terminate pregnancy before viability, which would prohibit, and (3) one may not act on a person’s body in a harmful way in order to benefit another person. (1) would prohibit procuring organs from living donors, (2) would prohibit treating hepatic pregnancies and other ectopic pregnancies, and (3) would prohibit procuring organs from living donors and performing many prenatal surgeries. (shrink)

As Nelson Goodman highlighted, there are two main senses of “abstract” that can be found in discussions about abstract art. On the one hand, a representation is abstract if it leaves out certain features of its target. On the other hand, something can be abstract to the extent that it does not represent a concrete subject. The first sense of “abstract” is well-known in philosophy of science. For example, philosophers discuss mathematical models of physical, biological, and economic systems as being (...) abstract in this sense. However, it is the second sense that dominates discussions of abstract art in aesthetics. For example, abstract art was (and is) considered revolutionary precisely for being non-figurative. Through an analysis of artists including Kandinsky, Malevich, and Mondrian, we develop a reading of this second sense, which we call “generative abstraction,” as opposed to “subtractive” abstraction. Generative abstraction is a process in which a new artifact is created which does not represent the initial concrete target system that inspired it (if there was one), where the artifact’s features are explored for their own sake, and where the “language” of the new artifact is in some way more “universal.” Focusing on this sense of abstraction is helpful in revealing the complexity of the process of crafting an abstract artifact, in problematizing the notion that abstraction can always be un-done (or concretized), as well as revealing new ways for abstractions to be epistemically (un)successful. (shrink)

Although republican political theory has undergone something of a revival in recent years, some question its contemporary relevance on the grounds that republicanism has little to say about central questions of modern economic organization. In response, this paper offers an account of core republican values and then considers how capitalism stands in relation to these values. It identifies three areas of republican concern related to: the impact of unequal wealth distribution on personal liberty; the impact of the private control of (...) investment on popular sovereignty and pursuit of the common good; and the impact of capitalism on the level and quality of political participation. In view of these concerns, we can see some of the likely requirements of a distinctively republican, but contemporary political economy. (shrink)

While philosophers hold that it is patently absurd to blame robots or hold them morally responsible [1], a series of recent empirical studies suggest that people do ascribe blame to AI systems and robots in certain contexts [2]. This is disconcerting: Blame might be shifted from the owners, users or designers of AI systems to the systems themselves, leading to the diminished accountability of the responsible human agents [3]. In this paper, we explore one of the potential underlying reasons for (...) robot blame, namely the folk's willingness to ascribe inculpating mental states or "mens rea" to robots. In a vignette-based experiment (N=513), we presented participants with a situation in which an agent knowingly runs the risk of bringing about substantial harm. We manipulated agent type (human v. group agent v. AI-driven robot) and outcome (neutral v. bad), and measured both moral judgment (wrongness of the action and blameworthiness of the agent) and mental states attributed to the agent (recklessness and the desire to inflict harm). We found that (i) judgments of wrongness and blame were relatively similar across agent types, possibly because (ii) attributions of mental states were, as suspected, similar across agent types. This raised the question - also explored in the experiment - whether people attribute knowledge and desire to robots in a merely metaphorical way (e.g., the robot "knew" rather than really knew). However, (iii), according to our data people were unwilling to downgrade to mens rea in a merely metaphorical sense when given the chance. Finally, (iv), we report a surprising and novel finding, which we call the inverse outcome effect on robot blame: People were less willing to blame artificial agents for bad outcomes than for neutral outcomes. This suggests that they are implicitly aware of the dangers of overattributing blame to robots when harm comes to pass, such as inappropriately letting the responsible human agent off the moral hook. (shrink)

Fourteen newly commissioned essays trace the historical development of the distinction between primary and secondary qualities, which lies at the intersection of issues in metaphysics, epistemology, and philosophy of perception. 'Primary and Secondary Qualities' focuses on the age of the Scientific Revolution, the 'locus classicus' of the distinction, but begins with chapters on ancient Greek and Scholastic accounts of qualities in an effort to identify its origins. The remainder of the volume is devoted to philosophical reflections on qualities from the (...) seventeenth century to the present day. Virtualliy every major figure is represented from Gassendi to Kant, and special attention is paid to Locke, Descartes, and Hume. The essays collected here cover a wide range of topics, including the foundation for the distinction, the question of whether it is lmetaphysical or merely epistemic, the status of secondary qualities, the nature of sensoriy representation, the relation between philosophy and science, the status of dispositions, and the semantics of sensible-quality terms"--Publisher's description, p. [4] of dust jacket. (shrink)

Imagination is important for many things in science: solving problems, interpreting data, designing studies, etc. Philosophers of imagination typically account for the productive role played by imagination in science by focusing on how imagination is constrained, e.g., by using self-imposed rules to infer logically, or model events accurately. But the constraints offered by these philosophers either constrain too much, or not enough, and they can never account for uses of imagination that are needed to break today’s constraints in order to (...) make progress tomorrow. Thus, epistemology of imagination needs to make room for an element of epistemological anarchy. (shrink)

Imagination is necessary for scientific practice, yet there are no in vivo sociological studies on the ways that imagination is taught, thought of, or evaluated by scientists. This article begins to remedy this by presenting the results of a qualitative study performed on two systems biology laboratories. I found that the more advanced a participant was in their scientific career, the more they valued imagination. Further, positive attitudes toward imagination were primarily due to the perceived role of imagination in problem-solving. (...) But not all problem-solving episodes involved clear appeals to imagination, only maximally specific problems did. This pattern is explained by the presence of an implicit norm governing imagination use in the two labs: only use imagination on maximally specific problems, and only when all other available methods have failed. This norm was confirmed by the participants, and I argue that it has epistemological reasons in its favour. I also found that its strength varies inversely with career stage, such that more advanced scientists do (and should) occasionally bring their imaginations to bear on more general problems. A story about scientific pedagogy explains the trend away from (and back to) imagination over the course of a scientific career. Finally, some positive recommendations are given for a more imagination-friendly scientific pedagogy. (shrink)

Can an ugly experiment be a good experiment? Philosophers have identified many beautiful experiments and explored ways in which their beauty might be connected to their epistemic value. In contrast, the present chapter seeks out (and celebrates) ugly experiments. Among the ugliest are those being designed by AI algorithms. Interestingly, in the contexts where such experiments tend to be deployed, low aesthetic value correlates with high epistemic value. In other words, ugly experiments can be good. Given this, we should conclude (...) that beauty is not generally necessary or sufficient for epistemic value, and increasing beauty will not generally tend to increase epistemic value. (shrink)

Reissued here in its corrected second edition of 1864, this essay by John Stuart Mill argues for a utilitarian theory of morality. Originally printed as a series of three articles in Fraser's Magazine in 1861, the work sought to refine the 'greatest happiness' principle that had been championed by Jeremy Bentham, defending it from common criticisms, and offering a justification of its validity. Following Bentham, Mill holds that actions can be judged as right or wrong depending on whether they (...) promote happiness or 'the reverse of happiness'. Although attracted by Bentham's consequentialist framework based on empirical evidence rather than intuition, Mill separates happiness into 'higher' and 'lower' pleasures, arguing for a weighted system of measurement when making and judging decisions. Dissected and debated since its first appearance, the essay is Mill's key discussion on the topic and remains a fundamental text in the study of ethics. (shrink)

The dominant tradition in the philosophy of the cognitive sciences has assumed that human minds can be realized in many other kinds of brains and the mind is a fairly autonomous component residing in the body. In The Mind Incarnate, Stuart Shapiro labels these the multiple realizability thesis and the separability thesis and sets them in opposition to two alternative theses that he advances: the mental constraint thesis and the embodied mind thesis. Although Shapiro has very interesting things to (...) say on behalf of the embodied mind thesis, by far his more significant contribution is his argument on behalf of the mental constraint hypothesis and hence against the multiple realizability thesis. Although there were a number of early dissenters from the multiple realizability thesis, as a result of arguments by Putnam and Fodor, it came to be regarded through most of the 1980s and 1990s as a simple truism. It has provided the chief argument against the reduction of psychology to neuroscience and for an autonomous psychology. (shrink)

The dispute about the role of class in understanding the life situations of people of color has tended to be overpolarized, between a class reductionism and an “it's only race” position. Class processes shape racial groups’ life situations. Race and class are also distinct axes of injustice; but class injustice informs racial injustice. Some aspects of racial injustice can be expressed only in concepts associated with class (e.g., material deprivation, inferior education). But other aspects of racial injustice or other harms, (...) such as racial discrimination or stigma, are not reducible to class concepts and cannot be fully addressed through class-focused policies. Overall, any attempt to fully secure racial justice for a racial group will require a combination of race-focused and class-focused policies. Anti-racist outlooks often neglect or downplay either the normative or the explanatory significance of class, or both—for example, by overlooking or downplaying the dignitary harms of class and the material harms of race; missing the historical dimension of class injustice; masking class by a narrowing of the complex normative structure of racial disparities; or not recognizing that a class-focused initiative (like raising the minimum wage) can address substantial racial justice concerns, even though not all of them. “Systemic racism” terminology recognizes class explanatorily but suppresses it normatively. Charles Mills's influential notion of “white supremacy,” while a powerful tool for conceptualizing and illuminating racial injustice, can also contribute to minimizing or masking the justice-related impact of class, as do some of Mills's specific discussions of class in various writings. (shrink)

In the Canon of the Critique of Pure Reason, Kant endorses both a Moral Belief in God as well as what he there calls Doctrinal Belief. The former mode of belief is well known and can be found throughout the Kantian Corpus. The latter, however, is far more obscure and thus far has not been carefully studied. Doctrinal Belief only appears explicitly in the Canon, but is related to a number of issues in the Transcendental Dialectic as well as the (...) Critique of Judgment. This paper will provide an account of the Doctrinal Belief in God and consider its compatibility with Kant’s other discussions of the projected ground of the principle of purposiveness. (shrink)

Observers have noted a decline (in the US) in attributions of genetically-based inferiority (e.g. in intelligence) to Blacks, and a rise in attributions of culturally-based inferiority. Is this "culturalism" merely warmed-over racism ("cultural racism") or a genuinely distinct way of thinking about racial groups? The question raises a larger one about the relative place of biology and culture in racist thought. I develop a typology of culturalisms as applied to race: (1) inherentist or essentialist culturalism (inferiorizing cultural characteristics wrongly but (...) intelligibly regarded as inhering in the nature of racial groups). This view has an historical pedigree in the work of J.G. von Herder, and the tradition of "national racism." (2) non-inherentist culturalism (groups regarded as possessing changeable, malleable inferiorizing cultural characteristics). (3) colonalist culturalism (colonial subjects regarded as uncivilized but capable of becoming civilized under European tutelage). (4) neo-racism (cultures of former colonial subjects in or potentially immigrating to European countries are regarded in an inherentist manner and incompatible with but not inferior to European cultures). Non-inherentist culturalism (#2) can be put to either a racist or an anti-racist use. (shrink)

A thorough-going re-elaboration of modern experience via the senses.

Departing from the sociological dual process model that divides thoughts into automatic and unconscious, or deliberate and conscious occurrences, this book draws on empirical cases to demonstrate the existence of 'automatic deliberation'. Through research into the ways in which people address difficult subjects, such as death and dying, paedophilia, and career decision-making, the author sheds light on a mode of thinking which is both habitual and effortful, displaying a combination of habituated understandings and conscious deliberation. Advancing a blended view of (...) cognition by which individuals draw on schemas and frames to think through complex topics, this volume will appeal to sociologists and psychologists with interests in cognition and the ways in which we make decisions. (shrink)

The last three decades have witnessed a heated debate of the merits of intelligent design (ID) as a way to understand a number of observable natural phenomena. The present dispute has its roots in a much older discussion: that of natural theology, which has always had as its goal the discernment of design(s) attributable to God in the natural world. Despite its ongoing relevance, natural theology does not have a coherent scholarly history. Turning Points in Natural Theology from Bacon to (...) Darwin deftly fills that gap, analysing the argument of design during the period from Francis Bacon (1561-1626) to Charles Darwin (1809-82), with a specific focus on those moments at which the rhetorical terms changed significantly. (shrink)

Scientists imagine constantly. They do this when generating research problems, designing experiments, interpreting data, troubleshooting, drafting papers and presentations, and giving feedback. But when and how do scientists learn how to use imagination? Across 6 years of ethnographic research, it has been found that advanced career scientists feel comfortable using and discussing imagination, while graduate and undergraduate students of science often do not. In addition, members of marginalized and vulnerable groups tend to express negative views about the strength of their (...) imaginations and the general usefulness of imagination in science. After introducing these findings and discussing the typical relationship between a scientist and their imagination across a career, we argue that reducing the number or power of active imaginations in science is epistemically counterproductive. We suggest several ways to bring imagination back into science in a more inclusive way, especially through courses on imagination for scientists, good role models, and exemplar-based learning. (shrink)

Frege famously held that numbers play the role of objects in our language and thought, and that this role is on display when we use sentences like "The number of Jupiter's moons is four". I argue that this role is an example of a general pattern that also encompasses persons, times, locations, reasons, causes, and ways of appearing or acting. These things are 'objects' simply in the sense that they are answers to questions: they are the sort of thing we (...) search for and specify during investigation or inquiry. I support this epistemological conception of objects by studying specificational sentences, a class of sentences which includes Frege's original example. I defend an analysis of such sentences as question-answer pairs, and show how to formally represent this analysis using game-theoretical semantics. (shrink)

Moral philosophy is the study of what morality is and what it requires of us. As Socrates said, it's about "how we ought to live"-and why. It would be helpful if we could begin with a simple, uncontroversial definition of what morality is. Unfortunately, we cannot. There are many rival theories, each expounding a different conception of what it means to live morally, and any definition that goes beyond Socrates's simple formula-tion is bound to offend at least one of them. (...) This should make us cautious, but it need not paralyze us. In this chapter, I will describe the "minimum conception" of morality. (shrink)

The promise of a free, high-quality public education is supposed to guarantee every child a shot at the American dream. But our widely segregated schools mean that many children of color do not have access to educational opportunities equal to those of their white peers. In Integrations, historian Zoë Burkholder and philosopher Lawrence Blum investigate what this country’s long history of school segregation means for achieving just and equitable educational opportunities in the United States. Integrations focuses on multiple marginalized (...) groups in American schooling: African Americans, Native Americans, Latinxs, and Asian Americans. The authors show that in order to grapple with integration in a meaningful way, we must think of integration in the plural, both in its multiple histories and in the many possible definitions of and courses of action for integration. Ultimately, the authors show, integration cannot guarantee educational equality and justice, but it is an essential component of civic education that prepares students for life in our multiracial democracy. (shrink)

Nichols’s view of empathy (in Sentimental Rules) in light of experimental moral psychology suffers from several deficiencies: (1) It operates with an impoverished view of the altruistic emotions (empathy, sympathy, concern, compassion, etc.) as mere short-term, affective states of mind, lacking any essential connection to intentionality, perception, cognition, and expressiveness. (2) It fails to keep in focus the moral distinction between two very different kinds of emotional response to the distress and suffering of others—other-directed, altruistic, emotions that have moral value, (...) and self-directed emotional responses, such as personal distress, that do not. (3) Nichols is correct to see morality as requiring affectivity, and the capability of emotional response to others; but his incorrect view of altruistic emotions (and of emotions in general) leads him to misstate the connection between morality and emotion. (4) Nichols’s specific attempt to ground moral judgment in emotion fails, but the argument he provides for it is part of the explanation of point (2), his failure to sustain the distinction between egoistic and altruistic emotions. (5) Without in any way denying that moral philosophy is strengthened by knowledge of empirical psychology, I suggest that the foregoing failures of Nichols’s argument are partly due to his misuse of particular empirical results and findings, and possibly in part to a weakened commitment to the distinctive contribution the humanistic methods of philosophy make to our understanding of the moral dimension of life. (shrink)

In western philosophy today, the three leading approaches to normative ethics are those of Kantian ethics, virtue ethics and utilitarianism. In recent years the debate between Kantian ethicists and virtue ethicists has assumed an especially prominent position. The twelve newly commissioned essays in this volume, by leading scholars in both traditions, explore key aspects of each approach as related to the debate, and identify new common ground but also real and lasting differences between these approaches. The volume provides a rich (...) overview of the continuing debate between two powerful forms of enquiry, and will be valuable for a wide range of students and scholars working in these fields. (shrink)

Logic and Computation is concerned with techniques for formal theorem-proving, with particular reference to Cambridge LCF (Logic for Computable Functions). Cambridge LCF is a computer program for reasoning about computation. It combines methods of mathematical logic with domain theory, the basis of the denotational approach to specifying the meaning of statements in a programming language. This book consists of two parts. Part I outlines the mathematical preliminaries: elementary logic and domain theory. They are explained at an intuitive level, giving references (...) to more advanced reading. Part II provides enough detail to serve as a reference manual for Cambridge LCF. It will also be a useful guide for implementors of other programs based on the LCF approach. (shrink)