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)

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)

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)

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)

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)

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)

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

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)

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.

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)

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)

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)

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)

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)

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)

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.

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)

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)

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

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)

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)

This paper reviews the central points and presents some recent developments of the epistemic approach to paraconsistency in terms of the preservation of evidence. Two formal systems are surveyed, the basic logic of evidence (BLE) and the logic of evidence and truth (LET J ), designed to deal, respectively, with evidence and with evidence and truth. While BLE is equivalent to Nelson’s logic N4, it has been conceived for a different purpose. Adequate valuation semantics that provide decidability are given for (...) both BLE and LET J . The meanings of the connectives of BLE and LET J , from the point of view of preservation of evidence, is explained with the aid of an inferential semantics. A formalization of the notion of evidence for BLE as proposed by M. Fitting is also reviewed here. As a novel result, the paper shows that LET J is semantically characterized through the so-called Fidel structures. Some opportunities for further research are also 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)

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)

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)

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.

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.

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.

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

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)

Are a material object, such as a statue, and its constituting matter, the clay, parts of one another? One wouldn't have thought so, and yet a number of philosophers have argued that they are. I review the arguments for this surprising claim showing how they all fail. I then consider two arguments against the view concluding that there are both pre-theoretical and theoretical considerations for denying that the statue and the clay are mutual parts.

Eliminativism is a position most readily associated with the eliminative materialism of the Churchlands, denying that there are such things as propositional states. This position has created much controversy, despite the fact that intentionality has long been seen as perhaps the core problem for naturalistic philosophy. There is a more radical interpretation of eliminativism, however, denying not only mental states, such as beliefs and desires, but also intentionality (i.e., aboutness) on a global level. This position traces its contemporary origin back (...) to Quine, but has generally been assumed to undermine naturalism or, worse, to be incoherent by the majority of philosophers who maintain that there clearly are things or mental states that are about others. In a recent paper, Hutto and Satne (2015a) offer an update that tries to revive John Haugeland’s baseball analogy from his influential 1990 review paper The Intentionality All-Stars on the state of the game to argue that the failure of Neo-Cartesians, Neo- Behaviorists, and Neo-Pragmatists should urge us to make them work together to naturalize content and “win the game.” But Hutto and Satne misunderstand what the game is ultimately about. The goal of the Intentionality All-Stars is not to naturalize content against eliminativism but to defend a naturalist “thirdperson” view of the problem against first-person phenomenalists. For this goal, a naturalist defense of global content eliminativism would equally enable them to emerge victorious. Revisiting Haugeland, I will offer my own analysis of the current state of play to argue that global content eliminativism has not received sufficient attention and deserves a more prominent place in the debate than it currently occupies. (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)

I applaud recent improvements upon previous guidelines for the assessment of pain in non-human species and the application of their framework towards decapod crustaceans. Rather than constituting a mere intermediate solution between the scientific difficulty of settling questions of animal consciousness and the need for a framework for the purposes of animal welfare legislation, I will argue that the longer lists of criteria for animal sentience should make us realize that animal sentience is a multi-dimensional phenomenon that must be studied (...) with a plethora of methods in order to assess its diversity across the tree of life. (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)

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)

According to the conventionalist doctrine of space elaborated by the French philosopher-scientist Henri Poincaré in the 1890s, the geometry of physical space is a matter of definition, not of fact. Poincaré's Hertz-inspired view of the role of hypothesis in science guided his interpretation of the theory of relativity (1905), which he found to be in violation of the axiom of free mobility of invariable solids. In a quixotic effort to save the Euclidean geometry that relied on this axiom, Poincaré extended (...) the purview of his doctrine of space to cover both space and time. The centerpiece of this new doctrine is what he called the "principle of physical relativity," which holds the laws of mechanics to be covariant with respect to a certain group of transformations. For Poincaré, the invariance group of classical mechanics defined physical space and time (Galilei spacetime), but he admitted that one could also define physical space and time in virtue of the invariance group of relativistic mechanics (Minkowski spacetime). Either way, physical space and time are the result of a convention. (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)