Structural proof theory is a branch of logic that studies the general structure and properties of logical and mathematical proofs. This book is both a concise introduction to the central results and methods of structural proof theory, and a work of research that will be of interest to specialists. The book is designed to be used by students of philosophy, mathematics and computer science. The book contains a wealth of results on proof-theoretical systems, including extensions of such systems from logic (...) to mathematics, and on the connection between the two main forms of structural proof theory - natural deduction and sequent calculus. The authors emphasize the computational content of logical results. A special feature of the volume is a computerized system for developing proofs interactively, downloadable from the web and regularly updated. (shrink)

Should you take a pill that gives you all the health benefits of sleep and allows you to stay awake? I argue that you shouldn’t. I propose three reasons why sleeping, conceived of as a socially and culturally embedded human activity, is valuable. First, there is aesthetic value in the rituals that typically precede sleeping; second, there is interpersonal value in the intimacy that stems from sleeping with other people; third, there is ethical value in mere presence and in retreating (...) from consciousness. In order to fully support my argument, I situate it within a conception of goodness that embraces the fragility of the human condition and the limitations stemming from our corporeal nature. I conclude with some practical implications of my view. (shrink)

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.

Moral distress has been identified as an occupational hazard for clinicians caring for vulnerable populations. The aim of this systematic review was (i) to summarize the literature reporting on prevalence of, and factors related to, moral distress among nurses within acute mental health settings, and (ii) to examine the efficacy of interventions designed to address moral distress among nurses within this clinical setting. A comprehensive literature search was conducted in October 2022 utilizing Nursing & Allied Health, Embase, CINAHL, PsychInfo, and (...) PubMed databases to identify eligible studies published in English from January 2000 to October 2022. Ten studies met inclusion criteria. Four quantitative studies assessed moral distress among nurses in acute mental health settings and examined relationships between moral distress and other psychological and work-related variables. Six qualitative studies explored the phenomenon of moral distress as experienced by nurses working in acute mental health settings. The quantitative studies assessed moral distress using the Moral Distress Scale for Psychiatric Nurses (MDS-P) or the Work-Related Moral Stress Questionnaire. These studies identified relationships between moral distress and emotional exhaustion, depersonalization, cynicism, poorer job satisfaction, less sense of coherence, poorer moral climate, and less experience of moral support. Qualitative studies revealed factors associated with moral distress, including lack of action, poor conduct by colleagues, time pressures, professional, policy and legal implications, aggression, and patient safety. No interventions targeting moral distress among nurses in acute mental health settings were identified. Overall, this review identified that moral distress is prevalent among nurses working in acute mental health settings and is associated with poorer outcomes for nurses, patients, and organizations. Research is urgently needed to develop and test evidence-based interventions to address moral distress among mental health nurses and to evaluate individual and system-level intervention effects on nurses, clinical care, and patient outcomes. (shrink)

A general method for generating contraction- and cut-free sequent calculi for a large family of normal modal logics is presented. The method covers all modal logics characterized by Kripke frames determined by universal or geometric properties and it can be extended to treat also Gödel-Löb provability logic. The calculi provide direct decision methods through terminating proof search. Syntactic proofs of modal undefinability results are obtained in the form of conservativity theorems.

Modern computer systems are ubiquitous in contemporary life yet many of them remain opaque. This poses significant challenges in domains where desiderata such as fairness or accountability are crucial. We suggest that the best strategy for achieving system transparency varies depending on the specific source of opacity prevalent in a given context. Synthesizing and extending existing discussions, we propose a taxonomy consisting of eight sources of opacity that fall into three main categories: architectural, analytical, and socio-technical. For each source, we (...) provide initial suggestions as to how to address the resulting opacity in practice. The taxonomy provides a starting point for requirements engineers and other practitioners to understand contextually prevalent sources of opacity, and to select or develop appropriate strategies for overcoming them. (shrink)

There has been a long history of tension between feminists and feminist philosophy, on the one hand, and logic, on the other hand. This tension expresses itself in many ways, including claims that logic is a tool of the patriarchy, that logic/rationality/analytical tools in philosophy need to be rejected if women are to fully participate, that women = body and man = mind, that to do feminist philosophy one must do it as a situated, embodied person, not as an impersonal, (...) disembodied mind, that logic is “a masculine subject”. However the tension is expressed, it is women in logic and women logicians who are caught in between. The goal of my paper is to explore a conception of logic that not only is not inconsistent with being a feminist, but is actively welcoming of women as logicians. (shrink)

We appreciate Chapman and colleagues’ (2025) advocacy for revising the Common Rule to address the downstream effects of data-centric research, particularly the potential for group harms such as sti...

This is a comment on a translation of Franz von Kutschera's paper ‘Ein verallgemeinerter Widerlegungsbegriff für Gentzenkalküle’, which was published in German in 1969. The paper is an important predecessor of what is nowadays called ‘proof-theoretic semantics’, which describes the view that the meaning of logical connectives is determined by the rules governing their use in a proof system. Von Kutschera adopts this view in this paper, and more specifically, a bilateralist view on this subject in that his aim is (...) to give a general framework that provides generalized rule schemata for arbitrary connectives both for proving and refuting and to use this as a reference to prove completeness of certain systems of operators purely proof-theoretically. The main logical system in focus here has been shown to be equivalent to N4, Nelson's constructive logic with strong negation. In order to understand the translated paper better, a contextualizing comment is offered referring and relating it to a preceding paper by von Kutschera. (shrink)

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)

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.

Free will, if such there be, involves free choosing: the ability to mentally choose an outcome, where the outcome is 'free' in being, in some substantive sense, up to the agent of the choice. As such, it is clear that the questions of how to understand free will and mental causation are connected, for events of seemingly free choosing are mental events that appear to be efficacious vis-a-vis other mental events as well as physical events. Nonetheless, the free will and (...) mental causation debates have proceeded largely independently of each other. Here we aim to make progress in determining how the free will and mental causation debates bear on one another. We first argue that the problems of free will and of mental causation can be seen as special cases of a more general problem, concerning whether and how mental events of a given type may be efficacious, qua the types of event they are---qualitative, intentional, freely deliberative---given their apparent causal irrelevancy for effects of the type in question; here we generalize what Horgan 1989 identifies as "the problem of mental quausation" (S1). We then build on this result to identify fruitful parallels between hard determinism and eliminative physicalism (S2) and soft determinism and non-reductive physicalism (S3). (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)

The origins of proof-theoretic semantics lie in the question of what constitutes the meaning of the logical connectives and its response: the rules of inference that govern the use of the connective. However, what if we go a step further and ask about the meaning of a proof as a whole? In this paper we address this question and lay out a framework to distinguish sense and denotation of proofs. Two questions are central here. First of all, if we have (...) two different derivations, does this always lead to a difference, firstly, in sense, and secondly, in denotation? The other question is about the relation between different kinds of proof systems with respect to this distinction. Do the different forms of representing a proof necessarily correspond to a difference in how the inferential steps are given? In our framework it will be possible to identify denotation as well as sense of proofs not only within one proof system but also between different kinds of proof systems. Thus, we give an account to distinguish a mere syntactic divergence from a divergence in meaning and a divergence in meaning from a divergence of proof objects analogous to Frege’s distinction for singular terms and sentences. (shrink)

This book tackles the most difficult and profound open questions about life and its origins from an information-based perspective.

In von Kutschera 1968 a propositional semantics was outlined which takes valid inferences to be defined by derivability relations in calculi.1 It was pointed out that from this approach it is desir...

A case study in the kinds of problems to expect from this increasingly popular marketing tactic.

Adaptationism has for decades been the topic of sophisticated debates in philosophy of biology but methodological adaptationism has not received as much attention as the empirical and explanatory issues. In addition, adaptationism has mainly been discussed in the context of evolutionary biology and not in fields such as zoophysiology and systems biology where this heuristic is also used in design analyses of physiological traits and molecular structures. This paper draws on case studies from these fields to discuss the productive and (...) problematic aspects of this heuristic in different research practices, in functional as well as evolutionary studies on different levels of biological organization. Gould and Lewontin’s Spandrels-paper famously criticized adaptationist methodology for implying the risk of generating ‘blind spots’ with respect to non-selective effects on evolution. Some have claimed that this bias can be accommodated through the testing of evolutionary hypotheses. Although this is an important aspect of overcoming naïve adaptationism, I argue that the issue of methodological biases is broader than the question of testability. I demonstrate the productivity of adaptationist heuristics but also discuss the deeper problematic aspects associated with the methodological imperialism that is part of the strong adaptationist position. (shrink)

The Cambridge Companion to Rousseau’s Social Contract richly rewards the reader even as it requires a close familiarity with the text. The volume is not a general introduction to Rousseau or an art...

Explores the complex nature of truth in Wittgenstein’s philosophy.

Suppose that Billy and Suzy each throw a rock at window, and either rock is sufficient to shatter the window. While some consider this a paradigmatic case of causal overdetermination, in which multiple cases are sufficient for an outcome, others consider it a case of joint causation, in which multiple causes are necessary to bring about an effect. Some hold that every case of overdetermination is a case of joint causation underdescribed: at a maximal level of description, every cause is (...) necessary to bring about the outcome in precisely the way that it occurs. -/- This paper shows the latter principle to be false. I introduce a novel class of events that are insensitive to the additive force of multiple causes. They are to be contrasted with sensitive events, which physically and counterfactually vary according to the number and sorts of causes they have. I argue that sensitive effects are symptoms of joint causation; insensitive effects are symptoms of overdetermination. Insensitive effects resulting from multiple causes cannot be classified as "joint causation underdescribed," but only as overdetermination. -/- I suggest that cases of "trumping preemption" should be understood as cases of overdetermination with insensitive effects. Consequently, Lewis' influence account of causation cannot handle these cases. (shrink)

Ever since antiquity, attempts have been made at defining knowledge through belief augmented by additional properties such as truth and justification. These characterizations have been challenged by Gettier counterexamples and their variants. A modern proposal, what is known as defeasibility theory, characterizes knowledge through stability under revision of beliefs on the basis of true or arbitrary information. A formal investigation of such a proposal calls for the methods of dynamic epistemic logic: well developed semantic approaches to dynamic epistemic logic have (...) been given through the plausibility models, but a corresponding proof theory is still in its infancy. We shall recast plausibility models in terms of more general neighbourhood models and develop on their basis complete proof systems. An inferential treatment of epistemic and doxastic notions such as safe belief will give a new way to study their relationships; among these, the characterization of knowledge as belief stable under arbitrary revision will be grounded through formal labelled sequent calculus derivations. (shrink)

Within the psy- disciplines, Foucauldian discourse analysis has shown that those who exercise power in defining psychological experiences seek to maintain existing power hierarchies through this labeling. In that way, it is a fitting method to examine how the use of specific language constructs reality for individuals and society as a whole. Currently, the use of the word "triggered" has proliferated beyond the common mental health usage to refer to posttraumatic stress disorder or a re-experiencing symptom of a trauma. In (...) this qualitative investigation, we analyze "triggered" experiences written about in participants' vignettes to explore how using the word "triggered" does something in terms of power, hierarchy, and expression of vulnerability for individuals, and how this is impacted by the way they position themselves and others in speaking about their experiences. We understand the experience of being "triggered" to be constructed differently depending on the source of the trigger. The difference is particularly salient for those who use "triggered" to refer to a microaggression as opposed to those who are referring to a sexual assault. We discuss the tension between supporting a psychiatric status quo regarding trauma and the subversion of this status quo via the expanded use of the word "triggered.". (shrink)

Value creation by mega-events is still an underdeveloped issue. Through their legacy, mega-events can create long-term value for the local community hosting the event. In determining the importance of practices for increasing value creation, stakeholder engagement is growing in defining mega-events features and possible legacies. The study aims to understand how stakeholder engagement can enhance value creation through sustainable events legacy after mega-events. In doing so, the research analyses the practices and the processes of stakeholder engagement adopted by Expo 2020 (...) Dubai. This unique case study presents an extensive range of stakeholder engagement practices that enhanced the value co-creation of a mega-event legacy. Following the three phases of a mega-event development (pre–during–post), the stakeholder engagement tools were adapted to meet accountability needs and stakeholders’ claims. (shrink)

ABSTRACT With this article, we aim to address aspects related to the treatment of languages in the theoretical postulations of two linguists: Ferdinand de Saussure and Émile Benveniste. To do so, we examine selected works by these authors, seeking to discuss-based on evidence-the role they grant to languages in their formulations. The analyses allow us to demonstrate the protagonism of the diversity of languages as one of the points where the two linguists meet, even though there are differences in their (...) approaches. (shrink)

The aim of this article is to examine how weather phenomena affect the landscape, not only in terms of its visual or geomorphological appearance, but also by modifying the emotional disposition that the landscape evokes. By adopting an atmospheric perspective, I intend to demonstrate that each landscape possesses its own mood (Stimmung), closely linked to the atmospheric-climatic events that unfold within it. My hypothesis is that such phenomena, due to their pervasiveness on a sensory level, can produce a real metamorphosis (...) of the landscape, which also extends to the affective qualities that the landscape ‘radiates’, and which therefore do not primarily depend on the perceiver. My analysis is structured into two parts. In the first part, a) I attempt to prove that meteorological and climatic atmospheres, due to their extra-psychic nature, cannot be explained in empathic-projective terms; and b) I propose understanding the landscape as an expressive whole whose ‘emotional physiognomy’ changes according to the atmospheres that pass through it. In the second part, I support my argument with a literary example to show how the fundamental emotional tone (Grundstimmung) of the landscape can change radically following the manifestation of a specific atmospheric phenomenon. (shrink)

The struggle to delineate the relationship between theology and logic flourished in the thirteenth century and culminated in two condemnations in early 1277, one in Paris and the other in Oxford. To see how much and what kind of effect ecclesiastical actions such as condemnations and prohibitions to teach had on the development of logic in the Middle Ages, we investigate the events leading up to the 1277 actions, the condemned propositions, and the parts of these condemnations connected to modal (...) and temporal logic specifically. We show that because of the specific motivations late thirteenth-century and fourteenth-century logicians had when working in modal and temporal logic, the effect of the 1277 condemnations on the development of those branches was much smaller than might have been supposed. (shrink)

This paper assesses the possibility of interpreting Ricœur’s notion of representation as a form of Darstellung in the Kantian sense of exhibition (presentation). The aim is to emphasize the ontological significance of representation as Darstellung, through the consideration of the paradigmatic case of historical representations. Indeed, the necessity to adequately interpret the relationship between representation and the represented becomes more compelling when dealing with the representation of history. On the one hand, history becomes objective insofar as it is depicted in (...) historical representations, but on the other, this depiction remains the presentation of an underlying reality that demands to be spoken of. The notion of Darstellung thus helps ensure the demand of historical representations to stand for past reality, without being reduced to mere copies of a supposedly pre-given original. This allows for a transition from the epistemological reflection upon historical representations to the ontological consideration of historicity as such. (shrink)

Bioethics education in residency helps trainees achieve many of the Accreditation Council for Graduate Medical Education milestones and gives them resources to respond to bioethical dilemmas. For this purpose, The Providence Center for Health Care Ethics has offered a robust clinical ethics rotation since 2000. The importance of bioethics for residents was highlighted as the COVID-19 pandemic raised significant bioethical concerns and moral distress for residents. This, combined with significant COVID-19-related practical stressors on residents led us to develop a virtual (...) ethics rotation. A virtual rotation allowed residents flexibility as they were called to help respond to the unprecedented demands of a pandemic without compromising high quality education. This virtual rotation prioritized flexibility to support resident wellbeing and ethical analysis of resident experiences. This article describes how this rotation was able to serve residents without overstraining limited bandwidth, and address the loci of resident pandemic distress. As pandemic pressures lessened, The Providence Center for Health Care Ethics transitioned to a hybrid rotation which continues to prioritize resident wellbeing and analysis of ongoing stressors while incorporating in-person elements where they can improve learning. This article provides a description of the rotation in its final form and resident feedback on its effectiveness. (shrink)

The paper argues that the philosophical starting point of Simone de Beauvoir's The Second Sex is the phenomenological understanding of the living body, developed by Edmund Husserl and Maurice Merleau-Ponty. It shows that Beauvoir's notion of philosophy stems from the phenomenological interpretation of Cartesianism which emphasizes the role of evidence, self-criticism, and dialogue.

Many journals in the physical sciences require authors to submit assurances of compliance with human subjects and other research ethics standards. These requirements do not cover all disciplines equally, however. In this paper we report on the findings of a survey of perceptions of ethical and managerial problems from journal editors in political science and related disciplines. Our results show that few journals in political science require assurance statements common to journals for other scientific disciplines. We offer some reasons for (...) this as well as some recommendations for implementing ethical assurance safeguards for political science. (shrink)

Journal Name: Apeiron Issue: Ahead of print.

Feminist science studies scholars have documented the historical and cultural contingency of scientific knowledge production. It follows that political and social activism has impacted the practice of science today; however, little has been done to examine the current cultures of science in light of feminist critiques and activism. In this article, I argue that, although critiques have changed the cultures of science both directly and indirectly, fundamental epistemological questions have largely been ignored and neutralized through these policy reforms. I provide (...) an auto-ethnography of my doctoral work in a neuroscience program to a) demonstrate how the culture of science has incorporated critiques into its practices and b) identify how we might use these changes in scientific practices to advance feminist science agendas. I critically analyze three areas in current scientific practice in which I see obstacles and opportunities: 1) research ethics, 2) diversity of research subjects and scientists, and 3) identification of a project's significance for funding. I argue that an understanding of the complicated and changing cultures of science is necessary for future feminist interventions into the sciences that directly challenge science's claim to epistemic authority. (shrink)

In recent years there has been a growth of single-issue campaigns in western democracies and a proliferation of groups attempting to exert political influence and achieve social change. In this context, it is important to consider why individuals do or don't get involved in collective action, for example in the trade union movement and the women's movement. Social psychologists have an important contribution to make in addressing this question. The social psychological approach directly concerns the relationship between the individual and (...) society and a number of theories have been developed in the field, particularly by contemporary European researchers. Yet, surprisingly, there has never been, until now, a concerted attempt to bring these various strands of research together in a coherent, detailed presentation of the social psychological approach to collective action. The authors of _The Social Psychology of Collective Action _review and integrate a number of theories developed in this field as well as presenting their own original research and data. The research discussed in the book ranges over a number of different contexts, with a particular focus on women's groups organizing around issues of gender. Questions addressed include: why do women get involved in women's groups? What part is played by experiences of discrimination in the family and in the workplace? What are the benefits of group involvement? How are feminist activists perceived by others who choose not to get involved? Findings from questionnaires and interviews are integrated with contemporary social psychological theory, especially social identity theory. (shrink)

Researchers have argued that bilingual speakers experience less emotion in their second language. However, some studies have failed to find differences in emotionality between first and second lang...