For a computable structure \, if there is a computable infinitary Scott sentence, then the complexity of this sentence gives an upper bound for the complexity of the index set \\). If we can also show that \\) is m-complete at that level, then there is a correspondence between the complexity of the index set and the complexity of a Scott sentence for the structure. There are results that suggest that these complexities will always match. However, it was shown in (...) Knight and McCoy that there is a structure ) for which the index set is m-complete \, though there is no computable \ Scott sentence. In the present paper, we give an example of a particular equivalence structure for which the index set is m-complete \ but for which there is no computable \ Scott sentence. There is, however, a computable \ pseudo-Scott sentence for the structure, that is, a sentence that acts as a Scott sentence if we only consider computable structures. (shrink)

We show that for every computable limit ordinal α, there is a computable structure A that is $\Delta _\alpha ^0 $ categorical, but not relatively $\Delta _\alpha ^0 $ categorical (equivalently. it does not have a formally $\Sigma _\alpha ^0 $ Scott family). We also show that for every computable limit ordinal a, there is a computable structure A with an additional relation R that is intrinsically $\Sigma _\alpha ^0 $ on A. but not relatively intrinsically $\Sigma _\alpha ^0 $ (...) on A (equivalently, it is not definable by a computable $\Sigma _\alpha $ formula with finitely many parameters). Earlier results in [7], [10], and [8] establish the same facts for computable successor ordinals α. (shrink)

This chapter defends a divine command theory consisting of two central claims. First, a kind of action is morally obligatory just in case God has commanded that actions of that kind be performed. Second, God’s commanding that a kind of action be performed is what makes it obligatory. God’s commands bring it about that the wrong actions are wrong, and the required actions are required. Moreover, God’s goodness ensures that His commands are not arbitrary. God is the standard of Goodness. (...) Something is good just in case it resembles God in a relevant way. Since God resembles Himself, He is good, and His commands are suited to ground moral obligations. Deontic or duty-related properties depend on God’s commands, but axiological or evaluative properties, such as goodness, do not. (shrink)

A welcome addition to the Routledge Critical Thinkers series, Judith Butler is the first guidebook on this renowned feminist and queer theory scholar, which will help not only students of literary criticism but also students of law, sociology, philosophy, film and cultural studies. Examining Butler's work through a variety of contexts, including the formation of gender performativity, identity and subjecthood, Sarah Salih address Butler's crucial ideas on the gender agenda, the body, pornography, race, gay self-expression and power and psychoanalysis. Concluding (...) with an annotated bibliography, this book will be the ideal starting point for all new to Butler. (shrink)

It is impossible to imagine contemporary critical theory without the work of Michel Foucault. His radical reworkings of the concepts of power, knowledge, discourse and identity have influenced the widest possible range of theories and impacted upon disciplinary fields from literary studies to anthropology. Aimed at students approaching Foucault's texts for the first time, this volume offers: * an examination of Foucault's contexts * a guide to his key ideas * an overview of responses to his work * practical hints (...) on 'using Foucault' * an annotated guide to his most influential works * suggestions for further reading. Challenging not just what we think but how we think, Foucault's work remains the subject of heated debate. Sara Mills' Michel Foucault offers an introduction to both the ideas and the debate, fully equipping student readers for an encounter with this most influential of thinkers. (shrink)

This chapter develops an alternative to the dominant articulation of human existence on the basis of classical phenomenology, arguing that Edmund Husserl's phenomenological inquiries into the structures of embodiment provide a very different and more fruitful starting point for the investigation of sexual difference than the ideas of social gender and biological sex. The ways of classifying sex and gender characteristics mark them out on several different conceptual bases, and thus their categories may not correspond or coincide. Moreover historical and (...) biological inquiries indicate that the dimorphic notion of sex is prescriptive and constructive. Finally the sex/gender paradigm is dominated by the explanatory framework of causes and effects. The phenomenological analysis shows that the causal-functional framework is inadequate for the investigation of the plurality of the bodily existence and sexual difference as a dimension of this existence. In the light of the explication of the concepts of sex and gender, and the phenomenological analysis of embodiment, the sex/gender paradigm cannot offer a basis for a comprehensive philosophy of sexual existence. (shrink)

The Routledge Handbook of Women and Ancient Greek Philosophy is an essential reference source for cutting-edge scholarship on women, gender, and philosophy in Greek antiquity. The volume features original research that crosses disciplines, offering readers an accessible guide to new methods, new sources, and new questions in the study of ancient Greek philosophy and its multiple afterlives. Comprising 40 chapters from a diverse international group of experts, the Handbook considers questions about women and gender in sources from Greek antiquity spanning (...) the period from 7th c. BCE to 2nd c. BCE, and in receptions of Greek antiquity from the Roman Imperial period, through the European Renaissance to the current day. Chapters are organized into five major sections: I. Early Greek antiquity – including Sappho, Presocratic philosophy, Sophists, and Greek tragedy – 700s–400s BCE II. Classical Greek antiquity – including Aeschines, Plato, and Xenophon – 400s–300s BCE III. Late Classical Greek to Hellenistic antiquity – including Cyrenaics, Cynics, the Hippocratic corpus, and Aristotle – 300s–200s BCE IV. Late Greek antiquity to Roman Imperial period – including Pythagorean women, Stoics, Pyrrhonian Skeptics, and late Platonists – 200s BCE to 700s CE V. Later receptions – including Shakespeare, the European Renaissance, Anna Julia Cooper, W.E.B. DuBois, Jane Harrison, Sarah Kofman, and Toni Morrison The Routledge Handbook of Women and Ancient Greek Philosophy is a vital resource for students and scholars in philosophy, Classics, and gender studies who want to gain a deeper understanding of philosophy’s rich past and explore sources and questions beyond the traditional canon. The volume is a valuable resource, as well, for students and scholars from history, humanities, literature, political science, religious studies, rhetorical studies, theatre, and LGBTQ and sexuality studies. (shrink)

In “Epistemology in Philosophy of Religion,” Philip Quinn focuses on the central problem of religious epistemology for monotheistic religions: the epistemic status of belief in the existence of God. He explores what epistemic conditions arguments for God's existence would have to satisfy to be successful and whether any arguments satisfy those conditions. Turning to the claims of reformed epistemology about belief in God, Quinn assesses Alvin Plantinga's claim that belief in God is for many theists properly basic, that (...) is, has positive epistemic status even when it is not based on arguments or any other kind of propositional evidence. Quinn distinguishes two versions of this claim. According to the first, emphasized in Plantinga's earlier work, theistic belief is properly basic with respect to justification or rationality, while according to the second version, prominent in Plantinga's more recent work, theistic belief is properly basic with respect to warrant. (shrink)

This paper gives a framework for understanding causal counterpossibles, counterfactuals imbued with causal content whose antecedents appeal to metaphysically impossible worlds. Such statements are generated by omissive causal claims that appeal to metaphysically impossible events, such as “If the mathematician had not failed to prove that 2+2=5, the math textbooks would not have remained intact.” After providing an account of impossible omissions, the paper argues for three claims: (i) impossible omissions play a causal role in the actual world, (ii) causal (...) counterpossibles have broad applications in philosophy, and (iii) the truth of causal counterpossibles provides evidence for the nonvacuity of counterpossibles more generally. (shrink)

Feminism is sensational -- On being directed -- Willfulness and feminist subjectivity -- Trying to transform -- Being in question -- Brick walls -- Fragile connections -- Feminist snap -- Lesbian feminism -- Conclusion 1: A killjoy survival kit -- Conclusion 2: A killjoy manifesto.

Introduction: find your way -- Orientations toward objects -- Sexual orientation -- The orient and other others -- Conclusion: disorientation and queer objects.

McCradden and colleagues' (2022) argues that machine learning in health care poses new challenges to appropriate evaluation for safe use in clinical care. It also claims that “the longstanding syst...

Differences That Matter challenges existing ways of theorising the relationship between feminism and postmodernism which ask 'is or should feminism be modern or postmodern?' Sara Ahmed suggests that postmodernism has been allowed to dictate feminist debates and calls instead for feminist theorists to speak (back) to postmodernism, rather than simply speak on (their relationship to) it. Such a 'speaking back' involves a refusal to position postmodernism as a generalisable condition of the world and requires closer readings of what postmodernism (...) is actually 'doing' in a variety of disciplinary contexts. Sara Ahmed hence examines constructions of postmodernism in relation to rights, ethics, subjectivity, authorship, meta-fiction and film. (shrink)

_The Promise of Happiness_ is a provocative cultural critique of the imperative to be happy. It asks what follows when we make our desires and even our own happiness conditional on the happiness of others: “I just want you to be happy”; “I’m happy if you’re happy.” Combining philosophy and feminist cultural studies, Sara Ahmed reveals the affective and moral work performed by the “happiness duty,” the expectation that we will be made happy by taking part in that which (...) is deemed good, and that by being happy ourselves, we will make others happy. Ahmed maintains that happiness is a promise that directs us toward certain life choices and away from others. Happiness is promised to those willing to live their lives in the right way. Ahmed draws on the intellectual history of happiness, from classical accounts of ethics as the good life, through seventeenth-century writings on affect and the passions, eighteenth-century debates on virtue and education, and nineteenth-century utilitarianism. She engages with feminist, antiracist, and queer critics who have shown how happiness is used to justify social oppression, and how challenging oppression causes unhappiness. Reading novels and films including_ Mrs. Dalloway_, _The Well of Loneliness_, _Bend It Like Beckham_, and _Children of Men_, Ahmed considers the plight of the figures who challenge and are challenged by the attribution of happiness to particular objects or social ideals: the feminist killjoy, the unhappy queer, the angry black woman, and the melancholic migrant. Through her readings she raises critical questions about the moral order imposed by the injunction to be happy. (shrink)

In this paper I will show the problems that are encountered when dealing with uniqueness of connectives in a bilateralist setting within the larger framework of proof-theoretic semantics and suggest a solution. Therefore, the logic 2Int is suitable, for which I introduce a sequent calculus system, displaying - just like the corresponding natural deduction system - a consequence relation for provability as well as one dual to provability. I will propose a modified characterization of uniqueness incorporating such a duality of (...) consequence relations, with which we can maintain uniqueness in a bilateralist setting. (shrink)

The paper suggests that we can usefully approach whiteness through the lens of phenomenology. Whiteness could be described as an ongoing and unfinished history, which orientates bodies in specific directions, affecting how they `take up' space, and what they `can do'. The paper considers how whiteness functions as a habit, even a bad habit, which becomes a background to social action. The paper draws on experiences of inhabiting a white world as a non-white body, and explores how whiteness becomes worldly (...) through the noticeability of the arrival of some bodies more than others. A phenomenology of whiteness helps us to notice institutional habits; it brings what is behind to the surface in a certain way. (shrink)

In this paper I argue against three leading accounts of self-deception in the philosophical literature and propose a heretofore overlooked route to self-deception. The central problem with extant accounts of self-deception is that they are unable to balance two crucial desiderata: (1) to make the dynamics of self-deception (e.g., the formation of self-deceptive beliefs) psychologically plausible and (2) to capture self-deception as an intentional phenomenon for which the self-deceiver is responsible. I argue that the three leading views all fail on (...) one or both counts. However, I claim that many or most cases of self-deception conform to a different model, which I call ‘Self-deception as Omission’. In these cases, the process of self-deceptive belief formation and the intentional act for which the self-deceiver is responsible come apart, allowing us to meet both desiderata. Self-deceptive beliefs are often formed by unconscious mechanisms closely analogous to the 'System 1' processes of dual-systems psychology, or by other mechanisms of motivated reasoning. The nascently self-deceptive subject then acquiesces in the comforting belief and commits an epistemic failure by allowing it to persist. If this is done for motivationally biased reasons — e.g., preferring that the belief in question be true — then the subject is self-deceived and is blameworthy for her epistemic omission. (shrink)

Mental simulation — such as imagining tilting a glass to figure out the angle at which water would spill — can be a way of coming to know the answer to an internally or externally posed query. Is this form of learning a species of inference or a form of observation? We argue that it is neither: learning through simulation is a genuinely distinct form of learning. On our account, simulation can provide knowledge of the answer to a query even (...) when the basis for that answer is opaque to the learner. Moreover, through repeated simulation, the learner can reduce this opacity, supporting self-training and the acquisition of more accurate models of the world. Simulation is thus an essential part of the story of how creatures like us become effective learners and knowers. (shrink)

The consideration of the problem of healthcare allocation as a special case of distributive justice is especially alluring when we only consider consequentialist theories. I articulate here an alternative Rawlsian non-consequentialist theory which prioritizes the fairness of healthcare allocation procedures rather than directly setting distributive parameters. The theory in question stems from Rawlsian commitments that, it is argued, have a better Rawlsian pedigree than those considered as such by Tännsjö. The alternative framework is worthy of consideration on its own merits, (...) but it also casts light on two related difficulties with Tännsjö’s approach: (i) the limits of his supposedly ecumenical methodology, which is revealed to be dialectically suspect and (ii) issues with the type of abstraction and idealization from actual judgements and preferences which the approach requires. (shrink)

In this paper I argue that warrant for Lewis’ principle of recombination presupposes warrant for a combinatorial analysis of intrinsicality, which in turn presupposes warrant for the principle of recombination. This, I claim, leads to a vicious circularity: warrant for neither doctrine can get off the ground.

Major Depressive Disorder (MDD) is a serious condition with a large disease burden. It is often claimed that MDD is a “brain disease.” What would it mean for MDD to be a brain disease? I argue that the best interpretation of this claim is as offering a substantive empirical hypothesis about the causes of the syndrome of depression. This syndrome-causal conception of disease, combined with the idea that MDD is a disease of the brain, commits the brain disease conception of (...) MDD to the claim that brain dysfunction causes the symptoms of MDD. I argue that this consequence of the brain disease conception of MDD is false. It incorrectly rules out genuine instances of content-sensitive causation between adverse conditions in the world and the characteristic symptoms of MDD. Empirical evidence shows that the major causes of depression are genuinely psychological causes of the symptoms of MDD. This rules out, in many cases, the “brute” causation required by the brain disease conception. The existence of cases of MDD with non-brute causes supports the reinstatement of the old nosological distinction between endogenous and exogenous depression. (shrink)

Despite concerns about the relationships between health professionals and the medical device industry, the issue has received relatively little attention. Prevalence data are lacking; however, qualitative and survey research suggest device industry representatives, who are commonly present in clinical settings, play a key role in these relationships. Representatives, who are technical product specialists and not necessarily medically trained, may attend surgeries on a daily basis and be available to health professionals 24 hours a day, 7 days a week, to provide (...) advice. However, device representatives have a dual role: functioning as commissioned sales representatives at the same time as providing advice on approaches to treatment. This duality raises the concern that clinical decision-making may be unduly influenced by commercial imperatives. In this paper, we identify three key ethical concerns raised by the relationship between device representatives and health professionals: impacts on healthcare costs, the outsourcing of expertise and issues of accountability and informed consent. These ethical concerns can be addressed in part through clarifying the boundary between the support and sales aspects of the roles of device representatives and developing clear guidelines for device representatives providing support in clinical spaces. We suggest several policy options including hospital provision of expert support, formalising clinician conduct to eschew receipt of meals and payments from industry and establishing device registries. (shrink)

Debates over what is fundamental assume that what is most fundamental must be either a “top” level (roughly, the biggest or highest-level thing), or a “bottom” level (roughly, the smallest or lowest-level things). Here I sketch an alternative to top-ism and bottom-ism, the view that a middle level could be the most fundamental, and argue for its plausibility. I then suggest that the view satisfies the desiderata of asymmetry, irreflexivity, transitivity, and well-foundedness of fundamentality, that the view has explanatory power (...) on par with that of top-ism and bottom-ism, and that it satisfies the Principle of Sufficient Reason. (shrink)

This paper argues that many so-called digital technologies can be construed as notational technologies, explored through the example of Monegraph, an art and digital asset management platform built on top of the blockchain system originally developed for the cryptocurrency bitcoin. As the paper characterizes it, a notational technology is the performance of syntactic notation within a field of reference, a technologized version of what Nelson Goodman called a “notational system.” Notational technologies produce abstracted entities through positive and reliable, or constitutive, (...) tests of socially acceptable meaning. Accordingly, this account deviates from typical narratives of blockchains, instead demonstrating that blockchain technologies are effective at managing digital assets because they produce abstracted identities through the performance of notation. Since notational technologies rely on configurations of socially acceptable meaning, this paper also provides a philosophical account of how blockchain technologies are socially embedded. (shrink)

This paper develops and articulates a metaphysics of intersectionality, the idea that multiple axes of social oppression cross-cut each other. Though intersectionality is often described through metaphor, theories of intersectionality can be formulated using the tools of contemporary analytic metaphysics. A central tenet of intersectionality theory, that intersectional identities are inseparable, can be framed in terms of explanatory unity. Further, intersectionality is best understood as metaphysical and explanatory priority of the intersectional category over its constituents, akin to metaphysical priority of (...) the whole over its parts. (shrink)

The debate on love's reasons ignores unrequited love, which—I argue—can be as genuine and as valuable as reciprocated love. I start by showing that the relationship view of love cannot account for either the reasons or the value of unrequited love. I then present the simple property view, an alternative to the relationship view that is beset with its own problems. In order to solve these problems, I present a more sophisticated version of the property view that integrates ideas from (...) different property theorists in the love literature. However, even this more sophisticated property view falls short in accounting for unrequited love's reasons. In response, I develop a new version of the property view that I call the experiential view. On this view, we love a person not only in virtue of properties shaped by and experienced in a reciprocal loving relationship, but also in virtue of perspectival properties, whose value can be properly assessed also outside of a reciprocal loving relationship. The experiential view is the only view that can account not only for reciprocated love's reasons, but also for unrequited love's reasons. (shrink)

What does it mean to hold a belief? Some of our ways of speaking in English suggest that to hold a belief is to have something in your mind: beliefs are things we acquire, defend, recover, and so on (Abelson, 1986). That is, believing is a matter of being in a state of having a thing. In this paper, I will argue for an alternative: believing is something we do. This is not a new suggestion. For instance, Matthew Boyle (2011) (...) defends a theory of belief as an activity, which he traces back to Aristotle. This paper, however, makes two new contributions: first, I argue for an analogy between belief and planning that fleshes out what it would mean to understand belief as an activity, and second, I aim to show how the resulting view can help sense of a variety of theories in cognitive psychology that suggest cognitive information storage is dynamic and reconstructive. (shrink)

The purpose of this paper is to introduce a bi-intuitionistic sequent calculus and to give proofs of admissibility for its structural rules. The calculus I will present, called SC2Int, is a sequent calculus for the bi-intuitionistic logic 2Int, which Wansing presents in [2016a]. There he also gives a natural deduction system for this logic, N2Int, to which SC2Int is equivalent in terms of what is derivable. What is important is that these calculi represent a kind of bilateralist reasoning, since they (...) do not only internalize processes of verifcation or provability but also the dual processes in terms of falsifcation or what is called dual provability. In [Wansing, 2017] a normal form theorem for N2Int is stated, here, I want to prove a cut-elimination theorem for SC2Int, i.e., if successful, this would extend the results existing so far. (shrink)

The most popular uniting theme in feminist peace literature grounds women's peace work in mothering. I argue if maternal arguments do not address the variety of relationships different races and classes of mothers have to institutional violence and/or the military, then the resulting peace politics can only draw incomplete conclusions about the relationships between maternal work/thinking and peace. To illustrate this I compare two models of mothering: Sara Ruddick's decription of "maternal practice" and Patricia Hill Collins's account of racial-ethnic (...) women's "motherwork.". (shrink)