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

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

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)

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)

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)

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)

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 argue that an intuitive reading of the bivalued semantics for the logic mbC, a logic of formal inconsistency based on classical logic, fits in well with the basic ideas of an intuitive interpretation of contradictions. On this interpretation, the acceptance of a pair of propositions A and ¬A does not mean that A is simultaneously true and false, but rather that there is conflicting evidence about the truth value of A. (shrink)

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)

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)

Jaakko Hintikka, in a series of talks in Brazil in 2008, defended that IF logic and paraconsistent logic are, in a sense, very similar. Having sketched the proposal of a new paraconsistent system, he maintains that several achievements of IF logic could be reproducible in paraconsistent logic. One of the major difficulties, left as a challenge, would be to formulate some truth conditions for this new paraconsistent first-order language in order to make IF logic and paraconsistent logic more inter-related. My (...) proposal is that this would demand an innovative game-theoretical semantic approach to paraconsistentism, but also that the syntax of the paraconsistent “Logics of Formal Inconsistency” can model the internal logic of Socratic elenchi. I aim to discuss these, and other points posed by Hintikka, as challenges and opportunities for paraconsistentism, paraconsistent logics and IF logics, as well as to raise some criticisms on Hintikka’s view about paraconsistency. (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)

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)

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. We shall defend the view according to which logics of formal inconsistency are theories of logical consequence of normative and epistemic character. This approach not only allows us to make inferences in the presence of contradictions, but offers a philosophically acceptable account of paraconsistency.

Anita Burdman Feferman and Solomon Feferman, "Alfred Tarski: Life and Logic", Cambridge University Press, Cambridge, UK, 2004, pp. 432.

Ernst Schröder, Parafrasi Schröderiane. Ovvero: Ernst Schröder, Leoperazioni del Calcolo Logico. Original German text with Italian translation, commentary and annotations by Davide Bondoni, LED Edizioni, Milan, 2010, pp. 208, 15,5 × 22 cm, ISBN 978-88-7916-474-0.

Claude P. Bruter (editor), Mathematics in Art: Mathematical Visualization in Art and Education, Springer-Verlag, New York, 2002, pp. X + 337, ISBN 3-540-43422-4.

This paper studies a family of monotonic extensions of first-order logic which we call modulated logics, constructed by extending classical logic through generalized quantifiers called modulated quantifiers. This approach offers a new regard to what we call flexible reasoning. A uniform treatment of modulated logics is given here, obtaining some general results in model theory. Besides reviewing the “Logic of Ultrafilters”, which formalizes inductive assertions of the kind “almost all”, two new monotonic logical systems are proposed here, the “Logic of (...) Many” and the “Logic of Plausibility”, that characterize assertions of the kind “many”, and “for a good number of”. Although the notion of simple majority (“more than half”) can be captured by means of a modulated quantifier semantically interpreted by cardinal measure on evidence sets, it is proven that this system, although sound, cannot be complete if checked against the intended model. This justifies the interest on a purely qualitative approach to this kind of quantification, what is guaranteed by interpreting the modulated quantifiers as notions of families of principal filters and reduced topologies, respectively. We prove that both systems are conservative extensions of classical logic that preserve important properties, such as soundness and completeness. Some additional perspectives connecting our approach to flexible reasoning through modulated logics to epistemology and social choice theory are also discussed. (shrink)

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

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

Motivated by H. Curry’s well-known objection and by a proposal of L. Henkin, this article introduces the positive tableaux, a form of tableau calculus without refutation based upon the idea of implicational triviality. The completeness of the method is proven, which establishes a new decision procedure for the (classical) positive propositional logic. We also introduce the concept of paratriviality in order to contribute to the question of paradoxes and limitations imposed by the behavior of classical implication.

This note clarifies an error in the proof of the main theorem of “The Ricean Objection: An Analogue of Rice’s Theorem for First-Order Theories”, Logic Journal of the IGPL, 16(6): 585–590(2008).

In a recent work, Walter Carnielli and Abilio Rodrigues present an epistemically motivated interpretation of paraconsistent logic. In their view, when there is conflicting evidence with regard to a proposition A (i.e. when there is both evidence in favor of A and evidence in favor of ￢A) both A and ￢A should be accepted without thereby accepting any proposition B whatsoever. Hence, reasoning within their system intends to mirror, and thus, should be constrained by, the way in which (...) we reason about evidence. In this article we will thoroughly discuss their position and suggest some ways in which this project can be further developed. The aim of the paper is twofold. On the one hand, we will present some philosophical critiques to the specific epistemic interpretation of paraconsistent logic proposed by Carnielli & Rodrigues. First, we will contend that Carnielli & Rodrigues’s interpretation implies a thesis about what evidence rationally justifies to accept or believe, called Extreme Permissivism, which is controversial among epistemologists. Second, we will argue that what agents should do, from an epistemic point of view, when faced with conflicting evidence, is to suspend judgment. On the other hand, despite these criticisms we do not believe that the epistemological motivation put forward by Carnielli & Rodrigues is entirely wrong. In the last section, we offer an alternative way in which one might account for the epistemic rationality of accepting contradictions and, thus, for an epistemic understanding of paraconsistency, which leads us to discuss the notion of diachronic epistemic rationality. (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)

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)

Computational reproducibility possesses its own dynamics and narratives of crisis. Alongside the difficulties of computing as an ubiquitous yet complex scientific activity, computational reproducibility suffers from a naive expectancy of total reproducibility and a moral imperative to embrace the principles of free software as a non-negotiable epistemic virtue. We argue that the epistemic issues at stake in actual practices of computational reproducibility are best unveiled by focusing on software as a pivotal concept, one that is surprisingly often overlooked in accounts (...) of reproducibility issues. Software is not only about designing and coding but also about maintaining, supporting, distributing, licensing, and governance; it is not only about developers but also about users. We focus on openness debates among computational chemists involved in molecular modeling software packages as empirical grounding for our argument. We then identify and analyse four epistemic characteristics as key to the role of software in computational reproducibility. (shrink)

Patients suffering from the Cotard syndrome can deny being alive, having guts, thinking or even existing. They can also complain that the world or time have ceased to exist. In this article, I argue that even though the leading neurocognitive accounts have difficulties meeting that task, we should, and we can, make sense of these bizarre delusions. To that effect, I draw on the close connection between the Cotard syndrome and a more common condition known as depersonalisation. Even though they (...) are not delusional, depersonalised patients seem to have experiences that are quite similar to those of Cotard patients. I argue that these experiences are essentially characterised by a lack of subjective character and of two other structural features of experience, which I call ‘the present character’ and ‘the actual character’. Cotard's nihilistic delusions simply consist in taking these anomalous experiences at face value. (shrink)

In a previous article on cosmological arguments, I have put forward a few examples of complete infinite and circular explanations, and argued that complete non-wellfounded explanations such as these might explain the present state of the world better than their well-founded theistic counterparts (Billon, 2021). Although my aim was broader, the examples I gave there implied merely causal explanations. In this article, I would like to do three things: • Specify some general informative conditions for complete and incomplete non-wellfounded causal (...) explanations that can be used to assess candidate explanations and to generate new examples of complete non-wellfounded explanations. • Show that these conditions, which concern chains of causal explanations, easily generalize to chains of metaphysical, grounding explanations and even to chains involving other “determination relations” such as supervenience. • Apply these general conditions to the recent debates against the existence of nonwellfounded chains of grounds and show, with a couple of precise examples, that the latter can be complete, and that just like in the case of causal explanations, non-wellfoundedness can in fact be an aset rather than a liability. (shrink)

According to what we will call subjectivity theories of consciousness, there is a constitutive connection between phenomenal consciousness and subjectivity: there is something it is like for a subject to have mental state M only if M is characterized by a certain mine-ness or for-me-ness. Such theories appear to face certain psychopathological counterexamples: patients appear to report conscious experiences that lack this subjective element. A subsidiary goal of this chapter is to articulate with greater precision both subjectivity theories and the (...) psychopathological challenge they face. The chapter’s central goal is to present two new approaches to defending subjectivity theories in the face of this challenge. What distinguishes these two approaches is that they go to great lengths to interpret patients’ reports at face value – greater length, at any rate, than more widespread approaches in the extant literature. (shrink)

(2013). Does consciousness entail subjectivity? The puzzle of thought insertion. Philosophical Psychology: Vol. 26, No. 2, pp. 291-314. doi: 10.1080/09515089.2011.625117.

Descartes was certain that he was thinking and he was accordingly certain that he existed. Like Descartes, we seem to be more certain of our thoughts and our existence than of anything else. What is less clear is the reason why we are thus certain. Philosophers throughout history have provided different interpretations of the cogito, disagreeing both on the kind of thoughts it characterizes and on the reasons for its cogency. According to what we may call the empiricist interpretation of (...) the cogito, I can only claim to be certain of having experiences, and this certainty, as well as that of my own existence, stems from their phenomenal and subjective character. According to rationalist interpretations, on the other hand, I am certain of having some self-reflexive propositional attitudes, and this certainty derives from their rational features. Psychiatric patients suffering from acute forms of depersonalization or of the Cotard syndrome often doubt that they think and exist, and might even believe that they don't. I argue that their study allows us to favor the empiricist interpretation of the cogito. (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.

Natural modalities are often analysed from an abstract point of view where they are associated with putative laws of nature. However, the way possibilities are represented in physics is more complex. Lagrangian mechanics, for instance, involves two different layers of modalities: kinematical and dynamical possibilities. This paper examines the status of these two layers, both in the classical and quantum case. The quantum case is particularly problematic: we identify four possible interpretive options. The upshot is that a close inspection of (...) the way possibilities are represented in physics could lead to new ways of thinking about natural modalities. (shrink)

In this article I interpret John Rawls’s concept of the original position as a spiritual exercise. In addition to the standard interpretation of the original position as an expository device to select principles of justice for the fundamental institutions of society, I argue that Rawls also envisages it as a “spiritual exercise”: a voluntary personal practice intended to bring about a transformation of the self. To make this argument, I draw on the work of Pierre Hadot, a philosopher and classicist, (...) who introduced the idea of spiritual exercises as central to ancient and modern conceptions of philosophy. By reading Rawls alongside Hadot, this article portrays Rawls as a thinker deeply concerned with the question of how subjects can lead more just and fulfilling lives. It also proposes that the original position as a spiritual exercise can help defend liberalism as a social and political doctrine. (shrink)

Consider an infinite series whose items are each explained by their immediate successor. Does such an infinite explanation explain the whole series or does it leave something to be explained? Hume arguably claimed that it does fully explain the whole series. Leibniz, however, designed a very telling objection against this claim, an objection involving an infinite series of book copies. In this paper, I argue that the Humean claim can, in certain cases, be saved from the Leibnizian “infinite book copies” (...) objection, and that this provides an interesting way to defuse some cosmological arguments for the existence of God and to give a non-theistic but complete explanation of the Universe. In the course of my argumentation, I also show that circular explanations can be “self-explanatory” as well: explaining two items by each other can explain the couple of items tout court. (shrink)

Patients suffering from depersonalization complain of feeling detached from their body, their mental states, and actions or even from themselves. In this chapter, I argue that depersonalization consists in the lack of a phenomenal feature that marks my experiences as mine, which is usually called “mineness,” and that the study of depersonalization constitutes a neglected yet incomparable probe to assess empirically the scope, role, and even the nature of mineness. Here is how I will proceed. After describing depersonalization (§2) and (...) arguing that it involves a lack of mineness (§3) I will confront a series of objections (§4). I will then spell out what depersonalization can teach us about the scope of mineness (§5), about its role and psychological function (§6) and even about its nature (§7). (shrink)

This is a commentary on Andrea Lavazza and Murilo Vilaça's article "Human Extinction and AI: What We Can Learn from the Ultimate Threat" (Lavazza & Vilaça, 2024). I discuss the potential concern that their proposal to create artificial successors to "insure" against the tragedy of human extinction might mean being too quick to accept that catastrophic prospect as inevitable, rather than single-mindedly focusing on avoiding it. I also consider the question of the value that we might reasonably assign to such (...) a future of artificial successors under the assumption that they do not enjoy phenomenal consciousness. (shrink)

Basic self-awareness is the kind of self-awareness reflected in our standard use of the first-person. Patients suffering from severe forms of depersonalization often feel reluctant to use the first-person and can even, in delusional cases, avoid it altogether, systematically referring to themselves in the third-person. Even though it has been neglected since then, depersonalization has been extensively studied, more than a century ago, and used as probe for understanding the nature and the causal mechanisms of basic self-awareness. In this paper, (...) I argue that depersonalized patients indeed have an impaired basic self-awareness, and that their study allows us both to favor one specific theory of basic self-awareness and to understand what is wrong with its rivals. According to the favored theory, which I call Cartesian, we are basically self-aware in virtue of being acquainted with ourselves through introspection. (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)

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 potential of using personalized Large Language Models (LLMs) or “generative AI” (GenAI) to enhance productivity in academic research, as highlighted by Porsdam Mann and colleagues (Porsdam Mann...

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)

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)

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)

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)

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)

Due to its discussion of the question of non-being and its intention of grounding the philosophical discourse, Plato ́s dialogue The Sophist occupies a central position in the history of philosophy. The purpose of this article is to relate the definition method used by Plato in the dialogue (the diaeresis) with his conception of philosophical discourse. The different definitions for the sophist proposed in the dialogue are not only part of Plato's polemic against sophistry, but underpin the very Platonic conception (...) of the philosopher and philosophical discourse. While dialectics would be the method employed by the philosopher to arrive at knowledge and wisdom, sophistry would be only an imitation of true knowledge and true wisdom. (shrink)

Most paradoxes of self-reference have a dual or ‘hypodox’. The Liar paradox (Lr = ‘Lr is false’) has the Truth-Teller (Tt = ‘Tt is true’). Russell’s paradox, which involves the set of sets that are not self-membered, has a dual involving the set of sets which are self-membered, etc. It is widely believed that these duals are not paradoxical or at least not as paradoxical as the paradoxes of which they are duals. In this paper, I argue that some paradox’s (...) duals or hypodoxes are as paradoxical as the paradoxes of which they are duals, and that they raise neglected and interestingly different problems. I first focus on Richard’s paradox (arguably the simplest case of a paradoxical dual), showing both that its dual is as paradoxical as Richard’s paradox itself, and that the classical, Richard-Poincaré solution to the latter does not generalize to the former in any obvious way. I then argue that my argument applies mutatis mutandis to other paradoxes of self-reference as well, the dual of the Liar (the Truth-Teller) proving paradoxical. (shrink)