Throughout the centuries, the doctrine of divine simplicity laid at the heart of Christian theology. In Thomas Aquinas’ mature thought, simplicity occupies a privileged place among other attributes of God. A simple simple being is a being that does not consist of any parts or constituents. God’s being simple means that he does not exhibit any of the seven types of composition. The arguments that serve as the justification for this thesis can be divided into four groups which I labeled: (...) the argument from the lack of potentiality, the argument from the priority of parts to the whole, the argument from the anterior maker and the argument from perfection. All of them begin with identifying God with the first cause of all things and add other premises that are specific to them. The first argument — that the first cause does not have potentiality and every composite being does have it. The second — that everything that is composite depends on it’s parts while the first cause is not dependent upon anything. The third — that every composite being needs a cause or explanation and the first cause has neither. The fourth — that the first cause is a perfectly good being and such a being cannot be composite. The analyses that were conducted show that the first two reasonings seem to be unsound. The third of the arguments provides a fine justification for the thesis in question. The fourth may serve as an additional, but weaker justification for it. (shrink)

Somatic diversification of antigen receptor genes depends on the activity of enzymes whose homologs participate in a mutagenic DNA repair in unicellular species. Indeed, by engaging error-prone polymerases, gap filling molecules and altered mismatch repair pathways, lymphocytes utilize conserved components of genomic stress response systems, which can already be found in bacteria and archaea. These ancient systems of mutagenesis and repair act to increase phenotypic diversity of microbial cell populations and operate to enhance their ability to produce fit variants during (...) stress. Coopted by lymphocytes, the ancient mutagenic processing systems retained their diversification functions instilling the adaptive immune cells with enhanced evolvability and defensive capacity to resist infection and damage. As reviewed here, the ubiquity and conserved character of specialized variation-generating mechanisms from bacteria to lymphocytes highlight the importance of these mechanisms for evolution of life in general. (shrink)

Philosophy of immunology is a subfield of philosophy of biology dealing with ontological and epistemological issues related to the studies of the immune system. While speculative investigations and abstract analyses have always been part of immune theorizing, until recently philosophers have largely ignored immunology. Yet the implications for understanding the philosophical basis of organismal functions framed by immunity offer new perspectives on fundamental questions of biology and medicine. Developed in the context of history of medicine, theoretical biology, and medical anthropology, (...) philosophy of immunology differs from these related branches of study in its focus on traditional philosophical questions concerning identity, individuality, ecology, cognition, scientific methodology and theory construction. This broad agenda derives from immunology’s multifaceted research program that has developed from its initial clinical challenges of host defense, transplantation, autoimmunity, tumor immunology, and allergy. In addition to these well-established research areas, immunity is now understood to play a central role in other physiological functions, development, ecology, and evolutionary mechanics. Holding together these diverse domains of inquiry lie philosophical commitments oriented by organismal identity. In this regard, pertinent issues are raised concerning cognition (organization of immune perception and information processing), the character of individuality (framed by the ecological context of immune-mediated assimilation and rejection), and the dynamics of complex systems (understood as holistic systems biology). Indeed, immunology, in the context of cognitive science, evolutionary biology, environmental sciences, and development provides multi-focal perspectives for philosophy of science. (shrink)

We show, under the assumption that factoring is hard, that a model of PV exists in which the polynomial hierarchy does not collapse to the linear hierarchy; that a model of S21 exists in which NP is not in the second level of the linear hierarchy; and that a model of S21 exists in which the polynomial hierarchy collapses to the linear hierarchy. Our methods are model-theoretic. We use the assumption about factoring to get a model in which the weak (...) pigeonhole principle fails in a certain way, and then work with this failure to obtain our results. As a corollary of one of the proofs, we also show that in S21 the failure of WPHP (for Σb1 definable relations) implies that the strict version of PH does not collapse to a finite level. (shrink)

The extent to which normal (nonmalignant) cells of the body can evolve through mutation and selection during the lifetime of the organism has been a major unresolved issue in evolutionary and developmental studies. On the one hand, stable multicellular individuality seems to depend on genetic homogeneity and suppression of evolutionary conflicts at the cellular level. On the other hand, the example of clonal selection of lymphocytes indicates that certain forms of somatic mutation and selection are concordant with the organism-level fitness. (...) Recent DNA sequencing and tissue physiology studies suggest that in addition to adaptive immune cells also neurons, epithelial cells, epidermal cells, hematopoietic stem cells and functional cells in solid bodily organs are subject to evolutionary forces during the lifetime of an organism. Here we refer to these recent studies and suggest that the expanding list of somatically evolving cells modifies idealized views of biological individuals as radically different from collectives. (shrink)

This paper argues, against the prevailing view, that consent to privacy policies that regular internet users usually give is largely unproblematic from the moral point of view. To substantiate this claim, we rely on the idea of the right not to know (RNTK), as developed by bioethicists. Defenders of the RNTK in bioethical literature on informed consent claim that patients generally have the right to refuse medically relevant information. In this article we extend the application of the RNTK to online (...) privacy. We then argue that if internet users can be thought of as exercising their RNTK before consenting to privacy policies, their consent ought to be considered free of the standard charges leveled against it by critics. (shrink)

Modifying the methods of Z. Adamowicz's paper Herbrand consistency and bounded arithmetic [3] we show that there exists a number n such that ⋃m Sm (the union of the bounded arithmetic theories Sm) does not prove the Herbrand consistency of the finitely axiomatizable theory $S_{3}^{n}$.

It is a well-known fact that mathematics plays a crucial role in physics; in fact, it is virtually impossible to imagine contemporary physics without it. But it is questionable whether mathematical concepts could ever play such a role in psychology or philosophy. In this paper, we set out to examine a rather unobvious example of the application of topology, in the form of the theory of persons proposed by Kurt Lewin in his Principles of Topological Psychology. Our aim is to (...) show that this branch of mathematics can furnish a natural conceptual system for Gestalt psychology, in that it provides effective tools for describing global qualitative aspects of the latter’s object of investigation. We distinguish three possible ways in which mathematics can contribute to this: explanation, explication and metaphor. We hold that all three of these can be usefully characterized as throwing light on their subject matter, and argue that in each case this contrasts with the role of explanations in physics. Mathematics itself, we argue, provides something different from such explanations when applied in the field of psychology, and this is nevertheless still cognitively fruitful. (shrink)

The immune system does not just fight pathogens but also engages in interactions with beneficial microbes and non-immune cells of the body to harmonize their behavior by means of cytokines, antibodies and effector cells (Dinarello, 2007; Moticka, 2015, pp. 217e226, 261e267). However, the importance of these “housekeeping” functions has not been fully appreciated (Cohen, 2000). In his new book Immunity: The Evolution of an Idea Alfred I. Tauber traces the history of fundamental ideas in immunology and refers to recent advances (...) in the field to overturn the notion that immunity is the ability of an autonomous organism to protect itself against pathogens. Indeed, as suggested by the author, the autonomy of the organism is illusive because individuals develop as holobionts: functionally integrated multispecies consortia (p. 98). Similarly, he suggests that pathogenicity also emerges from the lack of subordination of a microbe to social welfare of the holobiont rather than from context-independent properties of this organism (pp. 165, 181). Emphasizing the contextual character of the parasite and the host, Tauber redefines immunity as an active process of coordination of a cellular ecosystem, which allows this collective to navigate through challenges of the environment and to face demands of the communal living (pp. 10e16). From this point of view, the failure to modulate intercellular interactions by the immune system entails mitigating immunity and impairing resistance to infection and disease (pp. 103e104). Immunity is a groundbreaking work establishing a new framework for understanding the function and activity of the immune system. Its value also lies in the fact that it serves as an important stepping-stone towards an integrated philosophical, ecological and immunological study of our embedment in the microbial world. (shrink)

The following article challenges the traditional reading of the Rural Dionysia scene in Aristophanes’ Acharnians. It is often assumed that the text contains a reference to an animal sacrifice, which is arguably absent from this comedy. Moreover, the vast majority of scholars claim that the lines 244 ff. were uttered after the procession of worshippers reached the altar in the orchestra. However, as I argue, these verses were most probably spoken by the characters in front of the door of the (...) comic hero’s house and only subsequently did the procession form and move towards the altar. (shrink)

The history of relationship between faith and reason is marked by four models of the interaction between science and theology proposed by Ian G. Barbour: conflict, independence, dialogue and integration. Even if nineteenth-century positivism is still present in many scientists’ minds, philosophy of science eventually managed to overcome it in the 1960s. A mutual distrust between faith and reason started to disappear. In this context Fr. Michał Heller presented a project of a new discipline – the theology of science which (...) would look at the boundaries of the natural sciences from the theological point of view. According to Fr. Wojciech Giertych the adequate model of relationship between faith and reason can be based theologically on Chalcedonian Christology of Jesus’ two natures. Since reason and faith come together unconfusedly and inseparably in a human being, a mutual dialogue and even integration between theology and science is by all means possible. (shrink)

The subject of this article in an analysis of the globalisation process in economic and social areas. The author describes the main spheres of globalisation such as economic and political integration, the declining role of nation states, cultural homogenisation and the increasing significance of transnational corporations. The advantages and disadvantages of globalisation are discussed. The author also indicates differences between regions that benefit from globalisation. The article tries to answer questions whether globalisation is a desirable process and what it should (...) be like to bring more benefits than losses. (shrink)

Yuri Gagarin has started the first time in human history the manned mission in space when his Vostok aircraft successfully achieved Earth orbit in 1961. Since his times, human space programs did not develop too much, and the biggest achievement still remain landing on the Moon. Despite this stagnation, there are serious plans to launch manned mission to Mars including human space settlement. In out paper, we are going to identify and discuss a couple of challenges that – in our (...) opinion – will be a domain of every human deep-space program. (shrink)

Having been involved in a slew of recent scandals, many of the world’s largest technology companies embarked on devising numerous codes of ethics, intended to promote improved standards in the conduct of their business. These efforts have attracted largely critical interdisciplinary academic attention. The critics have identified the voluntary character of the industry ethics codes as among the main obstacles to their efficacy. This is because individual industry leaders and employees, flawed human beings that they are, cannot be relied on (...) voluntarily to conform with what justice demands, especially when faced with powerful incentives to pursue their own self-interest instead. Consequently, the critics have recommended a suite of laws and regulations to force the tech companies to better comply with the requirements of justice. At the same time, they have paid little attention to the possibility that individuals acting within the political context, e.g. as lawmakers and regulators, are also imperfect and need not be wholly compliant with what justice demands. This paper argues that such an omission is far from trivial. It creates a heavy argumentative burden on the part of the critics that they by and large fail to discharge. As a result, the case for Big Tech regulation that emerges from the recent literature has substantial lacunae and more work needs to be done before we can accept the critics’ calls for greater state involvement in the industry. (shrink)

Is it wrong to distract? Is it wrong to direct others’ attention in ways they otherwise would not choose? If so, what are the grounds of this wrong – and, in expounding them, do we have to at once condemn large chunks of contemporary digital commerce (also known as the attention economy)? In what follows, I attempt to cast light on these questions. Specifically, I argue – following the pioneering work of Jasper Tran and Anuj Puri – that there is (...) a right to attention, and that its existence underlies some of our claims regarding the wrongness of distractions. However, I depart from both these authors in two respects: first, I present a new way of deriving the right to attention, grounding it in the more fundamental right to mental integrity. Second, I remain agnostic on whether the contemporary business practices of capturing attention in exchange for a variety of digital products and services are plagued by routine violations of the right. (shrink)

The article aims to analyse the thought of Edward Abramowski – a Polish philosopher, pioneer of psychology and theorist of the socialist cooperative movement. It attempts to reconstruct the impact that his social thought and his philosophical anthropology have had on the political activity of Polish cooperativism. In keeping with Michael Freeden’s thesis that an ideologist translates philosophical concepts into political practice, the author sees Abramowski as a thoroughly modern thinker who opened an alternative ideological path to the great political (...) narratives of the day. The article points out the originality of the Polish philosopher’s proposition for the socialist movement, the goal being to achieve the political emancipation of the popular classes through economic activity undertaken by grassroots cooperatives operating outside state structures. The philosophical-sociological concept of ‘fraternity’ or ‘pure socialization’ leads Abramowski to formulate a doctrine of ‘stateless socialism’, in which popular political organizations use primordial, human-based cooperation to create new opportunities for community life. The last parts of the article show links between Abramowski's concepts and the modern school of commoning. The aim of this comparison is to show the doctrine of cooperativism can make a contribution to determining the political stakes of contemporary conflicts regarding biopolitical subjectivity. (shrink)

Streszczenie: Idea sacrum w lirycznej twórczości Dariusza Dekańskiego to konglomerat wielu składowych. Zarówno rzeczywistości konsystencjalnej, jak i tej sensytywnej – wyobrażonej, percypowanej na drodze synestezji. W prezentowanym artykule, pełniącym rolę asumptu do dalszych badań nad poetycką aktywnością autora Saudade, zwrócono szczególną uwagę na więź człowieka z Bogiem, kontakt z sacrum, przejawiającymi się w wewnętrznych przeżyciach podmiotu lirycznego, bezustannie szukającego swojego miejsca w świecie. Aby zbliżyć się do zrozumienia działań bohatera tej poezji wykorzystano przede wszystkim instrumentarium oferowane przez metodologie badań sacrum.

Poetycka twórczość Zdzisława Dębickiego to przykład pisarstwa korzystającego z różnych poetyk, co przejawiało się w wielorakim charakteryzowaniu składających się na nią przestrzeni. Autor Nocy bezsennych, uważany za poetę minorum gentium, umiejętnie wykorzystywał literackie dokonania ówczesnych poetów, powołując do istnienia obszary, pełniące jednocześnie funkcję ekspresji własnej podmiotowości artystycznej. Czytanie liryków Dębickiego pozwala na zestawienie intymnych zwierzeń podmiotu lirycznego z ogołoconą z bogactwa opisu pustą przestrzenią. Przestrzeń, jako jedna z kategorii epistemologiczno-ontologicznych, nie jest dla poety jedynie narzędziem służącym tworzeniu atrakcyjnego obrazka, ale (...) przede wszystkim stanowi asumpt do dociekań poznawczych. (shrink)

The idea that the immune system distinguishes between self and non-self was one of the central assumptions of immunology in the second half of 20 th century. This idea influenced experimental design and data interpretation. However, in the face of new evidence there is a need for a new conceptual framework in immunology.

Central to vaccination-induced responses, antibodies are suggested by Vaz to operate as observer-dependent entities that owe their status to categorization schemes of immunologists. Inspired by color research by Maturana, he argues that antibodies should be distinguished from immunoglobulins, which unlike the former can be considered as constituents of structural dynamics of an organism, products of millions of years of evolution. However, a deeper understanding of the historical roots of the concept of immunoglobulin and associated “languaging” and naming processes reveals that (...) immunoglobulins, as much as antibodies, are contingent on conceptual schemes of immunology. (shrink)

We show that the arithmetical theory -INDx5, formalized in the language of Buss, i.e. with x/2 but without the MSP function x/2y, does not prove that every nontrivial divisor of a power of 2 is even. It follows that this theory proves neither NP=coNP nor.

It has long been taken for granted that the immune system’s capacity to protect an individual from infection and disease depends on the power of the system to distinguish between self and nonself. However, accumulating data have undermined this fundamental concept. Evidence against the self/nonself discrimination model left researchers in need of a new overarching framework able to capture the immune system’s reactivity. Here, I highlight that along with the self/nonself model, another powerful representation of the immune system’s reactivity has (...) been developed in the twentieth century immunology. According to this alternative view, the immune system is not a killer of nonself strangers but a peace-maker helping to establish harmony with the environment. The balance view of the system has never become part of the dominant paradigm. However, it is gaining more and more currency as new research develops. Advances in mucosal immunology confirm that instead of distinguishing between self and foreign the immune system reacts to microbial, chemical and self-induced alterations to produce responses that counterbalance effects of these changes. (shrink)

We study the long-standing open problem of giving$\forall {\rm{\Sigma }}_1^b$separations for fragments of bounded arithmetic in the relativized setting. Rather than considering the usual fragments defined by the amount of induction they allow, we study Jeřábek’s theories for approximate counting and their subtheories. We show that the$\forall {\rm{\Sigma }}_1^b$Herbrandized ordering principle is unprovable in a fragment of bounded arithmetic that includes the injective weak pigeonhole principle for polynomial time functions, and also in a fragment that includes the surjective weak pigeonhole (...) principle for FPNPfunctions. We further give new propositional translations, in terms of random resolution refutations, for the consequences of$T_2^1$augmented with the surjective weak pigeonhole principle for polynomial time functions. (shrink)

The immune system, to protect the body, must discriminate between the pathogenic and non-pathogenic microbes and respond to them in different ways. How the mucosal immune system manages to make this distinction is poorly understood. We suggest here that the distinction between pathogenic and non-pathogenic microbes is made by an integrated system rather than by single types of cells or single types of receptors; a systems biology approach is needed to understand immune recognition.

We prove that any proof of a [Formula: see text] sentence in the theory [Formula: see text] can be translated into a proof in [Formula: see text] at the cost of a polynomial increase in size. In fact, the proof in [Formula: see text] can be obtained by a polynomial-time algorithm. On the other hand, [Formula: see text] has nonelementary speedup over the weaker base theory [Formula: see text] for proofs of [Formula: see text] sentences. We also show that for (...) [Formula: see text], proofs of [Formula: see text] sentences in [Formula: see text] can be translated into proofs in [Formula: see text] at a polynomial cost in size. Moreover, the [Formula: see text]-conservativity of [Formula: see text] over [Formula: see text] can be proved in [Formula: see text], a fragment of bounded arithmetic corresponding to polynomial-time computation. For [Formula: see text], this answers a question of Clote, Hájek and Paris. (shrink)

D’Aquino et al. (J Symb Log 75(1):1–11, 2010) have recently shown that every real-closed field with an integer part satisfying the arithmetic theory IΣ4 is recursively saturated, and that this theorem fails if IΣ4 is replaced by IΔ0. We prove that the theorem holds if IΣ4 is replaced by weak subtheories of Buss’ bounded arithmetic: PV or $${\Sigma^b_1-IND^{|x|_k}}$$. It also holds for IΔ0 (and even its subtheory IE 2) under a rather mild assumption on cofinality. On the other hand, it (...) fails for the extension of IOpen by an axiom expressing the Bézout property, even under the same assumption on cofinality. (shrink)

Abstractabstract:The aim of this article is to analyze the close relation between social theory (“sociological phenomenalism”) and the political ideology of the Polish thinker Edward Abramowski. Abramowski’s “applied sociology” involved: (1) the sociology of “fraternity,” examining basic forms of socialization; (2) combining social revolution with ethical self-improvement; and (3) the dissemination of “social laboratories” through the development of a network of cooperatives. As “experiments of the will,” the cooperatives allowed Abramowski to combine science, imagination, and ethics in a coherent project (...) of political utopia-building, extending the possible forms of community. Finally, the article shows that in Abramowski’s case, the meaning of utopia as an element embedded in a wide range of political practices derives from his vision of social science. Due to the influence that Abramowski’s thought had on political reality in Poland, the concept of “experimental” utopia entered the vocabulary of modern social sciences in Poland for good. (shrink)

Abstract:Non-anthropocentric approaches to environmental ethics face problems that cannot be resolved within a holistic framework of natural value since such frameworks posit abstract and general properties as the bearers of intrinsic value and thus ignore the moral claims of individual organisms. Two paradigm examples of such approaches, Aldo Leopold's Land Ethic and Arne Neass' Deep Ecology suffer from this problem. Christine Korsgaard's argument for the conceptual separation of intrinsic and instrumental valuing, however, serves as a strong theoretical grounding for a (...) reconceptualization of the value of nature, which can best be described as an enlightened anthropocentrism, while preserving the spirit of Leopold's and Naess' proposals. (shrink)

Advocates of the computational theory of mind claim that the mind is a computer whose operations can be implemented by various computational systems. According to these philosophers, the mind is multiply realisable because—as they claim—thinking involves the manipulation of syntactically structured mental representations. Since syntactically structured representations can be made of different kinds of material while performing the same calculation, mental processes can also be implemented by different kinds of material. From this perspective, consciousness plays a minor role in mental (...) activity. However, contemporary neuroscience provides experimental evidence suggesting that mental representations necessarily involve consciousness. Consciousness does not only enable individuals to become aware of their own thoughts, it also constantly changes the causal properties of these thoughts. In light of these empirical studies, mental representations appear to be intrinsically dependent on consciousness. This discovery represents an obstacle to any attempt to construct an artificial mind. (shrink)

The Metaphysics of Cooperation presents the intellectual achievements of the Polish associative socialist and pioneer of social sciences, Edward Abramowski. The volume is divided into five sections, each of them contains an analysis of Polish philosopher's work according to the issues he dealt with: sociology, ethics, politics, cooperativism, and psychology. Each part also contains a selection of his writings. Its intention is to show Abramowski's works in the context of global intellectual history and to include them in the current political (...) debates. Abramowski makes fraternity or cooperation the main concepts of his social metaphysics. The Polish version of cooperativism can be inspiring both for contemporary researchers and political activists in the post-economic-crisis Europe. It also opens up a space for creating more democratic political and economic institutions. (shrink)

This paper offers a critical review of the notion of a “singular cognitive role”, which is central to some recent theories of singular thought. According to those theories, whether a thought is singular depends on the role it plays in the subject’s cognitive activity. We compare the two most developed accounts of this type: Crane’s :21–43 2011, The Objects of Thought2013) and Jeshion’s. Both theories aim to capture the notion of a singular cognitive role in terms of mental files. We (...) argue that Jeshion’s theory is much more promising as it provides a more detailed and non-circular characterization of the mental files responsible for singular thinking. We examine the prospects for enhancing that account in light of three major concerns about it present in the literature. First, we discuss whether the weakest aspect of the whole proposal, i.e. the condition for the initiation of mental files, can be replaced without debilitating the rest of the theory. Second, we examine Goodman’s : 437–461 2014, The Philosophical Quarterly2015) argument against mental file theories of singular thought and show that it does not affect Jeshion’s account. Third, we argue against Sawyer :264–283 2012) that Jeshion’s notion of a singular cognitive role is in strong opposition to acquaintance-based theories of singular thought and cannot be incorporated into any of them. Thus, the paper concludes that Jeshion’s proposal, despite its shortcomings, is currently the most promising account of a singular cognitive role. (shrink)

David Lewis cautions that although a no-collapse interpretation of quantum mechanics entails immortality for trans-world selves, the nature of the branching leaves us crippled, lonely, deathly ill, and mentally infirm, meaning that immortal life, on such terms, amounts to an existence in eternal torment. This paper argues that the problem Lewis points to is in fact one of individuation and that a synthesis of Lewis’ own notion of perdurance and Robert Nozick’s closest continuer theory, when cast in the mould of (...) a deterministic multiverse, individuates trans-world selves in such a way as to allow to prune the infinitesimal expectation of a miserable eternal existence from the histories of most trans-world agents. Thus, contrary to Lewis’ warning that if personal identity is a trans-world notion, then we should all shake in our shoes, this paper argues that even if we are trans-world selves, we almost certainly have nothing to worry about. (shrink)

It might become possible to build artificial minds with the capacity for experience. This raises a plethora of ethical issues, explored, among others, in the context of whole brain emulations (WBE). In this paper, I will take up the problem of vulnerability – given, for various reasons, less attention in the literature – that the conscious emulations will likely exhibit. Specifically, I will examine the role that vulnerability plays in generating ethical issues that may arise when dealing with WBEs. I (...) will argue that concerns about vulnerability are more matters of institutional design than individual ethics, both when it comes to creating humanlike brain emulations, and when animal-like emulations are concerned. Consequently, the article contains reflection on some institutional measures that can be taken to protect the sims' interests. It concludes that an institutional framework more likely to succeed in this task is competitive and poly-centric, rather than monopolistic and centralized. (shrink)

Originating in the work of Ernst Haeckel and Wilhelm Preyer, and advanced by a Prussian embryologist, Wilhelm Roux, the idea of struggle for existence between body parts helped to establish a framework, in which population cell dynamics rather than a predefined harmony guides adaptive changes in an organism. Intended to provide a causal-mechanical view of functional adjustments in body parts, this framework was also embraced later by early pioneers of immunology to address the question of vaccine effectiveness and pathogen resistance. (...) As an extension of these early efforts, Elie Metchnikoff established an evolutionary vision of immunity, development, pathology, and senescence, in which phagocyte-driven selection and struggle promote adaptive changes in an organism. Despite its promising start, the idea of somatic evolution lost its appeal at the turn of the twentieth century giving way to a vision, in which an organism operates as a genetically uniform, harmonious entity. (shrink)

Journal of Applied Philosophy, EarlyView.

In “Accepting Moral Responsibility for the Actions of Autonomous Weapons Systems—a Moral Gambit” (2022), Mariarosaria Taddeo and Alexander Blanchard answer one of the most vexing issues in current ethics of technology: how to close the so-called “responsibility gap”? Their solution is to require that autonomous weapons systems (AWSs) may only be used if there is some human being who accepts the ex ante responsibility for those actions of the AWS that could not have been predicted or intended (in such cases, (...) the human being takes what the authors call the “moral gambit”). The authors then propose several institutional safeguards to implement in order to ensure that the moral gambit is taken in a fair and just way. This paper explores this suggestion in the context of the institutional settings within which AWSs are most likely to be deployed. It raises some concerns as to the feasibility of Taddeo and Blanchard’s proposal, in light of the recent empirical work on the incentive structures likely to exist within militaries. It then presents a potential problem that may arise in case the accountability mechanisms are successfully implemented. (shrink)

We prove that: • if there is a model of I∆₀ + ¬ exp with cofinal Σ₁-definable elements and a Σ₁ truth definition for Σ₁ sentences, then I∆₀ + ¬ exp +¬BΣ₁ is consistent, • there is a model of I∆₀ Ω₁ + ¬ exp with cofinal Σ₁-definable elements, both a Σ₂ and a ∏₂ truth definition for Σ₁ sentences, and for each n > 2, a Σ n truth definition for Σ n sentences. The latter result is obtained by (...) constructing a model with a recursive truth-preserving translation of Σ₁ sentences into boolean combinations of $\exists \sum {\begin{array}{*{20}{c}} h \\ 0 \\ \end{array} } $ sentences. We also present an old but previously unpublished proof of the consistency of I∆₀ + ¬ exp + ¬BΣ₁ under the assumption that the size parameter in Lessan's ∆₀ universal formula is optimal. We then discuss a possible reason why proving the consistency of I∆₀ + ¬ exp + ¬BΣ₁ unconditionally has turned out to be so difficult. (shrink)