As systems based on opaque Artificial Intelligence (AI) continue to flourish in diverse real-world applications, understanding these black box models has become paramount. In response, Explainable AI (XAI) has emerged as a field of research with practical and ethical benefits across various domains. This paper not only highlights the advancements in XAI and its application in real-world scenarios but also addresses the ongoing challenges within XAI, emphasizing the need for broader perspectives and collaborative efforts. We bring together experts from diverse (...) fields to identify open problems, striving to synchronize research agendas and accelerate XAI in practical applications. By fostering collaborative discussion and interdisciplinary cooperation, we aim to propel XAI forward, contributing to its continued success. Our goal is to put forward a comprehensive proposal for advancing XAI. To achieve this goal, we present a manifesto of 27 open problems categorized into nine categories. These challenges encapsulate the complexities and nuances of XAI and offer a road map for future research. For each problem, we provide promising research directions in the hope of harnessing the collective intelligence of interested stakeholders. (shrink)

In this paper I argue that the search for explainable models and interpretable decisions in AI must be reformulated in terms of the broader project of offering a pragmatic and naturalistic account of understanding in AI. Intuitively, the purpose of providing an explanation of a model or a decision is to make it understandable to its stakeholders. But without a previous grasp of what it means to say that an agent understands a model or a decision, the explanatory strategies will (...) lack a well-defined goal. Aside from providing a clearer objective for XAI, focusing on understanding also allows us to relax the factivity condition on explanation, which is impossible to fulfill in many machine learning models, and to focus instead on the pragmatic conditions that determine the best fit between a model and the methods and devices deployed to understand it. After an examination of the different types of understanding discussed in the philosophical and psychological literature, I conclude that interpretative or approximation models not only provide the best way to achieve the objectual understanding of a machine learning model, but are also a necessary condition to achieve post hoc interpretability. This conclusion is partly based on the shortcomings of the purely functionalist approach to post hoc interpretability that seems to be predominant in most recent literature. (shrink)

John McDowell and Bill Brewer famously defend the view that one can only have empirical beliefs if one’s perceptual experiences serve as reasons for such beliefs, where reasons are understood in terms of subject’s reasons. In this paper I show, first, that it is a consequence of the adoption of such a requirement for one to have empirical beliefs that children as old as 3 years of age have to considered as not having genuine empirical beliefs at all. But we (...) have strong reasons to think that 3-year-old children have empirical beliefs, or so I argue. If this is the case, McDowell and Brewer’s requirement for one to have empirical beliefs faces a strong challenge. After showing this, I propose an alternative requirement for one to have empirical beliefs, and argue that it should be favoured over McDowell and Brewer’s requirement. (shrink)

What kind of education is needed for democracy? How can education respond to the challenges that current democracies face? This unprecedented Handbook offers a comprehensive overview of the most important ideas, issues, and thinkers within democratic education. Its thirty chapters are written by leading experts in the field in an accessible format. Its breadth of purpose and depth of analysis will appeal to both researchers and practitioners in education and politics. The Handbook addresses not only the historical roots and philosophical (...) foundations of democratic education, but also engages with contemporary political issues and key challenges to the project of democratic education. (shrink)

In this paper, I examine Pascal's Wager as a decision problem where the uncertainty is massive, that is, as a decision under ignorance. I first present several reasons to support this interpretation. Then, I argue that wagering for God is the optimal act in a broad range of cases, according to two well-known criteria for decision-making: the Minimax Regret rule and the Hurwicz criterion. Given a Pascalian standard matrix, I also show that a tie between wagering for God and wagering (...) against God is only possible under very narrow conditions when applying the Hurwicz criterion. Finally, I discuss three objections to these two versions of the Wager. The most pressing challenge comes from the Many-Gods objection. I conclude that this objection is even more challenging whenever one faces a situation of massive uncertainty about God's existence. I argue that addressing it requires a more detailed examination of the benefits of adopting a religious life compared to those of choosing non-theism, or an additional criterion that can break the tie between these options. (shrink)

In this paper I defend the idea that there is a sense in which it is meaningful and useful to talk about objective understanding, and that to characterize that notion it is necessary to formulate an account of explanation that makes reference to the beliefs and epistemic goals of the participants in a cognitive enterprise. Using the framework for belief revision developed by Isaac Levi, I analyze the conditions that information must fulfill to be both potentially explanatory and epistemically valuable (...) to an inquiring agent and to a scientific community. To be potentially explanatory, the information must state the relations of probabilistic relevance that the explanans bares to the explanandum. But a potential explanation con only be a bona fide explanation if it becomes part of inquiry, that is, if an agent or a group of agents can see any value in it for their cognitive purposes. I provide a way to evaluate the epistemic value of a potential explanation as a function of its credibility and its informational content. (shrink)

Many word forms in natural language are polysemous, but only some of them allow for co-predication, that is, they allow for simultaneous predications selecting for two different meanings or senses of a nominal in a sentence. In this paper, we try to explain (i) why some groups of senses allow co-predication and others do not, and (ii) how we interpret co-predicative sentences. The paper focuses on those groups of senses that allow co-predication in an especially robust and stable way. We (...) argue, using these cases, but focusing particularly on the multiply polysemous word ‘school’, that the senses involved in co-predication form especially robust activation packages, which allow hearers and readers to access all the different senses in interpretation. (shrink)

When it comes to evaluating reductive hypotheses in metaphysics, supervenience arguments are the tools of the trade. Jaegwon Kim and Frank Jackson have argued, respectively, that strong and global supervenience are sufficient for reduction, and others have argued that supervenience theses stand in need of the kind of explanation that reductive hypotheses are particularly suited to provide. Simon Blackburn's arguments about what he claims are the specifically problematic features of the supervenience of the moral on the natural have also been (...) influential. But most discussions of these arguments have proceeded under the strong and restrictive assumptions of the S5 modal logic. In this paper we aim to remedy that defect, by illustrating in an accessible way what happens to these arguments under relaxed assumptions and why. The occasion is recent work by Ralph Wedgwood, who seeks to defend non-reductive accounts of moral and mental properties together with strong supervenience, but to evade both the arguments of Kim and Jackson and the explanatory challenge by accepting only the weaker, B, modal logic. In addition to drawing general lessons about what happens to supervenience arguments under relaxed assumptions, our goal is therefore to shed some light on both the virtues and costs of Wedgwood's proposal. (shrink)

Informally, structural properties of mathematical objects are usually characterized in one of two ways: either as properties expressible purely in terms of the primitive relations of mathematical theories, or as the properties that hold of all structurally similar mathematical objects. We present two formal explications corresponding to these two informal characterizations of structural properties. Based on this, we discuss the relation between the two explications. As will be shown, the two characterizations do not determine the same class of mathematical properties. (...) From this observation we draw some philosophical conclusions about the possibility of a ‘correct’ analysis of structural properties. (shrink)

The disappearing agent problem is an argument in the metaphysics of agency. Proponents of the agent-causal approach argue that the rival event-causal approach fails to account for the fact that an agent is active. This paper examines an analogy between this disappearing agent problem and the exclusion problem in the metaphysics of mind. I develop the analogy between these two problems and survey existing solutions. I suggest that some solutions that have received significant attention in response to the exclusion problem (...) have seen considerably less attention in response to the disappearing agent problem. For example, one solution to the exclusion problem is to reject the exclusion assumption. Analogously, one solution to the disappearing agent problem could be to deny the claim that the agent-causal approach and the event-causal approach are mutually exclusive. Similarly, proportionality theories of causation, a solution to the exclusion problem, can be transferred to the disappearing agent problem. After establishing the plausibility of the analogy between the two problems, I examine how this latter solution in particular can be transferred from the one problem to the other. (shrink)

This is part one of a two-part paper, in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. This allows us to connect theories of partial ground with axiomatic theories of truth. In this part of the paper, we develop an axiomatization of the relation of partial ground over the truths of arithmetic and show that (...) the theory is a proof-theoretically conservative extension of the theory PT of positive truth. We construct models for the theory and draw some conclusions for the semantics of conceptualist ground. (shrink)

: New genetic technologies continue to emerge that allow us to control the genetic endowment of future children. Increasingly the claim is made that it is morally "irresponsible" for parents to fail to use such technologies when they know their possible children are at risk for a serious genetic disorder. We believe such charges are often unwarranted. Our goal in this article is to offer a careful conceptual analysis of the language of irresponsibility in an effort to encourage more care (...) in its use. Two of our more important sub-claims are: A fair judgment of genetic irresponsibility necessarily requires a thick background description of the specific reproductive choice; and there is no necessary connection between an act's being morally wrong and its being irresponsible. These are distinct judgments requiring distinct justifications. (shrink)

This article offers an explanation of perhaps Wittgenstein’s strangest and least intuitive thesis – the semantical mutation thesis – according to which one can never answer a mathematical conjecture because the new proof alters the very meanings of the terms involved in the original question. Instead of basing our justification on the distinction between mere calculation and proofs of isolated propositions, characteristic of Wittgenstein’s intermediary period, we generalize it to include conjectures involving effective procedures as well.

Uno de los principios éticos mencionados más frecuentemente en los lineamientos para el desarrollo de la inteligencia artificial (IA) es la transparencia algorítmica. Sin embargo, no existe una definición estándar de qué es un algoritmo transparente ni tampoco es evidente por qué la opacidad algorítmica representa un reto para el desarrollo ético de la IA. También se afirma a menudo que la transparencia algorítmica fomenta la confianza en la IA, pero esta aseveración es más una suposición a priori que una (...) tesis basada en evidencia empírica. Tampoco se discute mucho hasta qué punto es técnicamente posible volver transparente la caja negra de la IA a través de los métodos de explicabilidad. En este capítulo haré un análisis de la interrelación entre los conceptos de transparencia, explicabilidad y confianza. Inicialmente, analizaré los diferentes tipos de opacidad algorítmica para entender mejor cuál es el problema al que nos enfrentamos. En las secciones subsiguientes trazaré la relación entre explicabilidad y transparencia, y presentaré los límites de los métodos actuales de explicabilidad. En la sección final, examinaré la evidencia empírica acerca de la relación entre transparencia y confianza en las decisiones automatizadas basadas en sistemas de IA. (shrink)

This chapter explores the ideological dimension of dehumanization in the context of National Socialism, focusing on the connection between concepts of humanity and dehumanizing images. NS regarded itself as a political revolution, realizing a new concept of humanity. Nazi ideologues undergirded the self-understanding of NS by developing racist anthropologies. I examine two major strands of Nazi ideology, focusing on their diverging strategies of dehumanization, and arguing that they were dependent on different anthropological frameworks. Richard Walther Darré held a naturalistic concept (...) of humanity and advanced biologistic forms of dehumanization. Alfred Rosenberg developed a dualistic anthropology that combined metaphysical and natural features. He dehumanized certain groups of people by reducing them to being human in a natural sense only. Moreover, I aim to show that the key motifs of these racist worldviews were prevalent in the scientific and philosophical debates on anthropology in early-twentieth-century Germany. I thus explore the general orientation of both the naturalistic and the anti-naturalistic strand in anthropological thought, unfold the animalizing tendencies of these views, and emphasize their conformity with the key motifs of Nazi ideology. The case of NS should thus exemplify the dehumanizing potential of anthropological theories. (shrink)

The Newman problem is a fundamental problem that threatens to undermine structural assumptions and structural theories throughout philosophy and science. Here, we consider the problem in the context of consciousness science. We introduce and discuss the problem, and explain why it is detrimental not only to structuralist assumptions, but also to theories of consciousness, if left unconsidered. However, we show that if phenomenal spaces, and mathematical structures of conscious experience more generally, are understood in the right way, the Newman problem (...) does not arise. The upshot of our paper is that consciousness science needs to be careful in which definition of structure to consider, but if it is, the Newman problem disappears. (shrink)

The term ‘identity politics’ is used to refer to a wide range of political movements. In this paper, we look at the theoretical ideas underpinning two strongly, mutually opposed forms of identity politics, and identify some crucial differences between them. We critically compare the identitarian ideology of the New Right with feminist standpoint theory, focusing on two issues: relativism and essentialism. In carrying out this critical comparison we illuminate under-theorized aspects of both new right identitarianism and standpoint theory; demonstrate how (...) the two are distinct; reveal the depth and pervasiveness of the new right ideology’s flaws; and show what a coherent left-wing identity politics could look like. (shrink)

Several authors have recently questioned whether dehumanization is a psychological prerequisite of mass violence. This paper argues that the significance of dehumanization in the context of National Socialism can be understood only if its ideological dimension is taken into account. The author concentrates on Alfred Rosenberg’s racist doctrine and shows that Nazi ideology can be read as a political anthropology that grounds both the belief in the German privilege and the dehumanization of the Jews. This anthropological framework combines biological, cultural (...) and metaphysical aspects. Therefore, it cannot be reduced to biologism. This new reading of Nazi ideology supports three general conclusions: First, the author reveals a complex strategy of dehumanization which is not considered in the current psychological debate. Second, the analysis of the ideological mechanism suggests a model of dehumanization that is more plausible than other psychological models. Third, the author provides evidence that this kind of dehumanization had psychological consequences and hence was an important feature of Nazi reality. (shrink)

El uso de sistemas de machine learning en los procesos de selección laboral ha sido de gran utilidad para agilizarlos y volverlos más eficientes, pero al mismo tiempo ha generado problemas en términos de equidad, confiabilidad y transparencia. En este artículo comenzamos explicando los diferentes usos de la Inteligencia Artificial en los procesos de selección laboral en Estados Unidos. Presentamos los sesgos sexuales y raciales que han sido detectados en algunos de ellos y explicamos los obstáculos jurídicos y prácticos para (...) su detección y análisis. Un posible remedio jurídico a la discriminación algorítmica es el régimen de impacto diferencial sistémico utilizado en Estados Unidos. Usamos algunas características de este régimen para señalar los vacíos jurídicos frente a la discriminación en el acceso al empleo en el ámbito del derecho laboral colombiano, y ofrecemos algunas características generales que podría tener un régimen de esa naturaleza. (shrink)

This is part two of a two-part paper in which we develop an axiomatic theory of the relation of partial ground. The main novelty of the paper is the of use of a binary ground predicate rather than an operator to formalize ground. In this part of the paper, we extend the base theory of the first part of the paper with hierarchically typed truth-predicates and principles about the interaction of partial ground and truth. We show that our theory is (...) a proof-theoretically conservative extension of the ramified theory of positive truth up to. (shrink)

In the natural and social sciences, it is common to use toy models—extremely simple and highly idealized representations—to understand complex phenomena. Some of the simple surrogate models used to understand opaque machine learning (ML) models, such as rule lists and sparse decision trees, bear some resemblance to scientific toy models. They allow non-experts to understand how an opaque ML model works globally via a much simpler model that highlights the most relevant features of the input space and their effect on (...) the output. The obvious difference is that the common target of a toy and a full-scale model in the sciences is some phenomenon in the world, while the target of a surrogate model is another model. This essential difference makes toy surrogate models (TSMs) a new object of study for theories of understanding, one that is not easily accommodated under current analyses. This paper provides an account of what it means to understand an opaque ML model globally with the aid of such simple models. (shrink)

This is, to the best of my knowledge, the first published attempt at a rigorous logical formalization of a passage in Leibniz's Monadology. The method we followed was suggested by Johannes Czermak.

The asylum system faces problems on two fronts. States undermine it with populist politics, and migrants use it to satisfy their migration preferences. To address these problems, asylum services should be commodified. States should be able to pay other states to provide determination and protection-elsewhere. In this article, I aim to identify a way of implementing this idea that is both feasible and desirable. First, I sketch a policy proposal for a commodification of asylum services. Then, I argue that this (...) policy proposal is not only compatible with the right to asylum, but also supported by moral considerations. Despite some undesirable moral features, a market in asylum facilitates the provision of asylum to those who need it. (shrink)

A central dispute in social ontology concerns the existence of group minds and actions. I argue that some authors in this dispute rely on rival views of existence without sufficiently acknowledging this divergence. I proceed in three steps in arguing for this claim. First, I define the phenomenon as an implicit higher-order disagreement by drawing on an analysis of verbal disputes. Second, I distinguish two theories of existence—the theory-commitments view and the truthmaker view—in both their eliminativist and their constructivist variants. (...) Third, I examine individual contributions to the dispute about the existence of group minds and actions to argue that these contributions have an implicit higher-order disagreement. This paper serves two purposes. First, it is a study to apply recent advances in meta-ontology. Second, it contributes to the debate on social ontology by illustrating how meta-ontology matters for social ontology. (shrink)

Unlike other classical arguments for the existence of God, Pascal’s Wager provides a pragmatic rationale for theistic belief. Its most popular version says that it is rationally mandatory to choose a way of life that seeks to cultivate belief in God because this is the option of maximum expected utility. Despite its initial attractiveness, this long-standing argument has been subject to various criticisms by many philosophers. What is less discussed, however, is the rationality of this choice in situations where the (...) decision-makers are confronted with greater uncertainty. In this paper, I examine the imprecise version of Pascal’s Wager: those scenarios where an agent’s credence that God exists is imprecise or vague rather than precise. After introducing some technical background on imprecise probabilities, I apply five different principles for decision-making to two cases of state uncertainty. In the final part of the paper, I argue that it is not rationally permitted to include zero as the lower probability of God’s existence. Although the conditions for what makes an act uniquely optimal vary significantly across those principles, I also show how the option of wagering for God can defeat any mixed strategy under two distinct interpretations of salvation. (shrink)

In this paper, I argue that culture plays a pivotal role for understanding Nietzsche’s own normative commitments. My argument develops as follows: Section 2 shows that Nietzsche advances an ideal of self-cultivation (Bildung) which is derived from the existential role of culture, elevating a peculiar concept of artistic creativity to ground his perfectionist understanding of value. Section 3 traces Nietzsche’s image of Goethe as exemplar of creative excellence. I contend that Nietzsche portrays Goethe as a male genius, rendering his concept (...) of self-cultivation entrenched in the cultural imagery of his time. The fin de siècle was obsessed with the image of genius as well as the relationship of creativity and gender. Moreover, as towering figure of German culture after the founding of the German Empire in 1871, Goethe was a frequent example of creative genius. Section 4 deepens the discussion of the role of gender in Nietzsche’s concept of creativity, exploring how the essentialist gender psychology of his mature works curtails the creative potential of women and explains his dismissal of feminism. (shrink)

The question of what the function of human remembering might be has entered the contemporary philosophical discourse only relatively recently. In this debate, two main views have emerged: preservatism and simulationism. According to preservatism, the function of remembering is to preserve information from/about the past. In contrast, simulationism holds that the function of remembering is to enable reliable thought about the future. Here, I employ form to function reasoning to evaluate both of these views. I argue that both perservatism and (...) simulationism fail to account for the entire representational structure of episodic remembering. As an alternative, I then propose my own account: that the function of remembering is to track when we have epistemic authority about the past. (shrink)

We live in times of an increasing polarization in which the margins of the political spectrum begin to dominate our social imagination again. While the neoliberal iteration of the capitalist project suggests an extreme individualism as the normative default position, the devastating impact of the globalized economy on many has reignited the pursuit of socialist alternatives. In this constellation, Simmel’s social theory of modernity can be a useful resource to undercut the return of the old battle between opposite economic systems. (...) This paper argues that two kinds of pluralism can be derived from his conceptualization of the social effects of the money economy. In contrast to one-size-fits-all concepts of freedom, Simmel embraces a social pluralism which acknowledges a plurality of cultural spheres as relevant for the self-actualization of modern individuals, attributing different combinations of independence and embeddedness to them. Moreover, he rejects the social extremes of socialism and individualism, since they fail to properly integrate individual freedom into the social whole without undermining it. Instead Simmel gives us the vision of a pluralist economy in which democratic worker’s cooperatives are combined with an overall liberal market to satisfy both the longing for community and the strive for individual distinction. (shrink)

Bioethicists appearing in the media have been accused of "shooting from the hip" (Rachels, 1991). The criticism is sometimes justified. We identify some reasons our interactions with the press can have bad results and suggest remedies. In particular we describe a target (fostering better public dialogue), obstacles to hitting the target (such as intrinsic and accidental defects in our knowledge) and suggest some practical ways to surmont those obstacles (including seeking out ways to write or speak at length, rather than (...) in sound bites). We make use of our own research into the way journalists quote bioethicists. We end by suggesting that the profession as a whole look into this question more fully. (shrink)

Current work in language models (LMs) helps us speed up or even skip thinking by accelerating and automating cognitive work. But can LMs help us with critical thinking -- thinking in deeper, more reflective ways which challenge assumptions, clarify ideas, and engineer new concepts? We treat philosophy as a case study in critical thinking, and interview 21 professional philosophers about how they engage in critical thinking and on their experiences with LMs. We find that philosophers do not find LMs to (...) be useful because they lack a sense of selfhood (memory, beliefs, consistency) and initiative (curiosity, proactivity). We propose the selfhood-initiative model for critical thinking tools to characterize this gap. Using the model, we formulate three roles LMs could play as critical thinking tools: the Interlocutor, the Monitor, and the Respondent. We hope that our work inspires LM researchers to further develop LMs as critical thinking tools and philosophers and other 'critical thinkers' to imagine intellectually substantive uses of LMs. (shrink)

There is a growing awareness that there are many subtle forms of exclusion and partiality that affect the correct workings of a judicial system. The concept of epistemic injustice, introduced by the philosopher Miranda Fricker, is a useful conceptual tool to understand forms of judicial partiality that often go undetected. In this paper, we present Fricker’s original theory and some of the applications of the concept of epistemic injustice in legal processes. In particular, we want to show that the seed (...) planted by Fricker has flourished into a rich field of study in which the concept is used to analyze many different phenomena in law, not always following the original characterization provided by her. This has led to a distinction between what we will call the narrow version of the concept, which is closer to Fricker’s original account, and the wider version of epistemic injustice, which is a more controversial notion because it is always on the verge of morphing into other well-known concepts like sexism, racial discrimination, oppression, silencing, and gaslighting. We will show that the value of the narrow version is mostly theoretical, and that in order to use the concept of epistemic injustice one must adopt a more liberal understanding of it. (shrink)

This paper develops a taxonomy of kinds of actions that can be seen in group agency, human–machine interactions, and virtual realities. These kinds of actions are special in that they are not embodied in the ordinary sense. I begin by analysing the notion of embodiment into three separate assumptions that together comprise what I call the Embodiment View. Although this view may find support in paradigmatic cases of agency, I suggest that each of its assumptions can be relaxed. With each (...) assumption that is given up, a different kind of disembodied action becomes available. The taxonomy gives a systematic overview and suggests that disembodied actions have the same theoretical relevance as the actions of any ordinarily embodied human. (shrink)

To address societal challenges, research and innovation approaches, involving a wide range of actors, are increasingly promoted by policy communities. This paper explores the practice of Quadruple Helix collaborations for responsible innovation and how these implement the theoretical ambition of including actors from different societal sectors in innovation, including actors from the fields of arts, media and civil society, which is conceptualized as the Fourth Helix in this concept. Referring to cross-sector collaboration literature and based on an empirical investigation, we (...) explore which actors, representing the Fourth Helix, actually engage in innovation collaborations, how this engagement plays out in practice, and the institutional and systemic dynamics involved in output and value creation. We rely on data from three Social Labs in Austria, Germany, and the Netherlands, which constitute qualitative, change-oriented research processes, where we researched and engaged with actors from cases constituting- or aiming for a Quadruple Helix collaboration. This was accompanied by a desktop study including qualitative interviews of 51 further cases. We find that the actual engagement of actors from civil society is fragile and that forces beyond Quadruple Helix cases impact these quite firmly in some cases. (shrink)

This paper examines a looming reproducibility crisis in the core of the hard sciences. Namely, it concentrates on molecular modeling and simulation (MMS), a family of methods that predict properties of substances through computing interactions on a molecular level and that is widely popular in physics, chemistry, materials science, and engineering. The paper argues that in order to make quantitative predictions, sophisticated models are needed which have to be evaluated with complex simulation procedures that amalgamate theoretical, technological, and social factors (...) – leading to problems with reproducibility. Thus, for methodological reasons, the predictive success causes a reproducibility problem. (shrink)

Tradução para o português do livro "Le Scepticisme Philosophique", Paris: Bordas, 1972, de André Verdan. Título da edição brasileira: O Ceticismo Filosófico. Florianópolis: Editora da UFSC, 1998, 135 páginas. ISBN: 8532801390 / ISBN-13: 9788532801395.

According to Molinism, logically prior to his creative decree, God knows via middle knowledge the truth value of the counterfactuals or conditionals of creaturely freedom (CFs) and thus what any possible person would do in any given circumstance. Critics of Molinism have pointed out that the Molinist God gets lucky that the CFs allow him to actualize either a world of his liking or even a good-enough world at all. In this paper, I advance and strengthen the popular critique in (...) two ways. First, I specify the kind of luck to which God is subject, which is circumstantial moral luck. Second, and more importantly, I argue that exposure to this luck is problematic because something external to God and beyond his control determines the degree of praiseworthiness he deserves in relevant possible worlds. My main contention is that divine subjection to circumstantial moral luck raises the theoretical costs of Molinism. (shrink)

In a recent paper, Erasmus et al. (2021) defend the idea that the ambiguity of the term “explanation” in explainable AI (XAI) can be solved by adopting any of four different extant accounts of explanation in the philosophy of science: the Deductive Nomological, Inductive Statistical, Causal Mechanical, and New Mechanist models. In this chapter, I show that the authors’ claim that these accounts can be applied to deep neural networks as they would to any natural phenomenon is mistaken. I also (...) provide a more general argument as to why the notion of explainability as it is currently used in the XAI literature bears little resemblance to the traditional concept of scientific explanation. It would be more fruitful to use the label “understandable AI” to avoid the confusion that surrounds the goal and purposes of XAI. In the second half of the chapter, I argue for a pragmatic conception of understanding that is better suited to play the central role attributed to explanation in XAI. Following De Regt (2017) and Kuorikoski and Ylikoski (2015), the conditions of satisfaction for understanding an ML system are fleshed out in terms of an agent’s success in using the system. (shrink)

Some Molinists claim that a perfectly good God would actualize a world that is salvifically optimal, that is, a world in which the balance between the saved and damned is optimal and cannot be improved upon without undesirable consequences. I argue that given some plausible principles of rationality, alongside the assumptions Molinists already accept, God’s perfect rationality necessarily would lead him to actualize a salvifically optimal world; I call this position “Optimistic Molinism.” I then consider objections and offer replies, concluding (...) that Optimistic Molinism is undefeated and merits further exploration. (shrink)

Debates on Nietzsche’s naturalism usually posit nature and culture as competing principles to understand the contingent genesis of humanity. In contrast to this polarizing tendency, I argue that Nietzsche focuses on the cultural characteristics of humanity because of his naturalistic framework. Moreover, I submit that Nietzsche’s conceptualization of the entanglement of nature and culture contains important insights for critically understanding the challenges of the Anthropocene today.

The scientific study of consciousness, also referred to as consciousness science, is a young scientific field devoted to understanding how conscious experiences and the brain relate. It comprises a host of theories, experiments, and analyses that aim to investigate the problem of consciousness empirically, theoretically, and conceptually. This thesis addresses some of the questions that arise in these investigations from a formal and mathematical perspective. These questions concern theories of consciousness, experimental paradigms, methodology, and artificial consciousness. -/- Regarding theories of (...) consciousness, the thesis contributes to the understanding of the mathematical structure that some of the formal theories in the field propose. The work presented here targets the theory of consciousness known as Integrated Information Theory (IIT) and the neuroscientific theory known as Predictive Processing Theory or Free Energy Principle in its Active Inference form (AI-PP). The thesis provides axiomatic definitions of the mathematical structures that constitute these theories, and uses these definitions to address some of the open questions surrounding the theories. For AI-PP, this includes a rigorous derivation of the formula for Active Inference via Free Energy minimisation and a proof of compositionality of Free Energy. For IIT, this includes resolutions of some of the criticisms of IIT's formal scope and applications, but also the identification of new issues that concern the formalism and its derivation. When possible, the definitions are provided in the mathematical framework of category theory. -/- Regarding experiments, the thesis addresses the main paradigm for testing and falsifying theories of consciousness currently applied in the field. This paradigm consists of comparing the conscious experience that a theory predicts with the conscious experience that is inferred from behavioural data or report by use of measures of consciousness. The thesis provides a formal model of this paradigm and shows that under a certain condition—if inference and prediction are independent—, any minimally informative theory of consciousness can always be falsified. This is deeply problematic since the field’s reliance on report or behaviour to infer conscious experiences, in conjunction with the general structure of most contemporary theories of consciousness, implies such independence. This observation provides the exact formal underpinning of the well-known unfolding argument. The thesis analyses the origin of the problem and identifies precisely which changes are required to avoid this problem in future research. The thesis furthermore shows that the problem of falsifying theories of consciousness, and of empirical comparisons of theories of consciousness more generally, follows from a pervasive closure paradigm in consciousness science, that consists of taking a neuroscientific account of the brain as input to a theory of consciousness, so as to explain what consciousness is, without allowing for modifications or adaptations of the neuroscientific account that would accommodate consciousness as part of the brain's functioning. As is shown in the thesis, this paradigm has implications that point to a fundamental need of revision. -/- Regarding methodological and conceptual questions, the thesis contributes to the foundations of structural research in consciousness science. Structural research aims to use mathematical structures or mathematical spaces, instead of verbal descriptions or simple categorisations, to represent conscious experiences scientifically, for example when building theories of consciousness, or when exploring new empirical avenues to measure consciousness. Despite considerable advances in this realm, there was, prior to this thesis, no explicit definition of what a mathematical structure of conscious experience should be; that is, how the attribution of mathematical structure to conscious experiences should be systematically understood. Perhaps the most important contribution of this thesis to the field is to propose such a definition. The definition, a structural concept, extends existing approaches wherever available, and provides a basis for developing a common formal language to study consciousness, bridging developments as far apart as psychophysics and phenomenology. In addition, and independently of this proposal, the thesis offers a critical analysis of which metaphysical premises need to be presumed in structural research, whether the use of particular formal tools (such as structure-preserving mappings or homomorphisms) is justified, and how structural theories of consciousness could otherwise be built in the first place. An attempt to expand the results from consciousness to more general problems in philosophy of science is made in the context of the well-known Newman problem. -/- Regarding the question of artificial consciousness—can AI feel?—, the thesis contributes two results that take the form of no-go theorems, as known from physics. The first no-go theorem shows that if consciousness is relevant for the temporal evolution of a system's states—if it is dynamically relevant—, then contemporary AI systems cannot be conscious. That is because AI systems run on CPUs, GPUs, TPUs or other processors which have been designed and verified to adhere to computational dynamics that systematically preclude or suppress deviations. The second no-go theorem is situated in the context of computational functionalism, a view which posits that consciousness is a computation. The theorem shows that if computational functionalism holds true, consciousness cannot be a Turing computation. Rather, it must be a novel type of computation that has recently been proposed by Geoffrey Hinton, called mortal computation. -/- This thesis is part of a global effort to pioneer a mathematical perspective in consciousness science, now called Mathematical Consciousness Science. The hope behind the research carried out in this PhD is to illustrate the power and usefulness of mathematical approaches in different areas of consciousness science, and in doing so, to lay the foundations for future mathematical work that complements and supports empirical and theoretical work in the further development of this exciting field. (shrink)

Seit wenigen Jahren erfreuen sich in den Lebenswissenschaften mehrere Theorien eines immer weitergehenden Einflusses, die unter Etikettierungen wie Systembiologie, Netzwerktheorie oder Signalomics nur scheinbar unabhängige Herangehensweisen an komplexe Zusammenhänge darstellen. Navigation ist der übergreifende Gedanke, der so unterschiedliche Gebiete wie Regelungstheorie, Entscheidungstheorie und Systemwissenschaft verbindet. Navigation als Lage- und Kursbestimmung nebst den zugehörigen Signalverarbeitungsprozessen und Steuerkommandos ist die Grundlage dessen, was lebende Organismen von der blo§en Ansammlung materieller Ingredienzien unterscheidet – von der molekularen Ebene bis zum Sozialverhalten. Denn stets stellen (...) sich Prozesse des Lebens als solche des Suchens, Kommunizierens, Disponierens und Vervollkommnens dar, ob es sich nun um die Regulation der Sauerstoffspannung im Blut oder die Organisation eines Ameisenvolkes handelt. Navigationsaufgaben sind damit schließlich auch Fragestellungen ärztlicher Entscheidungsfindung, die sich in einem komplexen Raum aus individuellen, sozialen und ethischen Anforderungen entfalten. (shrink)

Given the importance of the principle of causality for the demonstration of God’s existence, this paper attempts to justify the evidence and necessity of the principle of causality, by following Fr. Fabro’s Thomistic defense—based on the notion of participation—but adding a particular emphasis on the notion of “being which is not per se,” this latter as an explanatory notion of the notion of “being which is by participation.” The introductory remarks touch upon two misunderstandings regarding the notion of participation employed (...) as a subject of the principle of causality: the first, considering “participated being” as a synonym of “received being,” and the second, the confusion, regarding the notion of being by participation, between its notional dependence on the notion of being as a whole and its real dependence on the real intensive Being. Then, in the first point, the defense of the principle of causality is distinguished from other related problems, like the particular applications of this principle. In the second and main point, we try to justify the necessity of being caused in the being which is experienced as being by participation, as follows: 1) that which is something by participation is not this something per se; 2) now, that which is not per se, either is not or is per aliud, 3) Therefore, that which is something by participation is per aliud. In the third and last point, we endeavor to justify the Thomism of our defense and of our emphasis on this notion of “being which is not per se” by considering two texts of St. Thomas. (shrink)

Los sesgos cognitivos afectan negativamente la toma de decisiones en todas las esferas de la vida, incluyendo las decisiones de los jueces. La imposibilidad de eliminarlos por completo de la práctica del derecho, o incluso de controlar sus efectos, contrasta con el anhelo de que las decisiones judiciales sean el resultado exclusivo de un razonamiento lógico-jurídico correcto. Frente el efecto sistemático, recalcitrante y porfiado de los sesgos cognitivos, una posible estrategia para disminuir su efecto es enfocarse, no en modificar el (...) comportamiento de los agentes judiciales, sino en moldear su entorno para que los sesgos tengan menos oportunidades de aparecer. En particular, es más provechoso concentrar los esfuerzos en identificar aquellas reglas procesales que faciliten o limiten el efecto de los sesgos. En este ensayo propongo un diálogo fructífero entre el derecho y la psicología que puede llevar a mejorar la calidad de los sistemas judiciales. La propuesta está basada en la creación de guías de práctica judicial que puedan servir de base para la creación de protocolos procesales que limiten en la medida de lo razonable sus efectos negativos y conduzcan a mejores decisiones judiciales. (shrink)

Does the Chinese Room Argument (CRA) apply to large language models (LLMs)? The thought experiment at the center of the CRA is tailored to Good Old-Fashioned Artificial Intelligence (GOFAI) systems. However, natural language processing has made significant progress, especially with the emergence of LLMs in recent years. LLMs differ from GOFAI systems in their design; they operate on vectors rather than symbols and do not follow a program but instead learn to map inputs to outputs. Consequently, some have suggested that (...) the CRA is no longer relevant in discussions surrounding artificial language understanding. Contrary to these authors, I argue that if the CRA successfully demonstrates that implementing a symbolic computation is not sufficient for language understanding, then it also shows that implementing an LLM is not sufficient for language understanding. At the core of my argument lies a thought experiment called “the flashcard sorter”. (shrink)

These thirteen paragraphs portray epistemology as the study, not directly of knowing as a human action (which could be considered the object also of anthropology) but as the study of the mode of being of the object in the subject and, in this sense, of intentional being. Moreover, intentional being is not understood as the being of the cognitional species or representation, which is real and subjective, but as the being of the known, as the presence of the known to (...) the knower (obviously, through the species but a being not reduced to the subjective being of the species): this kind of being is the proper object of epistemology. Other considerations regarding the distinction between metaphysics and epistemology take place as well. As regards the method, this essay attempts to apply Aquinas’ four steps of scientific reasoning to epistemology, in the following fashion and order: 1- Solution of the problem of the universals by recourse to the theory of the agent intellect (resolutio secundum rem); 2- Definition of knowledge as intentional possession of being (res. sec. rationem); 3- Judgment of value regarding the different instances of human knowledge or critique of knowledge (compositio secundum rem) and 4- Reinterpretation (in the light of the previous path) of common notions of epistemology, such as truth, certainty, evidence, and error (comp. sec. rationem). (shrink)

Durante los últimos años, el problema de cómo justificar aquellas creencias que se originan en testimonios ha ocupado un lugar central en la epistemología. Sin embargo, muy pocas de esas reflexiones son conocidas en el derecho probatorio. En el presente ensayo analizo la prueba testimonial a la luz de estas reflexiones con el fin de poner de manifiesto los supuestos epistemológicos de algunos principios procesales. En concreto, analizo la legislación colombiana y la estadounidense en el marco de la disputa entre (...) el reduccionismo y el antirreduccionismo en la filosofía del testimonio. Al final sugiero una nueva aproximación epistemológica que replantea los términos de la disputa y que tiene implicaciones importantes para la valoración de la prueba testimonial en los procesos judiciales. (shrink)

Why I thought it useful to offer an explanation of Hegel’s doctrine on the Incarnation was so that the reader may be empowered to identify Hegel’s influence in modern accounts of this mystery. Even if, in my view, Hegel’s interpretation of revealed religion differs greatly from Catholic Doctrine, it is not surprising to find the presence of some of his concepts in modern theology. In truth, what matters is not the theologian’s self-identification as Hegelian or as non-Hegelian, but whether or (...) not the theologian adopts Hegel’s concepts. This paper offers an explanation of the internal dynamism of Hegelian concepts and their relation to Christian doctrine in Hegel’s Phenomenology of Spirit. This research may help to show in what way it is possible to explain Christian religious doctrine with a philosophy other than the Thomistic one and how, at least in Hegel’s case, religious doctrine is changed and reduced to an erroneous philosophical content. Also, an attempt is made to show the internal “coherence” of this Hegelian re-reading of Christianity so that theologians may become more cautious about accepting an explanation of Christian doctrine simply because the Christian language is preserved in that explanation. (shrink)

El testimonio es nuestra mayor fuente de creencias. La gran mayoría de nuestras creencias han sido adquiridas a partir de las palabras de otros y no a través de la observación directa del mundo. Una de las peculiaridades de la mayor parte de las creencias testimoniales es que son aceptadas sin ninguna deliberación consciente. Mientras el testimonio sea consistente con nuestras creencias y la fuente sea confiable, la reacción más corriente es la aceptación automática de la información (Thagard 2004, 2005). (...) Nuestra confianza en el testimonio de los demás es un requisito no sólo para la construcción colectiva del conocimiento (Hardwig 1985, 1991), sino también para la interacción social en general. Sin embargo existen contextos en los que la aceptación apresurada de un testimonio falso puede tener consecuencias nefastas. En contextos científicos, legales, políticos y financieros, entre otros, se toman decisiones importantes y se implementan políticas cruciales a partir de las afirmaciones de otros. En estos contextos la aceptación de un testimonio debe ser el resultado de un proceso de decisión basado en criterios objetivos de justificación. Sin embargo, existen dos objeciones al intento de justificar la aceptación de un testimonio (Coady 1973, 1992). La primera es que cualquier justificación será irremediablemente circular puesto que la inmensa mayoría de testimonios obtienen su justificación, al menos en parte, de evidencia de tipo testimonial. La segunda es que nuestras inferencias acerca de la confiabilidad de ciertos tipos de testimonio nunca tendrán un apoyo inductivo lo suficientemente fuerte debido a que los casos en los que un tipo de testimonio puede ser verificado directamente en la experiencia nunca serán lo suficientemente numerosos. En este ensayo presento una solución al problema de cómo decidir racionalmente si un testimonio puede ser aceptado como evidencia probatoria en una investigación. Mi propuesta, que está basada en la teoría de revisión de creencias desarrollada por Levi (1984, 1991), muestra que la aceptación justificada de un testimonio está basada en exactamente los mismos mecanismos de adquisición de creencias que operan en el caso de evidencias no testimoniales; al mismo tiempo, la propuesta da cuenta de las particularidades que se presentan en el proceso de evaluación de una evidencia testimonial. Mi tesis es que la decisión de aceptar un testimonio es un proceso que se cumple en dos etapas. En la primera se busca una justificación pare el testimonio buscando todos los hechos que aumenten la probabilidad de que el testimonio sea verdadero, es decir, de que el testigo o declarante esté reportando verídicamente un hecho. La aceptación de estos hechos y de su relación probabilística positiva con respecto al testimonio está basada en la búsqueda de un equilibrio entre su credibilidad y su valor informativo. En la segunda etapa, se determina si la justificación obtenida en la primera es suficiente para la aceptación del testimonio, de nuevo buscando encontrar un equilibrio entre su credibilidad y la utilidad de la información que contiene en promover los intereses y metas cognitivas del investigador. (shrink)