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)

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)

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.

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.

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.

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.

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)

A way is found to add axioms to sequent calculi that maintains the eliminability of cut, through the representation of axioms as rules of inference of a suitable form. By this method, the structural analysis of proofs is extended from pure logic to free-variable theories, covering all classical theories, and a wide class of constructive theories. All results are proved for systems in which also the rules of weakening and contraction can be eliminated. Applications include a system of predicate logic (...) with equality in which also cuts on the equality axioms are eliminated. (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)

Geometric theories are presented as contraction- and cut-free systems of sequent calculi with mathematical rules following a prescribed rule-scheme that extends the scheme given in Negri and von Plato. Examples include cut-free calculi for Robinson arithmetic and real closed fields. As an immediate consequence of cut elimination, it is shown that if a geometric implication is classically derivable from a geometric theory then it is intuitionistically derivable.

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.

The purpose of this article is to describe the development of a model of moral distress in military nursing. The model evolved through an analysis of the moral distress and military nursing literature, and the analysis of interview data obtained from US Army Nurse Corps officers (n = 13). Stories of moral distress (n = 10) given by the interview participants identified the process of the moral distress experience among military nurses and the dimensions of the military nursing moral distress (...) phenomenon. Models of both the process of military nursing moral distress and the phenomenon itself are proposed. Recommendations are made for the use of the military nursing moral distress models in future research studies and in interventions to ameliorate the experience of moral distress in crisis military deployments. (shrink)

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)

We consider an approach to propositional synonymy in proof-theoretic semantics that is defined with respect to a bilateral G3-style sequent calculus $\mathtt{SC2Int}$ for the bi-intuitionistic logic $\mathtt{2Int}$. A distinctive feature of $\mathtt{SC2Int}$ is that it makes use of two kind of sequents, one representing proofs, the other representing refutations. The structural rules of $\mathtt{SC2Int}$, in particular its cut rules, are shown to be admissible. Next, interaction rules are defined that allow transitions from proofs to refutations, and vice versa, mediated through (...) two different negation connectives, the well-known implies-falsity negation and the less well-known coimplies-truth negation of $\mathtt{2Int}$. By assuming that the interaction rules have no impact on the identity of derivations, the concept of inherited identity between derivations in $\mathtt{SC2Int}$ is introduced and the notions of positive and negative synonymy of formulas are defined. Several examples are given of distinct formulas that are either positively or negatively synonymous. It is conjectured that the two conditions cannot be satisfied simultaneously. (shrink)

The axiomatic presentation of modal systems and the standard formulations of natural deduction and sequent calculus for modal logic are reviewed, together with the difficulties that emerge with these approaches. Generalizations of standard proof systems are then presented. These include, among others, display calculi, hypersequents, and labelled systems, with the latter surveyed from a closer perspective.

A comprehensive examination of Kristeva's work from the seventies to the nineties.

Proofs and countermodels are the two sides of completeness proofs, but, in general, failure to find one does not automatically give the other. The limitation is encountered also for decidable non-classical logics in traditional completeness proofs based on Henkin’s method of maximal consistent sets of formulas. A method is presented that makes it possible to establish completeness in a direct way: For any given sequent either a proof in the given logical system or a countermodel in the corresponding frame class (...) is found. The method is a synthesis of a generation of calculi with internalized relational semantics, a Tait–Schütte–Takeuti style completeness proof, and procedures to finitize the countermodel construction. Finitizations for intuitionistic propositional logic are obtained through the search for a minimal derivation, through pruning of infinite branches in search trees by means of a suitable syntactic counterpart of semantic filtration, or through a proof-theoretic embedding into an appropriate provability logic. A number of examples illustrates the method, its subtleties, challenges, and present scope. (shrink)

This paper offers a critical analysis of program evaluation in contemporary urban agriculture. Drawing on data from an exploratory study designed at the request of and in collaboration with urban agriculture practitioners in Massachusetts, it describes both their critiques of extant practices of program evaluation and their visions for alternative ways of telling the story of their work. Related, it explores practitioners’ interest in building capacity for policy advocacy, working collectively to create transformative social change, and, related, establishing new kinds (...) of relationships with state and philanthropic funders. Building on scholarship that has observed that urban agriculture is characterized by an internal contradiction—i.e., its simultaneous orientation to “neoliberal” and “radical” agendas —this analysis calls attention, especially, to the complex role of metrics, which may not only entrench neoliberalism in UA organizations, but also provide a mechanism for challenging its assumptions and advancing the radical project of food justice. (shrink)

Some philosophers have suggested that, instead of attempting to arrive at a satisfactory definition of the physical, we should adopt the ‘via negativa.’ That is, we should take the notion of the mental as fundamental, and define the physical in contrast, as the non-mental. I defend a variant of this approach, based on some information about how children form concepts. I suggest we are hard-wired to form a concept of intentional agency from a very young age, and so there’s some (...) reason to believe that our concept of the physical does include, as part of its content, a contrast with the mental. (shrink)

More and more cities develop urban food strategies to guide their efforts and practices towards more sustainable food systems. An emerging theme shaping these food policy endeavours, especially prominent in North and South America, concerns the enhancement of social justice within food systems. To operationalise this theme in a European urban food governance context we adopt Nancy Fraser’s three-dimensional theory of justice: economic redistribution, cultural recognition and political representation. In this paper, we discuss the findings of an exploratory document analysis (...) of the social justice-oriented ambitions, motivations, current practices and policy trajectories articulated in sixteen European UFSs. We reflect on the food-related resource allocations, value patterns and decision rules these cities propose to alter and the target groups they propose to support, empower or include. Overall, we find that UFSs make little explicit reference to social justice and justice-oriented food concepts, such as food security, food justice, food democracy and food sovereignty. Nevertheless, the identified resources, services and target groups indicate that the three dimensions of Fraser are at the heart of many of the measures described. We argue that implicit, fragmentary and unspecified adoption of social justice in European UFSs is problematic, as it may hold back public consciousness, debate and collective action regarding food system inequalities and may be easily disregarded in policy budgeting, implementation and evaluation trajectories. As a path forward, we present our plans for the RE-ADJUSTool that would enable UFS stakeholders to reflect on how their UFS can incorporate social justice and who to involve in this pursuit. (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 is unclear whether the regulatory distinction between non-identifiable and identifiable information—information used to determine informed consent practices for the use of clinically derived samples for genetic research—is meaningful to patients. The objective of this study was to examine patients' attitudes and preferences regarding use of anonymous and identifiable clinical samples for genetic research. Telephone interviews were conducted with 1,193 patients recruited from general medicine, thoracic surgery, or medical oncology clinics at five United States academic medical centers. Wanting to know (...) about research being done was important to 72% of patients when samples would be anonymous and to 81% of patients when samples would be identifiable. Only 17% wanted to know about the identifiable scenario but not the anonymous scenario. Curiosity-based reasons were the most common among patients who wanted to know about anonymous samples. Of patients wanting to know about either scenario, approximately 57% would require researchers to seek permission, whereas 43% would be satisfied with notification only. Patients were more likely to support permission in the anonymous scenario if they had more education, were Black, less religious, in better health, more private, and less trusting of researchers. The sample, although not representative of the general population, does represent patients at academic medical centers whose clinical samples may be used for genetic research. Few patients expressed preferences consistent with the regulatory distinction between non-identifiable and identifiable information. Data from this study should cause policy-makers to question whether this distinction is useful in relation to research with previously collected clinically derived samples. (shrink)

In this paper I argue that philosophers of science have an obligation to recognize and engage with the social nature of the sciences they assess if those sciences are morally relevant. Morally-relevant science is science that has the potential to risk harm to humans, non-humans, or the environment. My argument and the approach I develop are informed by an analysis of the philosophy of biology literature on the criticism of evolutionary psychology, the study of the evolution of human psychology and (...) behaviour. From this literature, I tease out two different methods of scientific critique. The first I call the “truth-detectional” approach. Those who take this approach are first and foremost concerned about the truth of EP claims as that truth can be determined by evidence. The second I call the “social-dimensional” approach. Those who take this approach talk about the production and truth of EP claims but within a social framework. On this account, the legitimacy and perceived legitimacy of EP claims are not separate from the institutional and social processes and values that lend to their production. I show that the truth-detectional approach risks harms to society and to the philosophy of science, but that the social-dimensional approach avoids these harms. Philosophers of science, therefore, should take a social-dimensional approach to the assessment of morally-relevant science. (shrink)

Do we need a right to mental privacy? In an era of increasing sophistication in recording, interpreting, and directly intervening on our neural activity – not to mention efforts at combining neural...

Several commentators have argued that with his concept of anonymity Merleau-Ponty breaks away from classical Husserlian phenomenology that is methodologically tied to the first person perspective. Many contemporary commentators see Merleau-Ponty’s discourse on anonymity as a break away from Husserl’s framework that is seen as hopelessly subjectivistic and solipsistic. Some judge and reproach it as a disastrous misunderstanding that leads to a confusion of philosophical and empirical concerns. Both parties agree that Merleau-Ponty’s concepts of anonymity mark a divergence from classical (...) Husserlian phenomenology. I will question this view and demonstrate that Merleau-Ponty’s discourse on anonymity remains Husserlian in two important senses: it analyses senses in terms of constituting selves and communities of such selves, and it accounts for the formation of experience by the temporal sedimentation of intentional activity. The argument proceeds in four steps. The first section argues against the widely spread notion according to which Merleau-Ponty’s anonymous subject is collective. In the second section, I offer an alternative reading by demonstrating that Merleau-Ponty uses the term “anonymous” primarily to characterize the lived body of a personal subject. In section three, I introduce Merleau-Ponty’s idea of trace and show that for him both the perceived thing and the perceiving body are traces and as such refer to earlier constitutive acts of alien subjects. I then argue that Husserl’s concepts of sedimentation are crucial for the understanding of this idea. Finally, in section four, I show how Husserl’s theory of depresentation informs Merleau-Ponty’s discourse on anonymity. (shrink)

Artificial intelligent (AI) systems that perform image classification tasks are being used to great success in many application contexts. However, many of these systems are opaque, even to experts. This lack of understanding can be problematic for ethical, legal, or practical reasons. The research field Explainable AI (XAI) has therefore developed several approaches to explain image classifiers. The hope is to bring about understanding, e.g., regarding why certain images are classified as belonging to a particular target class. Most of these (...) approaches use visual explanations. Drawing on Elgin’s work (True enough. MIT Press, Cambridge, 2017), I argue that analyzing what those explanations exemplify can help to assess their suitability for producing understanding. More specifically, I suggest to distinguish between two forms of examples according to their suitability for producing understanding. I call these forms samples and exemplars, respectively. Samples are prone to misinterpretation and thus carry the risk of leading to misunderstanding. Exemplars, by contrast, are intentionally designed or chosen to meet contextual requirements and to mitigate the risk of misinterpretation. They are thus preferable for bringing about understanding. By reviewing several XAI approaches directed at image classifiers, I show that most of them explain with samples. If my analysis is correct, it will be beneficial if such explainability methods use explanations that qualify as exemplars. (shrink)

The aim of this paper is to investigate, if there is a principal disagreement between Husserl's early concept of expression and his later discussions on gestures. In the early work Logical Investigations (1900–1901), Husserl quite bluntly excludes gestures from the category of meaningful expressions; thirty years later (1928), in the second volume of Ideas, he argues to the contrary that gestures are meaningful and expressive in the very same way as linguistic units, words and sentences. The question of this paper (...) is: What happened in Husserl's thinking in the two decades between Investigations and the last versions of Ideas II? I argue that the disagreement between Husserl's early statement and his later discussion on gestural expressions is due to a refinement in his account of embodiment. I claim that Husserl did not abandon his concept of expression, but dismissed his early analysis of embodiment as simplistic and as motivated by a certain preconception about the relationship between nature and spirit. This change became possible for him as he developed conceptual and methodic tools for distinguishing between different meanings of the body: the physical thing or the mere material body, the perceived body, and the sensuous body. The difference between the body as a physical thing and the body as a sensuous-spiritual unit proves to be crucial to the understanding of gestural expressions. (shrink)

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

By presenting a case study based on the argumentative analysis of news in the press, this article introduces and discusses strategic manoeuvring with contextual frames. Drawing on the linguistic notion of frame, I introduce the concept of contextual frame to refer to the news context, that is, the background against which a certain event is presented as a piece of news. I argue that newspapers and journalists make use of contextual frames in the apparently neutral genre of news reporting to (...) propose specific interpretations of the facts at issue, which become the basis for explicit comments and editorials. To show how this works, I investigate in detail a case of newspaper coverage of a complex episode using the pragma-dialectical notion of strategic manoeuvring and the Argumentum Model of Topics to analyse argument schemes. I show that, in the use of contextual frames, there is a prominent relation between presentational devices and topical potential; contextual frames provide the implicit material premises which are at the basis of argumentations through which newspapers interpret and comment on the news. (shrink)

A sequent calculus is given in which the management of weakening and contraction is organized as in natural deduction. The latter has no explicit weakening or contraction, but vacuous and multiple discharges in rules that discharge assumptions. A comparison to natural deduction is given through translation of derivations between the two systems. It is proved that if a cut formula is never principal in a derivation leading to the right premiss of cut, it is a subformula of the conclusion. Therefore (...) it is sufficient to eliminate those cuts that correspond to detour and permutation conversions in natural deduction. (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 a recent paper, Max Deutsch argues that there is no “qua problem” for purely causal theories of reference, according to which the extensions of some expressions are grounded in causal relations to members of their extensions during dubbing acts. The qua problem is the difficulty in specifying the facts in virtue of which the reference of “elephant” is grounded by causal contact with something _qua_ elephant and not _qua_ its other properties. If no such specification can be given, reference (...) remains unacceptably indeterminate. This has led many to abandon purely causal reference grounding. Deutsch’s argument for the dissolution of the problem goes as follows: we usually agree that an event can cause its effect _qua_ some of its properties and not _qua_ others. For example, a hot acidic solution causes a glass beaker to break due to its heat and not due to its acidity. Given this assumption, we can simply say that an event caused a dubbing act _qua_ the causally relevant property and not _qua_ the causally irrelevant properties, thus grounding the reference of the term; the qua problem has vanished. I will argue that causal mechanisms, and in particular the facts about causal relevance appealed to by Deutsch, are insufficient to dissolve the qua problem. It is not generally the case that a _unique_ property is causally relevant in purely physical cases of causation; but this is precisely what is required to avoid the referential indeterminacy highlighted by the qua problem. I will demonstrate that if we rely on causal relevance to dissolve the qua problem, there is no way to respect the uniqueness requirement: there are too many properties that are causally relevant to the occurrence of any single dubbing act, including the intentional states of the dubber. (shrink)

In the current American iconoclash, certain monuments are subject to vandalism and municipal removal from their pedestals. Phrases such as “the erasure of history” and “damnatio memoriae” point to concerns that iconoclasm is an attempt to censor history or even remove certain individuals from public memory altogether. Because these phrases beckon the past, this wave of iconoclasm calls for a close examination of previous image-breaking to establish motives. Drawing first from art history, we analyze Byzantine iconoclasm and anxieties over the (...) nature of icons’ power, before contextualizing these findings within image destruction from the Paleolithic to the present day. Each comparison is suggestive of an enduring aesthetic principle: that what appears inanimate is not always inert. Next, drawing from cultural anthropology, we argue that principles of sympathetic magic are at the heart of contemporary iconoclasms, but not in the way media outlets often suggest. Instead, the fear of history’s erasure betrays a deeply rooted equivalence between the representation and the represented. In perceiving their fates as shared, sympathetic magic is seen to persist in the way humans create, interpret, and desecrate images. We conclude with the speculative realist proposition that iconoclasm can produce new, original artworks, which carries implications for the autonomy of art and its distribution between artist and artwork. (shrink)

This paper problematizes the analogy that Hubert Dreyfus has presented between phenomenology and cognitive science. It argues that Dreyfus presents Merleau-Ponty''s modification of Husserl''s phenomenology in a misleading way. He ignores the idea of philosophy as a radical interrogation and self-responsibility that stems from Husserl''s work and recurs in Merleau-Ponty''s Phenomenology of Perception. The paper focuses on Merleau-Ponty''s understanding of the phenomenological reduction. It shows that his critical idea was not to restrict the scope of Husserl''s reductions but to study (...) the conditions of possibility for the thetic acts. Merleau-Ponty argued, following Husserl''s texts, that the thetic acts rest on the basis of primordial pre-thetic experience. This layer of experience cannot, by its nature, be explicated or clarified, but it can be questioned and unveiled. This is the recurrent task of phenomenological philosophy, as Merleau-Ponty understands it. (shrink)

The main result of this paper is a normalizing system of natural deduction for the full language of intuitionistic linear logic. No explicit weakening or contraction rules for -formulas are needed. By the systematic use of general elimination rules a correspondence between normal derivations and cut-free derivations in sequent calculus is obtained. Normalization and the subformula property for normal derivations follow through translation to sequent calculus and cut-elimination.

The nurturing that produces love, care, and solidarity constitutes a discrete social system of affective relations. Affective relations are not social derivatives, subordinate to economic, political, or cultural relations in matters of social justice. Rather, they are productive, materialist human relations that constitute people mentally, emotionally, physically, and socially. As love laboring is highly gendered, and is a form of work that is both inalienable and noncommodifiable, affective relations are therefore sites of political import for social justice. We argue that (...) it is impossible to have gender justice without relational justice in loving and caring. Moreover, if love is to thrive as a valued social practice, public policies need to be directed by norms of love, care, and solidarity rather than norms of capital accumulation. To promote equality in the affective domains of loving and caring, we argue for a four-dimensional rather than a three-dimensional model of social justice as proposed by Nancy Fraser. Such a model would align relational justice, especially in love laboring, with the equalization of resources, respect, and representation. (shrink)

This article argues for a clearer framework of internet-based “memes”. The science of memes, dubbed ‘memetics’, presumes that memes remain “copying units” following the popularisation of the concept in Richard Dawkins’ celebrated work, The Selfish Gene (1976). Yet Peircean semiotics and biosemiotics can challenge this doctrine of information transmission. While supporting a precise and discursive framework for internet memes, semiotic readings reconfigure contemporary formulations to the – now-established – conception of memes. Internet memes can and should be conceived, then, as (...) habit-inducing sign systems incorporating processes involving asymmetrical variation. So, drawing on biosemiotics, Tartu-Moscow semiotics, and Peircean semiotic principles, and through a close reading of the celebrated 2011 Internet meme Rebecca Black’s Friday, this article proposes a working outline for the definition of internet memes and its applicability for the semiotic analysis of texts in new media communication. (shrink)

A proof-theoretical analysis of elementary theories of order relations is effected through the formulation of order axioms as mathematical rules added to contraction-free sequent calculus. Among the results obtained are proof-theoretical formulations of conservativity theorems corresponding to Szpilrajn’s theorem on the extension of a partial order into a linear one. Decidability of the theories of partial and linear order for quantifier-free sequents is shown by giving terminating methods of proof-search.

: Genetics researchers often work with distinct communities. To take moral account of how their research affects these communities, they need a richer conception of justice and they need to make those communities equal participants in decision-making about how the research is conducted and what is produced and published out of it.

In this paper, we offer an analysis of ‘group intentions.’ On our proposal, group intentions should be understood as a state of equilibrium among the beliefs of the members of a group. Although the discussion in this paper is non-technical, the equilibrium concept is drawn from the formal theory of interactive epistemology due to Robert Aumann. The goal of this paper is to provide an analysis of group intentions that is informed by important work in economics and formal epistemology.

The importance of the hidden curriculum is recognised as a practical training ground for the absorption of medical ethics by healthcare professionals. Pakistan’s healthcare sector is hampered by the exclusion of ethics from medical and nursing education curricula and the absence of monitoring of ethical violations in the clinical setting. Nurses have significant knowledge of the hidden curriculum taught during clinical practice, due to long working hours in the clinic and front-line interaction with patients and other practitioners.