In this paper we propose a very general de nition of combination of logics by means of the concept of sheaves of logics. We first discuss some properties of this general definition and list some problems, as well as connections to related work. As applications of our abstract setting, we show that the notion of possible-translations semantics, introduced in previous papers by the first author, can be described in categorial terms. Possible-translations semantics constitute illustrative cases, since they provide a new (...) semantical account for abstract logical systems, particularly for many-valued and paraconsistent logics. (shrink)

This paper briefly outlines some advancements in paraconsistent logics for modelling knowledge representation and reasoning. Emphasis is given on the so-called Logics of Formal Inconsistency (LFIs), a class of paraconsistent logics that formally internalize the very concept(s) of consistency and inconsistency. A couple of specialized systems based on the LFIs will be reviewed, including belief revision and probabilistic reasoning. Potential applications of those systems in the AI area of KRR are tackled by illustrating some examples that emphasizes the importance of (...) a fine-tuned treatment of consistency in modelling reputation systems, preferences, argumentation, and evidence. (shrink)

“Trends in Logic XVI: Consistency, Contradiction, Paraconsistency, and Reasoning - 40 years of CLE” is being organized by the Centre for Logic, Epistemology and the History of Science at the State University of Campinas (CLEUnicamp) from September 12th to 15th, 2016, with the auspices of the Brazilian Logic Society, Studia Logica and the Polish Academy of Sciences. The conference is intended to celebrate the 40th anniversary of CLE, and is centered around the areas of logic, epistemology, philosophy and history of (...) science, while bringing together scholars in the fields of philosophy, logic, mathematics, computer science and other disciplines who have contributed significantly to what Studia Logica is today and to what CLE has achieved in its four decades of existence. It intends to celebrate CLE’s strong influence in Brazil and Latin America and the tradition of investigating formal methods inspired by, and devoted to, philosophical views, as well as philosophical problems approached by means of formal methods. The title of the event commemorates one of the three main areas of CLE, what has been called the “Brazilian school of paraconsistency”, combining such a pluralist view about logic and reasoning. (shrink)

There are two foundational, but not fully developed, ideas in paraconsistency, namely, the duality between paraconsistent and intuitionistic paradigms, and the introduction of logical operators that express meta-logical notions in the object language. The aim of this paper is to show how these two ideas can be adequately accomplished by the Logics of Formal Inconsistency (LFIs) and by the Logics of Formal Undeterminedness (LFUs). LFIs recover the validity of the principle of explosion in a paraconsistent scenario, while LFUs recover the (...) validity of the principle of excluded middle in a paracomplete scenario. We introduce definitions of duality between inference rules and connectives that allow comparing rules and connectives that belong to different logics. Two formal systems are studied, the logics mbC and mbD, that display the duality between paraconsistency and paracompleteness as a duality between inference rules added to a common core– in the case studied here, this common core is classical positive propositional logic (CPL + ). The logics mbC and mbD are equipped with recovery operators that restore classical logic for, respectively, consistent and determined propositions. These two logics are then combined obtaining a pair of logics of formal inconsistency and undeterminedness (LFIUs), namely, mbCD and mbCDE. The logic mbCDE exhibits some nice duality properties. Besides, it is simultaneously paraconsistent and paracomplete, and able to recover the principles of excluded middle and explosion at once. The last sections offer an algebraic account for such logics by adapting the swap-structures semantics framework of the LFIs the LFUs. This semantics highlights some subtle aspects of these logics, and allows us to prove decidability by means of finite non-deterministic matrices. (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)

The main objective o f this descriptive paper is to present the general notion of translation between logical systems as studied by the GTAL research group, as well as its main results, questions, problems and indagations. Logical systems here are defined in the most general sense, as sets endowed with consequence relations; translations between logical systems are characterized as maps which preserve consequence relations (that is, as continuous functions between those sets). In this sense, logics together with translations form a (...) bicomplete category of which topological spaces with topological continuous functions constitute a full subcategory. We also describe other uses of translations in providing new semantics for non-classical logics and in investigating duality between them. An important subclass of translations, the conservative translations, which strongly preserve consequence relations, is introduced and studied. Some specific new examples of translations involving modal logics, many-valued logics, para- consistent logics, intuitionistic and classical logics are also described. (shrink)

This chapter discusses the roles of ether and electrons in relativity theory. One of the most radical moves made by Albert Einstein was to dismiss the ether from electrodynamics. His fellow physicists felt challenged by Einstein’s view, and they came up with a variety of responses, ranging from enthusiastic approval, to dismissive rejection. Among the naysayers were the electron theorists, who were unanimous in their affirmation of the ether, even if they agreed with other aspects of Einstein’s theory of relativity. (...) The eventual success of the latter theory (circa 1911) owed much to Hermann Minkowski’s idea of four-dimensional spacetime, which was portrayed as a conceptual substitute of sorts for the ether. (shrink)

Albert Einstein's bold assertion of the form-invariance of the equation of a spherical light wave with respect to inertial frames of reference became, in the space of six years, the preferred foundation of his theory of relativity. Early on, however, Einstein's universal light-sphere invariance was challenged on epistemological grounds by Henri Poincaré, who promoted an alternative demonstration of the foundations of relativity theory based on the notion of a light-ellipsoid. Drawing in part on archival sources, this paper shows how an (...) informal, international group of physicists, mathematicians, and engineers, including Einstein, Paul Langevin, Poincaré, Hermann Minkowski, Ebenezer Cunningham, Harry Bateman, Otto Berg, Max Planck, Max Laue, A. A. Robb, and Ludwig Silberstein, employed figures of light during the formative years of relativity theory in their discovery of the salient features of the relativistic worldview. (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)

Children are a group of persons whose political interests are systematically underrepresented. Here we will lay out the basic argument for proportionally representing children in political arenas, including some options for how children can best be politically represented. We will support our assumptions: 1) that people’s interests should be proportionally politically represented and that 2) children are people. Then we will discuss the possibly large impact that the enfranchisement of children promises, especially in its relation to the interests of the (...) long-term future. (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)

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)

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)

Harry Eckstein’s long-standing (but ever-changing) hypothesis that a nation’s political stability is a function of “congruence” between the “authority patterns” exhibited by the government and those displayed by nearly every sort of institution under that government’s aegis involved a highly complex politico-psychological theory. As a result, it was quite difficult either to confirm or disconfirm. While there have been a number of suggested revisions that apparently simplify his thesis, they suffer either from vagueness or a failure to take democracy to (...) be a system that requires an actual commitment to majoritarianism. In this paper a revision is offered that utilizes a small number of completely dichotomous variables that are easily subject to empirical tests. This revised theory (of “consonance” rather than congruence) is also explicitly majoritarian, enabling it to shed light on the essential nature of democratic regimes. (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)

The two greatest mathematicians of the early twentieth century, David Hilbert and Henri Poincaré transformed the mathematics of their time. Their personal interaction was infrequent, until Hilbert invited Poincaré to deliver the first Wolfskehl Lectures in Göttingen in the spring of 1909. A correspondence ensued, which fixed the content and timing of the lecture series. A close reading of the exchange throws light on what Hilbert wanted Poincaré to talk about, and on what Poincaré wanted to present to Hilbert and (...) his colleagues. To answer the latter question, reference is made to the published version of Poincaré’s six talks, with a focus on two of them, concerning the propagation of Hertzian waves, and the theory of relativity. (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.

In the paper, I argue there is a whole political logistics to deportation. This is made visible by bringing the concept of microphysics to bear on the topic. Taking the case of enforced and escorted removals from the UK, I show that this logistics is vividly and graphically documented in the inspection reports. Hitherto largely ignored, inspection reports offer researchers a trove of information regarding the mechanisms and procedures of deportation. As I finally draw out, this focus can speak to (...) questions about the relationship of ethics to deportation: the inspection reports show how a certain form of ethical calculation, based on a risk-based approach to the use of force has been inscribed into the practices of deportation. DOI 10.17879/95189425134. (shrink)

The conditions animals experience during the early developmental stages of their lives can have critical ongoing effects on their future health, welfare, and proper development. In this paper we draw on evolutionary theory to improve our understanding of the processes of developmental programming, particularly Predictive Adaptive Responses (PAR) that serve to match offspring phenotype with predicted future environmental conditions. When these predictions fail, a mismatch occurs between offspring phenotype and the environment, which can have long-lasting health and welfare effects. Examples (...) include metabolic diseases resulting from maternal nutrition and behavioral changes from maternal stress. An understanding of these processes and their evolutionary origins will help in identifying and providing appropriate developmental conditions to optimize offspring welfare. This serves as an example of the benefits of using evolutionary thinking within veterinary science and we suggest that in the same way that evolutionary medicine has helped our understanding of human health, the implementation of evolutionary veterinary science (EvoVetSci) could be a useful way forward for research in animal health and welfare. (shrink)

Recognizing the variety of dystopian science-fiction novels and movies, from Brave New World to Gattaca and more recently Star Trek, on the future of humanity in which eugenic policies are implemented, genetic engineering has been getting a bad reputation for valid but arguably, mostly historical reasons. In this paper, I critically examine the claim from Mehlman & Botkin (1998: ch. 6) that human enhancement will inevitably accentuate existing inequality in a free market and analyze whether prohibition is the optimal public (...) policy for this objection as egalitarians might advise (Lamont and Favor, 2014). (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)

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 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)

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)

A child arrives as a new world because in her and with her we feel that the whole world can start over. But that is not the only reason. A child also arrives as a new world because her arrival tells us what, being so simple, we had almost forgotten: that the world is not just old and unquestionable. The child doesn’t let us be indif-ferent; she breaks with conformity and arrives as hope, reeking of the unpredictable. Of questions. A (...) similar arrival to that of a child is that of certain childlike ideas, such as the idea offered by Matthew Lipman when he created “philosophy for children.” We cele-brate his childlike, daring, irreverent, inquiring character, commemorating his birth nearly 50 years ago. With this childlike idea, a new world began—or at least it be-came possible to start—in worlds which were already a little old and stuck in con-formity. When those in institutionalized philosophy and education heard about the audacity of welcoming children among their reputable interlocutors in dialogue and thought, they frowned and turned up their noses. Philosophy for children? How come? Childhood in philosophy? (shrink)

In Religious Experience, Wayne Proudfoot argued that a tout court rejection of reductionism in accounts of religious experience was not viable. According to Proudfoot, it’s possible to distinguish between an illegitimate practice of descriptive reductionism and the legitimate practice of explanatory reductionism. The failure to distinguish between these two forms of reductionism resulted in a protective strategy, or an attempt to protect religious experience from the reach of scientific explanation. Among the theorists whom he accused of deploying this illegitimate strategy (...) Proudfoot included William James and his work in The Varieties of Religious Experience. In this article, I argue that while James does occasionally deploy a protective strategy in Varieties, this is not the only nor most important method of treating religious experience James developed. Implicit in his rejection of medical materialism, James not only deploys the protective strategy Proudfoot criticizes, but the pragmatic method with which he treats all claims. I argue that James’s pragmatic method leads to what James called noetic pluralism, or the view that there is no privileged knowledge practice, but a plurality of knowledge practices, and that this method puts pressure on the explanatory reductionist, who is implicitly committed to noetic monism. (shrink)

In this paper, I hope to show that by considering connections between Bertrand Russell’s early account of names and C.I. Lewis’s theory of propositions, one can see that propositions (as traditionally understood)—while perhaps not explicitly relying on Russellian names, derive a good deal of their plausibility from them. I argue, however, that the Russellian take on names implies Tractarian restrictions on what may be named that are inconsistent with the traditional theory of structured propositions. That is, (i) it is a (...) mistake to claim that any meaningful string of linguistic (or ‘lexical’) entities—whether concrete or abstract—can name facts; (ii) no putative structured abstracta may be named by anything whatever; and (iii) if propositions may not be named and are not necessary to accomplish such tasks as providing objects for attitudes or being bearers of truth-values, then they would likely have been expelled from philosophical ontologies except for the persistence of an alluring myth. (shrink)

The concept of the Utility Monster offers an influential critique of Utilitarian theories, forcing us to consider different theoretical fixes to escape monstrous implications (Nozick, 1999, pp. 26-53; Kennard, 2015, p. 322). However, many different breeds, a whole bestiary, of Utility Monsters are identifiable, and each breed reveals something slightly different about what we find monstrous. When dissected in depth, we observe that some breeds are probably acceptable, whereas other breeds are indeed monstrous, though perhaps not for the reasons Nozick (...) thought. By breaking these taxonomies down, thus revealing strengths and weaknesses of these different breeds, we may see more clearly how the vicious versions can be dispensed with under reasonable assumptions. (shrink)

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)

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)

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)

The conception of a ‘law of nature’ is a human product. It was created to play a role in natural philosophy, in the Cartesian tradition. In light of this, philosophers and scientists must sort out what they mean by a law of nature before evaluating rival theories and approaches. If one’s conception of the laws of nature is yoked to metaphysical notions of truth and explanation, that connection must be made explicit and defended. If, on the other hand, one’s aim (...) is to disentangle laws from truth or from explanation, that must be stated and defended as well. If philosophers do not make such assumptions, intuitions, and methodological commitments clear, then it will be impossible to identify the source of disagreement in debates about the laws of nature. Are the conflicts rooted in disagreement about the conclusions reached, or do the background commitments of the combatants block any resolution to the dispute in principle or in practice? (shrink)

The keeping of captive animals in zoos and aquariums has long been controversial. Many take freedom to be a crucial part of animal welfare and, on these grounds, criticise all forms of animal captivity as harmful to animal welfare, regardless of their provisions. Here, we analyse what it might mean for freedom to matter to welfare, distinguishing between the role of freedom as an intrinsic good, valued for its own sake and an instrumental good, its value arising from the increased (...) ability to provide other important resources. Too often, this debate is conducted through trading intuitions about what matters for animals. We argue for the need for the collection of comparative welfare data about wild and captive animals in order to settle the issue. Discovering more about the links between freedom and animal welfare will then allow for more empirically informed ethical decisions regarding captive animals. (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)

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)

Since Friedrich Nietzsche, philosophers have grappled with the question of how to respond to nihilism. Nihilism, often seen as a derogative term for a ‘life-denying’, destructive and perhaps most of all depressive philosophy is what drove existentialists to write about the right response to a meaningless universe devoid of purpose. This latter diagnosis is what I shall refer to as existential nihilism, the denial of meaning and purpose, a view that not only existentialists but also a long line of philosophers (...) in the empiricist tradition ascribe to. The absurd stems from the fact that though life is without meaning and the universe devoid of purpose, man still longs for meaning, significance and purpose. Inspired by Bojack Horseman and Rick and Morty, two modern existentialist masterpieces, this paper explores the various alternatives that have been offered in how to respond to the absurd, or as Albert Camus puts it; the only “really serious philosophical problem” and concludes that the problem is compatible with a naturalistic world-view, thereby genuine and transcending existentialism. (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)

I argue that Leibniz’s doctrine of sensory representation is intended in part to close an explanatory gap in his philosophical system. Unlike the twentieth century explanatory gap, which stretches between neural states on one side and phenomenal character on the other, Leibniz’s gap lies between experiences of secondary qualities like color and taste and the objects that cause them. The problem is that the precise arrangement and distribution of such experiences can never be given a full explanation. In response, Leibniz (...) appeals to representation. I argue that the sense in which Leibnizian sensations are representations is too weak to close his explanatory gap. In the end, he must appeal to the doctrine of the best possible world. (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)

This note introduces the word of “webjectivity,” to describe a concept that is well-known, the character of being epistemically dependence upon a situation within a network; and suggests that this word and its corresponding concept could be useful for clarifying discussions of the epistemic condition of the information age.

As democracias ocidentais contemporâneas caracterizam-se pelo consenso a respeito da defesa dos direitos individuais fundamentais. O princípio da igualdade, tanto em sua formulação jurídica quanto em sua expressão social, tem por objetivo fazer com que fatores como poder econômico, influência política, origem familiar e preferências pessoais não possam promover desigualdades que não possuem justificativa moral. O princípio da liberdade tem por objetivo garantir espaço para a autonomia e a livre expressão individual. O conflito entre esses dois princípios, como se sabe, (...) define o contexto tanto das conquistas e dos impasses dos regimes democráticos quanto o contexto do debate filosófico a respeito da fundamentação da democracia. -/- Minha tese é a de que a instauração do individualismo nas democracias ocidentais é o resultado de um longo processo de desenvolvimento histórico que estabeleceu a igualdade – e não a liberdade – como o princípio organizador fundamental da ordem social democrática. Essa reavaliação permite superar os impasses gerados por teorias que colocam a autonomia e a racionalidade como fundamento das sociedades democráticas, inflacionando, assim, o conceito de liberdade, restringindo a política a processos de deliberação que deveriam se aproximar de condições idealizadas que não encontram correspondência na prática social e, quase sempre, pressupondo definições para o que seria a natureza humana, a escolha racional ou uma verdadeira autenticidade ou esclarecimento que permitiria escapar de todos os tipos de determinações heterônomas. -/- Para indicar em que sentido proponho essa reavaliação, inicio retomando a obra de Alexis de Tocqueville (1805-1859). Proveniente de uma família aristocrata em plena época pós-revolucionária na França, Tocqueville analisa a formação dos Estados Unidos da América mostrando que, na instauração da democracia americana, o ideal de igualdade ocupa um lugar anterior ao ideal de liberdade não só historicamente, mas também na justificação e na prática do sistema democrático. Subverte-se, assim, tanto a leitura da modernidade enquanto tentativa de efetivar conjuntamente os ideais de igualdade e liberdade, quanto a leitura de que o traço essencial da modernidade seria a instauração de uma racionalidade que acabou tornando-se instrumental ou técnica. Na primeira metade do século XIX, com uma interpretação que evita o unilateralismo, Tocqueville constata que a característica principal das democracias é o fato de que os homens, colocados em situação de igualdade, isolados e entregues a si mesmos, são indivíduos frágeis que, desprovidos de tradições, só possuem a razão para tentar justificar as leis que devem se auto-impor. -/- Essa leitura tocquevilleana negativa da democracia moderna permite compreender fenômenos contemporâneos aparentemente tão incompatíveis quanto, por exemplo, o isolamento social e o amplo consenso em relação aos direitos humanos ou as instituições jurídicas como instância última de mediação dos conflitos sociais e a falência praticamente completa da lei e de quaisquer instrumentos de poder para lidar com questões humanas e, mais recentemente, tecnológicas. -/- O individualismo democrático é, fundamentalmente, a consequência da efetivação cada vez maior do ideal moderno de igualdade. A filosofia política precisa levar a sério o fato de que, ao mesmo tempo em que corrói o ideal de uma racionalidade autofundante, essa condição democrática abre espaço, como nunca antes na história humana, para a responsabilidade individual. Essa responsabilidade é que nos permite, enquanto seres limitados e contingentes, chegar mais perto do ideal moderno de autonomia e autodeterminação. (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)

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)

In the wake of the non-ideal theory turn in political philosophy, few have paused to ask: Is non-ideal theory a form of ideology? And perhaps even fewer have paused to ask: Is the debate between ideal/non-ideal theorists itself a form of ideology? To the first question, I argue that non-ideal theory is ideological in virtue of the fact that it rules out more utopian ways of theorizing by methodological fiat, and in so doing, risks entrenching an unjust status quo. To (...) the second question, I argue that the debate between ideal/non-ideal theorists is itself a form of ideology, one which serves to reinforce the status quo by convincing political philosophers/theorists that the most pressing problems are problems about what we should think about what we are doing. But this is false. An upshot of my argument is that we ought to abandon the ideal/non-ideal theory debate and address the pressing problems of political philosophy head-on in pluralist fashion, oscillating back and forth between these two modes of theorizing without a decision procedure to tell us when we should take up one perspective or the other. (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.

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...

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)

DRAFT Several philosophers have suggested that it is impossible to formulate a theory of population ethics that simultaneously satisfies all of the necessary conditions set by our ethical intuitions (Arrhenius, 2000; Blackorby et al., 2004). However, we will attempt to demonstrate that, using the Stone-Weierstrass method, starting from scratch with a completely underspecified polynomial approximation function for commensurable cardinal utility (used here as a synonym for welfare) in a domain of commodities and populations, there are possible sets of functions that (...) satisfy many if not all of our ethical intuitions (avoiding the Repugnant and Sadistic Conclusions, and others), thus providing a self-consistent welfarist axiology. DRAFT. (shrink)