With AI permeating our lives, there is widespread concern regarding the proper framework needed to morally assess and regulate it. This has given rise to many attempts to devise ethical guidelines that infuse guidance for both AI development and deployment. Our main concern is that, instead of a genuine ethical interest for AI, we are witnessing moral diplomacies resulting in moral bureaucracies battling for moral supremacy and political domination. After providing a short overview of what we term ‘ethics washing’ in (...) the AI industry, we analyze the 2021 UNESCO Intergovernmental Meeting of Experts (Category II) tasked with drafting the Recommendation on the Ethics of Artificial Intelligence and show why the term ‘moral diplomacy’ is better suited to explain what is happening in the field of the ethics of AI. Our paper ends with some general considerations regarding the future of the ethics of AI. (shrink)

Review the Istvan Kiraly V.'s book: Death and History.

Due to Gӧdel’s incompleteness results, the categoricity of a sufficiently rich mathematical theory and the semantic completeness of its underlying logic are two mutually exclusive ideals. For first- and second-order logics we obtain one of them with the cost of losing the other. In addition, in both these logics the rules of deduction for their quantifiers are non-categorical. In this paper I examine two recent arguments –Warren (2020), Murzi and Topey (2021)– for the idea that the natural deduction rules for (...) the first-order universal quantifier are categorical, i.e., they uniquely determine its semantic intended meaning. Both of them make use of McGee’s open-endedness requirement and the second one uses in addition Garson’s (2013) local models for defining the validity of these rules. I argue that the success of both these arguments is relative to their semantic or infinitary assumptions, which could be easily discharged if the introduction rule for the universal quantifier is taken to be an infinitary rule, i.e. non-compact. Consequently, I reconsider the use of the ω-rule and I show that the addition of the ω-rule to the standard formalizations of first-order logic is categorical. In addition, I argue that the open-endedness requirement does not make the first-order Peano Arithmetic categorical and I advance an argument for its categoricity based on the inferential conservativity requirement. (shrink)

2020 is the year of the first pandemic lived through the Internet. More than half of the world population is now online and because of self-isolation, our moral and social lives unfold almost exclusively online. Two pressing questions arise in this context: how much can we rely on the Internet, as a set of technologies, and how much should we trust online platforms and applications? In order to answer these two questions, I develop an argument based on two fundamental assumptions: (...) the development stage of today’s Internet is a contingent and not a necessary one and technologies are never neutral. My argument is that today’s pandemic produced an acceleration of the change which started almost 30 years ago, one of online migration, datafication and algorithmization of day to day life, a change in which digital technologies take on the classic role of institutions, both formal and informal. My thesis is a descriptive one, although it has some normative implications: this take over is not just a translation, but a modification or mutation which demands a creative collective answer, although users don’t have direct power over it. When they play the role of institutions, these technologies are surrogates or simulacra. I offer the paradigmatic case of online education, an experiment we were forced into because of the pandemic, in order to show that the institutional matrix of education cannot be reproduced online, due to the limitations of the medium and of the applications, especially those concerning physical presence. In the end I will critically address the question of the role played by Artificial Intelligence in the pandemic, and then I will show that the open source ethics was more useful in approaching scientifically and technologically the problems generated by the epidemic. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

In this paper, I aim to defend Gadamer’s philosophical hermeneutics against what I call the radical hermeneutic critique, specifically the critique developed in Robert Bernasconi’s article “’You Don’t Know What I’m Talking About’: Alterity and the Hermeneutic Ideal” (1995). Key to this critique is the claim that Gadamer’s account does not rise to the ethical task of embracing the alterity of the Other, but instead reduces it to a projection of one’s self. The implication is therefore that Gadamer’s philosophical hermeneutics (...) has to be rejected on ethical grounds, as it does not appreciate but assimilates the alterity of the Other. In contrast to this radical hermeneutic critique, I argue that Gadamer’s philosophical hermeneutics can accommodate an Other that is not assimilated but appreciated, on the condition that the unique status of a dialogue with the Other as a person is no longer neglected, as Gadamer does, but instead truly distinguished from a dialogue with the Other as a text. (shrink)

Logical inferentialism maintains that the formal rules of inference fix the meanings of the logical terms. The categoricity problem points out to the fact that the standard formalizations of classical logic do not uniquely determine the intended meanings of its logical terms, i.e., these formalizations are not categorical. This means that there are different interpretations of the logical terms that are consistent with the relation of logical derivability in a logical calculus. In the case of the quantificational logic, the categoricity (...) problem is generated by the finite nature of the standard calculi and one direction in which it can be solved is to strengthen the deductive systems by adding infinitary rules (such as the ω-rule), i.e., to construct a full formalization. Another main direction is to provide a natural semantics for the standard rules of inference, i.e., a semantics for which these rules are categorical. My aim in this paper is to analyze some recent approaches for solving the categoricity problem and to argue that a logical inferentialist should accept the infinitary rules of inference for the first order quantifiers, since our use of the expressions “all” and “there is” leads us beyond the concrete and finite reasoning, and human beings do sometimes employ infinitary rules of inference in their reasoning. (shrink)

Vann McGee has recently argued that Belnap’s criteria constrain the formal rules of classical natural deduction to uniquely determine the semantic values of the propositional logical connectives and quantifiers if the rules are taken to be open-ended, i.e., if they are truth-preserving within any mathematically possible extension of the original language. The main assumption of his argument is that for any class of models there is a mathematically possible language in which there is a sentence true in just those models. (...) I show that this assumption does not hold for the class of models of classical propositional logic. In particular, I show that the existence of non-normal models for negation undermines McGee’s argument. (shrink)

The concern of deductive logic is generally viewed as the systematic recognition of logical principles, i.e., of logical truths. This paper presents and analyzes different instantiations of the three main interpretations of logical principles, viz. as ontological principles, as empirical hypotheses, and as true propositions in virtue of meanings. I argue in this paper that logical principles are true propositions in virtue of the meanings of the logical terms within a certain linguistic framework. Since these principles also regulate and control (...) the process of deduction in inquiry, i.e., they are prescriptive for the use of language and thought in inquiry, I argue that logic may, and should, be seen as an instrument or as a way of proceeding (modus procedendi) in inquiry. (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)

We argue that, if taken seriously, Kripke's view that a language for science can dispense with a negation operator is to be rejected. Part of the argument is a proof that positive logic, i.e., classical propositional logic without negation, is not categorical.

Our technological lifeworld has become an info-computational media populated by data and algorithms, an artificial environment for life and shared experiences. In this chapter, I tried to sketch three new assumptions for bioethics – it is hardly possible to substantiate ethical guidelines or an idea of normativity in an aprioristic manner; moral status is a function of data entities, not something solely human; agency is plural and thus is shared or sometimes delegated – in order to chart a proposal for (...) a posthuman bioethics. Posthuman is perhaps not the best expression available, but it covers the idea of a shift from a world centered on self-contained and exclusively human agency to a more comprehensive and relational way of thinking. The “posthuman” label should be understood as a rebuttal of biocentrism and anthropocentrism by moving closer to conceptions we encounter in population ethics or in discourse about biosocial and technical systems. Posthuman bioethics is “environmentalist” without losing the humanistic stance. The question regarding how suitable an infocentric bioethics is in practice remains to be settled. The moral principles in bioethics could be reconceived as relying on these new assumptions, in a postindividualistic manner that accepts formal primacy of causal digital artifacts in affording actions in a world of ambient algorithmic intelligence. (shrink)

This paper is a short introduction to Carnap’s writings on semantics with an emphasis on the transition from the syntactic period to the semantic one. I claim that one of Carnap’s main aims was to investigate the possibility of the symmetry between the syntactic and the semantic methods of approaching philosophical problems, both in logic and in the philosophy of science. This ideal of methodological symmetry could be described as an attempt to obtain categorical logical systems, i.e., systems that allow (...) only the intended semantical interpretation. (shrink)

The problem analysed in this paper is whether we can gain knowledge by using valid inferences, and how we can explain this process from a model-theoretic perspective. According to the paradox of inference (Cohen & Nagel 1936/1998, 173), it is logically impossible for an inference to be both valid and its conclusion to possess novelty with respect to the premises. I argue in this paper that valid inference has an epistemic significance, i.e., it can be used by an agent to (...) enlarge his knowledge, and this significance can be accounted in model-theoretic terms. I will argue first that the paradox is based on an equivocation, namely, it arises because logical containment, i.e., logical implication, is identified with epistemological containment, i.e., the knowledge of the premises entails the knowledge of the conclusion. Second, I will argue that a truth-conditional theory of meaning has the necessary resources to explain the epistemic significance of valid inferences. I will explain this epistemic significance starting from Carnap’s semantic theory of meaning and Tarski’s notion of satisfaction. In this way I will counter (Prawitz 2012b)’s claim that a truth-conditional theory of meaning is not able to account the legitimacy of valid inferences, i.e., their epistemic significance. (shrink)

The categoricity problem for a system of logic reveals an asymmetry between the model-theoretic and the proof-theoretic resources of that logic. In particular, it reveals prima facie that the proof-theoretic instruments are insufficient for matching the envisaged model-theory, when the latter is already available. Among the proposed solutions for solving this problem, some make use of new proof-theoretic instruments, some others introduce new model-theoretic constrains on the proof-systems, while others try to use instruments from both sides. On the proof-theoretical side, (...) two main approaches for solving the categoricity problem for propositional classical logic consist in the enforcement of the formal systems of this logic by introducing rules of inference of a new kind. A multiple-conclusions logic allows rules of inference with more than one conclusion, while a bilateralist system contains rules of inference formulated in terms of assertion and rejection. Both these approaches reveal interesting formal features of logical reasoning. This paper analyses some of the advantages and limitations of these two approaches as solutions for a full formalization of logic, i.e., for a categorical formalization. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (shrink)

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)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

A review of the volume that brings together K.R. Popper's writings on deductive logic and its foundations. I emphasize Popper's inferentialist position in his earlier articles and Carnap's influence on many of his logical ideas (an interesting letter from Carnap to Popper is also summarised in the review).

K. R. Popper distinguished between two main uses of logic, the demonstrational one, in mathematical proofs, and the derivational one, in the empirical sciences. These two uses are governed by the following methodological constraints: in mathematical proofs one ought to use minimal logical means (logical minimalism), while in the empirical sciences one ought to use the strongest available logic (logical maximalism). In this paper I discuss whether Popper’s critical rationalism is compatible with a revision of logic in the empirical sciences, (...) given the condition of logical maximalism. Apparently, if one ought to use the strongest logic in the empirical sciences, logic would remain immune to criticism and, thus, non-revisable. I will show that critical rationalism is theoretically compatible with a revision of logic in the empirical sciences. However, a question that remains to be clarified by the critical rationalists is what kind of evidence would lead them to revise the system of logic that underlies a physical theory, such as quantum mechanics? Popper’s falsificationist methodology will be compared with the recently advocated extension of the abductive methodology from the empirical sciences to logic by T. Williamson, since both of them arrive at the same conclusion concerning the status of classical logic. (shrink)

This interview, conducted over the span of several months, tracks the respective journeys of Constantin V. Boundas and Daniel W. Smith with the philosophy of Gilles Deleuze. Rather than “becoming Deleuzian,” which is neither desirable nor possible, these exchanges reflect an array of encounters with Deleuze. These include the initial discoveries of Deleuze’s writings by Boundas and Smith, in-person meetings between Boundas and Deleuze, and the wide-ranging and influential philosophical work on Deleuze’s concepts produced by both Boundas and Smith. (...) At stake in this discussion are key contributions by Deleuze to continental philosophy, including the distinction between the virtual and the actual and the very nature of a “concept.” Also at stake is the formative or pedagogical impact of a philosopher, like Deleuze, on those who find and fully engage with his texts, concepts, and project. Cette interview, menée sur plusieurs mois, suit les parcours respectifs de Constantin V. Boundas et Daniel W. Smith avec la philosophie de Gilles Deleuze. Au lieu de « devenir Deleuzien, » ce qui n’est ni souhaitable ni possible, ces échanges reflètent un éventail de rencontres avec Deleuze. Il s’agit notamment des premières découvertes des écrits de Deleuze par Boundas et Smith, des rencontres en personne entre Boundas et Deleuze, et du travail philosophique vaste et in????luent sur les concepts de Deleuze produit par Boundas et Smith. L’enjeu ici étant les contributions clés de Deleuze à la philosophie continentale, y compris la distinction entre le virtuel et l’actuel, et la nature même d’un « concept. » Mais il y a aussi l’impact formateur ou pédagogique d’un philosophe, comme Deleuze, sur ceux qui trouvent et s’engagent pleinement dans ses textes, ses concepts et ses projets. (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)

Research on the most effective Linux iptables rules to mitigate Distributed Denial of Service (DDoS) attacks.

The future rests under the sign of technology. Given the prevalence of technological neutrality and inevitabilism, most conceptualizations of the future tend to ignore moral problems. In this paper we argue that every choice about future technologies is a moral choice and even the most technology-dominated scenarios of the future are, in fact, moral provocations we have to imagine solutions to. We begin by explaining the intricate connection between morality and the future. After a short excursion into the history of (...) Artificial Intelligence, we analyse two possible scenarios, which show that building the future with technology is, first and foremost, a moral endeavor. (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)

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)

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)

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)

Para solucionar a questão “sobre o que há” levantada por Quine, e realizar a tarefa de compreender de forma exauriente as muitas unidades ontológicas que povoam a grande província do Ser, propomos como alternativa à ontologia punteliana, uma nova ontologia designada de “Ontologia Estrutural” (OE). Tal ontologia parte de bases teóricas sistemático-estruturais, mas desemboca em uma visão diversa em que co-subsistem unidades factuais estruturadas, configurações estruturais (dinâmicas), bem como unidades ontológicas aparentes (objetos), todas englobadas pela subdimensão temporal que as interconexiona, (...) compreendida esta como uma subdimensão (interna) da macrodimensão do Ser. Nesse sentido, começamos situando a temática ontológica na discussão filosófica atual a partir de uma chave quineana; prosseguimos apresentando um conceito de verdade derivado de nossa leitura da filosofia punteliana, o qual constituirá o ponto de ligação entre linguagem e mundo. Na sequência, mostramos como do conceito de verdade trazido à lume, após uma breve incursão na semântica filosófica, chegamos ao campo ontológico a partir das categorias ontológicas de estrutura e estado ontológico. Ao final, delineamos, em seus caracteres gerais, a nossa ontologia estrutural, compreensiva de noções ontológicas próprias que dão novos rumos à compreensão filosófica desta grande temática. (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)

A discussion of the ethics of stem cell research, and attempts to regulate it.

Elderhood—or old age, if one prefers—is a stage of life without much cultural meaning. It is generally viewed simply as a time of regrettable decline. Paying more attention to it, to its special pleasures and developmental achievements, will be helpful not only to elders but to those younger as well. I will argue that three existential tasks are central in elderhood, but also important at every other stage of adult life. I identify three: cherishing the present, accepting the past, and (...) investing in a future broader than one’s own. Articulating these tasks is intellectually interesting, useful to elders, and should be enlightening (as well as reassuring) to younger adults. (shrink)

Margaret Urban Walker argues that hospital ethics committees should think of their task as "keeping moral space open." I develop her suggestion with analogies: Enlarge the windows (i.e., expand what counts as an ethical issue); add rooms and doors (i.e., choose particular issues to engage). Examples include confidentiality defined as information flow, and moral distress in the healthcare workplace.

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)

Abstract In The Descent of Man (1879), Charles Darwin proposed a speculative evolutionary explanation of extended benevolence—a human sympathetic capacity that extends to all nations, races, and even to all sentient beings. This essay draws on twenty-first century social science to show that Darwin’s explanation is correct in its broad outlines. Extended benevolence is manifested in institutions such as legal human rights and democracy, in behaviors such as social movements for human rights and the protection of nonhuman animals, and in (...) normative attitudes such as emancipative values and a commitment to promote the rights or welfare of animals. These phenomena can be substantially explained by cultural evolutionary forces that trace back to three components of what Darwin called the human “moral sense”: (1) sympathy, (2) our disposition to follow community rules or norms, and (3) our capacity to make normative judgments. Extended benevolence likely emerged with “workarounds,” including political ideologies, that established an inclusive sympathetic concern for sentient life. It likely became as widespread as it is now due to recently arisen socio-economic conditions that have created more opportunities for people to have contact with and take the perspective of a broader cross-section of humanity, as well as other species. (shrink)

As feminist theory explicates its fundamental principles – justice for the oppressed – it can lose its essential focus on the situation of women. One example is the inattention to nurses within feminist bioethics. Nurses deserve attention because most are women, but also because their lack of power is paradigmatic of patriarchy. Those examining ethics consultations should discuss whether nurses are allowed to request them. But feminists also need to imagine ways in which nurses can be heard when, for instance, (...) their worklives are “redesigned.” Doing so would also allow attention to other classes of the disempowered. (shrink)

The following is a paper presented for the Course Rahner and Lonergan at the University of Toronto (Winter, 2014), revised and edited Winter, 2018. Our purpose is to defend the possibility of “perceptualism,” that is to say, the position maintaining that the intelligible content of consciousness is given in perception and not posited by the activity of the subject. Assisted by the insights of Cornelio Fabro, this defense contrasts perceptualism with Bernard Lonergan’s “critical realism”. This paper focuses on the notion (...) of experience, seemingly the basis of the opposition between perceptualism and critical realism. (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)

The objective of this paper will be to present a critical evaluation of the so-called “standard conception of a proof”. According to this conception, a text could only be called a “demonstration of a certain mathematical proposition” if we could find a completely formalized version of that demonstration, its “corresponding formal proof”. We will compare these ideas with the treatment of the same topic within two markedly different contexts, that of contemporary Swedish intuitionism and that of modern software engineering. Finally, (...) we will offer a quick discussion of some of Wittgenstein's proposals regarding the subject. /// -/- O objetivo deste texto será o de apresentar uma avaliação crítica da assim chamada “concepção estândar” do que seja uma prova. Segundo essa concepção, um texto só poderia ser chamado de uma “demonstração de uma certa proposição matemática” se pudéssemos encontrar uma versão completamente formalizada daquela demonstração, sua “prova formal correspondente”. Faremos comparações com o tratamento do mesmo tópico em dois contextos muito distintos, aquele do intuicionismo sueco contemporâneo e o da moderna engenharia de software. Por fim, faremos uma rápida apresentação de algumas propostas de Wittgenstein sobre o assunto. (shrink)

This paper raises three questions regarding the attribution of beliefs, desires, and intentions to robots. The first one is whether humans in fact engage in robot mindreading. If they do, this raises a second question: does robot mindreading foster trust towards robots? Both of these questions are empirical, and I show that the available evidence is insufficient to answer them. Now, if we assume that the answer to both questions is affirmative, a third and more important question arises: should developers (...) and engineers promote robot mindreading in view of their stated goal of enhancing transparency? My worry here is that by attempting to make robots more mind-readable, they are abandoning the project of understanding automatic decision processes. Features that enhance mind-readability are prone to make the factors that determine automatic decisions even more opaque than they already are. And current strategies to eliminate opacity do not enhance mind-readability. The last part of the paper discusses different ways to analyze this apparent trade-off and suggests that a possible solution must adopt tolerable degrees of opacity that depend on pragmatic factors connected to the level of trust required for the intended uses of the robot. (shrink)

El desarrollo de las artes visuales durante el siglo XX desdibujó la frontera entre aquellos objetos y artefactos que llamamos obras de arte, y aquéllos que no son merecedores de ese título. Arthur Danto ha propuesto una teoría estética a la luz de la cual sería posible volver a definir los límites del arte. En este ensayo examino dos de los aspectos más problemáticos de la teoría: la importancia excesiva que Danto le otorga al concepto de mímesis y su concepción (...) teleológica de la historia del arte. Si atenuamos el papel de estos dos elementos, la teoría pierde gran parte de su poder explicativo. En las últimas dos secciones del ensayo arguyo que el mundo del arte al que Danto atribuye un papel central en el problema de la demarcación debe él mismo ser considerado un subproducto de las condiciones que determinan la naturaleza del arte en general. (shrink)

¿Existe alguna diferencia filosóficamente significativa entre una explicación científica y las explicaciones que se ofrecen en el curso de la vida diaria? Dado que la mayor parte de las discusiones en la filosofía de la ciencia se refieren al primer tipo de explicaciones, debemos considerar si existe un concepto específico que corresponda al término “explicación científica”, y que sea discontinuo de su contraparte cotidiana. El ensayo tiene cuatro secciones. En cada una de ellas considero diferentes criterios que podrían ser utilizados (...) para establecer una distinción de clase entre las explicaciones científicas y las cotidianas. En la primera sección exploro la posibilidad de establecer un criterio puramente sociológico: el estatus científico de una explicación dependería del estatus institucional de las personas que dan origen a la explicación. El segundo criterio estudiado fue propuesto por Hempel: las explicaciones científicas deben hacer uso explícito de leyes naturales, y la ausencia de leyes invalida cualquier intento de ofrecer una explicación científica. Un tercer criterio se basa en la naturaleza del explanandum. Algunos filósofos han defendido la idea de que la única diferencia filosóficamente significativa entre las explicaciones científicas y las no científicas reside en el tipo de explanandum del que se ocupa cada una de ellas. En la vida diaria explicamos eventos individuales, mientras que en la ciencia se pretende explicar regularidades. Finalmente, examino el criterio propuesto por Wesley Salmon según el cual la diferencia entre los dos tipos de explicación está determinada por el tipo de comprensión que proporciona cada uno de ellos. Al final concluyo que ninguno de estos criterios es adecuado y que la aparente diferencia entre los dos tipos de explicaciones es una diferencia de grado y no de clase. Las explicaciones científicas ciertamente tienen un mayor grado de precisión, detalle y complejidad que sus contrapartes en la vida cotidiana. Normalmente involucran el uso de las matemáticas y de lenguajes altamente regimentados. Pero a pesar de estas diferencias, concluyo que los elementos que hacen que algo sea una explicación son esencialmente los mismos en ambos casos. (shrink)

This paper presents a new reconstruction of Wittgenstein’s famous (and controversial) rule-following arguments. Two are the novel features offered by our reconstruction. In the first place, we propose a shift of the central focus of the discussion, from the general semantics and the philosophy of mind to the philosophy of mathematics and the rejection of the notion of a function. The second new feature is positive: we argue that Wittgenstein offers us a new alternative notion of a rule (to replace (...) the rejected functions), a notion reminiscent of Category Theory’s notion of a morphism. (shrink)

The Internet has been identified in human enhancement scholarship as a powerful cognitive enhancement technology. It offers instant access to almost any type of information, along with the ability to share that information with others. The aim of this paper is to critically assess the enhancement potential of the Internet. We argue that unconditional access to information does not lead to cognitive enhancement. The Internet is not a simple, uniform technology, either in its composition, or in its use. We will (...) look into why the Internet as an informational resource currently fails to enhance cognition. We analyze some of the phenomena that emerge from vast, continual fluxes of information–information overload, misinformation and persuasive design—and show how they could negatively impact users’ cognition. Methods for mitigating these negative impacts are then advanced: individual empowerment, better collaborative systems for sorting and categorizing information, and the use of artificial intelligence assistants that could guide users through the informational space of today’s Internet. (shrink)

This paper uses analytic philosophy to prevent merely verbal disputes about the concept of fiction within discussions on fictiones iuris. It provides a survey of potentially fruitful connections between legal fictions and fictionalism. More specifically, I will argue that by enriching current accounts of legal fictions in legal theory with insights from (1) the philosophy of language on fictional speech and from (2) contemporary metaphysics on philosophical fictionalism, it seems natural to explore the position that talk involving fictiones iuris is (...) structurally an exemplification of elliptical speech. Such fictionalism about legal fictions illuminates why prominent condemnations of fictions in law – e.g. as blatant falsehoods, shady fraudulences, or legal defects – are theoretical myths, since they fail to distinguish between analytically distinct (ontological, epistemic, alethic, semantic, and evaluative) levels. Moreover, a fictionalist account might even sharpen our sense of which legal fictions are more “innocent” than others. I will begin by introducing philosophical fictionalism (II), before the fictiones iuris will be characterized as an operation in legal reasoning by consulting the Leibnizian reconstruction of Roman Law’s epistemology (III). Sections IV and V seek to provide further clarifications on the ‘fictional’ / ‘fictitious’ distinction as well as the heterogeneity of fictionalist research questions. Section VI then contains a little guided tour through the different analyses of the concept of fiction(s) within fictionalism. Subsequently, I will show how insights from those discussions contribute to demystify some of the most prominent allegations raised against legal fictions (VII). Fictionalism about legal fictions, Section VIII tentatively suggests, might not only harmonize with both classic and recent treatments of legal fictions, but help to also highlight their epistemic values. In slogan form: fictiones iuris are instruments to preserve legal truths worth having. (shrink)

Con el fin de examinar los aspectos exclusivamente morales del suicidio asistido y la eutanasia activa voluntaria, el análisis debe ser llevado a cabo independientemente de la función social de los agentes involucrados, de la opinión de los familiares del paciente terminal y del público en general, y de las consecuencias legales de dichas acciones. En consecuencia, en el presente ensayo se analiza un imaginario caso neutral, aislado del contexto natural de la eutanasia y el suicidio asistido. Utilizando un principio (...) moral—llamado PMS en el ensayo—cuya aplicabilidad depende de la apreciación subjetiva que de él hagan la persona que desea morir y el agente que asiste en su muerte, en el ensayo se concluye que en ciertos casos es posible justificar la obligación moral de asistir en un suicidio o de llevar a cabo una eutanasia activa voluntaria. (shrink)