Proponents of grounding often describe the notion as "metaphysical causation" involving determination and production relations similar to causation. This paper argues that the similarities between grounding and causation are merely superficial. I show that there are several sorts of causation that have no analogue in grounding; that the type of "bringing into existence" that both involve is extremely different; and that the synchronicity of ground and the diachronicity of causation make them too different to be explanatorily intertwined.

In "Changing the Past" (2010), Peter van Inwagen argues that a time traveler can change the past without paradox in a growing block universe. After erasing the portion of past existence that generates paradox, a new, non-paradox-generating block can be "grown" after the temporal relocation of the time traveler. -/- I articulate and explore the underlying mechanism of Van Inwagen's model: the time traveler's control over the location of the objective present. Van Inwagen's model is aimed at preventing paradox by (...) changing the past, but it achieves something broader than paradox avoidance: it gives tools for a new model of time travel. I use van Inwagen's tools to develop a new kind of time travel in which in which the location of the objective present is shifted by the time traveler. I call this type of time travel Movable Objective Present, or MOP. After defining MOP, I argue that it is compatible with any theory of time that accepts hypertime, including presentism and moving spotlight theory. (shrink)

I argue that fitting envy plays a special role in safeguarding our happiness and flourishing. After presenting my theory of envy and its fittingness conditions, I contrast Kant’s view that envy is always unfitting with D’Arms and Jacobson’s defense of fitting envy as an evolutionarily-shaped response to a deep and wide human concern, that is, relative positioning. However, D’Arms and Jacobson don’t go far enough. First, I expand on their analysis of positional goodness, distinguishing between an epistemic claim, according to (...) which we use implicit or explicit comparison to know what position we occupy in a continuum of goodness, and thus to form judgments of goodness, and a metaphysical one, according to which much human goodness depends on implicit or explicit rankings and positionality. Second, I argue that fitting envy is not only intrinsically valuable qua fitting response to authentic goodness, but can be epistemically, morally and prudentially valuable. (shrink)

The social categories to which we belong—Latino, disabled, American, woman— causally influence our lives in deep and unavoidable ways. One might be pulled over by police because one is Latino, or one might receive a COVID vaccine sooner because one is American. Membership in these social categories most often falls outside of our control. This paper argues that membership in social categories constitutes a restriction on human agency, creating a situation of non-ideal agency for many human individuals. -/- However, there (...) are ways to resist the causal influence of social categories, and certain socially marginalized groups can be understood as attempting to do just this. I discuss two instances of social category resistance: gender pronouns and the rights of trans individuals. I suggest that the intentional declaration of gender pronouns (“she/her” or “they/them”) can be understood as an attempt to resist the causal powers of nonconsensual social categorization. Similarly, one among many reasons to support the rights of trans individuals is that their self-declarations of gender identity can be viewed as a reclamation of agency in the face of causal constraints imposed by socially defined and imposed gender categories. This lesson can be generalized to people belonging to a broad range of marginalized groups. (shrink)

In this paper I will develop a lambda-term calculus, lambda-2Int, for a bi-intuitionistic logic and discuss its implications for the notions of sense and denotation of derivations in a bilateralist setting. Thus, I will use the Curry-Howard correspondence, which has been well-established between the simply typed lambda-calculus and natural deduction systems for intuitionistic logic, and apply it to a bilateralist proof system displaying two derivability relations, one for proving and one for refuting. The basis will be the natural deduction system (...) of Wansing's bi-intuitionistic logic 2Int, which I will turn into a term-annotated form. Therefore, we need a type theory that extends to a two-sorted typed lambda-calculus. I will present such a term-annotated proof system for 2Int and prove a Dualization Theorem relating proofs and refutations in this system. On the basis of these formal results I will argue that this gives us interesting insights into questions about sense and denotation as well as synonymy and identity of proofs from a bilateralist point of view. (shrink)

This paper suggests that time travelling scenarios commonly depicted in science fiction introduce problems and dangers for the time traveller. If time travel takes time, then time travellers risk collision with past objects, relocation to distant parts of the universe, and time travel-specific injuries. I propose several models of time travel that avoid the dangers and risks of time travel taking time, and that introduce new questions about the relationship between time travel and spatial location.

This paper argues that causal idealism, the view that causation is a product of mental activity, should be considered a competetitor to contemporary views that incorporate human thought and agency into the causal relation. Weighing contextualism, contrastivism, or pragmatism about causation against causal idealism results in at least a tie with respect to the virtues of these theories.

This paper discusses a puzzling tension in attributions of moral responsibility in cases of resultant moral luck: we seem to hold agents fully morally responsible for unlucky outcomes, but less-than-fully-responsible for unlucky outcomes brought about differently than intended. This tension cannot be easily discharged or explained, but it does shed light on a famous puzzle about causation and responsibility, the Thirsty Traveler.

This paper is dedicated to articulating the ethical puzzles that arise from the possibility of time travel. I divide the puzzles into three different categories: permissibility puzzles, obligation puzzles, and conflicts between past and future selves. In each category, I suggest that ethical problems involving time travel are not as dissimilar to parallel “normal” ethical puzzles as one might think.

In A Theory of Justice, John Rawls discusses “the problem of envy”, namely the worry that the well-ordered society could be destabilized by envy. Martha Nussbaum has proposed, in Political Emotions: Why Love Matters for Justice, that love, in particular what she calls civic friendship, is the solution to this problem. Nussbaum’s suggestion is in accordance with the long-standing notion that love and envy are incompatible opposites, and that the virtue of love is an antidote to the vice of envy. (...) I argue that this idea is misguided, and that love and envy are opposite sides of the same coin: what Kant called “unsociable sociability”. Love and envy arise from the same psychological mechanisms and thrive in the same social and personal conditions; thus, it’s not possible to have one without the other. However, there are other solutions to the problem of envy, including favoring the arousal of emulative envy. -/- . (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)

In this paper I present a novel taxonomy of envy, according to which there are four kinds of envy: emulative, inert, aggressive and spiteful envy. An inquiry into the varieties of envy is valuable not only to understand it as a psychological phenomenon, but also to shed light on the nature of its alleged viciousness. The first section introduces the intuition that there is more than one kind of envy, together with the anecdotal and linguistic evidence that supports it. The (...) second section proposes and explains in detail a definition of envy tout court. The third section presents a recurring distinction between behavioral tendencies of envy, which has been explained in two distinct ways, one mostly proposed by psychologists, the other discernible in the philosophical tradition. The fourth section argues that these models of explanation track two variables, whose interplay is responsible for the existence of the four envies. The fifth section illustrates four paradigmatic cases, and provides a detailed analysis of the phenomenology, motivational structure, and typical behavioral outputs of each. The paper ends with a brief discussion of the implications of the taxonomy for moral education. (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)

Episodic and semantic memory are often taken to be fundamentally different mental systems, and contemporary philosophers often pursue research questions about episodic memory, in particular, in isolation from semantic memory. This paper challenges that assumption, and puts pressure on philosophical approaches to memory that break off episodic memory as its own standalone topic. I present and systematize psychological and neuroscientific theories of semanticization, the thesis that memory content tends to drift from episodic to semantic in structure over time and exposure (...) to an environment. Semanticization, I argue, is a long-term interconnection between episodic and semantic systems that requires approaching both the content and function of these two memory systems as a whole. Thus we have a reason to reject projects by Michael Martin, which aims to carve out a uniquely episodic memory content, and Kourken Michaelian, which pairs episodic memory to its own unique function. Instead, seeing declarative memory as a single system with two facets or even a continuum of features allows for deeper insight into both content and function. (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)

I argue for the view that envy and jealousy are distinct emotions, whose crucial difference is that envy involves a perception of lack while jealousy involves a perception of loss. I start by noting the common practice of using ‘envy’ and ‘jealousy’ almost interchangeably, and I contrast it with the empirical evidence that shows that envy and jealousy are distinct, albeit similar and often co-occurring, emotions. I then argue in favor of a specific way of understanding their distinction: the view (...) that envy is a response to a perceived lack of a valuable object, while jealousy is a response to a perceived loss of a valuable object. I compare such a view with the most compelling alternative theories, and show that it accounts better for paradigmatic cases. I conclude by showing how the lack vs. loss model can handle complications: ambiguous cases, that is, when it is epistemically unclear whether one experiences lack or loss; hybrid cases, that is, when one seems to experience both lack and loss; and borderline cases, that is, when it is metaphysically unclear whether one experiences lack or loss. (shrink)

Why do I have to be ethical? That is the essential question of a logical foundation of ethics in the phenomenology of Edmund Husserl. This article proposes to see the basic motivation of an ethical reason in the relationship between the two fundamental poles, that is the «Lifeworld» («Lebenswelt») and the «I-subject» («Ich-Subjekt»). This connection will be considered to constitute ethics in this article. This kind of ethics as a «condition of possibility» is then an a-priori ontological necessity. The article (...) will demonstrate how the composition of Husserl’s Prolegomena and his argumentation are an example of a foundation for phenomenological ethics: in this book Husserl derived logic as the first «condition of possibility». With logic’s three main characteristics — theory, normativity and praxis — it is the theoretical basis of a phenomenological ethics. (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)

Many philosophers hypothesize that our concept of personal identity is partly constituted by the one-person-one-place rule, which states that a person can only be in one place at a time. This hypothesis has been assumed by the most influential contemporary work on personal identity. In this paper, we report a series of studies testing whether the hypothesis is true. In these studies, people consistently judged that the same person existed in two different places at the same time. This result undermines (...) some widely held philosophical assumptions, supports others, and fits well with recent discoveries on identity judgments about inanimate objects and non-human animals. (shrink)

This paper examines both creepiness and the distinctive reaction had to creepiness, being “creeped out.” The paper defends a response-dependent account of creepiness in terms of this distinctive reaction, contrasting our preferred account to others that might be offered. The paper concludes with a discussion of the value of detecting creepiness.

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)

Widespread causal overdetermination is often levied as an objection to nonreductive theories of minds and objects. In response, nonreductive metaphysicians have argued that the type of overdetermination generated by their theories is different from the sorts of coincidental cases involving multiple rock-throwers, and thus not problematic. This paper pushes back. I argue that attention to differences between types of overdetermination discharges very few explanatory burdens, and that overdetermination is a bigger problem for the nonreductive metaphysician than previously thought.

This paper poses an original puzzle about the relationship between causation and moral responsibility called The Moral Difference Puzzle. Using the puzzle, the paper argues for three related ideas: (1) the existence of a new sort of moral luck; (2) an intractable conflict between the causal concepts used in moral assessment; and (3) inability of leading theories of causation to capture the sorts of causal differences that matter for moral evaluation of agents’ causal contributions to outcomes.

People often answer why-questions with what we call experiential explanations: narratives or stories with temporal structure and concrete details. In contrast, on most theories of the epistemic function of explanation, explanations should be abstractive: structured by general relationships and lacking extraneous details. We suggest that abstractive and experiential explanations differ not only in level of abstraction, but also in structure, and that each form of explanation contributes to the epistemic goals of individual learners and of science. In particular, experiential explanations (...) support mental simulation and survive transitions across background theories; as a result, they support learning and help us translate between competing frameworks. Experiential explanations play an irreducible role in human cognition – and perhaps in science. (shrink)

I present and develop the view that omissions are de re possibilities of actual events. Omissions do not literally fail to occur; rather, they possibly occur. An omission is a tripartite metaphysical entity composed of an actual event, a possible event, and a contextually specified counterpart relation between them. This view resolves ontological, causal, and semantic puzzles about omissions, and also accounts for important data about moral responsibility for outcomes resulting from omissions.

In this chapter, I argue that a certain kind of envy is not only morally permissible, but also, sometimes, more fitting and productive than admiration. Envy and admiration are part of our emotional palette, our toolbox of evolutionary adaptations, and they play complementary roles. I start by introducing my original taxonomy of envy, which allows me to present emulative envy, a species of envy sometimes confused with admiration. After reviewing how the two emotions differ from a psychological perspective, I focus (...) in particular on the distinct and complementary roles they play in the ethical and political domains. (shrink)

Can we love and envy the same person at the same time? There is an overwhelming, cross-cultural and cross-disciplinary, consensus that love and envy are deeply incompatible. In this paper, I challenge this consensus, and focus in particular on the normative thesis that true love should be void of envy proper. I first propose an indirect argument. Because love and envy thrive in the same psychological conditions, it is not unlikely to feel envy toward the beloved. If we want ideals (...) that do not go against our psychological propensities, then we should not aim for a love that is wholly void of envy. I then propose a direct argument, in defense of two positive ideals. I argue that a certain kind of envy—emulative envy—can be beneficial to the loving relationship; in turn, a certain kind of love—wise love— which accepts the presence of envy, can be beneficial to our lives. Thus, that love and envy are so linked in our psychology is not something that we should merely tolerate, but wholeheartedly embrace. (shrink)

This paper argues that several sorts of metaphysical and semantic indeterminacy afflict the causal relation. If, as it is plausible to hold, there is a relationship between causation and moral responsibility, then indeterminacy in the causal relation results in indeterminacy of moral responsibility more generally.

Theories of causation grounded in counterfactual dependence face the problem of profligate omissions: numerous irrelevant omissions count as causes of an outcome. A recent purported solution to this problem is proportionality, which selects one omission among many candidates as the cause of an outcome. This paper argues that proportionality cannot solve the problem of profligate omissions for two reasons. First: the determinate/determinable relationship that holds between properties like aqua and blue does not hold between negative properties like not aqua and (...) not blue. Negative properties are those at stake in omissive causation. Second: proportionality misconstrues the nature of the problem to be solved. (shrink)

A classic and fraught question in the philosophy of film is this: when you watch a film, do you experience yourself in the world of the film, observing the scenes? In this paper, we argue that this subject of film experience is sometimes a mere impersonal viewpoint, sometimes a first-personal but unindexed subject, and sometimes a particular, indexed subject such as the viewer herself or a character in the film. We first argue for subject pluralism: there is no single answer (...) to the question of what kind of subjectivity, if any, is mandated across film sequences. Then, we defend unindexed subjectivity: at least sometimes, films mandate an experience that is first-personal but not tied to any particular person, not even to the viewer. Taken together, these two theses allow us to see film experience as more varied than previously appreciated and to bridge in a novel way the cognition of film with the exercise of other imaginative capacities, such as mindreading and episodic recollecting. (shrink)

This article explores the usefulness of interdisciplinarity as method of enquiry by proposing an investigation of the concept of information in the light of semiotics. This is because, as Kull, Deacon, Emmeche, Hoffmeyer and Stjernfelt state, information is an implicitly semiotic term (Biological Theory 4(2):167–173, 2009: 169), but the logical relation between semiosis and information has not been sufficiently clarified yet. Across the history of cybernetics, the concept of information undergoes an uneven development; that is, information is an ‘objective’ entity (...) in first order cybernetics, and becomes a ‘subjective’ entity in second order cybernetics. This contradiction relegates the status of information to that of a ‘true’ or ‘false’ formal logic problem. The present study proposes that a solution to this contradiction can be found in Deely’s reconfiguration of Peirce’s ‘object’ (as found in his triadic model of semiosis) into ‘thing’ and ‘object’ (Deely 1981). This ontology allows one to argue that information is neither ‘true’ nor ‘false’, and to suggest that, when considered in light of its workability, information can be both true and false, and as such it constitutes an organism’s purely objective reality (Deely 2009b). It is stated that in the process of building such a reality, information is ‘motivated’ by environmental, physiological, emotional (including past feelings and expectations) constraints which are, in turn, framed by observership. Information is therefore found in the irreducible cybersemiotic process that links at once all these conditions and that is simultaneously constrained by them. The integration of cybernetics’ and semiotics’ understanding of information shows that history is the analytical principle that grants scientific rigour to interdisciplinary investigations. As such, in any attempt to clarify its epistemological stance (e.g. the semiotic aspect of information), it is argued that biosemiotics does not need only to acknowledge semiotics (as it does), but also cybernetics in its interdisciplinary heritage. (shrink)

In this chapter I critique the contemporary Western ideal of unconditional maternal love. In the first section, I draw some preliminary distinctions and clarify the scope and limitations of my inquiry. In the second section, I argue that unloving mothers exist, and are not psychologically abnormal. In the third section, I go further and suggest that lack of maternal love can be fitting and even morally permissible. In the fourth section, I sketch some implications that lack of maternal love and (...) unrequited filial love have for the debate on reasons for love. I conclude with avenues for future research. (shrink)

This paper identifies a type of linguistic phenomenon new to feminist philosophy of language: biased evaluative descriptions. Biased evaluative descriptions (BEDs) are descriptions whose well-intended positive surface meanings are inflected with implicitly biased content. Biased evaluative descriptions are characterized by three main features: (i) they have roots in implicit bias or benevolent sexism, (ii) their application is counterfactually unstable across dominant and subordinate social groups, and (iii) they encode stereotypes. After giving several different kinds of examples of biased evaluative descriptions, (...) I distinguish them from similar linguistic concepts, including backhanded compliments, slurs, insults, epithets, pejoratives, and dog-whistles. I suggest that the framework of traditional Gricean implicature cannot account for BEDs. I discuss some challenges to the distinctiveness and evaluability of BEDs, including intersectional social identities. I conclude by discussing the social significance and moral status of BEDs. Identifying BEDs is important for a variety of social contexts, from the very general and broad (political speeches) to the very particular and small (bias in academic hiring). (shrink)

This paper argues that so-called “trumping preemption” is in fact overdetermination or early preemption, and is thus not a distinctive form of redundant causation. I draw a novel lesson from cases thought to be trumping: that the boundary between preemption and overdetermination should be reconsidered.

This paper brings two fresh perspectives on Lewis’s theory of time travel. First: many key aspects and theoretical desiderata of Lewis’s theory can be captured in a framework that does not commit to eternalism about time. Second: implementing aspects of Lewisian time travel in a non-eternalist framework provides theoretical resources for a better treatment of time travel to the future. While time travel to the past has been extensively analyzed, time travel to the future has been comparatively underexplored. I make (...) progress on this topic. Along the way, I discuss Lewis’s lesser-known time travel oeuvre, especially his volume of correspondence and lectures on the topic collected in Beebee and Fisher (2020) and Janssen-Lauret & MacBride (forthcoming). Lewis’s body of unpublished work on time travel yields fruitful insights into his broader thinking on the subject. (shrink)

In this paper, I ask whether there is a defensible philosophical view according to which everybody is beautiful. I review two purely aesthetical versions of this claim. The No Standards View claims that everybody is maximally and equally beautiful. The Multiple Standards View encourages us to widen our standards of beauty. I argue that both approaches are problematic. The former fails to be aspirational and empowering, while the latter fails to be sufficiently inclusive. I conclude by presenting a hybrid ethical–aesthetical (...) view according to which everybody is beautiful in the sense that everybody can be perceived through a loving gaze. I show that this view is inclusive, aspirational and empowering, and authentically aesthetical. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:“An Equivocal Couple Overwhelmed by Life”A Phenomenological Analysis of PregnancySara HeinämaaTwo conceptions of human generativity prevail in contemporary feminist philosophy. First, several contributors argue that the experience of pregnancy, when analyzed by phenomenological tools, undermines several distinctions that are central to Western philosophy, most importantly the subject-object distinction and the self-other and own-alien distinctions. This line of argument was already outlined by Iris Marion Young in her influential essay (...) “Pregnant Embodiment: Subjectivity and Alienation” (1984). The other dominant argument is related to the first one, and it states that organic birth is the event that establishes the first experiential separation between the self and the other. On this understanding, the mother-fetus relation would not involve any relations between two corporeal selves; all such relations would be postnatal. This notion has been defended, for example, by Christine Schües (1997; 2000) and Johanna Oksala (2003).1On the other hand, classical phenomenology is dominated by the idea that the rigorous first-person methodology that is essential to phenomenology dictates that the sense of birth must be studied primarily by reflection on the structures of our own recollection or memory. Consequently, the primary sense of human birth would be that of an unattainable limit. This is argued on the basis of the existential fact that we all are born but cannot recall our own birth, or else on the basis of the transcendental fact that the structure [End Page 31] of retention ties each living present to an earlier one and implies that the transcendental ego cannot be subject to generation.2 From this perspective, all analyses and reflections of the experiences of labor, gestation, and pregnancy would be secondary since the sense of birth that these experiences involve is the nativity of another human being and not the nativity of the reflecting self.This paper challenges both the feminist and the classical phenomenological approach. I maintain that careful phenomenological analyses of the experience of pregnancy undermine both notions. Such analyses show, on the one hand, that pregnancy does not imply a nondistinction or self-other fusion but on the contrary involves a specific self-other divide. At the same time, they demonstrate that the sense of birth is more complex than the classical recollection-paradigm suggests and that it includes more components than the signification of an unattainable limit. A proper phenomenology of birth must take into account not only the universal fact that we all are born, but also the equally universal fact that each of us is born from another human being, that is, some other human subject.3 This other human being who “gave” us birth or “from whose flesh we were born” provides us with a unique perspective on our own past, beyond the limits of our own recollection. Her perspective is incomparable to any other external perspective; rather than simply giving us an additional third-person viewpoint on our own organic birth, this one person is able to open a second-person perspective on our pre- and postnatal life and the transition between them—all of which is beyond our own recollection.My argument proceeds by the following steps:First, I develop a fresh discourse on the experience of pregnancy, by studying a set of remarks to be found in Julia Kristeva’s postphenomenological discourse on maternity, on the one hand, and in Simone de Beauvoir’s existential-phenomenological discourse on feminine embodiment, on the other hand. I use these remarks as leading clues for a novel phenomenological study of the experience of pregnancy.4 Contra Young’s influential account mentioned above, I argue that gestation, as experienced by women who live it in the first person, includes a separation between two sensory-motor beings in a nesting relation: the pregnant self and the embryonic other. The alternative account that I provide hinges on my analysis of the experience of fetal movements and the role of touch-sensations and kinesthetic sensations in such experiences. Ultimately, I argue that pregnancy does not erode the self-other boundary or the own-alien boundary but reestablishes both divisions.Second, I compare my account of the experience of pregnancy to Merleau... (shrink)

It has been argued that reduction procedures are closely connected to the question about identity of proofs and that accepting certain reductions would lead to a trivialization of identity of proofs in the sense that every derivation of the same conclusion would have to be identified. In this paper it will be shown that the question, which reductions we accept in our system, is not only important if we see them as generating a theory of proof identity but is also (...) decisive for the more general question whether a proof has meaningful content. There are certain reductions which would not only force us to identify proofs of different arbitrary formulas but which would render derivations in a system allowing them meaningless. To exclude such cases, a minimal criterion is proposed which reductions have to fulfill to be acceptable. (shrink)

Arguments of stability, intended in a wide sense, including the discussion of the conditions of the onset of instability and of stability changes, play a central role in the main theorizations of morphogenesis in 20th century theoretical biology. The aim of this essay is to shed light on concepts and images mobilized in the construction of arguments of stability in theorizing morphogenesis, since they are pivotal in establishing meaningful relationships between mathematical models and empirical morphologies.

Every day nurses are required to make ethical decisions in the course of caring for their patients. Ethics in Nursing Practice provides the background necessary to understand ethical decision making and its implications for patient care. The authors focus on the individual nurse’s responsibilities, as well as considering the wider issues affecting patients, colleagues and society as a whole. This third edition is fully updated, and takes into account recent changes in ICN position statements, WHO documents, as well as addressing (...) current issues in healthcare, such as providing for the health and care needs of refugees and asylum seekers, bioethics and the enforcement of nursing codes. (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)

In 1672 John Eliot, English Puritan educator and missionary to New England, published _The Logick Primer: Some Logical Notions to initiate the INDIANS in the knowledge of the Rule of Reason; and to know how to make use thereof_. This roughly 80 page pamphlet introduces syllogistic vocabulary and reasoning so that syllogisms can be created from Biblical texts. The use of logic for proselytizing purposes is not distinctive: What is distinctive about Eliot's book is that it is bilingual, written in (...) both English and Massachusett (Wôpanâak), an Algonquian language spoken in eastern coastal and southeastern Massachusetts. It is one of the earliest bilingual logic textbooks and it is the first, and perhaps only, textbook in an indigenous American language. -/- In this paper, we (1) introduce John Eliot and the linguistic context he was working in; (2) introduce the contents of the _Logick Primer_---vocabulary, inference patterns, and applications; (3) discuss notions of 'Puritan' logic that inform this primer; and (4) address the importance of his work in documenting and expanding the Massachusett language and the problems that accompany his colonial approach to this work. (shrink)

In this paper I discuss in some detail my experience teaching women philosophers in the context of a survey course in ancient Greek philosophy at a small liberal arts college. My aim is to share the peculiar difficulties one may encounter when teaching this topic in a lower-level undergraduate course, difficulties stemming from a multiplicity of methodological hurdles that do not arise when teaching women philosophers in other periods, such as the modern era. In the first section, I briefly review (...) some of what we know about ancient Greek women philosophers, which is not only very little but frustratingly uncertain and highly debated. I devote the second section to some of the scholarly debates surrounding these philosophers’ doctrines, the details of their biographies, and their very existence. The third section is about the corresponding pedagogical challenges, and the fourth and final section describes the strategies I implemented to face those challenges. (shrink)