Due to the environmental and health impact of the private transport sector, social scientists have largely focused on psychosocial and contextual factors associated with people's choice over transport means. This study aims to contribute to this line of research by applying a user-centered approach, with the objective of taking into account the specific environmental and social context of the metropolitan area of Cagliari city. To accomplish this aim, four groups of people were matched according to their shared starting point: car (...) users vs. public transport users, and light-rail users vs. non-light-rail users. Groups were interviewed using a focus group method. Participants were invited to discuss their everyday travel experiences and to exchange their ideas on different sustainable and less sustainable means of transport. Both consolidated drivers/barriers in the field of environmental psychology and public transportation design features have been investigated. Other than highlighting the importance of socio-psychological factors to promote more sustainable transport choices like in previous studies, the present research offers an insight into how these aspects and factors are shaped and experienced in the narratives of residents. (shrink)

Dieses Buch bietet die erste systematische Diskussion von Husserls Cartesianischen Meditationen. Beginnend mit einem Kommentar zum Text der fünf Meditationen werden in den hier veröffentlichten Aufsätzen einige der wichtigsten Begriffe der Husserlschen Philosophie untersucht und geklärt: Intentionalität, Synthese, Evidenz, Intersubjektivität. Darüber hinaus bietet das Buch die erste Diskussion von Husserls später Version der Transzendentalphilosophie und ihrer Relevanz für zeitgenössische Debatten in der kontinentalen und analytischen Philosophie. Mit Beiträgen von Andreea Smaranda Aldea | Lilian Alweiss | Stefano Bancalari | Jakub Čapek (...) | Emanuela Carta | Daniele De Santis | Aurélien Djian | Saulius Geniusas | Sara Heinämaa | Leonard Ip | Hynek Janoušek | Federico Lijoi | Claudio Majolino | Danilo Manca | Sergio Pérez-Gatica | Witold Plotka | Alice Pugliese | Ignacio Quepons | Rosemary Rizo-Patrón de Lerner | Agustín Serrano de Haro | Wojciech Starzyński. (shrink)

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

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.

Many countries currently invest in technologies and data infrastructures to foster precision medicine (PM), which is hoped to better tailor disease treatment and prevention to individual patients. But who can expect to benefit from PM? The answer depends not only on scientific developments but also on the willingness to address the problem of structural injustice. One important step is to confront the problem of underrepresentation of certain populations in PM cohorts via improved research inclusivity. Yet, we argue that the perspective (...) needs to be broadened because the (in)equitable effects of PM are also strongly contingent on wider structural factors and prioritization of healthcare strategies and resources. When (and before) implementing PM, it is crucial to attend to how the organisation of healthcare systems influences who will benefit, as well as whether PM may present challenges for a solidaristic sharing of costs and risks. We discuss these issues through a comparative lens of healthcare models and PM-initiatives in the United States, Austria, and Denmark. The analysis draws attention to how PM hinges on—and simultaneously affects—access to healthcare services, public trust in data handling, and prioritization of healthcare resources. Finally, we provide suggestions for how to mitigate foreseeable negative effects. (shrink)

This book continues from where the authors' previous book, Structural Proof Theory, ended. It presents an extension of the methods of analysis of proofs in pure logic to elementary axiomatic systems and to what is known as philosophical logic. A self-contained brief introduction to the proof theory of pure logic is included that serves both the mathematically and philosophically oriented reader. The method is built up gradually, with examples drawn from theories of order, lattice theory and elementary geometry. The aim (...) is, in each of the examples, to help the reader grasp the combinatorial behaviour of an axiom system, which typically leads to decidability results. The last part presents, as an application and extension of all that precedes it, a proof-theoretical approach to the Kripke semantics of modal and related logics, with a great number of new results, providing essential reading for mathematical and philosophical logicians. (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)

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

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)

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)

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)

‘Intersectionality’ has now become a major feature of feminist scholarly work, despite continued debates surrounding its precise definition. Since the term was coined and the field established in the late 1980s, countless articles, volumes and conferences have grown out of it, heralding a new phase in feminist and gender studies. Over the past few years, however, the growing number of critiques leveled against intersectionality warrants us as feminists to pause and reflect on the trajectory the concept has taken and on (...) the ways in which it has traveled through time and space. Conceptualizing intersectionality as a traveling theory allows for these multiple critiques to be contextualized and addressed. It is argued that the context of the neoliberal academy plays a major role in the ways in which intersectionality has lost much of its critical potential in some of its usages today. It is further suggested that Marxist feminism offers an important means of grounding intersectionality critically and expanding intersectionality’s ability to engage with feminism transnationally. (shrink)

This essay contends that postcolonial migrants have a right to enter their former colonizing nations, and that these should accept them. Our novel argument challenges well-established justifications for restrictions in immigration-policies advanced in liberal nationalism, which links immigration controls to the nation’s self-determination and the legitimate preservation of national identity. To do so, we draw on postcolonial analyses of colonialism, in particular on Edward Said’s notion of “intertwined histories,” and we offer a more sophisticated account of national identity than that (...) of liberal nationalists. In our view, the national identity of former colonizing nations cannot be understood in isolation from their ex-colonies. This entails that liberal nationalists cannot justify the restriction on the entrance of members of the nation’s former colonies by resorting to an argument about the preservation of national identity: the former colonized constitute an inseparable element of that national identity, because they are already historically part of it. (shrink)

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

In this paper, I advance a counterexample to the collective agency thesis.

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)

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)

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)

The timing of this special issue of AJOB probing whether public engagement (PE)1 might help achieve equity in genomics is no coincidence. While many issues discussed by the authors are not entirely...

Just as we may ask whether, and under what conditions, a collection of objects composes a single object, we may ask whether, and under what conditions, a collection of actions composes a single action. In the material objects literature, this question is known as the "special composition question," and I take it that there is a similar question to be asked of collections of actions. I will call that question the "special composition question in action," and argue that the correct (...) answer to this question depends on a particular kind of consequence produced by the individual constituent actions. (shrink)

The development of nursing ethics as a field of inquiry has largely relied on theories of medical ethics that use autonomy, beneficence, and/or justice as foundational ethical principles. Such theories espouse a masculine approach to moral decision-making and ethical analysis. This paper challenges the presumption of medical ethics and its associated system of moral justification as an appropriate model for nursing ethics. It argues that the value foundations of nursing ethics are located within the existential phenomenon of human caring within (...) the nurse/patient relationship instead of in models of patient good or rights-based notions of autonomy as articulated in prominent theories of medical ethics. Models of caring are analyzed and a moral-point-of-view (MPV) theory with caring as a fundamental value is proposed for the development of a theory of nursing ethics. This type of theory is supportive to feminist medical ethics because it focuses on the subscription to, and not merely the acceptance of, a particular view of morality. (shrink)

New parents suddenly come face to face with myriad issues that demand careful attention but appear in a context unlikely to provide opportunities for extended or clear-headed critical reflection, whether at home with a new baby or in the neonatal intensive care unit. As such, their capacity for autonomy may be compromised. Attending to new parental autonomy as an extension of reproductive autonomy, and as a complicated phenomenon in its own right rather than simply as a matter to be balanced (...) against other autonomy rights, can help us to see how new parents might be aided in their quest for competency and good decision making. In this paper I show how a relational view of autonomy – attentive to the coercive effects of oppressive social norms and to the importance of developing autonomy competency, especially as related to self-trust – can improve our understanding of the situation of new parents and signal ways to cultivate and to better respect their autonomy. (shrink)

With the emergence of systems biology the notion of organizing principles is being highlighted as a key research aim. Researchers attempt to ‘reverse engineer’ the functional organization of biological systems using methodologies from mathematics, engineering and computer science while taking advantage of data produced by new experimental techniques. While systems biology is a relatively new approach, the quest for general principles of biological organization dates back to systems theoretic approaches in early and mid-20th century. The aim of this paper is (...) to draw on this historical background in order to increase the understanding of the motivation behind the systems theoretic approach and to clarify different epistemic aims within systems biology. We pinpoint key aspects of earlier approaches that also underlie the current practice. These are i) the focus on relational and system-level properties, ii) the inherent critique of reductionism and fragmentation of knowledge resulting from overspecialization, and iii) the insight that the ideal of formulating abstract organizing principles is complementary to, rather than conflicting with, the aim of formulating detailed explanations of biological mechanisms. We argue that looking back not only helps us understand the current practice but also points to possible future directions for systems biology. (shrink)

Temporal binding refers to a phenomenon whereby the time interval between a cause and its effect is perceived as shorter than the same interval separating two unrelated events. We examined the developmental profile of this phenomenon by comparing the performance of groups of children (aged 6-7-, 7-8-, and 9-10- years) and adults on a novel interval estimation task. In Experiment 1, participants made judgments about the time interval between i) their button press and a rocket launch, and ii) a non-causal (...) predictive signal and rocket launch. In Experiment 2, an additional causal condition was included in which participants made judgments about the interval between an experimenter’s button press and the launch of a rocket. Temporal binding was demonstrated consistently and did not change in magnitude with age: estimates of delay were shorter in causal contexts for both adults and children. Additionally, the magnitude of the binding effect was greater when participants themselves were the cause of an outcome compared to when they were mere spectators. This suggests that although causality underlies the binding effect, intentional action may modulate its magnitude. Again, this was true of both adults and children. Taken together, these results are the first to suggest that the binding effect is present and developmentally constant from childhood into adulthood. (shrink)

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)

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)

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)

Background Families whose child has unexplained intellectual or developmental differences often hope that a genetic diagnosis will lower barriers to community-based therapeutic and support services. However, there is little known about efforts to mobilize genetic information outside the clinic or how socioeconomic disadvantage shapes and constrains outcomes.Methods We conducted an ethnographic study with predominantly socioeconomically disadvantaged families enrolled in a multi-year genomics research study, including clinic observations and in-depth interviews in English and Spanish at multiple time points. Coding and thematic (...) development were used to collaboratively interpret fieldnotes and transcripts.Results Thirty-two families participated. Themes included familial expectations that a genetic diagnosis could be translated into information, understanding, and assistance to improve the quality of a child’s day-to-day life. After sequencing, however, genetic information was not readily converted into improved access to services beyond the clinic, with families often struggling to use a genetic diagnosis to advocate for their child.Conclusion Families’ ability to use a genetic diagnosis as an effective advocacy tool beyond the clinic was limited by the knowledge and resources available to them, and by the eligibility criteria used by therapeutic service providers’ – which focused on clinical diagnosis and functional criteria more than etiologic information. All families undertaking genomic testing, particularly those who are disadvantaged, need additional support to understand the limits and potential benefits of genetic information beyond the clinic. (shrink)

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)

_ Source: _Volume 63, Issue 3, pp 293 - 350 It is widely agreed that there is a gap between the personal and the social ethics of the Stoics due to the difficulty of harmonizing personal and social _oikeiōsis_. By reconstructing Epictetus’ theory of _oikeiōsis_, this paper aims to show that, in his ethics, there is no such gap, and this for two reasons: first, his account of social _oikeiōsis_ is not meant to ground his social ethics; second, his theory (...) of personal _oikeiōsis_ is a philosophical construct designed to provide a naturalistic justification to the utopian social project of the cosmopolis rather than to ground his personal ethics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Whiteness and the General WillDiversity Work as Willful WorkSara AhmedIn this essay I explore whiteness in relation to the general will. My starting point is that the idea of “the general will” offers us a vocabulary for thinking through the materiality of race. In his keynote address to the 40th Annual Philosophy Symposium in 2010, Charles Mills argues that race is material: it becomes part of the living human (...) body. Mills draws on recent theories of whiteness as habit, including the work of Linda Alcoff (2006) and Shannon Sullivan (2006). Quoting from Sullivan, he suggests that whiteness is in “the nose that smells, the back, neck and other muscles that imperceptibly tighten with anxiety, and the eyes that see some but not all physical differences as significant” (Sullivan 2006, 188). Whiteness is embodied; it is in bodily matter as well as affecting how bodies matter. Mills then suggests that the materiality of whiteness is its “resistance to will.” One definition of materiality could be this: resistance to will.This essay takes up the theme of the materiality of race by thinking of whiteness in relation to the will. There are clearly risks in such an undertaking: after all, the idea of whiteness as willed might seem to imply that whiteness is volitional: and can be simply “willed away.”1 I want to suggest that if whiteness is resistant to will, as that which cannot be simply willed away, then whiteness can also be understood as willed: in other words, what cannot be willed away is a willing way. Edward Said’s definition of Orientalism as “willed human work,” which as a definition has yet to be rigorously understood, could be considered an important precedent to my argument (1978, 140). The suggestion is not [End Page 1] simply that the Orient is brought into existence, or made to exist over time, but that the very labor of creating the Orient, the land of the stranger, the land far away, is what establishes a direction. Once the Orient has come to exist, there is a willing of its existence; to keep going that way is to keep that way going. Willed work is work that in willing that way creates a way that can be willed. It is not as the old English cliché says—where there’s a will there’s a way—but rather to will is to way. I think it is useful to think of whiteness in this way, as a willing way, which is of course only one way of thinking about whiteness.I pose the generality of the will as a way of reflecting on “institutional whiteness.” Whiteness becomes “the material” of an institutional body, whether that body is the nation, an organization, a neighborhood, or a street. We can consider an institution as a body with parts: it too has noses, mouths, muscles that register anxiety, as well as ears and eyes. Just think of how Neighborhood Watch, as a national or even global technology, uses the injunction that citizens should become the “eyes and ears of the police.” A good citizen is the one who accepts this injunction: the one who is willing to watch out for strangers, those who are loitering, who seem suspicious, or out of place. Institutions have “detection systems”: they have parts that register the approach of strangers. A collective body in registering those who are out of place, both creates strangers and establishes a direction toward them, as those who threaten the place of the “in place,” as those who generate anxiety.A key event in my own life was of becoming a stranger in a white neighborhood in Adelaide, Australia, in a place I called home. I was fourteen years old. I was stopped by two policemen in a car who asked me, “Are you Aboriginal?” It turned out that there had been some burglaries in the area. It was an extremely hostile address, and it was an unsettling experience at the time. It was an experience of being made into a stranger, the one who is recognized as “out of place,” as the one who does not belong, whose proximity is registered... (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)

In 1968, Orevkov presented proofs of conservativity of classical over intuitionistic and minimal predicate logic with equality for seven classes of sequents, what are known as Glivenko classes. The proofs of these results, important in the literature on the constructive content of classical theories, have remained somehow cryptic. In this paper, direct proofs for more general extensions are given for each class by exploiting the structural properties of G3 sequent calculi; for five of the seven classes the results are strengthened (...) to height-preserving statements, and it is further shown that the constructive and minimal proofs are identical in structure to the classical proof from which they are obtained. (shrink)

This paper aims to read together Julietta Singh’s Unthinking Mastery and Suzanne Césaire’s The Great Camouflage in order to uncover the narrative spaces in Césaire’s work that can be fruitful for unthinking mastery. I identify four connected themes in Césaire’s work. Surrealism, rejection of doudou-ism and the natural disaster explicitly reject the construction of the Caribbean as one exoticized place and mechanisms of categorization. The only stable identity of the Caribbean is its instability. The figure of the plant-human adds to (...) this and transcends the human/non-human dichotomy in a way that dismantles this central dichotomy altogether. (shrink)

A uniform calculus for linear logic is presented. The calculus has the form of a natural deduction system in sequent calculus style with general introduction and elimination rules. General elimination rules are motivated through an inversion principle, the dual form of which gives the general introduction rules. By restricting all the rules to their single-succedent versions, a uniform calculus for intuitionistic linear logic is obtained. The calculus encompasses both natural deduction and sequent calculus that are obtained as special instances from (...) the uniform calculus. Other instances give all the invertibilities and partial invertibilities for the sequent calculus rules of linear logic. The calculus is normalizing and satisfies the subformula property for normal derivations. (shrink)

van Fraassen's constructivist empiricist account of theories makes an epistemic distinction between entities that can and cannot be observed with the naked eye. A belief about the correctness of a theoretical description of an entity that is observable with the naked eye can be warranted by a theory. In contrast, no theory can warrant a belief about the correctness of a description of an unobservable entity. I argue that we ought to instead adopt a view that takes account of the (...) fact that some entities that cannot be observed with the naked eye can nevertheless be observed on the basis of the same physical principle as those entities that can be. This suggests that there is a distinction different from van Fraassen's that might do the work van Fraassen intends his to do, but a distinction that is principled. Understanding why this is so suggests that his distinction is grounded merely in human chauvinism. (shrink)

A national survey of CEOs of manufacturing firms was conducted to identify factors explaining CEOs' intentions to engage in two questionable business practices: soliciting a competitor's technological secrets and making payments to foreign government officials to secure business. Drawing on research in corporate misconduct, ethical decision making, and strategic management, the authors analyzed ethical intentions by looking at hostile environmental conditions, opportunity-rich situations, and/or personal characteristics. Based on responses to scenarios, their findings suggest that the ethical intentions of CEOs may (...) be more affected by the decision maker's predisposition than by environmental pressures or organizational/situational characteristics. (shrink)

Objective: Appropriate reactivity to emotional facial expressions, even if these are seen whilst we are engaged in another activity, is critical for successful social interaction. Children with conduct problems (CP) and high levels of callous-unemotional (CU) traits are characterized by blunted reactivity to other people's emotions, while children with CP and low levels of CU traits can over-react to perceived emotional threat. No study to date has compared children with CP and high vs. low levels of CU traits to typically (...) developing (TD) children or each other, using a task that assesses attentional capture by irrelevant emotional faces. -/- Method: All participants performed an attentional capture task in which they were asked to judge the orientation of a single male face that was displayed simultaneously with two female faces. Three types of trials were presented, trials with all neutral faces, trials with an emotional distractor face and trials with an emotional target face. Fifteen boys with CP and high levels of CU traits, 17 boys with CP and low levels of CU traits and 17 age and ability matched TD boys were included in the final study sample. -/- Results: Compared to TD children and children with low levels of CU traits, children with CP and high levels of CU traits showed reduced attentional capture by irrelevant emotional faces. -/- Conclusions: This study is the first to demonstrate a different pattern in emotional attentional capture in children with CP depending on their level of CU traits. (shrink)