While the ethical significance of caregivers in neurological research has increasingly been recognized, the role of caregivers in brain- computer interface (BCI) research has received relatively less attention. Objectives: This report investigates the extent to which caregivers are mentioned in publications describing implantable BCI (iBCI) research for individuals with motor dysfunction, communication impairment, and blindness. Methods: The scoping review was conducted in June 2024 using the PubMed and Web of Science bibliographic databases. The articles were systematically searched using query terms (...) for caregivers, family members, and guardians, and the results were quantitatively and qualitatively analyzed. Results: Our search yielded 315 unique studies, 78 of which were included in this scoping review. Thirty-four (43.6%) of the 78 articles mentioned the study participant’s caregivers. We sorted these into 5 categories: Twenty-two (64.7%) of the 34 articles thanked caregivers in the acknowledgement section, 6 (17.6%) articles described the caregiver’s role with regard to the consent process, 12 (35.3%) described the caregiver’s role in the technical maintenance and upkeep of the BCI system or in other procedural aspects of the study, 9 (26.5%) discussed how the BCI enhanced participant communication and goal-directed behavior with the help of a caregiver, and 3 (8.8%) articles included general comments that did not fit into the other categories but still related to the importance of caregivers in the lives of the research participants. Discussion: Caregivers were mentioned in less than half of BCI studies in this review. The studies that offered more robust discussions of caregivers provide valuable insight into the integral role that caregivers play in supporting the study participants and the research process. Attention to the role of caregivers in successful BCI research studies can help guide the responsible development of future BCI study protocols. (shrink)

Drawing on recent phenomenological discussions of collective intentionality and existential phenomenological accounts of agency, this article proposes a novel interpretation of shared action. First, I argue that we should understand action on the basis of how an environment pre-reflectively solicits agents to behave based on (a) the affordances or goals inflected by their abilities and dispositions and (b) their self-referential commitment to a project that is furthered by these affordances. Second, I show that this definition of action is sufficiently flexible (...) to account for not only individual action (in which both (a) and (b) refer only to an individual) but also several distinct subtypes of shared action. My thesis is that behaviour counts as shared action if and only if it is caused by a solicitation in which either (a) the goals, or (b) the commitments, or both (a) goals and (b) commitments are joint, i.e., depend on several individuals. We thereby get three distinct subtypes of shared actions: (i) jointly coordinated individually committed action, (ii) individually coordinated jointly committed action, and (iii) jointly coordinated jointly committed action. (shrink)

Philosophy &Public Affairs, Volume 51, Issue 2, Page 140-165, Spring 2023.

This is a review of: Newton C.A. da Costa, Logiques Classiques et Non Classiques. Essai sur les Fondements de la Logique. Translated from the Portuguese by Jean-Yves Béziau (with two appendices by the translator) Culture Scientifique, Masson, Paris, 1997, 276p. ISBN 2-225-85247-2.

EN In his “Logic, Language, and Knowledge” Chateaubriand denounces the tyranny of belief , but takes some positions on knowledge and justification which seem to be too exacting. The fact that Chateaubriand derives constraints on the notion of justification by a close parallel to the notion of proof makes it unnecessarily loaded with the individual, rather than with the collective perspective. His position seems to leave little room for common knowledge, collective knowledge and usual common-sense knowledge, and absolutely no room (...) for explaining how people take correct decisions based on apparently faulty notions of knowledge and justification. -/- PT Em “Logic, Language, and Knowledge” Chateaubriand denuncia a tirania da crença , mas toma posições sobre conhecimento e justificação que parecem demasiado exigentes. O fato de Chateaubriand derivar condições sobre a noção de justificação a partir de uma estreita analogia com a noção de prova torna a noção de justiticação desnecessariamente carregada com a perspectiva indivídual, em detrimento da perspectiva coletiva. Sua posição parece deixar pouco espaço para noções como conhecimento comum, conhecimento coletivo e senso comum, e absolutamente nenhum espaço para explicar como as pessoas tomam decisões corretas com base em noções aparentemente errôneas de conhecimento e de justificação. (shrink)

It is no exaggeration to say that of the early 20th century German philosophers who claimed to establish a new ontology, former neo-Kantian turned realist Nicolai Hartmann is the only one to have actually followed through. "Ontology: Laying the Foundations" deals with "what is insofar as it is," and its four parts tackle traditional ontological assumptions and prejudices and traditional categories such as substance, thing, individual, whole, object, and phenomenon; a novel redefinition of existence and essence in terms of (...) the ontological factors Dasein and Sosein and their interrelations; an analysis of modes of "givenness" and the ontological embeddedness of cognition in affective transcendent acts; and a discussion of the status of ideal being, including mathematical being, phenomenological essences, logical laws, values, and the interconnections between the ideal and real spheres. Hartmann’s work offers rich resources for those interested in overcoming the human-centeredness of much 20th century philosophy. Hartmann’s work offers rich resources for those interested in overcoming the human-centeredness of much 20th century philosophy. (shrink)

While the ethical significance of caregivers in neurological research has increasingly been recognized, the role of caregivers in brain- computer interface (BCI) research has received relatively less attention. Objectives: This report investigates the extent to which caregivers are mentioned in publications describing implantable BCI (iBCI) research for individuals with motor dysfunction, communication impairment, and blindness. Methods: The scoping review was conducted in June 2024 using the PubMed and Web of Science bibliographic databases. The articles were systematically searched using query terms (...) for caregivers, family members, and guardians, and the results were quantitatively and qualitatively analyzed. Results: Our search yielded 315 unique studies, 78 of which were included in this scoping review. Thirty-four (43.6%) of the 78 articles mentioned the study participant’s caregivers. We sorted these into 5 categories: Twenty-two (64.7%) of the 34 articles thanked caregivers in the acknowledgement section, 6 (17.6%) articles described the caregiver’s role with regard to the consent process, 12 (35.3%) described the caregiver’s role in the technical maintenance and upkeep of the BCI system or in other procedural aspects of the study, 9 (26.5%) discussed how the BCI enhanced participant communication and goal-directed behavior with the help of a caregiver, and 3 (8.8%) articles included general comments that did not fit into the other categories but still related to the importance of caregivers in the lives of the research participants. Discussion: Caregivers were mentioned in less than half of BCI studies in this review. The studies that offered more robust discussions of caregivers provide valuable insight into the integral role that caregivers play in supporting the study participants and the research process. Attention to the role of caregivers in successful BCI research studies can help guide the responsible development of future BCI study protocols. (shrink)

Many believe that we ought to treat people as individuals and that this form of treatment is in some sense incompatible with treating people as members of groups. Yet, the relation between these two kinds of treatments is elusive. In this paper, we develop a novel account of the normative requirement to treat people as individuals. According to this account, treating people as individuals requires treating people as agents in the appropriate capacity. We call this the Agency Attunement Account. This (...) view has the surprising implication that it’s not only possible to fail in treating people as individuals but also possible to fail in treating people as members of groups, on the presumption that people’s agency is sometimes nested in, and exercised via, agential groups. (shrink)

Assertion plays a crucial dual role in Frege's conception of logic, a formal and a transcendental one. A recurrent complaint is that Frege's inclusion of the judgement-stroke in the Begriffsschrift is either in tension with his anti-psychologism or wholly superfluous. Assertion, the objection goes, is at best of merely psychological significance. In this paper, I defend Frege against the objection by giving reasons for recognising the central logical significance of assertion in both its formal and its transcendental role.

The paper studies a cluster of systems for fully disquotational truth based on the restriction of initial sequents. Unlike well-known alternative approaches, such systems display both a simple and intuitive model theory and remarkable proof-theoretic properties. We start by showing that, due to a strong form of invertibility of the truth rules, cut is eliminable in the systems via a standard strategy supplemented by a suitable measure of the number of applications of truth rules to formulas in derivations. Next, we (...) notice that cut remains eliminable when suitable arithmetical axioms are added to the system. Finally, we establish a direct link between cut-free derivability in infinitary formulations of the systems considered and fixed-point semantics. Noticeably, unlike what happens with other background logics, such links are established without imposing any restriction to the premisses of the truth rules. (shrink)

What is commonly referred to as the Adoption Problem is a challenge to the idea that the principles of logic can be rationally revised. The argument is based on a reconstruction of unpublished work by Saul Kripke. As the reconstruction has it, Kripke extends the scope of Willard van Orman Quine's regress argument against conventionalism to the possibility of adopting new logical principles. In this paper we want to discuss the scope of this challenge. Are all revisions of logic subject (...) to the Adoption Problem? If not, are there significant cases of logical revision that are subject to the Adoption Problem? We will argue that both questions should be answered negatively. (shrink)

Approval Voting offers advantages over other voting systems for single-winner elections. This manuscript analyzes three unique virtues of Approval Voting. First, the procedure does not violate the independence of irrelevant alternatives criterion for rational choice. Second, it prevents manipulation of outcomes through agenda setting. Third, it avoids intransitive majority preference cycles like Condorcet paradoxes and so escapes Arrow’s Impossibility Theorem constraints. As a result of these virtues, which are generally not shared by its best known competitors, Approval voting emerges as (...) a strong option for realizing majoritarian democratic will. (shrink)

The way of laws is as much a defining feature of the modern period as the way of ideas; but the way of laws is hardly without its forks. Both before and after Descartes, there are philosophers using the concept to carve out a very different position from his, one that is entirely disconnected from God or God’s will. I argue that Francis Bacon and Baruch Spinoza treat laws as dispositions that derive from a thing’s nature. This reading upends the (...) currently orthodox treatment of Spinoza’s laws as infinite modes, and calls for a re-conception of his metaphysics of causation. (shrink)

This article introduces and defends the “pathological complexity thesis” as a hypothesis about the evolutionary origins of minimal consciousness, or sentience, that connects the study of animal consciousness closely with work in behavioral ecology and evolutionary biology. I argue that consciousness is an adaptive solution to a design problem that led to the extinction of complex multicellular animal life following the Avalon explosion and that was subsequently solved during the Cambrian explosion. This is the economic trade-off problem of having to (...) deal with a complex body with high degrees of freedom, what I call “pathological complexity.” By modeling the explosion of this computational complexity using the resources of state-based behavioral and life history theory we will be able to provide an evolutionary bottom-up framework to make sense of subjective experience and its function in nature by paying close attention to the ecological lifestyles of different animals. (shrink)

This goal of this thesis in the philosophy of nature is to move us closer towards a true biological science of consciousness in which the evolutionary origin, function, and phylogenetic diversity of consciousness are moved from the field’s periphery of investigations to its very centre. Rather than applying theories of consciousness built top-down on the human case to other animals, I argue that we require an evolutionary bottomup approach that begins with the very origins of subjective experience in order to (...) make sense of the place of mind in nature. To achieve this goal, I introduce and defend the pathological complexity thesis as both a framework for the scientific investigation of consciousness and as a lifemind continuity thesis about the origins and function of consciousness. (shrink)

Since Boorse [Philos Sci 44(4):542–573, 1977] published his paper “Health as a theoretical concept” one of the most lively debates within philosophy of medicine has been on the question of whether health and disease are in some sense ‘objective’ and ‘value-free’ or ‘subjective’ and ‘value-laden’. Due to the apparent ‘failure’ of pure naturalist, constructivist, or normativist accounts, much in the recent literature has appealed to more conciliatory approaches or so-called ‘hybrid accounts’ of health and disease. A recent paper by Matthewson (...) and Griffiths [J Med Philos 42(4):447–466, 2017], however, may bear the seeds for the revival of purely naturalist approach to health and disease. In this paper, I defend their idea of Biological Normativity against recent criticism by Schwartz [J Med Philos Forum Bioethics Philos Med 42(4):485–502, 2017] and hope to help it flower into a revival of naturalist approaches in the philosophy of medicine. (shrink)

The goal of this programmatic paper is to highlight a close connection between the core problem in the philosophy of medicine, i.e. the concept of health, and the core problem of the philosophy of mind, i.e. the concept of consciousness. I show when we look at these phenomena together, taking the evolutionary perspective of modern state-based behavioural and life-history theory used as the teleonomic tool to Darwinize the agent- and subject-side of organisms, we will be in a better position to (...) make sense of them both as natural phenomena. (shrink)

This paper introduces and defends an account of model-based science that I dub model pluralism. I argue that despite a growing awareness in the philosophy of science literature of the multiplicity, diversity, and richness of models and modeling practices, more radical conclusions follow from this recognition than have previously been inferred. Going against the tendency within the literature to generalize from single models, I explicate and defend the following two core theses: any successful analysis of models must target sets of (...) models, their multiplicity of functions within science, and their scientific context and history and for almost any aspect x of phenomenon y, scientists require multiple models to achieve scientific goal z. (shrink)

This book attempts to advance Donald Griffin's vision of the "final, crowning chapter of the Darwinian revolution" by developing a philosophy for the science of animal consciousness. It advocates a Darwinian bottom-up approach that treats consciousness as a complex, evolved, and multidimensional phenomenon in nature rather than a mysterious all-or-nothing property immune to the tools of science and restricted to a single species. -/- The so-called emergence of a science of consciousness in the 1990s has at best been a science (...) of human consciousness. This book aims to advance a true Darwinian science of consciousness in which its evolutionary origin, function, and phylogenetic diversity are moved from the field’s periphery to its very centre, thus enabling us to integrate consciousness into an evolutionary view of life. Accordingly, this book has two objectives: (i) to argue for the need and possibility of an evolutionary bottom-up approach that addresses the problem of consciousness in terms of the evolutionary origins of a new ecological lifestyle that made consciousness worth having and (ii) to articulate a thesis and beginnings of a theory of the place of consciousness as a complex evolved phenomenon in nature that can help us to answer the question of what it is like to be a bat, an octopus, or a crow. -/- A Philosophy for the Science of Animal Consciousness will appeal to researchers and advanced students interested in advancing our understanding of animal minds as well as anyone with a keen interest in how we can develop a science of animal consciousness. (shrink)

This paper introduces new logical systems which axiomatize a formal representation of inconsistency (here taken to be equivalent to contradictoriness) in classical logic. We start from an intuitive semantical account of inconsistent data, fixing some basic requirements, and provide two distinct sound and complete axiomatics for such semantics, LFI1 and LFI2, as well as their first-order extensions, LFI1* and LFI2*, depending on which additional requirements are considered. These formal systems are examples of what we dub Logics of Formal Inconsistency (LFI) (...) and form part of a much larger family of similar logics. We also show that there are translations from classical and paraconsistent first-order logics into LFI1* and LFI2*, and back. Hence, despite their status as subsystems of classical logic, LFI1* and LFI2* can codify any classical or paraconsistent reasoning. (shrink)

In order to develop a true biological science of consciousness, we have to remove humans from the center of reference and develop a bottom-up comparative study of animal minds, as Donald Griffin intended with his call for a “cognitive ethology.” In this article, I make use of the pathological complexity thesis (Veit 2022a, b, c ) to show that we can firmly ground a comparative study of animal consciousness by drawing on the resources of state-based behavioral life history theory. By (...) comparing the different life histories of gastropods and arthropods, we will be able to make better sense of the possible origins of consciousness and its function for organisms in their natural environments. (shrink)

William James advocated a form of finite theism, motivated by epistemological and moral concerns with scholastic theism and pantheism. In this article, I elaborate James’s case for finite theism and his strategy for dealing with these concerns, which I dub the problems of suffering. I contend that James is at the very least implicitly aware that the problem of suffering is not so much one generic problem but a family of related problems. I argue that one of James’s great contributions (...) to philosophical theism is his advocacy for the view that adequate theistic philosophizing is not so much about cracking this family of problems, but finding a version of the problem to embrace. (shrink)

Animal welfare has a long history of disregard. While in recent decades the study of animal welfare has become a scientific discipline of its own, the difficulty of measuring animal welfare can still be vastly underestimated. There are three primary theories, or perspectives, on animal welfare - biological functioning, natural living and affective state. These come with their own diverse methods of measurement, each providing a limited perspective on an aspect of welfare. This paper describes a perspectival pluralist account of (...) animal welfare, in which all three theoretical perspectives and their multiple measures are necessary to understand this complex phenomenon and provide a full picture of animal welfare. This in turn will offer us a better understanding of perspectivism and pluralism itself. (shrink)

The idea that we must move beyond anthropocentrism to overcome interspecies injustice and environmental collapse is widespread within the environmental humanities. Yet, the concept of anthropocentrism remains ambiguous, and so do some of the arguments raised against it. What exactly should we move beyond and why? The article attempts to answer these questions and clarify the merits and limitations of both anthropocentric and post-anthropocentric views within ethics and ontology. This article proposes that although some implausible and morally problematic forms of (...) anthropocentrism should be denounced, there are other ways in which we must remain anthropocentric. The article disambiguates the concept of anthropocentrism and assesses the key arguments against it, before it goes on to outline a minimal form of anthropocentrism that we call ostensive humanism. Ostensive humanism is compatible with many post-anthropocentric ideas but suggests that the ethical and political project aimed at ending interspecies injustice and the climate crisis inevitably points to human beings as its moral addressees. (shrink)

Imagine a world where everyone is healthy, intelligent, long living and happy. Intuitively this seems wonderful albeit unrealistic. However, recent scienti c breakthroughs in genetic engineering, namely CRISPR/Cas bring the question into public discourse, how the genetic enhancement of humans should be evaluated morally. In 2001, when preimplantation genetic diagnosis (PGD) and in vitro fertilisation (IVF), enabled parents to select between multiple embryos, Julian Savulescu introduced the principle of procreative bene cence (PPB), stating that parents have the obligations to choose (...) the child that is expected to have the best life. In this paper I argue that accepting the PPB and the consequentialist principle (CP) that two acts with the same consequences are morally on par, commits one to accepting the parental obligation of genetically enhancing one's children. (shrink)

What is it like to be a bat? What is it like to be sick? These two questions are much closer to one another than has hitherto been acknowledged. Indeed, both raise a number of related, albeit very complex, philosophical problems. In recent years, the phenomenology of health and disease has become a major topic in bioethics and the philosophy of medicine, owing much to the work of Havi Carel (2007, 2011, 2018). Surprisingly little attention, however, has been given to (...) the phenomenology of animal health and suffering. This omission shall be remedied here, laying the groundwork for the phenomenological evaluation of animal health and suffering. (shrink)

Various thinkers have been attempting to align artificial intelligence (AI) with ethics (Christian, 2020; Russell, 2021), the so-called problem of alignment, but some suspect that the problem may be intractable (Yampolskiy, 2023). In the following, we make an argument by analogy to analyze the possibility that the problem of alignment could be intractable. We show how the Tri-Omni properties in theology can direct us towards analogous properties for artificial superintelligence, Tri-Opti properties. However, just as the Tri-Omni properties are vulnerable to (...) metaphysical incompatibility, we will show that the Tri-Opti properties are vulnerable to a corresponding physical incompatibility, because optimal physical systems exist on the Pareto Frontier. We will explain that, while Tri-Omni incompatibility thus seems metaphysically soluble, the Tri-Opti incompatibility seems physically insoluble due to the constraints of multi-variable optimization. Finally, we will provide some scenarios by which this incompatibility may be realized. Besides for the primary purpose of its theoretical considerations, this analysis has the secondary interdisciplinary purpose of communicating to the theologically literate the potential importance of AI safety work, and the gesturing towards the possibility of the collaboration in both fields on topics in ethics, epistemology, and ontology. (shrink)

As scientific progress approaches the point where significant human enhancements could become reality, debates arise whether such technologies should be made available. This paper evaluates the widespread concern that human enhancements will inevitably accentuate existing inequality and analyzes whether prohibition is the optimal public policy to avoid this outcome. Beyond these empirical questions, this paper considers whether the inequality objection is a sound argument against the set of enhancements most threatening to equality, i.e., cognitive enhancements. In doing so, I shall (...) argue that cognitive enhancements can be embraced wholeheartedly, for three separate reasons. However, though the inequality objection does not sufficiently support the conclusion that cognitive enhancements should be prohibited, it raises several concerns for optimal policy design that shall be addressed here. (shrink)

The notion of strength has featured prominently in recent debates about abductivism in the epistemology of logic. Following Williamson and Russell, we distinguish between logical and scientific strength and discuss the limits of the characterizations they employ. We then suggest understanding logical strength in terms of interpretability strength and scientific strength as a special case of logical strength. We present applications of the resulting notions to comparisons between logics in the traditional sense and mathematical theories.

For decades Darwinian processes were framed in the form of the Lewontin conditions: reproduction, variation and differential reproductive success were taken to be sufficient and necessary. Since Buss and the work of Maynard Smith and Szathmary biologists were eager to explain the major transitions from individuals to groups forming new individuals subject to Darwinian mechanisms themselves. Explanations that seek to explain the emergence of a new level of selection, however, cannot employ properties that would already have to exist on that (...) level for selection to take place. Recently, Hammerschmidt et al. provided a ‘bottom-up’ experiment corroborating much of the theoretical work Paul Rainey has done since 2003 on how cheats can play an important role in the emergence of new Darwinian individuals on a multicellular level. The aims of this paper are twofold. First, I argue for a conceptual shift in perspective from seeing cheats as a ‘problem’ that needs to be solved for multi-cellularity to evolve to the very ‘key’ for the evolution of multicellularity. Secondly, I illustrate the consequences of this shift for both theoretical and experimental work, arguing for a more prominent role of ecology and the multi-level selection framework within the debate then they currently occupy. (shrink)

Are living organisms--as Descartes argued--just machines? Or is the nature of life such that it can never be fully explained by mechanistic models? In this thought-provoking and controversial book, eminent geophysicist Walter M. Elsasser argues that the behavior of living organisms cannot be reduced to physico-chemical causality. Suggesting that molecular biology today is at the same point as Newtonian physics on the eve of the quantum revolution, Elsasser lays the foundation for a theoretical biology that points the way toward (...) a natural philosophy of organic life. Explicitly repudiating "vitalism" (the notion that the laws of nature need to be modified when applied to living organisms), Elsasser argues instead that the structural complexity of even a single living cell is "transcomputational"--that is, beyond the power of any imaginable system to compute. Beginning from this insight, Elsasser leads the reader through a step-by-step process that ultimately arrives at the conclusion that living and non-living matter are separated by "a no-man's land of irrationality." Trained in Germany as a physicist, Elsasser first pondered the implications of quantum mechanics for biology as early as 1951. The more closely he studied the inherent complexity of life, the more skeptical he became of the reductionist view of organisms as tiny machines. "An organism," he concluded, "is a source of causal chains which cannot be traced beyond a terminal point because they are lost in the unfathomable complexity of the organism." Like the physicist who works within the bounds of an unfathomable universe, Elsasser argues, the biologist must seek answers within a system that is no less unfathomable. (shrink)

In this paper we present a philosophical motivation for the logics of formal inconsistency, a family of paraconsistent logics whose distinctive feature is that of having resources for expressing the notion of consistency within the object language in such a way that consistency may be logically independent of non-contradiction. We defend the view according to which logics of formal inconsistency may be interpreted as theories of logical consequence of an epistemological character. We also argue that in order to philosophically justify (...) paraconsistency there is no need to endorse dialetheism, the thesis that there are true contradictions. Furthermore, we show that mbC, a logic of formal inconsistency based on classical logic, may be enhanced in order to express the basic ideas of an intuitive interpretation of contradictions as conflicting evidence. (shrink)

Darwin provided us with a powerful theoretical framework to explain the evolution of living systems. Natural selection alone, however, has sometimes been seen as insufficient to explain the emergence of new levels of selection. The problem is one of “circularity” for evolutionary explanations: how to explain the origins of Darwinian properties without already invoking their presence at the level they emerge. That is, how does evolution by natural selection commence in the first place? Recent results in experimental evolution suggest a (...) way forward: Paul Rainey and his collaborators have shown that Darwinian properties could be exogenously imposed via what they call “ecological scaffolding.” This could solve the “black box” dilemma faced by Darwinian explanations of new levels of organization. Yet, despite “scaffolding” recently becoming a popular term in the study of cognition, culture, and evolution, the concept has suffered from vagueness and ambiguity. This article aims to show that scaffolding can be turned into a proper scientific concept able to do explanatory work within the context of the major evolutionary transitions. Doing so will allow us to once again extend the scope of the Darwinian model of evolution by natural selection. (shrink)

The notion of implicit commitment has played a prominent role in recent works in logic and philosophy of mathematics. Although implicit commitment is often associated with highly technical studies, it remains so far an elusive notion. In particular, it is often claimed that the acceptance of a mathematical theory implicitly commits one to the acceptance of a Uniform Reflection Principle for it. However, philosophers agree that a satisfactory analysis of the transition from a theory to its reflection principle is still (...) lacking. We provide an axiomatization of the minimal commitments implicit in the acceptance of a mathematical theory. The theory entails that the Uniform Reflection Principle is part of one's implicit commitments, and sheds light on the reason why this is so. We argue that the theory has interesting epistemological consequences in that it explains how justified belief in the axioms of a theory can be preserved to the corresponding reflection principle. The theory also improves on recent proposals for the analysis of implicit commitment based on truth or epistemic notions. (shrink)

Unlike any other field, the science of morality has drawn attention from an extraordinarily diverse set of disciplines. An interdisciplinary research program has formed in which economists, biologists, neuroscientists, psychologists, and even philosophers have been eager to provide answers to puzzling questions raised by the existence of human morality. Models and simulations, for a variety of reasons, have played various important roles in this endeavor. Their use, however, has sometimes been deemed as useless, trivial and inadequate. The role of models (...) in the science of morality has been vastly underappreciated. This omission shall be remedied here, offering a much more positive picture on the contributions modelers made to our understanding of morality. (shrink)

There has been much criticism of the idea that Friston's free-energy principle can unite the life and mind sciences. Here, we argue that perhaps the greatest problem for the totalizing ambitions of its proponents is a failure to recognize the importance of evolutionary dynamics and to provide a convincing adaptive story relating free-energy minimization to organismal fitness.

Metaphors abound in both the arts and in science. Due to the traditional division between these enterprises as one concerned with aesthetic values and the other with epistemic values there has unfortunately been very little work on the relation between metaphors in the arts and sciences. In this paper, we aim to remedy this omission by defending a continuity thesis regarding the function of metaphor across both domains, that is, metaphors fulfill any of the same functions in science as they (...) do in the arts. Importantly, this involves the claim that metaphors in arts as well as science have both epistemic and aesthetic functions. (shrink)

In his 2009 monograph, Darwinian Populations and Natural Selection, Peter Godfrey-Smith accuses biologists of demonstrating ‘Darwinian Paranoia’ when they engage in what he dubs ‘agential thinking’. But as Daniel Dennett points out, he offers neither an illuminating set of examples nor an extended argument for this assertion, deeming it to be a brilliant propaganda stroke against what is actually a useful way of thinking. Compared to the dangers of teleological thinking in biology, the dangers of agential thinking have unfortunately rarely (...) been discussed. Drawing on recent work by Samir Okasha, I attempt to remedy this omission, through analyzing the nature of agential thinking, and providing a philosophical treatment of the unexamined dangers in this peculiar, yet tempting way of thinking. (shrink)

One of the most expected properties of a logical system is that it can be algebraizable, in the sense that an algebraic counterpart of the deductive machinery could be found. Since the inception of da Costa's paraconsistent calculi, an algebraic equivalent for such systems have been searched. It is known that these systems are non self-extensional (i.e., they do not satisfy the replacement property). More than this, they are not algebraizable in the sense of Blok-Pigozzi. The same negative results hold (...) for several systems of the hierarchy of paraconsistent logics known as Logics of Formal Inconsistency (LFIs). Because of this, these logics are uniquely characterized by semantics of non-deterministic kind. This paper offers a solution for two open problems in the domain of paraconsistency, in particular connected to algebraization of LFIs, by obtaining several LFIs weaker than C1, each of one is algebraizable in the standard Lindenbaum-Tarski's sense by a suitable variety of Boolean algebras extended with operators. This means that such LFIs satisfy the replacement property. The weakest LFI satisfying replacement presented here is called RmbC, which is obtained from the basic LFI called mbC. Some axiomatic extensions of RmbC are also studied, and in addition a neighborhood semantics is defined for such systems. It is shown that RmbC can be defined within the minimal bimodal non-normal logic E+E defined by the fusion of the non-normal modal logic E with itself. Finally, the framework is extended to first-order languages. RQmbC, the quantified extension of RmbC, is shown to be sound and complete w.r.t. BALFI semantics. (shrink)

We welcome Mikhalevich & Powell’s (2020) (M&P) call for a more “‘inclusive”’ animal ethics, but we think their proposed shift toward a moral framework that privileges false positives over false negatives will require radically revising the paradigm assumption in animal research: that there is a clear line to be drawn between sentient beings that are part of our moral community and nonsentient beings that are not.

As a result of the world-wide COVID-19 epidemic, an internal tension in the goals of medicine has come to the forefront of public debate. Medical professionals are continuously faced with a tug of...

Boolean-valued models of set theory were independently introduced by Scott, Solovay and Vopěnka in 1965, offering a natural and rich alternative for describing forcing. The original method was adapted by Takeuti, Titani, Kozawa and Ozawa to lattice-valued models of set theory. After this, Löwe and Tarafder proposed a class of algebras based on a certain kind of implication which satisfy several axioms of ZF. From this class, they found a specific 3-valued model called PS3 which satisfies all the axioms of (...) ZF, and can be expanded with a paraconsistent negation *, thus obtaining a paraconsistent model of ZF. The logic (PS3 ,*) coincides (up to language) with da Costa and D'Ottaviano logic J3, a 3-valued paraconsistent logic that have been proposed independently in the literature by several authors and with different motivations such as CluNs, LFI1 and MPT. We propose in this paper a family of algebraic models of ZFC based on LPT0, another linguistic variant of J3 introduced by us in 2016. The semantics of LPT0, as well as of its first-order version QLPT0, is given by twist structures defined over Boolean agebras. From this, it is possible to adapt the standard Boolean-valued models of (classical) ZFC to twist-valued models of an expansion of ZFC by adding a paraconsistent negation. We argue that the implication operator of LPT0 is more suitable for a paraconsistent set theory than the implication of PS3, since it allows for genuinely inconsistent sets w such that [(w = w)] = 1/2 . This implication is not a 'reasonable implication' as defined by Löwe and Tarafder. This suggests that 'reasonable implication algebras' are just one way to define a paraconsistent set theory. Our twist-valued models are adapted to provide a class of twist-valued models for (PS3,*), thus generalizing Löwe and Tarafder result. It is shown that they are in fact models of ZFC (not only of ZF). (shrink)

The broad spectrum revolution brought greater dependence on skill and knowledge, and more demanding, often social, choices. We adopt Sterelny's account of how cooperative foraging paid the costs associated with longer dependency, and transformed the problem of skill learning. Scaffolded learning can facilitate cognitive control including suppression, whereas scaffolded exchange and trade, including inter-temporal exchange, can help develop resolve.

While we agree in broad strokes with the characterisation of rationalization as a “useful fiction,” we think that Fiery Cushman's claim remains ambiguous in two crucial respects: (1) the reality of beliefs and desires, that is, the fictional status of folk-psychological entities and (2) the degree to which they should be understood as useful. Our aim is to clarify both points and explicate the rationale of rationalization.

Like many others, I see Crump et al. (2022) as a milestone for improving upon previous guidelines and for extending their framework to decapod crustaceans. Their proposal would benefit from a firm evolutionary foundation by adding the comparative measurement of life-history complexity as a ninth criterion for attributing sentience to nonhuman animals.

This paper is a response to a recent paper by Bobier and Omelianchuk in which they argue that the critics of Giubilini and Minerva’s defence of infanticide fail to adequately justify a moral difference at birth. They argue that such arguments would lead to an intuitively less plausible position: that late-term abortions are permissible, thus creating a dilemma for those who seek to argue that birth matters. I argue that the only way to resolve this dilemma, is to bite the (...) naturalist bullet and accept that the intuitively plausible idea that birth constitutes a morally relevant event is simply mistaken and biologically misinformed. (shrink)