We prove a structure theorem for compact inverse categories. The Ehresmann-Schein-Nambooripad theorem gives a structure theorem for inverse monoids: they are inductive groupoids. A particularly nice case due to Clifford is that commutative inverse monoids become semilattices of abelian groups. It has also been categorified by Hoehnke and DeWolf-Pronk to a structure theorem for inverse categories as locally complete inductive groupoids. We show that in the case of compact inverse categories, this takes the particularly nice form of a semilattice of (...) compact groupoids. Moreover, one-object compact inverse categories are exactly commutative inverse monoids. Compact groupoids, in turn, are determined in particularly simple terms of 3-cocycles by Baez-Lauda. (shrink)

We give an introduction to Turing categories, which are a convenient setting for the categorical study of abstract notions of computability. The concept of a Turing category first appeared in the work of Longo and Moggi; later, Di Paolo and Heller introduced the closely related recursion categories. One of the purposes of Turing categories is that they may be used to develop categorical formulations of recursion theory, but they also include other notions of computation, such as models of combinatory logic (...) and of the lambda calculus. In this paper our aim is to give an introduction to the basic structural theory, while at the same time illustrating how the notion is a meeting point for various other areas of logic and computation. We also provide a detailed exposition of the connection between Turing categories and partial combinatory algebras and show the sense in which the study of Turing categories is equivalent to the study of PCAs. (shrink)

In this article I assess the problems and prospects of a microstructural approach to chemical substances. Saul Kripke and Hilary Putnam famously claimed that to be gold is to have atomic number 79 and to be water is to be H2O. I relate the first claim to the concept of element in the history of chemistry, arguing that the reference of element names is determined by atomic number. Compounds are more difficult: water is so complex and heterogeneous at the molecular (...) level that `water is H2O' seems false under some interpretations. I sketch a response to this problem. (shrink)

The Earth Charter is largely a wholesome embodiment of a commendable and globally applicable ecological ethic. But it fails to treat responsibilities towardfuture generations with sufficient clarity, presenting these generations as comparable to present and past generations, whose members are identifiable, whenin fact most future people are of unknown identity, and when the very existence of most of them depends on current actions. It can be claimed that we still haveobligations with regard to whoever there will be whom we could (...) affect, and in addition, all the possible people of the future whom we could affect have moralstanding, as well as corresponding members of other species. These obligations clash with the person-affecting principle, which considerably restricts suchobligations and the scope of moral standing at the same time. Finally, there are implications for sustainability, at least with regard to sustainable levels ofpopulation and with regard to global warming, and thus a need for further clarification of the content of responsibilities toward future generations. (shrink)

Cryonics is the preservation of legally dead human bodies at the temperature of liquid nitrogen in the hope that future technologies will be able to revive them. In philosophical debates surrounding this practice, arguments often focus on prudential implications of cryopreservation, or moral arguments on a societal level. In this paper, we claim that this debate is incomplete, since it does not take into account a significant relational concern about cryonics. Specifically, we argue that attention should be paid to the (...) potential implications of cryopreservation for the mourning processes of surviving loved ones. Cryopreservation increases the likelihood of disruption of the practical and mental tasks involved in a successful mourning process, which can negatively impact survivors of the cryopreserved patient. To illustrate my argument, we will draw on a case study from the 2019 documentaryHope Frozen. We aim to introduce this concern, in order to gain a more complete view on the potential implications of cryopreservation. (shrink)

The trial of Socrates -- Socrates in court -- How the system worked -- The charge of impiety -- The war years -- Alcibiades, Socrates, and the aristocratic milieu -- Pestilence and war -- The rise and fall of Alcibiades -- The end of the war -- Critias and Civil War --- Crisis and conflict -- Symptoms of change -- Reactions to intellectuals -- The condemnation of Socrates -- Socratic politics -- A cock for Asclepius.

A simple exogenous growth model gives conservative estimates of the economic implications of machine intelligence. Machines complement human labor when they become more productive at the jobs they perform, but machines also substitute for human labor by taking over human jobs. At first, expensive hardware and software does only the few jobs where computers have the strongest advantage over humans. Eventually, computers do most jobs. At first, complementary effects dominate, and human wages rise with computer productivity. But eventually substitution can (...) dominate, making wages fall as fast as computer prices now do. An intelligence population explosion makes per-intelligence consumption fall this fast, while economic growth rates rise by an order of magnitude or more. These results are robust to automating incrementally, and to distinguishing hardware, software, and human capital from other forms of capital. (shrink)

Merleau-Ponty wrote prolifically throughout his life on psychology, aesthetics, and politics, on pedagogy, physics, and painting. Between his appointment to the Université de Lyon in 1945 and his sudden death in Paris in 1961—a copy of Descartes’ Dioptrique on the desk in front of him—the survey of courses he taught is dizzying in scope. For all its promise, however, the interdisciplinary nature of Merleau-Ponty’s work, and the abruptness of its end, raises the question of how these projects connect. The question (...) is encouraged by Merleau-Ponty’s own notes, which indicate that the book he was working on at the time of his death was meant to return to problems left “insoluble” in Phenomenology of Perception (VI 200). Did he hope this work would supersede the Phenomenology? to correct for its false start? to press on in the same direction? (shrink)

This book treats Chinese philosophy today as a global project, presenting the work of both Chinese and Western philosophers.

We characterise the class S Ra CA n of subalgebras of relation algebra reducts of n -dimensional cylindric algebras by the notion of a ‘hyperbasis’, analogous to the cylindric basis of Maddux, and by representations. We outline a game–theoretic approximation to the existence of a representation, and how to use it to obtain a recursive axiomatisation of S Ra CA n.

Can room be found in between the matter and void of a Newtonian universe for an immaterial and immortal soul? Can followers of Locke with his agnosticism about the nature of substances claim to know that some of them are immaterial? Samuel Clarke, well versed in Locke's thought and a defender both of Newtonian science and Christian orthodoxy, believed he could do both and attempted to prove his case by means of some hard-boiled reductionism. Anthony Collins, a deist whose only (...) lapse from materialism concerned God himself, rejected Clarke's argument. In this paper I discuss their controversy' in order to bring out the state of debate about material systems and consciousness among people influenced by Locke and Newton in the early eighteenth century, and I also assess Clarke's reductionist premise, as he himself frequently invites "the impartial reader" to do. (shrink)

Prediction markets are increasingly being considered as methods for gathering, summarizing and aggregating diffuse information by governments and businesses alike. Critics worry that these markets are susceptible to price manipulation by agents who wish to distort decision making. We study the effect of manipulators on an experimental market, and find that manipulators are unable to distort price accuracy. Subjects without manipulation incentives compensate for the bias in offers from manipulators by setting a different threshold at which they are willing to (...) accept trades. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

About one in forty babies is born with a recognisable congenital anomaly at birth. Rapid progress is being made in recognising the genetic contribution to these defects. From over 2000 likely single gene malformation syndromes in humans the gene has been isolated or mapped in about 10%. Despite the availability of animal models, the study of malformations in humans continues to reveal novel genes and unpredicted functions for known genes. The importance of the study of clinical malformations to the understanding (...) of embryological development in humans and other organisms is discussed and reviewed. (shrink)

Sexual competition in the epics is looked at for examples of conflict between older or more powerful males and younger or subordinate males over fertile females, a pattern that would have characterized the human environment of evolutionary adaptation (EEA). In the Iliad and Odyssey, the Old Testament, the Arthurian Cycle (and its Celtic originals), the Volsunga Saga, and El Cid, this pattern is found to be the frame or prime mover or a central feature of the narrative. It is suggested (...) that changes through time in the literary treatment of the theme reflect a progressive dilution of the traditional power of older males over mate choice. (shrink)

These collected papers construct a distinctive view of classical Athens and of Athenian democracy, a view which takes seriously the evidence of settlement archaeology and of art history. This evidence both casts new light on traditional questions and enables new questions to be asked, questions concerning the experience of being an Athenian citizen, how the institutions of democracy affected the Athenian economy, and how the rituals of religion related to the rituals of democratic politics. Unlike books on Athenian democracy which (...) focus on the Assembly and Council, this book gives full weight to women as well as men, slave as well as free, and the rural worker as well as the leisured man about town. Robin Osborne's work has been in the forefront of the resurgence of interest in Athenian law and Athenian religion; these essays are each placed in their scholarly context, and point the direction for future research. (shrink)

Constructivism comes in a number of forms. Some are models of learning which involve few, if any, startling epistemological claims. On the other hand, what has been promoted as ‘radical constructivism’ holds that our concepts cannot be related directly to an external reality, and that claims for the objectivity of knowledge are therefore unjustified. This standpoint is an anti-realist version of evolutionary epistemology. I argue that it relies on a mistaken interpretation of the Darwinian theory of evolution by natural selection, (...) and that its application of this model to the relation between knowledge and the world is also mistaken. (shrink)

This article teases out the relationship between family form and the state's social safety nets around healthcare, showing the deep unfairness of measuring social safety nets by whether a couple marries. By continuing to tie healthcare benefits to specific family structures, we perpetuate the “galloping” inequality marking America today.This article concludes that, whatever happens with the thousands of benefits given to married couples in other domains, social policy should move beyond marriage with respect to healthcare. Delinking support for healthcare coverage (...) and services from family form is just, better assists struggling families, and is in our collective self-interest. (shrink)

We outline a simple approach to axiomatising the class of representable relation algebras, using games. We discuss generalisations of the method to cylindric algebras, homogeneous and complete representations, and atom structures of relation algebras.

Jenkins and Sherman hold that belief in the value of work is artificially inculcated and that a ‘leisure society’ is desirable and possible, as well as being necessitated by the introduction of microprocessors. After distinguishing between meaningful work and labour (first section), I reply obliquely to their case by contending that meaningful work affords most people their best chance of the necessary good of self-respect (second section), and that it constitutes the exercise of an essential human capacity, the development of (...) which is necessary to human wellbeing (third section). Because of the contingent connections between employment on the one hand and meaningful work and self-respect on the other, we should recognise the value of work and plan for full employment (fourth section). (shrink)

As bioethics matures, a number of voices have called for a narrowing of what officially “counts” as bioethics. Bioethics defined broadly, they argue, creates a space that lacks objectivity and rigor, jeopardizing the credibility of the profession. Although a variety of proposed solutions exist, most advance a definitional narrowing of bioethics. In doing so, they mimic the siloed nature of the academy writ large, an institution that organizes itself through the logic of atomization, the belief that knowledge is generated through (...) the process of isolation, examination, theorization, and ultimately reintegration. Borrowing language from Isaiah Berlin's essay “The Hedgehog and the Fox,” I argue that bioethics has thrived precisely because it stands distinct from other departments of learning, constituting one of the few places within the academy where true inter, multi, and cross-disciplinary scholarship can thrive. Reducing bioethics to an internally defined set of axiomatic rationales does violence to this vision, eroding, in the process, one of the field's greatest assets. (shrink)

The benefits of homeschooling are now protected through legalization of the practice. Most of its harms could be prevented through its responsible regulation.

Chalmers is right: we should expect our civilization to, within centuries, have vastly increasedmental capacities, surely in total and probably also for individual creatures and devices.We should also expect to see the conflicts he describes between creatures and devices with more versus less capacity. But Chalmers' main prediction follows simply by extrapolating historical trends, and the conflicts he identifies are common between differing generations. There is value in highlighting these issues, but once one knows of such simple extrapolations and standard (...) conflicts, it is hard to see much value in Chalmers' added analysis. (shrink)

Resurrecting the neglected question of what we mean by legal justice, this book seeks to re-imagine rather than simply critique contemporary notions of the rule of law, rights and legal equality. A work of reconstruction, it offers a progressive and egalitarian approach to concepts that have become overly associated with the idea of limited government and social conservatism. Focusing on the necessary conditions of co-operative community life, the book presents a vision of law that facilitates rather than frustrates politics, an (...) anlysis of rights that boosts our capacities for caring, and an idea of equality that captures a cosmopolitan vision based on the recognition of shared humanity. (shrink)

Why do feminist philosophers read Kant? Because of his misogyny and his disdain for the body, Barbara Herman has described Kant as the modern moral philosopher whom feminists find most objectionable. But that unhappy status alone would not justify a separate entry on Kant in this volume. Immanuel Kant is the figure in modern philosophy who most clearly articulates the Enlightenment program that reason is the vehicle for humanity's progress towards emancipation from unjust authority, a program that epitomizes the self‐understanding (...) of the Western culture of modernity. Kant's paradigm of objectivity, which formalizes the universal and necessary conditions for knowledge, provides a philosophical justification for the view that cognitive and moral judgments must be disinterested and impartial. This assumption about the impartiality of knowledge is deeply entrenched in academic disciplines. The quest for objectivity undergirds prevailing methodologies in the natural and social sciences as well as in philosophy. The assumption that knowledge is impartial informs the practices of daily life as well – e.g., in how one evaluates newspaper reporting or jury decisions. Feminist philosophers seek to come to terms with these features of modernity. They debate whether Enlightenment conceptions of progress and rationality offer tools for women's emancipation and empowerment, or whether this philosophical inheritance itself has contributed to the historical subordination of women in Western society. (shrink)

The story of the Roman conquest of Greece - not only a thrilling tale of military conquest, but a pivotal event in the history of Rome, her empire, and the whole subsequent history of Europe.

Notions of probability and uncertainty have been increasingly prominant in modern economics. This book considers the philosophical and practical difficulties inherent in integrating these concepts into realistic economic situations. It outlines and evaluates the major developments, indicating where further work is needed. This book addresses: * probability, utility and rationality within current economic thought and practice * concepts of ignorance and indeterminancy * experimental economics * econometrics, with particular reference inference and estimation.