Little is known about the shaping and development of Anne Conway’s thought in relation to her early modern contemporaries. In one part of her only surviving treatise, The Principles, Conway criticises “those doctors” who uphold a dualist theory of soul and body, a mechanist conception of body (as dead and inert), and the view that the soul is “intimate present” in the body. In this paper, I argue that here she targets Walter Charleton, a well-known defender of Epicurean (...) atomism in mid-seventeenth-century England. My intention is to highlight the sophistication of Conway’s theory of soul-body relations vis-a-vis that of Charleton. (shrink)

Early modern debates about the nature of matter interacted with debates about whether matter could think. In particular, some philosophers (e.g., Cudworth and Leibniz) objected to materialism about the human mind on the grounds that matter is passive, thinking things are active, and one cannot make an active thing out of passive material. This paper begins by looking at two seventeenth-century materialist views (Hobbes’s, and one suggested but not endorsed by Locke) before considering that objection (which I call here the (...) Activity Argument). In discussion, I note that several philosophers of the time believed that matter was active. That view opens up a possible response to the Activity Argument. The paper concludes by looking at the views of two materialists of the time who also believed that matter was active, Toland and Cavendish. (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 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)

Phillips et al. make a compelling case for a reversal in the current paradigm in “other minds” research by considering the representation of other people's knowledge more basic than the attribution of belief. Unfortunately, they only discuss primates. In this commentary, I argue that the representation of others' knowledge is an evolutionary ancient trait, first appearing during the Cambrian explosion.

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)

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)

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

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)

In a recent special issue dedicated to Dani Rodrik’s (2015) influential monograph Economics Rules, Grüne-Yanoff and Marchionni (2018) raise a potentially damning problem for Rodrik’s suggestion that progress in economics should be understood and measured laterally, by a continuous expansion of new models. They argue that this could lead to an “embarrassment of riches”, i.e. the rapid expansion of our model library to such an extent that we become unable to choose between the available models, and thus needs to be (...) solved to make ‘model pluralism’ viable. Drawing on Veit’s (2019a) ‘model pluralism’ account, this paper argues that model pluralism as a thesis about the relationship between science and nature undermines the very idea of a general model selection framework for policy making. (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)

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)

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)

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)

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)

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)

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)

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)

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.

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)

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)

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.

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.

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)

If one had to identify the biggest change within the philosophical tradition in the twenty-first century, it would certainly be the rapid rise of experimental philosophy to address differences in intuitions about concepts. It is, therefore, surprising that the philosophy of medicine has so far not drawn on the tools of experimental philosophy in the context of a particular conceptual debate that has overshadowed all others in the field: the long-standing dispute between so-called naturalists and normativists about the concepts of (...) health and disease. In this paper, I defend and advocate the use of empirical methods to inform and advance this and other debates within the philosophy of medicine. (shrink)

ABSTRACT This paper compares Spinoza with Daniel Dennett and uncovers a number of striking parallels. Genevieve Lloyd’s recent work on Spinoza reveals a picture of a philosopher that anticipated many of Dennett’s later ideas. Both share a fervent opposition to Descartes’ conception of mind and body and endorse a strikingly similar naturalist philosophy. It is the goal of this paper to tease out these connections and once again highlight the richness of a Spinozist lens of the world.

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)

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)

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.

The Principle of Ariadne, formulated in 1988 ago by Walter Carnielli and Carlos Di Prisco and later published in 1993, is an infinitary principle that is independent of the Axiom of Choice in ZF, although it can be consistently added to the remaining ZF axioms. The present paper surveys, and motivates, the foundational importance of the Principle of Ariadne and proposes the Ariadne Game, showing that the Principle of Ariadne, corresponds precisely to a winning strategy for the Ariadne Game. (...) Some relations to other alternative. set-theoretical principles are also briefly discussed. (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)

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)

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.

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)

Much recent philosophy of perception is preoccupied with finding a place for phenomenal character in a physical world. By contrast, Locke’s philosophy of sensory perception is an episode in his ‘Historical, plain method’ and seeks to map out the processes by which we experience ordinary objects. On Locke’s account, our ideas of primary and secondary qualities enter the mind ‘simple and unmixed’; having an idea of a colour, for example, is not necessary for the visual experience of a shape. An (...) analysis of the Molyneux problem reveals that, for Locke, judgment corrects the initial two-dimensional idea vision presents us with. Nevertheless, Locke’s position is problematic: he has no account of how we pair ideas of primary and secondary qualities, nor of how we could experience a colourless visual idea of shape. (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)

This is the report on the XVI BRAZILIAN LOGIC CONFERENCE (EBL 2011) held in Petrópolis, Rio de Janeiro, Brazil between May 9–13, 2011 published in The Bulletin of Symbolic Logic Volume 18, Number 1, March 2012. -/- The 16th Brazilian Logic Conference (EBL 2011) was held in Petro ́polis, from May 9th to 13th, 2011, at the Laboratório Nacional de Computação o Científica (LNCC). It was the sixteenth in a series of conferences that started in 1977 with the aim of (...) congregating logicians from Brazil and abroad, furthering interest in logic and its applications, stimulating cooperation, and contributing to the development of this branch of science. EBL 2011 included more than one-hundred and fifty participants, all of them belonging to prominent research institutes from Brazil and abroad, especially Latin America. The conference was sponsored by the Academia Brasileira de Ciências (ABC), the As- sociation for Symbolic Logic (ASL), Universidade Estadual de Campinas (UNICAMP), Centre for Logic, Epistemology and the History of Sciences (CLE), Laboratório Nacional de Computação o Científica (LNCC), Pontif ́ıcia Universidade Cato ́lica do Rio de Janeiro (PUC- Rio), Sociedade Brasileira de Lógica (SBL), and Universidade Federal Fluminense (UFF). Funding was provided by Conselho Nacional de Desenvolvimento Cient ́ıfico e Tecnolo ́ gico (CNPq), Fundac ̧a ̃o de Amparo `a Pesquisa do Estado de São Paulo (FAPESP), Fundação Euclides da Cunha (FEC), and Universidade Federal Fluminense (UFF). The members of the Scientific Committee were: Mário Folhadela Benevides (COPPE- UFRJ), Fa ́bio Bertato (CLE-IFCH-UNICAMP), Jean-Yves Béziau (UFRJ), Ricardo Bianconi (USP), Juliana Bueno-Soler (UFABC), Xavier Caicedo (Universidad de Los An- des), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio), Marcelo Esteban Coniglio (CLE-IFCH-UNICAMP), Newton da Costa (UFSC, President), Antonio Carlos da Rocha Costa (UFRG), Alexandre Costa-Leite (UnB), I ́tala M. Loffredo D’Ottaviano (CLE-IFCH-UNICAMP), Marcelo Finger (USP), Edward Hermann Haeusler (PUC-Rio), Décio Krause (UFSC), João Marcos (UFRN), Ana Teresa de Castro Martins (UFC), Maria da Paz Nunes de Medeiros (UFRN), Francisco Miraglia (USP), Luiz Car- los Pereira (PUC-Rio and UFRJ), Elaine Pimentel (UFMG), and Samuel Gomes da Silva (UFBA). The members of the Organizing Committee were: Anderson de Araujo (UNICAMP), Walter Carnielli (CLE-IFCH-UNICAMP), Oswaldo Chateaubriand Filho (PUC-Rio, Co- chair), Marcelo Correa (UFF), Renata de Freitas (UFF), Edward Hermann Haeusler (PUC- RJ), Hugo Nobrega (COPPE-UFRJ), Luiz Carlos Pereira (PUC-Rio e IFCS/UFRJ), Leandro Suguitani (UNICAMP), Rafael Testa (UNICAMP), Leonardo Bruno Vana (UFF), and Petrucio Viana (UFF, Co-chair). (shrink)

I sketch here an intuitive picture of repeatable artworks as created types, which are individuated in part by historical paths (re)production. Although attractive, this view has been rejected by a number of authors on the basis of general claims about abstract objects. On consideration, however, these general claims are overgeneralizations, which whilst true of some abstracta, are not true of all abstract objects, and in particular, are not true of created types. The intuitive picture of repeatable artworks as created types (...) is, then, left in place. (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)

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)

In their thoughtful article, Malm and Navin (2020) raise concerns about a potentially unjust generational welfare tradeoff between children and adults when it comes to chicken pox. We share their c...