This study aims to understand how and why emerging adults come into contact with food media messages, and what they perceive as positive and negative outcomes related to food literacy. Seven focus groups, stratified by gender and socio-economic status, with 37 emerging adults aged between 18 and 25 were conducted. Photovoice was used to reflect on participants’ real-life food media experiences. Findings reveal that food media consumption is a combination of actively searching and incidentally encountering. The results suggest that food (...) media messages attract emerging adults’ attention by bringing content in an entertaining, engaging, and appealing way, and featuring popular food personalities. Finally, food media messages were perceived to both enhance and distort food literacy. The results show how food media messages for food literacy interventions can be designed in order to attract emerging adults’ attention and fulfill their specific needs. (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)

In this essay I identify a type of linguistic phenomenon new to feminist philosophy of language: biased evaluative descriptions. Biased evaluative descriptions are descriptions whose well-intended positive surface meanings are inflected with implicitly biased content. Biased evaluative descriptions are characterized by three main features: (1) they have roots in implicit bias or benevolent sexism, (2) their application is counterfactually unstable across dominant and subordinate social groups, and (3) 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 traditional framework of Gricean implicature cannot account for biased evaluative descriptions. I discuss some challenges to the distinctiveness and evaluability of biased evaluative descriptions, including intersectional social identities. I conclude by discussing their social significance and moral status. Identifying biased evaluative descriptions 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)

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.

Der Aufsatz wurde zum Anlass des 25. Todestages von Hermann Buddensieg geschrieben. Es wird bestrebt an, die Gestalt dieses Übersetzers, Dichters, Literaturforschers, Philosophen und Publizisten zu erinnern. Es ist ein Versuch, die bisherigen Forschungsergebnisse zu sammeln und unser Wissen über die Aktivität eines Menschen zu ordnen, der in der Geschichte der Aufnahme der polnischen Literatur und Kultur in Deutschland eine Sonderstellung hat. Eine besondere Bedeutung wird seiner kongenialen Übertragung von Pan Tadeusz, seinem Vorsitz bei dem Mickiewicz-Gremium und der Redaktion der (...) „Mickiewicz-Blätter” zu geschrieben. (shrink)

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

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)

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 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)

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)

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)

In _Willful Subjects_ Sara Ahmed explores willfulness as a charge often made by some against others. One history of will is a history of attempts to eliminate willfulness from the will. Delving into philosophical and literary texts, Ahmed examines the relation between will and willfulness, ill will and good will, and the particular will and general will. Her reflections shed light on how will is embedded in a political and cultural landscape, how it is embodied, and how will and (...) willfulness are socially mediated. Attentive to the wayward, the wandering, and the deviant, Ahmed considers how willfulness is taken up by those who have received its charge. Grounded in feminist, queer, and antiracist politics, her sui generis analysis of the willful subject, the figure who wills wrongly or wills too much, suggests that willfulness might be required to recover from the attempt at its elimination. (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)

We have no interest whatever in minimizing the continuing history of racist, sexist, homophobic, or otherwise abusive biologisms, or the urgency of their exposure, that has made the gravamen of so many contemporary projects of critique. At the same time, we fear — with installation of an automatic antibiologism as the unshifting tenet of `theory' — the loss of conceptual access to an entire thought-realm. I was left wondering what danger had been averted by the exclusion of biology. What does (...) the nominative `biological or anatomical body' actually refer to? And what secures the separation of its inadmissible matter from the proper purview of Irigaray's textual interventions? When I asked a question to this effect it was met with a certain nervous comprehension. Deciding, perhaps, that I must still be immersed in a precritical understanding of the body, the speaker dismissed me with a revealing theatrical gesture. As if to emphasize the sheer absurdity of my question she pinched herself and commented `Well I don't mean this body'. And so it seemed with a gesture so matter of fact that it required no further comment, the fact of matter was both decided and dispatched. Feminism has been as deeply implicated in routinized antiessentialism as any of our critical procedures. Even though questions of `the body' have become increasingly fashionable in all manner of feminist projects, the schedule of feminism's antibiologism has been little altered. In most of these projects on `the body', the body in question is pursued in its socially, experientially, or psychically constituted forms, but rarely in its physiologically, biochemically, or microbiologically constituted form, the idea of biological construction having been rendered either unintelligible or naive. Despite an avowed interest in the body, there is a persistent distaste for biological detail. These feminist theories have usually been reluctant to engage with biological data: they retain, and encourage, the fierce antibiologism that marked the emergence of second wave feminism. That feminist scholars are particularly prone to a `knee jerk constructivism' helps explain the reluctance of those in the humanities to engage seriously with the claims of science. This book functions primarily as a reminder to social, political, and cultural theorists, particularly those interested in feminism, antiracism and questions of the politics of globalisation, that they have forgotten a crucial dimension of research, if not necessary to, then certainly useful for more incisively formulating the concepts on which they so heavily, if implicitly rely. It is written as a remembrance of what we have forgotten — not just the body, but that which makes it possible and which limits its actions: the precarious, accidental, contingent, expedient, striving, dynamic status of life in a messy, complicated, resistant, brute world of materiality, a world regulated by the exigencies, the forces, of space and time. We have forgotten the nature, the ontology, of the body, the conditions under which bodies are encultured, psychologized, given identity, historical location, and agency. We have forgotten where we come from. (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)

Envy is almost universally condemned. But is its reputation warranted? Sara Protasi argues envy is multifaceted and sometimes even virtuous.

This is a defense of semantic conventionalism. Several strategies are used in the defense. In the introduction, I provide criteria for evaluating semantic theories in general. In the first chapter, I survey various types of conventionalism and identify the conventionalism to be defended. The allies for this conventionalism include Quine. In the second chapter, I show that other semantic theories, including holism, can be thought of as conventions. This is done through an appeal to metalanguages. But to understand metalanguages, it (...) seems the originators of the conventions must share styles of perception and conception. This ontological claim is confronted. Other genuinely competing theories of meaning are challenged. The third chapter defends this brand of semantic conventionalism against objections from Quine and Davidson. The fourth chapter defends against realist charges of inconsistency. (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)

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)

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

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)

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.

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)

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.

Sara HeinSmaa rediscovers neglected passages of Le Duexi_me Sexe in her quest to follow Simone de Beauvoir's line of thinking. She finds the masterpiece to be grounded in the work of Husserl and Merleau-Ponty.

In this article, we explore how deep brain stimulation (DBS) devices designed to “close the loop”—to automatically adjust stimulation levels based on computational algorithms—may risk taking the individual agent “out of the loop” of control in areas where (at least apparent) conscious control is a hallmark of our agency. This is of particular concern in the area of psychiatric disorders, where closed-loop DBS is attracting increasing attention as a therapy. Using a relational model of identity and agency, we consider whether (...) DBS designed for psychiatric regulation may require special attention to agency. To do this, we draw on philosophical work on relational identity and agency, connecting it with reports from people using first-generation DBS devices for depression and obsessive-compulsive disorder. We suggest a way to extend a notion of relational agency to encompass neural devices. (shrink)

This book investigates the role of inference in argumentation, considering how arguments support standpoints on the basis of different loci. The authors propose and illustrate a model for the analysis of the standpoint-argument connection, called Argumentum Model of Topics. A prominent feature of the AMT is that it distinguishes, within each and every single argumentation, between an inferential-procedural component, on which the reasoning process is based; and a material-contextual component, which anchors the argument in the interlocutors’ cultural and factual common (...) ground. The AMT explains how these components differ and how they are intertwined within each single argument. This model is introduced in Part II of the book, following a careful reconstruction of the enormously rich tradition of studies on inference in argumentation, from the antiquity to contemporary authors, without neglecting medieval and post-medieval contributions. The AMT is a contemporary model grounded in a dialogue with such tradition, whose crucial aspects are illuminated in this book. (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)

Advancements in novel neurotechnologies, such as brain computer interfaces and neuromodulatory devices such as deep brain stimulators, will have profound implications for society and human rights. While these technologies are improving the diagnosis and treatment of mental and neurological diseases, they can also alter individual agency and estrange those using neurotechnologies from their sense of self, challenging basic notions of what it means to be human. As an international coalition of interdisciplinary scholars and practitioners, we examine these challenges and make (...) recommendations to mitigate negative consequences that could arise from the unregulated development or application of novel neurotechnologies. We explore potential ethical challenges in four key areas: identity and agency, privacy, bias, and enhancement. To address them, we propose democratic and inclusive summits to establish globally-coordinated ethical and societal guidelines for neurotechnology development and application, new measures, including “Neurorights,” for data privacy, security, and consent to empower neurotechnology users’ control over their data, new methods of identifying and preventing bias, and the adoption of public guidelines for safe and equitable distribution of neurotechnological devices. (shrink)

Omissions – any events, actions, or things that do not occur – are central to numerous debates in causation and ethics. This article surveys views on what omissions are, whether they are causally efficacious, and how they ground moral responsibility.

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.

Today intersectionality has expanded from being primarily a metaphor within structuralist feminist research to an all-encompassing theory. This article discusses this increasing dedication to intersectionality in European feminist research. How come intersectionality has developed into a signifier for ‘good feminist research’ at this particular point in time? Drawing on poststructuralist and postcolonial theory the authors examine key articles on intersectionality as well as special issues devoted to the concept. They interrogate the conflicts and meaning making processes as well as the (...) genealogies of the concept. Thus, the epistemology and ontology behind the ‘intersectional turn’ in feminist theory is the main concern here. The authors argue that the lack of ontological discussions has lead to its very popularity. Intersectionality promises almost everything: to provide complexity, overcome divisions and to serve as a critical tool. However, the expansion of the scope of intersectionality has created a consensus that conceals fruitful and necessary conflicts within feminism. (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)

When entering an environment, animals – including humans – tend to consult their memories to determine what they know about the place. This information is useful to determine: is this place safe? And what happens next? In this chapter, we argue on both empirical and conceptual grounds that memory is largely organized by space. Spatial relations determine what is recalled and which experiences are combined in generalizations. Time does not play an analogous role. We show that space and time in (...) memory are thus deeply asymmetrical. We conclude with a consequence of our view: spatial organization entails a basic form of abstraction in a way temporal organization does not, and so the spatial organization of memory reveals that memory involves generalization from the very beginning. (shrink)

Quel est l’étrange point commun qui réunit l’orientation spatiale, l’orientation sexuelle et l’orientalisme? Comment notre expérience intime de l’espace comme orienté et nos peurs de désorientation jouent-ils sur nos manières d’appréhender les dissidences de genre et de sexualité? Autant de questions que la phénoménologie de Sara Ahmed explore dans ce texte en s’interrogeant sur la manière dont les espaces que nous habitons redressent nos comportements et comment celleux qui désobéissent à cette rectitude sont lues comme étranges, obliques, bref : (...) queer. (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.

The increasing application of network models to interpret biological systems raises a number of important methodological and epistemological questions. What novel insights can network analysis provide in biology? Are network approaches an extension of or in conflict with mechanistic research strategies? When and how can network and mechanistic approaches interact in productive ways? In this paper we address these questions by focusing on how biological networks are represented and analyzed in a diverse class of case studies. Our examples span from (...) the investigation of organizational properties of biological networks using tools from graph theory to the application of dynamical systems theory to understand the behavior of complex biological systems. We show how network approaches support and extend traditional mechanistic strategies but also offer novel strategies for dealing with biological complexity. (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)

Many philosophers have argued that prosthetic limbs are the subjects of some of the same rights as traditional body parts. This is a strong argument in favour of respecting the rights of users of prosthetics. I argue that all of the reasons to consider paradigm prosthetics the subjects of body-like rights apply to the relationship between some emotional support animals and their handlers. ESAs are integrated into the functioning of their handlers in ways that parallel the ways that paradigm prosthetics (...) are integrated into the functioning of their users. ESAs are also phenomenologically integrated into their handler’s lives in ways that parallel the phenomenological integration that prosthetic users experience. These parallels provide a strong reason to take the rights of ESA handlers much more seriously than we do now. I will highlight that the current treatment of ESA handlers presumes that they have no rights to ESAs at all. Even if ESAs are the subject of very minimal body-like rights, ESA handlers are having their rights violated. There are of course disanalogies between ESAs and paradigm prosthetics. Most notably, ESAs are alive and separate from their handlers. However, none of these disanalogies are relevant to the question of body-like rights. The differences between ESAs and paradigm prosthetics are in terms of what treatment is owed to them, not in terms of what rights their handlers and users should have. ESAs are not prosthetics, but they deserve some of the rights prosthetics do. (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)

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)