We present a generalisation of the type-theoretic interpretation of constructive set theory into Martin-Löf type theory. The original interpretation treated logic in Martin-Löf type theory via the propositions-as-types interpretation. The generalisation involves replacing Martin-Löf type theory with a new type theory in which logic is treated as primitive. The primitive treatment of logic in type theories allows us to study reinterpretations of logic, such as the double-negation translation.

A selection of speeches and essays from the author's second decade as president of Yale University.

We define and investigate Heyting-valued interpretations for Constructive Zermelo–Frankel set theory . These interpretations provide models for CZF that are analogous to Boolean-valued models for ZF and to Heyting-valued models for IZF. Heyting-valued interpretations are defined here using set-generated frames and formal topologies. As applications of Heyting-valued interpretations, we present a relative consistency result and an independence proof.

The renowned biologist and thinker Richard Dawkins presents his most expansive work yet: a comprehensive look at evolution, ranging from the latest developments in the field to his own provocative views. Loosely based on the form of Chaucer's Canterbury Tales, Dawkins's Tale takes us modern humans back through four billion years of life on our planet. As the pilgrimage progresses, we join with other organisms at the forty "rendezvous points" where we find a common ancestor. The band of pilgrims (...) swells into a vast crowd as we join first with other primates, then with other mammals, and so on back to the first primordial organism. Dawkins's brilliant, inventive approach allows us to view the connections between ourselves and all other life in a bracingly novel way. It also lets him shed bright new light on the most compelling aspects of evolutionary history and theory: sexual selection, speciation, convergent evolution, extinction, genetics, plate tectonics, geographical dispersal, and more. The Ancestor's Tale is at once a far-reaching survey of the latest, best thinking on biology and a fascinating history of life on Earth. Here Dawkins shows us how remarkable we are, how astonishing our history, and how intimate our relationship with the rest of the living world. (shrink)

A meta-analysis and an experiment show that the degree of compression of the in-depth dimension of visual space relative to the frontal dimension increases quickly as a function of the distance between the stimulus and the observer at first, but the rate of change slows beyond 7 m from the observer, reaching an apparent asymptote of about 50 %. In addition, the compression of visual space is greater for monocular and reduced cue conditions. The pattern of compression of the in-depth (...) dimension as a function of distance is similar to the ratio of in-depth to frontal visual angles of stimuli, but is not as extreme as this ratio would suggest, implying that observers are incapable of fully ignoring size information provided by cues to depth. Size and distance judgments may be described by an Affine transformation of physical space; however, the compression parameter in this model changes as a function of distance from the observer and other experimental conditions. (shrink)

The discussion of good and evil must not be confined to the sterile lecture halls of academics but related instead to ordinary human feelings, needs, and desires, says noted philosopher Richard Taylor. Efforts to understand morality by exploring human reason will always fail because we are creatures of desire as well. All morality arises from our intense and inescapable longing. The distinction between good and evil is always clouded by rationalists who convert the real problems of ethics into complex (...) philosophical puzzles. In the first part of Good and Evil, Taylor looks for a more meaningful conception by reexamining and rejecting the whole rationalistic tradition that dominates philosophical ethics. The second part provides an empirical explanation of good and evil, noting that one does not have to look too far to find prime examples of the failure of fixed moral rules. Including important commentary on Joseph Fletcher's groundbreaking situation ethics, and Aristotle's virtues (e.g., magnanimity and pride), Taylor rounds out the book by developing a philosophy of aspiration--personal worth as an ethical ideal--to replace the morality of duty. He offers a modified form of situation ethics to fit the contemporary problems we face. (shrink)

Orientalism and Religion offers us a timely discussion of the implications of contemporary post-colonial theory for the study of religion. Drawing on a variety of post-structuralist and post-colonial thinkers, including Foucault, Gadamer, Said, and Spivak, Richard King examines the way in which notions such as mysticism, religion, Hinduism and Buddhism are taken for granted, and shows us how religion needs to be redescribed along the lines of cultural studies.

This is the third edition of a classic book first published in 1960, which has sold thousands of copies in two paperback edition and has been translated into several foreign languages. Popkin's work ha generated innumerable citations, and remains a valuable stimulus to current historical research. In this updated version, he has revised and expanded throughout, and has added three new chapters, one on Savonarola, one on Henry More and Ralph Cudworth, and one on Pascal. This authoritative treatment of the (...) theme of scepticism and its historical impact will appeal to scholars and students of early modern history now as much as ever. (shrink)

Thinking through the body: educating for the humanities -- The body as background -- Self-knowledge and its discontents: from Socrates to somaesthetics -- Muscle memory and the somaesthetic pathologies of everyday life -- Somaesthetics in the philosophy classroom: a practical approach -- Somaesthetics and the limits of aesthetics -- Somaesthetics and Burke's sublime -- Pragmatism and cultural politics: from textualism to somaesthetics -- Body consciousness and performance -- Somaesthetics and architecture: a critical option -- Photography as performative process -- Asian (...) ars erotica and the question of sexual aesthetics -- Philosophy as awakened life : everyday aesthetics of embodiment in American transcendentalism and Japanese Zen practice -- Somatic style. (shrink)

We present a solution to the problem of defining a counterpart in Algebraic Set Theory of the construction of internal sheaves in Topos Theory. Our approach is general in that we consider sheaves as determined by Lawvere-Tierney coverages, rather than by Grothendieck coverages, and assume only a weakening of the axioms for small maps originally introduced by Joyal and Moerdijk, thus subsuming the existing topos-theoretic results.

The book begins with an overview that introduces the Theorem and the issues surrounding it, and explores how the essays that follow contribute to our understanding of those issues.

Conditionalization is one of the central norms of Bayesian epistemology. But there are a number of competing formulations, and a number of arguments that purport to establish it. In this paper, I explore which formulations of the norm are supported by which arguments. In their standard formulations, each of the arguments I consider here depends on the same assumption, which I call Deterministic Updating. I will investigate whether it is possible to amend these arguments so that they no longer depend (...) on it. As I show, whether this is possible depends on the formulation of the norm under consideration. (shrink)

The Desire-as-Belief thesis (DAB) states that any rational person desires a proposition exactly to the degree that she believes or expects the proposition to be good. Many people take David Lewis to have shown the thesis to be inconsistent with Bayesian decision theory. However, as we show, Lewis's argument was based on an Invariance condition that itself is inconsistent with the (standard formulation of the) version of Bayesian decision theory that he assumed in his arguments against DAB. The aim of (...) this paper is to explore what impact the rejection of Invariance has on the DAB thesis. Without assuming Invariance, we first refute all versions of DAB that entail that there are only two levels of goodness. We next consider two theses according to which rational desires are intimately connected to expectations of (multi-levelled) goodness, and show that these are consistent with Bayesian decision theory as long as we assume that the contents of 'value propositions' are not fixed. We explain why this conclusion is independently plausible, and show how to construct such propositions. (shrink)

Strangers, Gods and Monster is a fascinating look at how human identity is shaped by three powerful but enigmatic forces. Often overlooked in accounts of how we think about ourselves and others, Richard Kearney skillfully shows, with the help of vivid examples and illustrations, how the human outlook on the world is formed by the mysterious triumvirate of strangers, gods and monsters. Throughout, Richard Kearney shows how strangers, gods and monsters do not merely reside in myths or fantasies (...) but constitute a central part of our cultural unconscious. Above all, he argues that until we understand better that the Other resides deep within ourselves, we can have little hope of understanding how our most basic fears and desires manifest themselves in the external world and how we can learn to live with them. (shrink)

Hilbert’s program was an ambitious and wide-ranging project in the philosophy and foundations of mathematics. In order to “dispose of the foundational questions in mathematics once and for all,” Hilbert proposed a two-pronged approach in 1921: first, classical mathematics should be formalized in axiomatic systems; second, using only restricted, “finitary” means, one should give proofs of the consistency of these axiomatic systems. Although Gödel’s incompleteness theorems show that the program as originally conceived cannot be carried out, it had many partial (...) successes, and generated important advances in logical theory and metatheory, both at the time and since. The article discusses the historical background and development of Hilbert’s program, its philosophical underpinnings and consequences, and its subsequent development and influences since the 1930s. (shrink)

Summary In the epistemic frame of the biocultural turn and of the neuroaesthetics, we have developed neurohermeneutics as an approach to literature that aims at contributing to the current debate about the linkage between literary, cognitive and neuroscientific studies, focusing on the relationship between mindbrain processes mirrored in the formal features of the text and the strategies activated by the author in a text in order to guide the reader in imagining, emotionally feeling and cognitively getting meanings out of the (...) literary experience. The aim of the neurohermeneutical approach is to grasp and describe phenomenologically the mirroring process between the two extremes of the literary experience, i.e. the writer’s creative process as it is mirrored in the formal features of the literary work and the reader’s imaginative reconfiguration of the text, and what they share in common. The reader revives the mental imaginative processes of the author by creating his/her unrepeatable individual experiences of the text and subjectively redesigning it in an endless loop of features that trigger the imagination and its creative potential both while writing and by reading literature. (shrink)

Most recent accounts of will-power have tried to explain it as reducible to the operation of beliefs and desires. In opposition to such accounts, this paper argues for a distinct faculty of will-power. Considerations from philosophy and from social psychology are used in support.

We prove a version of the associated sheaf functor theorem in Algebraic Set Theory. The proof is established working within a Heyting pretopos equipped with a system of small maps satisfying the axioms originally introduced by Joyal and Moerdijk. This result improves on the existing developments by avoiding the assumption of additional axioms for small maps and the use of collection sites.

Most individuals realise that we have a moral obligation to avoid the evils of war. But this realization raises a host of difficult questions when we, as responsible individuals, witness harrowing injustices such as ""ethnic cleansing"" in Bosnia or starvation in Somalia. With millions of lives at stake, is war ever justified? And, if so, for what purpose? In this book, Richard J. Regan confronts these controversial questions by first considering the basic principles of just-war theory and then applying (...) those principles to historical and ongoing conflicts. Part One presents two opposing viewpoints: first, that war is not subject to moral norms and, second, that war is never morally permissible. The author rejects both perspectives, and moves to define the principles of just-war theory. He evaluates the roles of the president, Congress and, most importantly, the UN Security Council in determining when long-term US military involvement is justified. The moral limits of war conduct and the moral problem of using, or threatening to use, nuclear weapons are also discussed. On the just cause to wage war, Regan argues that defense of nations and nationals - whether in self-defense or in defense of others - remains the ""only"" classical cause that in the modern world would justify resorting to war. With respect to military intervention in secessionist and revolutionary wars, he contends that such intervention might be justified, but that prudence dictates extreme caution. In considering acceptable war conduct, Regan elaborates the specific principle of discrimination and proportionality; he maintains that civilians uninvolved in the enemy's war should not be directly targeted and that the costs of military action must be proportionate to the anticipated benefits of destroying military targets. The second part of the book presents case studies of eight historical wars - World War I, the Vietnam War, the Falklands War, the revolution and civil war in Nicaragua, the civil war in El Salvador, the Gulf War, the intervention in Somalia, and the Bosnian War - and poses several provocative questions about each. It invites readers and students to apply just-war principles to complex war-related situations and to understand the factual contingencies involved in moral judgements about war decisions. The book should be of particular interest to students of the moral issues of international relations and to readers interested more generally in philosophy, theology and political science. (shrink)

This book gives a descriptive analysis of specific Madhyamika texts. It compares the ideology of Kumarajiva (a translator of the four Madhyamika treatises 400 A.D.) with the ideologies of the three Chinese contemporaries - HuiYuan, Seng-Jui and Seng-Chao. It envisages an intercultural transmission of religious and philosophical ideas from India to China.

In “Theories of Justification,” Richard Fumerton begins an overview of several prominent positions on the nature of justification by isolating epistemic justification from nonepistemic justification. He also distinguishes between “having justification for a belief” and “having a justified belief,” arguing that the former is conceptually more fundamental. Fumerton then addresses the possibility that justification is a normative matter, suggesting that this possibility has little to offer as a concept of epistemic justification. He also critically examines more specific attempts to (...) capture the structure and content of epistemic justification. These include traditional foundationalism and variants thereof, externalist versions of foundationalism, contextualism, coherentism, and “mixed” theories which combine aspects of coherentism and foundationalism. (shrink)

If aesthetics is both surface and depth, impassioned immediacy yet also critical distance of judgment, how can this doubleness be held together in one ...

A comprehensive exploration of the philosophical issues raised by mysticism. This work is a comprehensive study of the philosophical issues raised by mysticism. Mystics claim to experience reality in a way not available in normal life, a claim which makes this phenomenon interesting from a philosophical perspective. Richard H. Jones’s inquiry focuses on the skeleton of beliefs and values of mysticism: knowledge claims made about the nature of reality and of human beings; value claims about what is significant and (...) what is ethical; and mystical goals and ways of life. Jones engages language, epistemology, metaphysics, science, and the philosophy of mind. Methodological issues in the study of mysticism are also addressed. Examples of mystical experience are drawn chiefly from Buddhism and Advaita Vedanta, but also from Christianity, Judaism, Islam, and Daoism. “This is a significant extension of the seminal work by Walter Stace, Mysticism and Philosophy. That work has stimulated much literature, all of which Jones manages to review here. He critically extends Stace’s universal core and embeds it in a sophisticated discussion of the extent, range, and metaphysical implications of mysticism.” — Ralph W. Hood, Jr., coauthor of The Psychology of Religion: An Empirical Approach. (shrink)

Logical Forms explains both the detailed problems involved in finding logical forms and also the theoretical underpinnings of philosophical logic. In this revised edition, exercises are integrated throughout the book. The result is a genuinely interactive introduction which engages the reader in developing the argument. Each chapter concludes with updated notes to guide further reading.

In this paper I defend what I call the argument from epistemic reasons against the moral error theory. I argue that the moral error theory entails that there are no epistemic reasons for belief and that this is bad news for the moral error theory since, if there are no epistemic reasons for belief, no one knows anything. If no one knows anything, then no one knows that there is thought when they are thinking, and no one knows that they (...) do not know everything. And it could not be the case that we do not know that there is thought when we believe that there is thought and that we do not know that we do not know everything. I address several objections to the claim that the moral error theory entails that there are no epistemic reasons for belief. It might seem that arguing against the error theory on the grounds that it entails that no one knows anything is just providing a Moorean argument against the moral error theory. I show that even if my argument against the error theory is indeed a Moorean one, it avoids Streumer's, McPherson's and Olson's objections to previous Moorean arguments against the error theory and is a more powerful argument against the error theory than Moore's argument against external world skepticism is against external world skepticism. (shrink)

The use of human biological materials involves a number of issues from both an ethical and a legal point of view. In recent decades, the purposes for which this material has been used have i...

What system of morals should rational people select as the best for society? Using a contemporary psychological theory of action and of motivation, Richard Brandt's Oxford lectures argue that the purpose of living should be to strive for the greatest good for the largest number of people. Brandt's discussions range from the concept of welfare to conflict between utilitarian moral codes and the dictates of self-interest.

According to certain normative theories in epistemology, rationality requires us to be logically omniscient. Yet this prescription clashes with our ordinary judgments of rationality. How should we resolve this tension? In this paper, I focus particularly on the logical omniscience requirement in Bayesian epistemology. Building on a key insight by Hacking :311–325, 1967), I develop a version of Bayesianism that permits logical ignorance. This includes: an account of the synchronic norms that govern a logically ignorant individual at any given time; (...) an account of how we reduce our logical ignorance by learning logical facts and how we should update our credences in response to such evidence; and an account of when logical ignorance is irrational and when it isn’t. At the end, I explain why the requirement of logical omniscience remains true of ideal agents with no computational, processing, or storage limitations. (shrink)

At least since Darwin's Origin of Species was published in 1859, it has increasingly become accepted that the existence of God is, intellectually, a lost cause, and that religious faith is an entirely non-rational matter--the province of those who willingly refuse to accept the dramatic advances of modern cosmology. Are belief in God and belief in science really mutually exclusive? Or, as noted philosopher of science and religion Richard Swinburne puts forth, can the very same criteria which scientists use (...) to reach theories about everything from DNA to the Big Bang be used to argue for the existence of God? In Is There a God? Swinburne presents a powerful and approachable case for the existence of God. Using the methods of scientific reasoning, Swinburne rigorously argues that science, far from replacing God, provides good grounds for belief in God. With each new discovery and advance, from black holes to quarks, superstrings to continuing evolution, science brings us closer to a complete understanding of how things work--but science can only go so far. Though it can explain much of how the universe works, science doesn't tell us why there is a universe at all. We can understand much of how life evolved, but why is there any life on earth? We can name and explicate scientific laws, but how is it that they operate in the universe? The Darwinian theory holds that the complex animal and human bodies that are here today exist because, ages ago, there were certain chemicals on earth, and given the laws of evolution, it was probable that complex organisms would emerge. But why those laws rather than any other? Why those chemicals? In Swinburne's view, the ultimate grand unifying theory is possible only by a belief in what he calls theism, acknowledging the existence of God: it was God who brought about the natural laws so that humans and animals would evolve. The watch may have been made, Swinburne asserts in reference to Richard Dawkins, with the aid of some blind screwdrivers (or even a blind watchmaking machine), but they were guided by a watchmaker with some very clear sight. At the heart of his argument is Swinburne's belief that the very success of science in showing us how deeply ordered the natural world is provides strong grounds for believing there is an even deeper cause of that order. By embracing a belief in God that acknowledges the truth in science, Swinburne's elegant argument supplies an essential spiritual element to our understanding of order and beauty, the structure beneath the chaos of the natural world. This informed and provocative volume will be essential reading for all readers of popular science, philosophy, and religion. (shrink)

Syphilis occupies a unique position in the history of U.S. medicine and medical ethics. Given its widespread prevalence and variable presentation, syphilis was a major professional concern among late nineteenth‐ and early twentieth‐century physicians. Syphilis was also at the center of perhaps the most famous example of medical racism in our history, the U.S. Public Health Service Syphilis Study at Tuskegee, in which officials followed the natural history of the disease in a cohort of black men for forty years without (...) offering treatment, even once penicillin became available. In this essay, I call attention to a less well‐known aspect of syphilis and its history. I examine one of the disease's most dreaded manifestations, neurosyphilis (also known as general paresis or general paralysis of the insane), and its treatment via malarial inoculation from the 1920s into the 1950s. The goal of this treatment, dramatic even to observers at the time, was to produce spiking fevers that would kill the syphilitic spirochete and arrest the disease process. My focus will be on developments at St. Elizabeths Hospital, a large‐scale federal psychiatric facility in the District of Columbia that served the city's residents and members of the U.S. military. Physicians at St. Elizabeths were the first in the United States to experiment with malarial fever therapy, treating their initial cohort of patients in December of 1922.Malarial fever therapy raised a host of ethical questions, rendered all the more complex from today's vantage point by efforts to understand them within the context of the time. What sorts of risks, both from malaria and via indirect exposure, might be deemed acceptable in the treatment of a devastating and almost invariably fatal disease? How ought researchers and clinicians to have approached the question of consent, itself an evolving concept in the early decades of the twentieth century, when the disease they were targeting impaired a patient's ability to reason effectively? Finally, at a time when segregated and inferior care for black Americans was the norm and when the black community bore a disproportionate burden of disease, who would have had access to malarial fever therapy, and at what cost? (shrink)

When making decisions, people naturally face uncertainty about the potential consequences of their actions due in part to limits in their capacity to represent, evaluate or deliberate. Nonetheless, they aim to make the best decisions possible. In Decision Theory with a Human Face, Richard Bradley develops new theories of agency and rational decision-making, offering guidance on how 'real' agents who are aware of their bounds should represent the uncertainty they face, how they should revise their opinions as a result (...) of experience and how they should make decisions when lacking full awareness of, or precise opinions on relevant contingencies. He engages with the strengths and flaws of Bayesian reasoning, and presents clear and comprehensive explorations of key issues in decision theory, from belief and desire to semantics and learning. His book draws on philosophy, economics, decision science and psychology, and will appeal to readers in all of these disciplines. (shrink)

The end of aesthetic experience -- Don't believe the hype -- The fine art of rap -- Affect and authenticity in country musicals -- The urban aesthetics of absence : pragmatist reflections in Berlin -- Beneath interpretation -- Somaesthetics and the body/media issue -- The somatic turn : care of the body in contemporary culture -- Multiculturalism and the art of living -- Genius and the paradox of self-styling.

"Ce livre propose une enquête philosophique explorant le rapport à la mort dans nos sociétés. C’est une invitation à penser les liens humains à la fin de la vie. On évoque les liens intimes, mais également les liens sociaux encadrés par la loi. Dans un tel contexte, comment discerner les raisons anciennes et nouvelles convenant au bien de la cité? L’ouvrage s’adresse aux accompagnants en soins palliatifs. Il concerne également toute personne soucieuse pour elle-même et ses proches de réfléchir à (...) son voyage au bout de la vie. Nous sommes mortels, nous le savons et le fil de nos existences provoque des occasions de nous le rappeler. Dans la solitude de mourir s’inscrit l’appel à la compassion. Ainsi, pour les Grecs de l’Antiquité, l’image de la cigogne symbolisait la prise en charge des vieux par les jeunes, un signe de l’amitié politique. L’émergence de la culture palliative est intimement liée aux changements qui ont affecté l’évolution récente de la vie démocratique. Cette culture est née et s’est développée dans des circonstances politiques particulières. À l’observer, on peut déchiffrer certains codes de notre vie civique, ses aspirations, mais aussi ses ambiguïtés. Louis-André Richard propose d’examiner les questions actuelles en compagnie de Platon, d’Aristote, d’Augustin ou de Tocqueville. Grâce à eux, la philosophie, symbolisée par la sagesse de Minerve, est mise à contribution pour explorer la genèse et les métamorphoses de concepts comme la dignité et l’autonomie. Comment se déploie la dynamique de la raison et de la liberté à l’heure de notre mort? Tel est l’enjeu pour les roseaux pensants que nous sommes. Si notre frêle espèce appelle à la sollicitude de la cigogne, elle ne saurait négliger de convoquer aussi la sagesse de Minerve."--Résumé de l'éditeur. (shrink)

At present, there is an enormous gulf between the visibility of evil and the paucity of our intellectual resources for coming to grips with it. We have been flooded with images of death camps, terrorist attacks and horrendous human suffering. Yet when we ask what we mean by radical evil and how we are to account for it, we seem to be at a loss for proper responses. Bernstein seeks to discover what we can learn about the meaning of evil (...) and human responsibility. He turns to philosophers such as Kant, who coined the expression 'radical evil', as well as to Hegel and Schelling. He also examines more recent explorations of evil, namely the thinking of Freud and Nietzsche on the moral psychology of evil. Finally, he looks at the way in which three post-Holocaust thinkers - Emmanuel Levinas, Hans Jonas, and Hannah Arendt - have sought to come to grips with evil "after Auschwitz." Bernstein's primary concern throughout this challenging book is to enrich and deepen our understanding of evil in the contemporary world, and to emphasize the vigilance and personal responsibility required for combating it. Radical Evil will be essential reading for students and scholars of philosophy, social and political theory, and religious studies. (shrink)