Categorial logic, as its name suggests, applies the techniques and machinery of category theory to topics traditionally classified as part of logic. We claim that these tools deserve attention from a greater range of philosophers than just the mathematical logicians. We support this claim with an example. In this paper we show how one particular tool from categorial logic---hyperdoctrines---suggests interesting metaphysics. Hyperdoctrines can provide semantics for quantified languages, but this account of quantification suggests a metaphysical picture quite different from the (...) one suggested by standard model-theoretic semantics. (shrink)

Relevant logics infamously have the property that they only validate a conditional when some propositional variable is shared between its antecedent and consequent. This property has been strengthened in a variety of ways over the last half-century. Two of the more famous of these strengthenings are the strong variable sharing property and the depth relevance property. In this paper I demonstrate that an appropriate class of relevant logics has a property that might naturally be characterized as the supremum of these (...) two properties. I also show how to use this fact to demonstrate that these logics seem to be constructive in previously unknown ways. (shrink)

Formal symptoms of relevance usually concern the propositional variables shared between the antecedent and the consequent of provable conditionals. Among the most famous results about such symptoms are Belnap’s early results showing that for sublogics of the strong relevant logic R, provable conditionals share a signed variable between antecedent and consequent. For logics weaker than R stronger variable sharing results are available. In 1984, Ross Brady gave one well-known example of such a result. As a corollary to the main result (...) of the paper, we give a very simple proof of a related but strictly stronger result. (shrink)

In 1988, Kit Fine published a semantic theory for quantified relevant logics. He referred to this theory as stratified semantics. While it has received some attention in the literature, 1–20, 1992; Mares & Goldblatt, Journal of Symbolic Logic 71, 163–187, 2006), stratified semantics has overall received much less attention than it deserves. There are two plausible reasons for this. First, the only two dedicated treatments of stratified semantics available are, 27–59, 1988; Mares, Studia Logica 51, 1–20, 1992), both of which (...) are quite dense and technically challenging. Second, there are a number of prima facie reasons to be worried about stratified semantics. The purpose of this paper is to revitalize research on stratified semantics. I will do so by giving a ‘user friendly’ presentation of the semantics, and by giving reasons to think that the prima facie reasons to be worried about it are too simplistic. (shrink)

There is a natural story about what logic is that sees it as tied up with two operations: a ‘throw things into a bag’ operation and a ‘closure’ operation. In a pair of recent papers, Jc Beall has fleshed out the account of logic this leaves us with in more detail. Using Beall’s exposition as a guide, this paper points out some problems with taking the second operation to be closure in the usual sense. After pointing out these problems, I (...) then turn to fixing them in a restricted case and modulo a few simplifying assumptions. In a followup paper, the simplifications and restrictions will be removed. (shrink)

In this paper, we examine a number of relevant logics’ variable sharing properties from the perspective of theories of topic or subject-matter. We take cues from Franz Berto’s recent work on topic to show an alignment between families of variable sharing properties and responses to the topic transparency of relevant implication and negation. We then introduce and defend novel variable sharing properties stronger than strong depth relevance—which we call cn-relevance and lossless cn-relevance—showing that the properties are satisfied by the weak (...) relevant logics and , respectively. We argue that such properties address a sort of semantic lossiness of strong depth relevance. (shrink)

Jc Beall has made several contributions to the theory of restricted quantification in relevant logics. This paper examines these contributions and proposes an alternative account of restricted universals. The alternative is not, however, a theory of relevant restricted universals in any real sense. It is, however, a theory of restricted universals phrased in the most plausible general quantificational theory for relevant logics—Kit Fine’s stratified semantics. The motivation both for choosing this semantic framework and for choosing the particular theory of restricted (...) quantification we use is because they are the best way of dealing with these topics from Beall’s theory-building theory picture of logic, establishing a second point of contact with Beall’s work. (shrink)

Abstractionism in the philosophy of mathematics aims at deriving large fragments of mathematics by combining abstraction principles (i.e. the abstract objects $\S e_1, \S e_2$, are identical if, and only if, an equivalence relation $Eq_\S$ holds between the entities $e_1, e_2$) with logic. Still, as highlighted in work on the semantics for relevant logics, there are different ways theories might be combined. In exactly what ways must logic and abstraction be combined in order to get interesting mathematics? In this paper, (...) we investigate the matter by deriving the axioms of second-order Peano Arithmetic from Frege's Basic Law V (the extension of $F$ is identical with the extension of $G$ if, and only if, $F$ and $G$ are extensionally equivalent) in the presence of a relevant higher-order logic. The results are interesting. Not only must we take on logic as true, and not only must we apply our logic to abstraction principles, but also we have to apply our theory of abstraction back to the logic in order to arrive at arithmetic. Thus, what Abstractionism gives us is not simply what we get from abstraction via logic, but also what we get from logic via abstraction. (shrink)

Weak enough relevant logics are often closed under depth substitutions. To determine the breadth of logics with this feature, we show there is a largest sublogic of R closed under depth substitutions and that this logic can be recursively axiomatized.

Here's the thing: when you look at it from just the right angle, it's entirely obvious how semantics for second-order relevant logics ought to go. Or at least, if you've understood how semantics for first-order relevant logics ought to go, there are perspectives like this. What's more is that from any such angle, the metatheory that needs doing can be summed up in one line: everything is just as in the first-order case, but with more indices. Of course, it's no (...) small matter finding the magical angle from which everything becomes obvious. And even having found this perspective, one cannot assume one's audience will find things as obvious as oneself. All that to say this: if the results in the paper below strike you as obvious, pay attention to the perspective that makes that possible. And if they don't, feel free to ignore this preamble in its entirety. (shrink)

Sometimes, learning about the origins of a belief can make it irrational to continue to hold that belief—a phenomenon we call ‘genealogical defeat’. According to explanationist accounts, genealogical defeat occurs when one learns that there is no appropriate explanatory connection between one’s belief and the truth. Flatfooted versions of explanationism have been widely and rightly rejected on the grounds that they would disallow beliefs about the future and other inductively-formed beliefs. After motivating the need for some explanationist account, we raise (...) some problems for recent versions of explanationism. Learning from their failures, we then produce and defend a more resilient explanationism. (shrink)

This paper presents a new semantics for the weak relevant logic DW that makes the role of the infamous Routley star more explicable. Central to this rewriting is combining aspects of both the American and Australian plan for understanding negations in relevance logics.

I present a version of Kit Fine's stratified semantics for the logic RWQ and define a natural family of related structures called RW hyperdoctrines. After proving that RWQ is sound with respect to RW hyperdoctrines, we show how to construct, for each stratified model, a hyperdoctrine that verifies precisely the same sentences. Completeness of RWQ for hyperdoctrinal semantics then follows from completeness for stratified semantics, which is proved in an appendix. By examining the base category of RW hyperdoctrines, we find (...) reason to be worried about the ontology of stratified models. (shrink)

In this paper, we provide a semantics for a range of positive substructural logics, including both logics with and logics without modal connectives. The semantics is novel insofar as it is meant to explicitly capture the computational flavor of these logics, and to do so in a way that builds in both nondeterministic and nonconcurrent computational processes.

In this paper we introduce a novel way of building arithmetics whose background logic is R. The purpose of doing this is to point in the direction of a novel family of systems that could be candidates for being the infamous R#1/2 that Meyer suggested we look for.

Supererogatory acts—good deeds “beyond the call of duty”—are a part of moral common sense, but conceptually puzzling. I propose a unified solution to three of the most infamous puzzles: the classic Paradox of Supererogation (if it’s so good, why isn’t it just obligatory?), Horton’s All or Nothing Problem, and Kamm’s Intransitivity Paradox. I conclude that supererogation makes sense if, and only if, the grounds of rightness are multi-dimensional and comparative.

Linnebo and Pettigrew present some objections to category theory as an autonomous foundation. They do a commendable job making clear several distinct senses of ‘autonomous’ as it occurs in the phrase ‘autonomous foundation’. Unfortunately, their paper seems to treat the ‘categorist’ perspective rather unfairly. Several infelicities of this sort were addressed by McLarty. In this note I address yet another apparent infelicity.

Supererogatory acts are those that lie “beyond the call of duty.” There are two standard ways to define this idea more precisely. Although the definitions are often seen as equivalent, I argue that they can diverge when options are infinite, or when there are cycles of better options; moreover, each definition is acceptable in only one case. I consider two ways out of this dilemma.

Public discussions of political and social issues are often characterized by deep and persistent polarization. In social psychology, it’s standard to treat belief polarization as the product of epistemic irrationality. In contrast, we argue that the persistent disagreement that grounds political and social polarization can be produced by epistemically rational agents, when those agents have limited cognitive resources. Using an agent-based model of group deliberation, we show that groups of deliberating agents using coherence-based strategies for managing their limited resources tend (...) to polarize into different subgroups. We argue that using that strategy is epistemically rational for limited agents. So even though group polarization looks like it must be the product of human irrationality, polarization can be the result of fully rational deliberation with natural human limitations. (shrink)

A remarkable number of Nietzsche's substantive moral psychological views have been borne out by evidence from the empirical sciences. Moral judgments are products of affects on Nietzsche's view, but the latter are in turn causally dependent upon more fundamental features of the individual. Nietzsche accepts a doctrine of types. The path is short from the acceptance of the Doctrine of Types to the acceptance of epiphenomenalism, as Leiter, and more recently, Riccardi argue. This chapter explains Nietzsche's phenomenological account of willing, (...) which serves as independent motivation for the view that Nietzsche denies the causal efficacy of conscious acts of willing. It also explores that in spite of an absence of volitional freedom, self‐control can be usefully understood on a strength‐model of motivational resources. The chapter concludes with a brief discussion of how Nietzsche, without employing the contemporary methods of empirical psychology, could nonetheless be such a prescient moral psychologist. (shrink)

It has become customary to conceptualize the living cell as an intricate piece of machinery, different to a man-made machine only in terms of its superior complexity. This familiar understanding grounds the conviction that a cell's organization can be explained reductionistically, as well as the idea that its molecular pathways can be construed as deterministic circuits. The machine conception of the cell owes a great deal of its success to the methods traditionally used in molecular biology. However, the recent introduction (...) of novel experimental techniques capable of tracking individual molecules within cells in real time is leading to the rapid accumulation of data that are inconsistent with an engineering view of the cell. This paper examines four major domains of current research in which the challenges to the machine conception of the cell are particularly pronounced: cellular architecture, protein complexes, intracellular transport, and cellular behaviour. It argues that a new theoretical understanding of the cell is emerging from the study of these phenomena which emphasizes the dynamic, self-organizing nature of its constitution, the fluidity and plasticity of its components, and the stochasticity and non-linearity of its underlying processes. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

One way of being responsible for an action is being praiseworthy for it. But what is the “praise” of which the praiseworthy agent is worthy? This paper provides a survey of answers to this question, i.e. a survey of possible accounts of praise’s nature. It then presents an overview of candidate norms governing our responses of praise. By attending to praise’s nature and appropriateness conditions, we stand to acquire a richer conception of what it is to be, and to regard (...) another as, a responsible agent. (shrink)

Realists about possible worlds typically identify possible worlds with abstract objects, such as propositions or properties. However, they face a significant objection due to Lewis (1986), to the effect that there is no way to explain how possible worlds-as-abstract objects represent possibilities. In this paper, I describe a response to this objection on behalf of realists. The response is to identify possible worlds with propositions, but to deny that propositions are abstract objects, or indeed objects at all. Instead, I argue (...) that realists should follow Prior (1971) and others in treating higher-order quantification (e.g. quantification into predicate or sentence position) as a genuine form of quantification in its own right, and so in particular, not to be analysed in terms of first-order quantification over abstract objects. I argue that from this ‘higher-orderist’ perspective, there is a relatively straightforward answer to the question of how possible worlds-as-propositions succeed in representing possibilities. (shrink)

This paper will attempt to assess the primary differences between what I take to be the two primary philosophical "traditions" in contemporary French philosophy, using Derrida (transcendence) and Deleuze (immanence) as exemplary representatives. The body of the paper will examine the use of these terms in three different areas of philosophy on which Derrida and Deleuze have both written: subjectivity, ontology, and epistemology. (1) In the field of subjectivity, the notion of the subject has been critiqued in two manners, either (...) by appealing either to the transcendence of the other (Levinas, Derrida) or to the immanent jlux of experience itself, in relation to which the Ego itself is trancendent (Deleuze, Foucault, Sartre, James). (2) In the field of ontology, a purely "immanent" ontology would be an ontology in which there is neither a "beyond" or an "otherwise" Being, nor "interruptions" in Being, both of which would require an appeal to a formal element of transcendence (Deleuze). Such a "transcendent" and aporetic structure, which can never appear or be present as such within Being, is what lies at the basis of the project of deconstruction, with its attendant aporias (Derrida). (3) This distinction, finally, finds parallels in Kant's epistemology, for whom the possible experience is conditioned by purely immanent criteria (Deleuze), whereas what goes beyond the limits of possible experience is transcendent (Derrida). Drawing on these three thread of analysis, the paper concludes with an assessment of what is at stake in the ethical differences between the two traditions. The question of "transcendence" is "What mast I do?", which is the question of morality (a duty or obligation that is beyond being, an "ought" beyond the "is"). The question of "immanence" is "What can I do?" (my power or capacity as an existing individual within being). For Levinas and Derrida, ethics precedes ontology because it is derived from an element of transcendence (the Other); for Deleuze, ethics is ontology because it is derived from the immanent relation of beings to Being at the level of their existence (Spinoza). (shrink)

Axiom weakening is a novel technique that allows for fine-grained repair of inconsistent ontologies. In a multi-agent setting, integrating ontologies corresponding to multiple agents may lead to inconsistencies. Such inconsistencies can be resolved after the integrated ontology has been built, or their generation can be prevented during ontology generation. We implement and compare these two approaches. First, we study how to repair an inconsistent ontology resulting from a voting-based aggregation of views of heterogeneous agents. Second, we prevent the generation of (...) inconsistencies by letting the agents engage in a turn-based rational protocol about the axioms to be added to the integrated ontology. We instantiate the two approaches using real-world ontologies and compare them by measuring the levels of satisfaction of the agents w.r.t. the ontology obtained by the two procedures. (shrink)

This chapter sets out an optimistic view of philosophical progress.The key idea is that the historical record speaks in favor of there being progress at least if we are clear about what philosophical problems are, and what it takes to solve them. I end by asking why so many people tend toward a pessimistic view of philosophical progress.

This paper explores various subtleties in our ordinary thought and talk about normative reasons—subtleties which, if taken seriously, have various upshots, both substantive and methodological. I focus on two subtleties in particular. The first concerns the use of reason (in its normative sense) as both a count noun and as a mass noun, and the second concerns the context-sensitivity of normative reasons-claims. The more carefully we look at the language of reasons, I argue, the clearer its limitations and liabilities become. (...) The cumulative upshot is that although talk of reasons is intelligible and useful for the purposes of communication, we should be wary of placing much weight on it when engaging in substantive normative inquiry. By way of illustration, I consider some potential pitfalls of taking our talk of reasons too seriously, explaining how careful attention to the language of reasons undermines the main argument for moral particularism, Mark Schroeder’s recent defense of Humeanism about practical reasons, and the “reasons-first” program in metanormativity. (shrink)

This chapter provides a systematic overview of topological explanations in the philosophy of science literature. It does so by presenting an account of topological explanation that I (Kostić and Khalifa 2021; Kostić 2020a; 2020b; 2018) have developed in other publications and then comparing this account to other accounts of topological explanation. Finally, this appraisal is opinionated because it highlights some problems in alternative accounts of topological explanations, and also it outlines responses to some of the main criticisms raised by the (...) so-called new mechanists. (shrink)

Bernard Williams argues that philosophy is in some deep way akin to history. This article is a novel exploration and defense of the Williams thesis —though in a way anathema to Williams himself. The key idea is to apply a central moral from what is sometimes called the analytic philosophy of history of the 1960s to the philosophy of philosophy of today, namely, the separation of explanation and laws. I suggest that an account of causal explanation offered by David Lewis (...) may be modified to bring out the way in which this moral applies to philosophy, and so to defend the Williams thesis. I discuss in detail the consequences of the thesis for the issue of philosophical progress and note also several further implications: for the larger context of contemporary metaphilosophy, for the relation of philosophy to other subjects, and for explaining, or explaining away, the belief that success in philosophy requires a field-specific ability or brilliance. (shrink)

Supporters of open borders sometimes argue that the state has no pro tanto right to restrict immigration, because such a right would also entail a right to exclude existing citizens for whatever reasons justify excluding immigrants. These arguments can be defeated by suggesting that people have a right to stay put. I present a new form of the exclusion argument against closed borders which escapes this “right to stay put” reply. I do this by describing a kind of exclusion that (...) has not been discussed in depth, which I call “territorial exclusion.” Territorial exclusion is the process according to which the group that wishes to exclude current citizens secedes from the territory in which those citizens reside. I argue that the wrongness of territorial exclusion explains why there is no pro tanto right for a state to exclude immigrants, because otherwise there would be a pro tanto right for the state to kick people out by seceding from the territory they inhabit. Because kicking people out like this is typically wrong, borders cannot be closed. (shrink)

Consider the set of inferences that are acceptable to use in all our theory building endeavors. Call this set of inferences the universal theory building toolkit, or just ’the toolkit’ for short. It is clear that the toolkit is tightly connected to logic in a variety of ways. Beall, for example, has argued that logic just is the toolkit. This paper avoids making a stand on that issue and instead investigates reasons for thinking that, logic or not, the toolkit is (...) substructural. It is presented as a dialogue for the simple reason that it summarizes a range of dialogues on this subject that the author has had with various folks over the past few years. The method I use to investigate the toolkit is inspired in both philosophical and technical details by Alasdair Urquhart’s work on semantics for relevance logics from the early 1970s. (shrink)

The impossibility results in judgement aggregation show a clash between fair aggregation procedures and rational collective outcomes. In this paper, we are interested in analysing the notion of rational outcome by proposing a proof-theoretical understanding of collective rationality. In particular, we use the analysis of proofs and inferences provided by linear logic in order to define a fine-grained notion of group reasoning that allows for studying collective rationality with respect to a number of logics. We analyse the well-known paradoxes in (...) judgement aggregation and we pinpoint the reasoning steps that trigger the inconsistencies. Moreover, we extend the map of possibility and impossibility results in judgement aggregation by discussing the case of substructural logics. In particular, we show that there exist fragments of linear logic for which general possibility results can be obtained. (shrink)

ABSTRACT This paper examines the question of whether recognition relations are based on trust. Theorists of recognition have acknowledged the ways in which recognition relations make us vulnerable to others but have largely neglected the underlying ‘webs of trust’ in which such relations are embedded. In this paper, I consider the ways in which the theories of recognition developed by Jürgen Habermas and Axel Honneth, not only point to our mutual vulnerability but also implicitly rely upon mutual relations of trust. (...) The paper first offers a novel examination of the relation between recognition, vulnerability and trust in Habermas’ account of communicative action with the aim of arguing that such a consideration helps to elucidate important features of recognition. My claim is that a consideration of the dynamics of recognition and vulnerability in language-use, leads to an acknowledgment of the forms of trust that not only underpin communicative action, but recognition more generally. I conclude by considering the elements that are underplayed in Habermas’ account by turning to an examination of Axel Honneth’s alternative affective theory of recognition, specifically considering the interrelation between vulnerability and recognition. In doing so, I also turn to a consideration of the kind of trust that must be assumed in Honneth’s account of mutual recognition and point to a recognitive notion of trust. (shrink)

In this commentary, I will consider the implications of the argument made by Christopher Stratman (2020) in ‘Ectogestation and the Problem of Abortion’. Clearly, the possibility of ectogestation will have some effect on the ethical debate on abortion. However, I have become increasingly sceptical that the possibility of ectogestation will transform the problem of abortion. Here, I outline some of my reasons to justify this scepticism. First, that virtually everything we already know about unintended pregnancies, abortion and adoption does not (...) prima facie support the assumption that a large shift to ectogestation would occur. Moreover, if ectogestation does not lead to significant restrictions to abortion then there is unlikely to be any radical transformation of the practice of abortion. Second, abortion is already associated with stigma and so the presence of ectogestation would need to create additional stigma to modify behaviour. Finally, I argue that ectogestation shifts the debate away from the fetus to the human subject of the artificial womb—the gestateling. Therefore, creating a new category of killing—gestaticide—and this would only reorient the debate rather than end it. (shrink)

The purpose of my paper is to challenge the binary classification of authenticity, which is currently employed in the bioethical debate on enhancement technologies. According to the standard dichotomy, there is a stark opposition between the self-discovery model, which depicts the self as a substantial and original inwardness, and the self-creation model, which assumes that the self is an open project, that has to be constituted by one’s free actions. My claim is that the so-called self-creation model actually conflates two (...) distinct versions of authenticity: one that is decisionist and one that is experimentalist. Hence, my proposal is to distinguish between three different models of authenticity: (i) self-discovery, which is an expressivist model of authenticity; (ii) existential commitment, which is a decisionist model; and (iii) reinvention of the self, which is an experimentalist model. Such a three-fold distinction will vast a more nuanced and clear light upon the enhancement debate. (shrink)

[Commentary on Kwong-loi Shun, “Anger, Compassion, and the Distinction between First and Third Person” Australasian Philosophical Review 6.1 (Issue theme: Moral psychology— Insights from Chinese Philosophy), forthcoming.] -/- In maintaining that gratitude fails to reflect a perspectival distinction based on whether the grateful agent is the direct beneficiary of the benefactor’s good will, Kwong-loi Shun suggests that gratitude might be felt to benefactors for benefits bestowed to strangers. With an eye toward understanding the form that gratitude might take on this (...) kind of view, I consider two mutually exclusive ways of unpacking this proposal in the context of Shun’s other commitments. On the first (expansive) approach, responses of grateful reciprocation are extended to persons who presently receive only our approval or approbation. The expansive route, however, entails treating gratitude and its negative counterpart asymmetrically, for reasons that are nonobvious. On the second (restrictive) approach, gratitude in effect collapses into approval, and our interpersonal practices are rid not only of angry payback (of the sort associated with resentment), but also of the 'positive payback' presently associated with gratitude. The restrictive route, however, excises from our practices features of gratitude that have considerable interpersonal value. (shrink)

This paper focuses on a non-volitional account that has received a good deal of attention recently, Angela Smith's rational relations view. I argue that without historical conditions on blameworthiness for the non-voluntary non-volitionist accounts like Smith’s are (i) vulnerable to manipulation cases and (ii) fail to make sufficient room for the distinction between badness and blameworthiness. Towards the end of the paper I propose conditions aimed to supplement these deficiencies. The conditions that I propose are tailored to suit non-volitional accounts (...) of blameworthiness. Unlike some volitional historical conditions on blameworthiness, the conditions that I propose do not require that the person have exercised voluntary control (e.g., via choices or decisions) over the acquisition of her attitudes or values. (shrink)

This paper responds to commentaries by Kaiserman and Magidor, and Hawthorne. The case of the infinite clowns can teach us several things.

We show how to embed a framework for multilateral negotiation, in which a group of agents implement a sequence of deals concerning the exchange of a number of resources, into linear logic. In this model, multisets of goods, allocations of resources, preferences of agents, and deals are all modelled as formulas of linear logic. Whether or not a proposed deal is rational, given the preferences of the agents concerned, reduces to a question of provability, as does the question of whether (...) there exists a sequence of deals leading to an allocation with certain desirable properties, such as maximising social welfare. Thus, linear logic provides a formal basis for modelling convergence properties in distributed resource allocation. (shrink)

We show that linear logic can serve as an expressive framework in which to model a rich variety of combinatorial auction mechanisms. Due to its resource-sensitive nature, linear logic can easily represent bids in combinatorial auctions in which goods may be sold in multiple units, and we show how it naturally generalises several bidding languages familiar from the literature. Moreover, the winner determination problem, i.e., the problem of computing an allocation of goods to bidders producing a certain amount of revenue (...) for the auctioneer, can be modelled as the problem of finding a proof for a particular linear logic sequent. (shrink)

Creationism about fictional entities requires a principle connecting what fictions say exist with which fictional entities really exist. The most natural way of spelling out such a principle yields inconsistent verdicts about how many fictional entities are generated by certain inconsistent fictions. Avoiding inconsistency without compromising the attractions of creationism will not be easy.

The U.S. election in November 2016 raised and amplified doubts about first-past-the-post (“plurality rule”) electoral systems. Arguments against plurality rule and for alternatives like preferential voting tend to be consequentialist: it is argued that systems like preferential voting produce different, better outcomes. After briefly noting why the consequentialist case against plurality rule is more complex and contentious than it first appears, I offer an expressive alternative: plurality rule produces actual or apparent dilemmas for voters in ways that are morally objectionable, (...) and avoidable under preferential voting systems. This expressive case against plurality rule is both simpler and more ecumenical than its consequentialist counterpart, and it provides strong reasons to prefer alternatives to plurality rule. Moreover, it suggests a distinct way of evaluating different alternatives like preferential voting. (shrink)

Marriages come in a very wide variety: if the reports of anthropologists and historians are to be believed, an extraordinarily wide variety. This includes some of the more unusual forms, including marriage to the dead; to the gods; and even to plants. This does suggest that few proposed marriage relationships would require 'redefining marriage': but on the other hand, it makes giving a general theory of marriage challenging. So one issue we should face is how accepting we should be of (...) the reports: to what extent reported 'marriages' really are marriages. This paper defends the view that almost all of these reported marriages are in fact marriages, and suggests some theoretical approaches that may be generous enough to account for this. (shrink)

There has recently been a focus on the question of statue removalism. This concerns what to do with public history statues that honour or otherwise celebrate ethically bad historical figures. The specific wrongs of these statues have been understood in terms of derogatory speech, inapt honours, or supporting bad ideologies. In this paper I understand these bad public history statues as history, and identify a distinctive class of public history-specific wrongs. Specifically, public history plays an important identity-shaping role, and bad (...) public history can commit specifically ontic injustice. Understanding bad public history in terms of ontic injustice helps understand not just to address bad public history statues, but also understand the value of public history more broadly. (shrink)