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)

"The ancient and modern question of what is the nature of man and his activity and what ought to be the directions pursued in this activity is once again being ...

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)

From the Introduction: This inquiry is concerned with the themes of praxis and action in four philosophic movements: Marxism, existentialism, pragmatism, and analytic philosophy. It is rare that these four movements are considered in a single inquiry, for there are profound differences of emphasis, focus, terminology, and approach represented by these styles of thought. Many philosophers believe that similarities among these movements are superficial and that a close examination of them will reveal only hopelessly unbridgeable cleavages. While respecting the genuine (...) fundamental differences of these movements, this inquiry is undertaken in the spirit of showing that there are important common themes and motifs in what first appears to be a chaotic babble of voices. I intend to show that the concern with man as an agent has been a primary focal point of each of these movements and further that each contributes something permanent and important to our understanding of the nature and context of human activity. (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)

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)

"A fascinating and timely treatment of the objectivism versus relativism debates occurring in philosophy of science, literary theory, the social sciences, ...

This book offers students a philosophical introduction to the ethical foundations of business management. It combines lessons from Kant with virtue ethics and also touches upon additional approaches such as utilitarianism. At the core of the book lies the concept of the nexus of imperfect managerial duty: building and reinforcing the virtuous managerial team, engaging in reasoned discourse among all stakeholders, and diligently pursuing business responsibilities, including the creative efforts necessary for modern organizations. Case illustrations of these applications are presented (...) throughout the book, including chapter appendices. Ancillary videos, test and answer banks and sample syllabi are available online via the author’s website. (shrink)

Drawing freely and expertly from Continental and analytic traditions, Richard Bernstein examines a number of debates and controversies exemplified in the works of Gadamer, Habermas, Rorty, and Arendt. He argues that a "new conversation" is emerging about human rationality—a new understanding that emphasizes its practical character and has important ramifications both for thought and action.

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)

In this paper I argue that resource allocation in publicly funded medical systems cannot be done using a purely substantive theory of justice, but must also involve procedural justice. I argue further that procedural justice requires institutions and that these must be “local” in a specific sense which I define. The argument rests on the informational constraints on any non-market method for allocating scarce resources among competing claims of need. However, I resist the identification of this normative account of local (...) justice with the actual approach to local decision-making taken within the UK National Health Service. I illustrate my argument with reference to the case of provision of In Vitro Fertilisation within the UK NHS. (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)

To Serve With Honor should be required reading for all members of the officer corps of the United States military. Beyond that, it should be made required reading for all United States military academies, ROTC and officer candidate programs. This treatise on military ethics goes a long way in bridging the gap between the military and society's understanding of the military's ethical dilemma. It is a must for the student of military affairs. International Social Science Review To Serve With Honor (...) is the first book by an American to focus on the validity of current standards of military ethics in more than a century. This thoughtful study begins with the premise that the military profession is qualitatively different from any other profession. Author Richard Gabriel uses this assumption to address such vital questions as What are the limits of military obedience? and When does a soldier have an obligation to resist the orders of his superiors? (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)

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

Few philosophers have been as widely misunderstood as Nietzsche. His detractors and followers alike have often fundamentally misinterpreted him, distorting his views and intentions and criticizing or celebrating him for reasons removed from the views he actually held. Now available in paper, Nietzsche assesses his place in European thought, concentrating upon his writings in the last decade of his productive life. Nietzsche emerges in this comprehensive study as a philosopher of considerable sophistication who diverged sharply from traditional and ordinary ways (...) of thinking, but whose criticism, departures, and alternative views and strategies deserve to be given the most serious attention by philosophers. (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)

What we value, like, endorse, want, and prefer changes over the course of our lives. Richard Pettigrew presents a theory of rational decision making for agents who recognise that their values will change over time and whose decisions will affect those future times.

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.

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)

This article outlines how the international push for inclusive education cannot be aligned with current education systems centred on neoliberal ideals of individualism, measurement, and competition. The way that these systems are organised means that a proportion of (usually marginalised) students are necessarily excluded. In order to meaningfully address the global education crisis, that sees millions of children and young people either out of school or unengaged with learning, this ontological misalignment must be acknowledged, and discourse and engagement around it (...) must be promoted. Drawing from the work of Donella Meadows, I argue that ‘high leverage points’ (information flows, rules, system goals, mindsets) are crucial places to intervene in education systems. Intervention at such points, while challenging, has the potential to lead to transformational and sustainable change; change that current ‘low leverage point’ initiatives fail to produce. I conclude with a call for further discourse and research into an examination of ‘high leverage points’ within education systems, how they interact, and how the development of an associated framework would be beneficial for researchers and development partners. (shrink)

Throughout, this book questions our accepted definitions and biases, showing the self-reflective nature of scientific activity within society.

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)

Ducklings were placed either singly or in pairs on a platform at two different heights. Both height and pairing influenced performance: More ducklings descended from the platform at low heights, and more single ducklings descended than paired ducklings. The social factor, pairing, made behavior more cautious and decreased the number of distress calls. A similar trend for pairing to influence performance was shown on the visual cliff. Without its peers, the duckling is a distressed animal. Previous careless behavior by ducklings (...) on the visual cliff may be ascribed to testing the ducklings outside their normal social environment. (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)

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)

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.