Individualists claim that collective obligations are reducible to the individual obligations of the collective’s members. Collectivists deny this. We set out to discover who is right by way of a deontic logic of collective action that models collective actions, abilities, obligations, and their interrelations. On the basis of our formal analysis, we argue that when assessing the obligations of an individual agent, we need to distinguish individual obligations from member obligations. If a collective has a collective obligation to bring about (...) a particular state of affairs, then it might be that no individual in the collective has an individual obligation to bring about that state of affairs. What follows from a collective obligation is that each member of the collective has a member obligation to help ensure that the collective fulfills its collective obligation. In conclusion, we argue that our formal analysis supports collectivism. (shrink)

I apply Kooi and Tamminga's (2012) idea of correspondence analysis for many-valued logics to strong three-valued logic (K3). First, I characterize each possible single entry in the truth-table of a unary or a binary truth-functional operator that could be added to K3 by a basic inference scheme. Second, I define a class of natural deduction systems on the basis of these characterizing basic inference schemes and a natural deduction system for K3. Third, I show that each of the resulting natural (...) deduction systems is sound and complete with respect to its particular semantics. Among other things, I thus obtain a new proof system for Lukasiewicz's three-valued logic. (shrink)

If group members aim to fulfill a collective obligation, they must act in such a way that the composition of their individual actions amounts to a group action that fulfills the collective obligation. We study a strong sense of joint action in which the members of a group design and then publicly adopt a group plan that coordinates the individual actions of the group members. We characterize the conditions under which a group plan successfully coordinates the group members' individual actions, (...) and study how the public adoption of a plan changes the context in which individual agents make a decision about what to do. (shrink)

We develop a multi-agent deontic action logic to study the logical behaviour of two types of deontic conditionals: (1) conditional obligations, having the form "If group H were to perform action aH, then, in group F's interest, group G ought to perform action aG" and (2) conditional permissions, having the form "If group H were to perform action aH, then, in group F's interest, group G may perform action aG". First, we define a formal language for multi-agent deontic action logic (...) and a class of consequentialist models to interpret the formulas of the language. Second, we define a transformation that converts any strategic game into a consequentialist model. Third, we show that an outcome a* is a Nash equilibrium of a strategic game if and only if a conjunction of certain conditional permissions is true in the consequentialist model that results from the transformation of that strategic game. (shrink)

A key argument of Dixon et al. in the target article is that prejudice reduction through intergroup contact and collective action work in opposite ways. We argue for a complementary approach focusing on extreme emotions to understand why people turn to non-normative collective action and to understand when and under what conditions extreme emotions may influence positive effects of contact on reconciliation.

We use a deontic logic of collective agency to study reducibility questions about collective agency and collective obligations. The logic that is at the basis of our study is a multi-modal logic in the tradition of *stit* logics of agency. Our full formal language has constants for collective and individual deontic admissibility, modalities for collective and individual agency, and modalities for collective and individual obligations. We classify its twenty-seven sublanguages in terms of their expressive power. This classification enables us to (...) investigate reducibility relations between collective deontic admissibility, collective agency, and collective obligations, on the one hand, and individual deontic admissibility, individual agency, and individual obligations, on the other. (shrink)

Quine's holistic empiricist account of scientific inquiry can be characterized by three constitutive principles: *noncontradiction*, *universal revisability* and *pragmatic ordering*. We show that these constitutive principles cannot be regarded as statements within a holistic empiricist's scientific theory of the world. This claim is a corollary of our refutation of Katz's [1998, 2002] argument that holistic empiricism suffers from what he calls the Revisability Paradox. According to Katz, Quine's empiricism is incoherent because its constitutive principles cannot themselves be rationally revised. Using (...) Gärdenfors and Makinson's logic of belief revision based on epistemic entrenchment, we argue that Katz wrongly assumes that the constitutive principles are *statements* within a holistic empiricist's theory of the world. Instead, we show that constitutive principles are best seen as *properties* of a holistic empiricist's theory of scientific inquiry and we submit that, without Katz's mistaken assumption, the paradox cannot be formulated. We argue that our perspective on the status of constitutive principles is perfectly in line with Quinean orthodoxy. In conclusion, we compare our findings with van Fraassen's [2002] argument that we should think of empiricism as a stance, rather than as a doctrine. (shrink)

This paper presents two systems of natural deduction for the rejection of non-tautologies of classical propositional logic. The first system is sound and complete with respect to the body of all non-tautologies, the second system is sound and complete with respect to the body of all contradictions. The second system is a subsystem of the first. Starting with Jan Łukasiewicz's work, we describe the historical development of theories of rejection for classical propositional logic. Subsequently, we present the two systems of (...) natural deduction and prove them to be sound and complete. We conclude with a ‘Theorem of Inversion’. (shrink)

We present a theory that copes with the dynamics of inconsistent information. A method is set forth to represent possibly inconsistent information by a finite state. Next, finite operations for expansion and contraction of finite states are given. No extra-logical element — a choice function or an ordering over (sets of) sentences — is presupposed in the definition of contraction. Moreover, expansion and contraction are each other's duals. AGM-style characterizations of these operations follow.

Taking our inspiration from modal correspondence theory, we present the idea of correspondence analysis for many-valued logics. As a benchmark case, we study truth-functional extensions of the Logic of Paradox (LP). First, we characterize each of the possible truth table entries for unary and binary operators that could be added to LP by an inference scheme. Second, we define a class of natural deduction systems on the basis of these characterizing inference schemes and a natural deduction system for LP. Third, (...) we show that each of the resulting natural deduction systems is sound and complete with respect to its particular semantics. (shrink)

In the absence of the Arabic text of al-Khw's Arithmetic, which has not yet been found, the oldest Latin adaptations from the twelfth century are the only evidence documenting the genesis and the first spreading of a decimal arithmetic that uses nine figures and zero, i.e. the Indian reckoning known in the Middle Ages as algorismus. This paper studies these texts, their content, their sources, and identifies their authors and the milieus in which they were written.

Two groups of agents, G1 and G2, face a *moral conflict* if G1 has a moral obligation and G2 has a moral obligation, such that these obligations cannot both be fulfilled. We study moral conflicts using a multi-agent deontic logic devised to represent reasoning about sentences like "In the interest of group F of agents, group G of agents ought to see to it that phi". We provide a formal language and a consequentialist semantics. An illustration of our semantics with (...) an analysis of the Prisoner’s Dilemma follows. Next, necessary and sufficient conditions are given for (1) the possibility that a single group of agents faces a moral conflict, for (2) the possibility that two groups of agents face a moral conflict within a single moral code, and for (3) the possibility that two groups of agents face a moral conflict. (shrink)

The power of some new entrants to the music industry derives from their position as brokers in computer-mediated environments. Brokers act instrumentally to exploit their position within a network which, in turn, depends on their ability to build and sustain links (and, in computer-mediated environments, hyperlinks). Bricolage in computer-mediated entrepreneurship refers to the intuitive manipulation of resources in order to achieve (perhaps tacit) goals. Without careful stewardship of the new intellectual wealth thus created, bricolage may profit neither the individual nor (...) the wider community. (shrink)

Considerable research evidence has accumulated indicating that there is an increased likelihood for illness and injury among employees working in long-hour schedules and schedules involving unconventional shift work. In addition, studies show that fatigue-related errors made by employees working in these kind of demanding schedules can have serious and adverse repercussions for public safety. As the result of these concerns, new protective legislation is being advocated in the United States, for instance, to restrict the hours of work among nurses and (...) other healthcare professionals. This article reviews the history of concerns about long working hours and the current scientific evidence regarding their effects on workers' health. The ethical implications of unconventional shift work and long work-hour schedules are considered. Relevant ethical considerations involve mandatory or unpaid overtime and the possibility of employer coercion, the political basis for government regulation of working hours, potential limits on voluntary assumption of risk, societal benefits accruing from the equitable distribution of available working hours, gender-based inequities related to working hours, and employer responsibilities for protecting individuals who are not employees from the spillover effects of demanding work schedules. (shrink)

Responding to recent concerns about the reliability of the published literature in psychology and other disciplines, we formed the X-Phi Replicability Project to estimate the reproducibility of experimental philosophy. Drawing on a representative sample of 40 x-phi studies published between 2003 and 2015, we enlisted 20 research teams across 8 countries to conduct a high-quality replication of each study in order to compare the results to the original published findings. We found that x-phi studies – as represented in our sample (...) – successfully replicated about 70% of the time. We discuss possible reasons for this relatively high replication rate in the field of experimental philosophy and offer suggestions for best research practices going forward. (shrink)

C.S. Peirce's and Isaac Levi's accounts of the belief-doubt-belief model are discussed and evaluated. It is argued that the contemporary study of belief change has metamorphosed into a branch of philosophical logic where empirical considerations have become obsolete. A case is made for reformulations of belief change systems that do allow for empirical tests. Last, a belief change system is presented that (1) uses finite representations of information, (2) can adequately deal with inconsistencies, (3) has finite operations of change, (4) (...) can do without extra-logical elements, and (5) only licenses consistent beliefs. (shrink)

Two issues are addressed in this commentary: the universality and the “psychological reality” of locus equations as cues to place of articulation. Preliminary data collected in our laboratory suggest that locus equations do not reliably distinguish place of articulation for fricatives. Additionally, perception studies show that listeners can identify place of articulation based on much less temporal information than that required for deriving locus equations.

There is a growing discourse on “new sincerity,” and related terms like “quirky” and “metamodernism,” as a movement or sensibility in contemporary cinema developing from the late 1990s onward, exemplified by the work of filmmakers such as Wes Anderson and Charlie Kaufman. However, what this new concept means in the context of cinema has so far remained under-defined and requires further philosophical analysis. This article provides such an analysis by offering a reconceptualization of Jean-Paul Sartre's existentialist-phenomenological notions of good faith (...) and sincerity, which will be connected to developments in film and elaborated in relation to Frances Ha. I propose, against Sartre's own preference for the problematic term “authenticity,” to understand sincerity as the reflective resumption of good faith's pre-reflective acceptance of human-reality. This conception of sincerity as reflective allows us to accurately understand the combination of self-awareness and affirmation that characterizes new sincerity cinema: its self-awareness does not serve the postmodernist strategy of endless self-ironization; instead, its portrayals affirm the meaningfulness of its filmic reality, while also being aware of film as a medium. An analysis of Frances Ha illustrates how this concept of sincerity might be seen to function both on the level of story world, characters and themes, and on that of narrative structure and audio-visual style, thereby showing how we can meaningfully speak of sincerity in and of film. (shrink)

Every truth-functional three-valued propositional logic can be conservatively translated into the modal logic S5. We prove this claim constructively in two steps. First, we define a Translation Manual that converts any propositional formula of any three-valued logic into a modal formula. Second, we show that for every S5-model there is an equivalent three-valued valuation and vice versa. In general, our Translation Manual gives rise to translations that are exponentially longer than their originals. This fact raises the question whether there are (...) three-valued logics for which there is a shorter translation into S5. The answer is affirmative: we present an elegant linear translation of the Logic of Paradox and of Strong Three-valued Logic into S5. (shrink)

RÉSUMÉ: On invoque souvent la responsabilité morale des compagnies pharmaceutiques lorsqu’il s’agit de réfléchir aux difficultés qu’affrontent les pays en voie de développement en matière d’acces aux médicaments. Dans cet article, je désire faire la critique d’une stratégie d’attribution de la responsabilité morale aux compagnies pharmaceutiques selon laquelle cette responsabilité proviendrait de leur statut similaire à celui d’agents moraux individuels. Je proposerai ensuite une autre stratégie qui lie la responsabilité des entreprises à leurs fonctions en utilisant une distinction entre fonctions (...) organisationnelles et fonctions occupationnelles. Malgré son intérêt, le succès mitigé de cette proposition me conduira à remettre en question la pertinence de l’attribution ciblée d’une responsabilité aux compagnies pharmaceutiques.ABSTRACT: The moral responsibility of pharmaceutical companies is often invoked when discussing the difficulties faced by developing countries regarding their access to medication. In this article, I wish to criticize one strategy of attributing responsibility to pharmaceuticals, according to which moral responsibility originates from the analogy between enterprise and individual moral agent. I will propose an alternative strategy linking responsibility to the functions of the enterprise using a distinction between the organizational and occupational functions of a pharmaceutical company. Despite its interest, the mitigated success of this proposition will bring me to reconsider the overall relevance of attributing, in such a targeted manner, moral responsibility to pharmaceuticals. (shrink)

Cet article explicite une distinction entre deux sens du lien social : un sens de lien fonctionnel, qui ne s’applique qu’à ses aspects physiques ou biologiques, et un sens de lien civil, qui s’applique à la capacité des sujets sociaux de concevoir et évaluer leur propre vie matérielle et biologique du point de vue sémantique et moral. Partant du problème du lien et de la coopération sociale tel qu’il est posé dans l’ouvrage de Durkheim, La division du travail social, l’article (...) présente ensuite les principaux éléments d’une « théorie du lien civil » et sa contribution éventuelle à l’explication de la coopération sociale, en situant cette approche par rapport au paradigme bio-anthropologique contemporain.This paper makes explicit a distinction between two meanings of social link : a functional meaning which concerns only the physical or biological components ; and a civil meaning which concerns the ability of social agents to conceive and evaluate their own physical and biological life from a semantic and moral point of view. The paper stems from the problem of social cooperation in Durkheim’s book : La division du travail social, and then presents the main elements of a « theory of civil link » and its contribution to the explanation of social cooperation. It also clarifies the relations between the theory of civil link and the contemporary bio-anthropological paradigm. (shrink)

The branch of philosophical logic which has become known as “belief change” has, in the course of its development, become alienated from its epistemological origins. However, as formal criteria do not suffice to defend a principled choice between competing systems for belief change, we do need to take their epistemological embedding into account. Here, on the basis of a detailed examination of Isaac Levi's epistemology, we argue for a new direction of belief change research and propose to construct systems for (...) belief change that can do without, but do not rule out, selection functions, in order to enable an *empirical* assessment of the relative merits of competing belief change systems. (shrink)

Levi, setting out to formalize Peirce's and Dewey's *belief-doubt-belief*-model, took the lead in defining the field of philosophical logic that has become known as *belief change*. First, Levi's theory of knowledge is placed within the context of American pragmatism. A discussion follows of Levi's criteria under which a change of belief must be judged an improvement. In the final section, a critical evaluation of Levi's logical epistemology opens new venues for logical and epistemological inquiry.

In the 1930s, several members of the Vienna Circle set out to incorporate psychology in the unity of science, by showing that all cognitively significant sentences of psychology can be translated into the language of physics. This epistemological analysis of psychology has become known as logical behaviourism. Carnap was the first logical empiricist to expound this programme in considerable detail. Relying on his particular notion of protocol languages, Carnap develops a view on the philosophy of psychology that not only is (...) thoroughly physicalistic, but also shows due appreciation to 'introspection' as a purely subjective, but reliable way to verify sentences about one's own mind. Second, contrary to the received view on logical behaviourism, Carnap's philosophy of psychology not only takes into account overt behaviour, but micro-physiological processes as well. Last, Carnap's physicalistic philosophy of mind couples full awareness of the changeability of scientific knowledge with the aspiration to develop a philosophy of psychology that really does justice to this changeability. (shrink)

We investigate the genesis of metaphysical physicalism and its influence on the development of Place's, Smart's, and Armstrong's ideas on the relation between the mental and the physical. We first reconstruct the considerations that led Armstrong and Smart to a 'scientific' world view. We call 'metaphysical physicalism' the comprehensive theory on reality, truth, and meaning which ensued from this world view. Against the background of this metaphysical physicalism we study Armstrong's and Smart's analyses of secondary properties and the genesis of (...) their identity theories of mind and matter. We argue that fundamental revisions in Smart's theories on colour and consciousness were driven by his aspiration to fully work out the philosophical consequences of metaphysical physicalism. Finally, we briefly consider the role metaphysical physicalism has played in twentieth-century philosophy of mind. (shrink)

Empathy can be viewed as an intervening variable to explain complex webs of causation between multiple factors and the resulting responses. The mediating role of emotion, implicit in the concept of an intervening variable, can be at the basis of the flexibility of empathic responses. Knowledge of the underlying neurophysiological mechanisms is needed for empathy to be considered as a biologically functional intervening variable.

In the 1930s, Carnap set out to incorporate psychology into the unity of science, by showing that all cognitively meaningful sentences of psychology can be translated into the language of physics. I will argue that Carnap, relying on his notion of protocol languages, defends a physicalistic philosophy of psychology that shows due appreciation to 'introspection' as a strictly subjective, but reliable way to verify sentences about one’s own mind. Second, I will point out that Carnap’s philosophy of psychology not only (...) takes into account overt behaviour, but must comprise neurophysiological processes as well. Last, I will show that Carnap aims to develop a philosophy of psychology that does justice to the ongoing changeability of scientific knowledge. (shrink)

This paper is concerned with a natural deduction system for First Degree Entailment (FDE). First, we exhibit a brief history of FDE and of combined systems whose underlying idea is used in developing the natural deduction system. Then, after presenting the language and a semantics of FDE, we develop a natural deduction system for FDE. We then prove soundness and completeness of the system with respect to the semantics. The system neatly represents the four-valued semantics for FDE.

The term "false memories" has been used to refer to suggestibility experiments in which whole events are apparently confabulated and in media accounts of contested memories of childhood abuse. Since 1992 psychologists have increasingly used the term "false memory" when discussing memory errors for details, such as specific words within word lists. Use of the term to refer to errors in details is a shift in language away from other terms used historically (e.g., "memory intrusions"). We empirically examine this shift (...) in language and discuss implications of the new use of the term "false memories." Use of the term presents serious ethical challenges to the data-interpretation process by encouraging over-generalization and misapplication of research findings on word memory to social issues. (shrink)

In order to come to grips with Peirce's definition of truth as the ideal limit of inquiry, I give a succinct exposition of Peirce's theory of inquiry and his philosophical logic, paying attention to several types of reasoning and their interrelations. Subsequently, the arguments of a contemporary apologist of Peirce's notion of truth, C.J. Misak, are subjected to a scrutiny and found to be insufficient, as the principle of bivalence is defended improperly and, as a Peircean definition of truth, turns (...) out to be incompatible with a pragmatist epistemology. (shrink)

Most countries have been struggling with the spread of the COVID-19 pandemic imposing social isolation on their citizens. However, this measure carried risks for people's mental health. This study evaluated the psychological repercussions of objective isolation in 1,006 Italians during the first, especially strict, lockdown in spring 2020. Although varying for the regional spread-rate of the contagion, results showed that the longer the isolation and the less adequate the physical space where people were isolated, the worse the mental health. Offline (...) social contacts buffered the association between social isolation and mental health. However, when offline contacts were limited, online contacts seemed crucial in protecting mental health. The findings inform about the potential downsides of the massive social isolation imposed by COVID-19 spread, highlighting possible risk factors and resources to account for implementing such isolation measures. Specifically, besides some known factors such as physical space availability, the local contagion rate is critical in moderating the link between social isolation and mental health issues, supporting national policies implementing regional tiers of restriction severity. (shrink)