We prove a full completeness theorem for multiplicative–additive linear logic using a double gluing construction applied to Ehrhard’s *-autonomous category of hypercoherences. This is the first non-game-theoretic full completeness theorem for this fragment. Our main result is that every dinatural transformation between definable functors arises from the denotation of a cut-free proof. Our proof consists of three steps. We show:• Dinatural transformations on this category satisfy Joyal’s softness property for products and coproducts.• Softness, together with multiplicative full completeness, guarantees that (...) every dinatural transformation corresponds to a Girard proof-structure.• The proof-structure associated with any dinatural transformation is a proof-net, hence a denotation of a proof. This last step involves a detailed study of cycles in additive proof-structures.The second step is a completely general result, while the third step relies on the concrete structure of a double gluing construction over hypercoherences. (shrink)

Despite a revived interest in explaining the evolution of anisogamy in recent years (i.e. different—micro and macrogametes), there remain more questions than answers. The topic is important because it is thought to be the foundation of the theory of gender differences and relations. Twelve of these questions are briefly reviewed here—(1) the distinction between sex and sexual types; (2) the distinction between mating types and anisogamy; (3) the possible role of ecological as well as social evolution in proto-gender differences and (...) relations; (4) the life history strategies involved; (5) whether the relevant social relationships are based on conflict or cooperation; (6) the origin and properties of meiosis; (7) the conformity of theories with sex allocation theory; (8) the relevance of multiple levels of selection; (9) appropriate modelling strategies; (10) the relationship between the kind of gametes produced and secondary sexual characteristics; (11) the relevance to humans; and (12) how realistic the search for a single explanation is. It is concluded that polarized sexuality may be a form of trade. (shrink)

If all origins of life or of any new grade, level, or major transition as such begin with “competitive development”—with juveniles rather than adults, and multiple individuals rather than a single one—then the evolution of progeneration and of replication always requires an explanation. This article proposes that principles of evolutionary ecology such as density-dependence can be used to explain three kinds of developmental repetitions, viz., sequences of inductive and niche-constructing interactions between the ecological environment and population members, which take place (...) in such a way that the sequence is repeated: individual or somatic repetitions, discussed in Section 1, demographic or progenerative repetitions , discussed in Section 2, and replicative repetitions , discussed in Section 3. This results in a statement of the evolutionary process that includes rather than excludes development and ecology, but one which requires some additions to Van Valen’s aphorism that evolution is the control of development by ecology. (shrink)

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

On September 30th I attended a talk by Ian Hacking, the renowned philosopher of science. The topic, “The Tree of Knowledge,” was irresistible for someone like myself whose main interest is in sociocultural evolution. I was rewarded with a dazzling display of erudition about stylized trees drawn through history and across civilizations. Hacking generously credited the many experts he had consulted to amass this treasure. This was consistent with his preference for “collaborating disciplines” over interdisciplinarity.

We introduce a linear analogue of Läuchli's semantics for intuitionistic logic. In fact, our result is a strengthening of Läuchli's work to the level of proofs, rather than provability. This is obtained by considering continuous actions of the additive group of integers on a category of topological vector spaces. The semantics, based on functorial polymorphism, consists of dinatural transformations which are equivariant with respect to all such actions. Such dinatural transformations are called uniform. To any sequent in Multiplicative Linear Logic (...) , we associate a vector space of“diadditive” uniform transformations. We then show that this space is generated by denotations of cut-free proofs of the sequent in the theory MLL + MIX. Thus we obtain a full completeness theorem in the sense of Abramsky and Jagadeesan, although our result differs from theirs in the use of dinatural transformations.As corollaries, we show that these dinatural transformations compose, and obtain a conservativity result: diadditive dinatural transformations which are uniform with respect to actions of the additive group of integers are also uniform with respect to the actions of arbitrary cocommutative Hopf algebras. Finally, we discuss several possible extensions of this work to noncommutative logic.It is well known that the intuitionistic version of Läuchli's semantics is a special case of the theory of logical relations, due to Plotkin and Statman. Thus, our work can also be viewed as a first step towards developing a theory of logical relations for linear logic and concurrency. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic. The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in CyLL (...) + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (shrink)

According to sources both in print and at a recent meeting, evolutionary theory is currently undergoing change which some would characterize as a New Synthesis, and others as an Extended Synthesis. This article argues that the important changes involve recognizing that there are three means by which evolutionary change can be initiated and three corresponding modes of evolutionary drift. It compares the three and goes on to discuss the scale of innovation and extended or inclusive and Lamarckian inheritance. It concludes (...) from these that “new trends in evolutionary biology” are in part a new, and in part an extended evolutionary synthesis. (shrink)

Implicit God-like and ghost-in-the-machine metaphors underlie much current thinking about genomes. Although many criticisms of such views exist, none have succeeded in substituting a different, widely accepted view. Viewing the genome with its protein packaging as a brain gets rid of Gods and ghosts while plausibly integrating machine and information-based views. While the ‘wetware’ of brains and genomes are very different, many fundamental principles of how they function are similar. Eukaryotic cells are compound entities in which case the nuclear genome (...) might best be thought of more as a government than simply as a brain. (shrink)

Abstract A lot of science has passed under the bridge since the classic definition of evolution as a change in gene frequencies in a population became common. Much knowledge has accumulated since then about evolution, heredity, ecology, development, phenotypic plasticity, niche construction and genetic drift. Building on Van Valen’s description of evolution as “the control of development by ecology,” it is suggested that the classic definition be replaced by a updated ‘eco‐evo-evo’ definition of evolution by natural selection which acknowledges this (...) accumulation. (shrink)

This article utilizes three premises. There are commonly ecologically oriented, naturally selected specialized differences in frequency and/or quality as well as sexually selected differences between the sexes. Sex in the sense of coming together and going apart or going apart and coming together is trade in these naturally selected differences, i.e., there is a mating market in sexual species. While such trade is beneficial to the population as a whole, sexual competition and selection is conflict over the profits of that (...) trade and can be detrimental to the population as a whole. These premises yield a naturally selected sex allocation theory of the possible directions and forms of sexual selection, i.e., one that includes costs as well as frequencies. This can explain conventional sex roles, the sex-role reversed, inter- as well as intrasexual selection, and passive as well as active choice. Any of these alternatives may be over mates, over gametes, or both. A hypothetical example based on density dependence relative to resources is provided, one that suggests that centrioles may be a cytoplasmic resource in males in multicellular animals, and which are the target of active choice and the mechanism of manipulation in passive female choice. As a whole, the approach yields a truly general theory of sexual selection, provides an alternative to the mechanism for Fisher’s principle, and gives a theoretical explanation for Mayr’s biological species definition. (shrink)

This research was inspired by Werner Callebaut's (1993) classic in which he interviewed major contemporary philosophers of science (specifically of biology) at a time when the interdisciplinary label of "science studies" had hardly been invented. The "real" in his title, Taking the Naturalistic Turn: How Real Philosophy of Science is Done, was a playful reference to debates over realism in Philosophy—the title as a whole drawing attention to his intent to study science studies empirically. That, for Callebaut, was "real" philosophy.In (...) the research reported on here, the works of ten major theorists of the scientific/scholarly process were studied (but not exclusively of biology and chosen from a larger set which .. (shrink)

We present a full completeness theorem for the multiplicative fragment of a variant of noncommutative linear logic, Yetter's cyclic linear logic (CyLL). The semantics is obtained by interpreting proofs as dinatural transformations on a category of topological vector spaces, these transformations being equivariant under certain actions of a noncocommutative Hopf algebra called the shuffie algebra. Multiplicative sequents are assigned a vector space of such dinaturals, and we show that this space has as a basis the denotations of cut-free proofs in (...) CyLL + MIX. This can be viewed as a fully faithful representation of a free *-autonomous category, canonically enriched over vector spaces. This paper is a natural extension of the authors' previous work, "Linear Lauchli Semantics", where a similar theorem is obtained for the commutative logic MLL + MIX. In that paper, we interpret proofs as dinaturals which are invariant under certain actions of the additive group of integers. Here we also present a simplification of that work by showing that the invariance criterion is actually a consequence of dinaturality. The passage from groups to Hopf algebras in this paper corresponds to the passage from commutative to noncommutative logic. However, in our noncommutative setting, one must still keep the invariance condition on dinaturals. (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.

Many analogies exist between the process of evolution by natural selection and of learning by reinforcement and punishment. A full extension of the evolutionary analogy to learning to include analogues of the fitness, genotype, development, environmental influences, and phenotype concepts makes possible a single theory of the learning process able to encompass all of the elementary procedures known to yield learning.

The most general theory of life history evolution, that of r versus K selection, implies that innovation in the form of plasticity is more likely to be adaptive under poor rather than good resource conditions, the opposite of how Baumard has it. However, this does focus on benefits rather than costs, and including both allows for greater diversity of outcomes.

Social learning in the strict sense is learning by observation or instruction. Learning by observation appears to be an analogue process while learning by instruction is digital. In evolutionary biology this distinction is currently thought to have implications for the extent to which mechanisms can function successfully as an inheritance system in an evolutionary process.

This short paper is about the generalized evolutionary approach to the economics of science. Stephen Toulmin and David Hull are pioneers of the former rather than Karl Popper whose falsification thesis was sociologically naive. Useful directions for the future would go beyond the generalities of variation, transmission and selection towards making more explicit use of Darwin’s “two great principles.” The first is “the unity of types” i.e. common descent by employing phylogenetic methods to answer historical questions. The second is “the (...) conditions of existence” i.e. natural selection by making use of general principles of evolutionary ecology and socioecology to answer questions about why something evolved. (shrink)

Four theoretical monographs, written by biologists in the wake of the sociobiology debate, and which treat, or purport to treat, the topic of sociocultural evolution are examined in this paper. On the biosocial spectrum they range from Trivers' pure sociobiology, to Lumsden and Wilson's sociobiology "in drag," to Boyd and Richerson's genuinely dual approach, to Cavalli-Sforza and Feldman's purely cultural transmission and evolution. The latter is likely to prove of greatest interest to social scientists and represents a major advance in (...) theorizing mathematically about social change. While the most comprehensive, Boyd and Richerson's "dual inheritance" model ultimately places more emphasis on the biological evolution of the capacity for culture than on genuine gene/culture coevolution even though it is conceivable that cultural transmission and evolution could be providing the selective force responsible for some fundamental biological phenomena such as sexual reproduction in long-lived vertebrates for example. The relationship between contemporary evolutionary and non-evolutionary theories of social change is not dealt with here but the former are very relevant to the latter because evolutionists believe they have available sophisticated solutions to problems which continue to plague other theoretical traditions. (shrink)

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)

This note provides a definition of evolution by natural selection that is compatible with the extended evolutionary synthesis.

A lesson in evolutionary theory can be drawn from the work of Rick Charnov, who transformed Fisher’s sex ratio theory into sex allocation theory, but unfortunately, the lesson has not spread far enough. The lesson is that costs as well as frequencies need to be included. That is so whether we are talking about evolutionary ecology (e.g., density dependence), social evolution (e.g., sexual selection), origins, an extended evolutionary synthesis, multilevel selection, or whatever. The two dimensions can be expressed in a (...) variety of ways—investing as well as spending, quality as well as quantity, costs as well as frequencies, and somatic as well as reproductive functions, for example. Both are needed everywhere in evolutionary theory. (shrink)

Evolutionary socioecological theory and research proposing linking parasites with human social organization is uncommon and therefore welcome. However, more generally, condition-dependent adaptive phenotypic plasticity requires environmental uncertainty on a small scale, accompanied by reliable cues. In addition, genes in parasites may select among biologically adaptive cultural alternatives directly without necessarily going through human genetic predispositions, resulting in inter-specific gene-culture coevolution.

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)

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 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.

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)

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.

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 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)

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)

Rescorla (Erkenntnis, 2020) has recently pointed out that the standard arguments for Bayesian Conditionalization assume that whenever I become certain of something, it is true. Most people would reject this assumption. In response, Rescorla offers an improved Dutch Book argument for Bayesian Conditionalization that does not make this assumption. My purpose in this paper is two-fold. First, I want to illuminate Rescorla’s new argument by giving a very general Dutch Book argument that applies to many cases of updating beyond those (...) covered by Conditionalization, and then showing how Rescorla’s version follows as a special case of that. Second, I want to show how to generalise R. A. Briggs and Richard Pettigrew’s Accuracy Dominance argument to avoid the assumption that Rescorla has identified (Briggs and Pettigrew in Noûs, 2018). In both cases, these arguments proceed by first establishing a very general reflection principle. (shrink)

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.

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)