Despite its centrality in the philosophy of cognitive science, there has been little prior philosophical work engaging with the notion of representation in contemporary NLP practice. This paper attempts to fill that lacuna: drawing on ideas from cognitive science, I introduce a framework for evaluating the representational claims made about components of neural NLP models, proposing three criteria with which to evaluate whether a component of a model represents a property and operationalising these criteria using probing classifiers, a popular analysis (...) technique in NLP (and deep learning more broadly). The project of operationalising a philosophically-informed notion of representation should be of interest to both philosophers of science and NLP practitioners. It affords philosophers a novel testing-ground for claims about the nature of representation, and helps NLPers organise the large literature on probing experiments, suggesting novel avenues for empirical research. (shrink)

In a recent letter, Dillion et. al (2023) make various suggestions regarding the idea of artificially intelligent systems, such as large language models, replacing human subjects in empirical moral psychology. We argue that human subjects are in various ways indispensable.

This article sits at a point of intersection between the philosophy of physics and the metaphysics of modality. There are clear similarities between Everettian quantum mechanics and various modal metaphysical theories, but there have hitherto been few attempts at exploring how the two topics relate. In this article, I build on a series of recent papers by Wilson ([2011], [2012], [2013]), who argues that Everettian quantum mechanics’ connections with traditional modal metaphysics are vital in defending it against objections. I show (...) that Wilson’s preferred version of Everettian quantum mechanics has two problems. First, it is unable to account for the contingency of various intuitively contingent modal claims. Second, it fails to yield intuitive truth values on modal claims about the number of branches in a given Everettian multiverse. Since modal claims about branch number are instrumental in decision-theoretic solutions to Everettian quantum mechanics’ problem(s) with probability, this second problem has wider dialectical implications. I suggest amendments to the underlying metaphysics that overcome these problems. The result is a more robust version of Everettian quantum mechanics. (shrink)

What can contemporary machine learning (ML) models do? Given the proliferation of ML models in society, answering this question matters to a variety of stakeholders, both public and private. The evaluation of models' capabilities is rapidly emerging as a key subfield of modern ML, buoyed by regulatory attention and government grants. Despite this, the notion of an ML model possessing a capability has not been interrogated: what are we saying when we say that a model is able to do something? (...) And what sorts of evidence bear upon this question? -/- In this paper, we aim to answer these questions, using the capabilities of large language models (LLMs) as a running example. Drawing on the large philosophical literature on abilities, we develop an account of ML models' capabilities which can be usefully applied to the nascent science of model evaluation. Our core proposal is a conditional analysis of model abilities (CAMA): crudely, a machine learning model has a capability to X just when it would reliably succeed at doing X if it 'tried'. The main contribution of the paper is making this proposal precise in the context of ML, resulting in an operationalisation of CAMA applicable to LLMs. We then put CAMA to work, showing that it can help make sense of various features of ML model evaluation practice, as well as suggest procedures for performing fair inter-model comparisons. (shrink)

Let ${\beta(\mathbb{N})}$ denote the Stone–Čech compactification of the set ${\mathbb{N}}$ of natural numbers (with the discrete topology), and let ${\mathbb{N}^\ast}$ denote the remainder ${\beta(\mathbb{N})-\mathbb{N}}$ . We show that, interpreting modal diamond as the closure in a topological space, the modal logic of ${\mathbb{N}^\ast}$ is S4 and that the modal logic of ${\beta(\mathbb{N})}$ is S4.1.2.

Transitive proxy voting (or "liquid democracy") is a novel form of collective decision making, often framed as an attractive hybrid of direct and representative democracy. Although the ideas behind liquid democracy have garnered widespread support, there have been relatively few attempts to model it formally. This paper makes three main contributions. First, it proposes a new social choice-theoretic model of liquid democracy, which is distinguished by taking a richer formal perspective on the process by which a voter chooses a proxy. (...) Second, it examines the model from an axiomatic perspective, proving (a) a proxy vote analogue of May's Theorem and (b) an impossibility result concerning monotonicity properties in a proxy vote setting. Third, it explores the topic of manipulation in transitive proxy votes. Two forms of manipulation specific to the proxy vote setting are defined, and it is shown that manipulation occurs in strictly more cases in proxy votes than in classical votes. (shrink)

BackgroundImplementation of recommendations from clinical practice guidelines is essential for evidence based clinical practice. However, the most effective methods of implementation are unclear. We conducted a national, cluster-randomised, blinded implementation trial to determine if midwife or doctor local implementation leaders are more effective in implementing a guideline for use of oral dextrose gel to treat hypoglycaemic babies on postnatal wards. To prevent any conscious or unconscious performance bias both the doctor and midwife local implementation leaders were kept unaware of the (...) trial. This paper reports the ethical dilemmas and practical challenges of ensuring clinicians remained unaware of their involvement in an implementation trial.MethodsWe sought approval from the National Health and Disability Ethics committee to keep clinicians unaware of the trial by waiving the standard requirement for locality approval usually required for each district health board. The ethics committee did not approve a waiver of consent but advised that we approach the chief executive of each district health board to ask for provisional locality approval. Ultimately it was necessary to seek ethics approval for three separate study designs to keep clinicians unaware of the trial.ResultsThe median time for chief executive approval was 16 days and for locality approval was 57 days. We completed 21 different locality approval forms for 27 hospitals.ConclusionsKeeping clinicians unaware of their involvement in a national implementation cluster-randomised trial is feasible. However, despite a national ethics committee, significant logistical challenges were time consuming and delayed trial completion. Co-ordination of the locality approval process would help facilitate multi-centre trials. (shrink)

We discuss issues related to constructing an orthomodular structure from an object in a category. In particular, we consider axiomatics related to Baer *-semigroups, partial semigroups, and various constructions involving dagger categories, kernels, and biproducts.

For $\Bbb {F}$ the field of real or complex numbers, let $CG(\Bbb {F})$ be the continuous geometry constructed by von Neumann as a limit of finite dimensional projective geometries over $\Bbb {F}$ . Our purpose here is to show the equational theory of $CG(\Bbb {F})$ is decidable.

When Sasaki Sokei-an founded his First Zen Institute of North America in 1930 he suggested that bringing Zen Buddhism to America was like "holding a lotus against a rock and waiting for it to set down roots." Today, Buddhism is part of the cultural and religious mainstream. Flowers on the Rock examines the dramatic growth of Buddhism in Canada and questions some of the underlying assumptions about how this tradition has changed in the West. Using historical, ethnographic, and biographical approaches, (...) contributors illuminate local expressions of Buddhism found throughout Canada and relate the growth of Buddhism in Canada to global networks. A global perspective allows the volume to overcome the stereotype that Asia and the West are in opposition to each other and recognizes the continuities between Buddhist movements in Asia and the West that are shaped by the same influences of modernity and globalization. Flowers on the Rock studies the fascinating and ingenious changes, inflections, and adaptations that Buddhists make when they set down roots in a local culture. It is essential reading for anyone interested in Buddhism, religious life in Canada, and the broader issues of multiculturalism and immigration. Contributors include Michihiro Ama, D. Mitra Barua, Paul Crowe, Melissa Anne-Marie Curley, Mavis Fenn, Kory Goldberg, Sarah F. Haynes, Jackie Larm, Paul McIvor, James Placzek, and Angela Sumegi. (shrink)

A Heyting algebra is supplemented if each element a has a dual pseudo-complement \, and a Heyting algebra is centrally supplement if it is supplemented and each supplement is central. We show that each Heyting algebra has a centrally supplemented extension in the same variety of Heyting algebras as the original. We use this tool to investigate a new type of completion of Heyting algebras arising in the context of algebraic proof theory, the so-called hyper-MacNeille completion. We show that the (...) hyper-MacNeille completion of a Heyting algebra is the MacNeille completion of its centrally supplemented extension. This provides an algebraic description of the hyper-MacNeille completion of a Heyting algebra, allows development of further properties of the hyper-MacNeille completion, and provides new examples of varieties of Heyting algebras that are closed under hyper-MacNeille completions. In particular, connections between the centrally supplemented extension and Boolean products allow us to show that any finitely generated variety of Heyting algebras is closed under hyper-MacNeille completions. (shrink)

This is a critical introduction to modern French philosophy, commissioned from one of the liveliest contemporary practitioners and intended for an English-speaking readership. The dominant 'Anglo-Saxon' reaction to philosophical development in France has for some decades been one of suspicion, occasionally tempered by curiosity but more often hardening into dismissive rejection. But there are signs now of a more sympathetic interest and an increasing readiness to admit and explore shared concerns, even if these are still expressed in a very different (...) idiom and intellectual context. Vincent Descombes offers here a personal guide to the main movements and figures of the last forty-five years. He traces over this period the evolution of thought from a generation preoccupied with the 'three H's' - Hegel, Husserl and Heidegger, to a generation influenced since about 1960 by the 'three masters of suspicion' - Marx, Nietzsche and Freud. In this framework he deals in turn with the thought of Sartre, Merleau-Ponty, the early structuralists, Foucault, Althusser, Serres, Derrida, and finally Deleuze and Lyotard. The 'internal' intellectual history of the period is related to its institutional setting and the wider cultural and political context which has given French philosophy so much of its distinctive character. (shrink)