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)

Imagine that you are part of the editorial board of a young bioethics journal committed to publishing open access (OA) and to ensuring accessibility to high quality and innovative scholarship. To support junior and interna- tional scholars who might not otherwise find places for their work in the leading Western bioethics journals, you do not charge author fees. Imagine also that you have no financial resources to pay for a professional website, auto- mated submissions manager, or even a part-time coordina- (...) tor: Your government has cut all grants for journals, you cannot go to industry for private funding because of the evident risk of apparent conflicts of interest, and your strapped-for-cash institution cannot afford to offer you any support. If one of the major publishers were to approach you to sign a deal, the temptation would be strong to accept. However, this would likely mean putting aside your ideals: It would be impossible to stay a “Green OA” publication (i.e., free of author publication charges) or supportive of junior and international scholars (because of pressures to “increase credibility” through artificially high rejection rates, for example). (shrink)

El ensayo presenta el esbozo de una teoría de la explicación basada en el modelo duda-creencia de investigación propuesto por Peirce y desarrollado por Isaac Levi. Inicialmente se caracteriza una noción de explicación que hace referencia a las creencias y fines epistémicos de los miembros de una comunidad científica. Posteriormente se demuestra que la inclusión de los aspectos pragmáticos de la explicación en la teoría no sólo no conduce al relativismo, sino que es necesaria para poder dar cuenta de la (...) relación entre las nociones de explicación y comprensión. (shrink)

A menudo se asocia a Quine con los filósofos pragmatistas o al menos se le atribuye una posición consonante con el pragmatismo. En el presente ensayo examino la relación entre la obra de Quine y la de los pragmatistas clásicos: Peirce, James y Dewey. El recorrido por los escritos de Quine mostrará varias similitudes con la doctrina de los límites de la experiencia propuesta por James, y al mismo tiempo diferencias significativas con el naturalismo de Dewey y el pragmatismo de (...) Peirce. El balance de este recorrido es que aunque existen algunos elementos en común entre los pragmatistas clásicos y Quine,es imposible afirmar que haya existido un interés de parte de Quine de asumir como propias las tesis pragmatistas para desarrollarlas en direcciones novedosas. (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)

El análisis de los conceptos de espacio y tiempo es generalmente considerado uno de los aspectos menos satisfactorios de la obra de Hume. Kemp Smith ha demostrado que en esta sección del Tratado Hume estaba respondiendo a los argumentos que Pierre Bayle había utilizado para probar que el razonamiento humano siempre termina refutándose a sí mismo. En este ensayo expongo las falacias en los argumentos de Bayle, las cuales están basadas en una comprensión inadecuada del concepto de extensión. Hume no (...) logró detectar dichas falacias y repitió los mismos errores de Bayle, lo cual explica la absurda doctrina del espacio que defiende en el Tratado. (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.

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)

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)

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)

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)

The third part of the Timaeus, where the account is focused on the cooperation of reason and necessity, has received far less attention than the opening two sections. Particularly, the description of irrigation, digestion and respiration constitutes a challenging passage that has been conspicuously overlooked by scholarly research. Virtually the only modern explanation for the passage was devised by Cornford, and despite several inaccuracies it has been unanimously accepted by all commentators. This paper will challenge Cornford’s interpretation, and use some (...) modern biological concepts to provide an alternative approach to the passage more compatible with an actual human body. (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)

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)

Proponents of the duty to vote (DTV) argue that in normal circumstances, citizens have the moral duty to vote in political elections. Discussions about DTV analyze _what_ the duty is, _who_ has this duty, _when_ they have it, and _why_ they have it. Missing are answers to the Specification Question: to _which_ elections does DTV apply? A dilemma arises for some supporters of DTV—in this paper, I focus on Julia Maskivker’s work—because either answer is problematic. First, I argue that it (...) is implausible that DTV applies to _all_ elections because this makes the duty too costly for the voter. Second, I argue that there are no good reasons why under normal circumstances DTV applies only to _some_ elections. I consider objections but conclude that the dilemma is successful and therefore the case for DTV is incomplete. (shrink)

Many theists conceive of God as a perfect being, i.e., as that than which none greater is metaphysically possible. On this grand view of God, it seems plausible to think that such a supreme and maximally great being would not be subject to luck of any sort. Given the divine perfections, God is completely insulated from luck. However, I argue that the opposite is true: precisely because God is perfect, he is subject to a kind of luck called constitutive luck. (...) In this paper, first I provide an analysis of luck and then explain the concept of constitutive luck. I proceed to defend constitutive luck from charges of incoherence and examine a different approach to make sense of this luck. Furthermore, I distinguish between two kinds of constitutive luck and argue that even if God isn’t subject to one kind, evading the second kind is unsuccessful. I offer two ways that God is constitutively lucky and reach a surprising conclusion: a perfect being is the luckiest of all possible beings. (shrink)

Varios teóricos del derecho han propuesto el uso de umbrales o estándares de prueba más flexibles y más finamente discriminados. En la medicina es común utilizar estándares que poseen estas características en los procedimientos diagnósticos y en los exámenes médicos. Esta ponencia ofrece un marco probabilístico para establecer estándares de prueba múltiples en cualquier disciplina. La tesis principal es que la evidencia es un concepto umbral con respecto a la probabilidad. Múltiples umbrales pueden ser establecidos en un marco de intervalos (...) de probabilidad para la hipótesis que está siendo puesta a prueba, los cuales reflejan los diferentes grados de apoyo que la evidencia le provee a la hipótesis. Examinando los mecanismos utilizados para establecer los umbrales en medicina, sugiero una manera para establecer umbrales múltiples de prueba en derecho de una manera no arbitraria. (shrink)

This paper deals with the recent Swedish proposals of a Intuitionistic notion of Truth, by Dag Prawitz and Per Martin-Löf.

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)

The use of machine learning algorithms has become ubiquitous in hiring decisions. Recent studies have shown that many of these algorithms generate unlawful discriminatory effects in every step of the process. The training phase of the machine learning models used in these decisions has been identified as the main source of bias. For a long time, discrimination cases have been analyzed under the banner of disparate treatment and disparate impact, but these concepts have been shown to be ineffective in the (...) context of AI. This paper examines the possibility of studying algorithmic discrimination from the perspective of negligence law. Negligent selection and validation of datasets and classifiers is a salient cause of improper training in machine learning. It is a breach of an employer’s duty to protect others, a failure of its exercise of due care in the manner of choosing employees. Adopting negligence to algorithmic discrimination requires a reformulation of what is foreseeable and reasonable within the context of black box algorithms, and a shift in the burden of proof to the employer, who must present evidence of its efforts to avoid bias. (shrink)

: To address the question “on what there is” raised by Quine, and to accomplish the task of comprehending exhaustively the many ontological units that populate the great province of Being, we propose as an alternative to Puntel’s ontology a new ontology designated as “Structural Ontology” (SO). Such ontology is based on systematic-structural theoretical foundations, but leads to a diverse view in which structured factual units, structural configurations (dynamics), as well as apparent ontological units (objects), all encompassed by the temporal (...) sub-dimension that interconnects them, understood as an internal sub-dimension of the macro-dimension of Being, co-subsist. In this sense, we begin by situating the ontological theme in current philosophical discussion from a Quinean perspective. We then present a concept of truth derived from our reading of puntelian philosophy, which will be the point of connection between language and the world. Subsequently, we show how from the concept of truth, after a brief foray into philosophical semantics, we arrive at the ontological field from the ontological categories of structure and ontological state. Finally, we outline, in its general features, our structural ontology, which includes its own ontological notions that give new directions to philosophical understanding of this great theme. (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)

Aunque el derecho probatorio y el derecho procesal se han dedicado desde siempre al estudio de los problemas relacionados con las pruebas y el establecimiento de los hechos en los procesos judiciales, el énfasis ha estado siempre en el aspecto formal, doctrinal y procedimental en detrimento de los fundamentos filosóficos y teóricos. Durante los últimos años ha habido un intento sostenido de explorar estos fundamentos combinando no sólo las herramientas tradicionales proporcionadas por la lógica, la gramática y la retórica, sino (...) también los avances hechos en ciencias como la estadística y la probabilidad, la medicina y la psicología forenses, la psicología de la percepción, la epistemología y la filosofía de la ciencia. El presente libro reúne las contribuciones de destacados juristas y filósofos latinoamericanos a esta nueva perspectiva interdisciplinaria, conocida como epistemología jurídica. El libro está dividido en tres grandes temas: la primera parte explora los problemas epistemológicos del conocimiento de los hechos en los procesos judiciales; la segunda se enfoca en el problema de los estándares de prueba; y la sección final discute el testimonio de los expertos. En su conjunto el libro ofrece un panorama tanto de los problemas centrales de la epistemología jurídica, como del estado del arte de la disciplina. (shrink)

The probability calculus is very often used in the philosophy of science in order to support or to analyse epistemological points of view. The aim of this paper is to present in a summary the usual axioms of this calculus, as weIl as its most common consequences and theorems, which the philosopher of science in his arguments ressorts to.

Rules 405(a) and 608(a) of the Federal Rules of Evidence allow the use of testimony about a witness’s reputation to support or undermine his or her credibility in trial. This paper analyzes the evidential weight of such testimony from the point of view of social epistemology and the theory of social networks. Together they provide the necessary elements to analyze how reputation is understood in this case, and to assess the epistemic foundation of a reputational attribution. The result of the (...) analysis will be that reputational testimony is extremely weak from an epistemological point of view, and that in many cases there are more reliable substitutes that achieve a similar purpose. The obvious fix, in my view, is to eliminate the use of reputation testimony to support or undermine the credibility, honesty, chastity or peacefulness of a witness. (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)

This paper offers a reconstruction of Wittgenstein's discussion on inductive proofs. A "algebraic version" of these indirect proofs is offered and contrasted with the usual ones in which an infinite sequence of modus pones is projected.

Wittgenstein’s philosophy of mathematics involves two highly controversial theses: the idea that mathematical propositions are not about (abstract) objects and the idea that no mathematical conjecture is ever answered as such, because the advent of the proof always determines a semantical shift of the meanings of the terms involved in the conjecture. The present article offers a reconstruction of Wittgenstein’s arguments supporting these theses within a very restricted setting: Archimedes’ discovery of an algorithm for calculating the number Pi.

Moore’s Paradox is a test case for any formal theory of belief. In Knowledge and Belief, Hintikka developed a multimodal logic for statements that express sentences containing the epistemic notions of knowledge and belief. His account purports to offer an explanation of the paradox. In this paper I argue that Hintikka’s interpretation of one of the doxastic operators is philosophically problematic and leads to an unnecessarily strong logical system. I offer a weaker alternative that captures in a more accurate way (...) our logical intuitions about the notion of belief without sacrificing the possibility of providing an explanation for problematic cases such as Moore’s Paradox. (shrink)

Esta breve introducción a la filosofía de la ciencia parte del hecho de que tanto la investigación científica como el razonamiento probatorio judicial tienen un carácter inductivo. En esa medida, comparten características esenciales que permiten que el derecho se nutra de muchas de las reflexiones de la filosofía de la ciencia. El capítulo se concentra en cuatro temas principales: los criterios de demarcación entre el conocimiento científico y la pseudociencia; el carácter derrotable de las conclusiones de la ciencia y el (...) derecho; la estructura corroborativa de la relación entre la evidencia y las hipótesis científicas y judiciales; y las teorías de la explicación tanto en el ámbito científico como en el judicial. (shrink)

Cada día es más evidente que existen muchas formas sutiles de exclusión y parcialidad que afectan el correcto funcionamiento de los sistemas jurídicos. El concepto de injusticia epistémica, introducido por la filósofa Miranda Fricker, ofrece una herramienta conceptual útil para comprender estas formas de exclusión y parcialidad judicial que a menudo pasan desapercibidas. En este artículo presentamos la teoría original de Fricker y algunas de las aplicaciones del concepto de injusticia epistémica en los procesos jurídicos. En particular, queremos demostrar que (...) la semilla sembrada por Fricker ha generado un floreciente campo de estudio en el cual el concepto se utiliza para analizar muchos fenómenos diferentes en el ámbito jurídico, no siempre siguiendo la caracterización original proporcionada por ella. Esto ha llevado a una distinción entre lo que llamaremos la versión estrecha del concepto, que se acerca a la descripción original de Fricker, y la versión más amplia de injusticia epistémica, que es una noción más controvertida porque existe el riesgo de que se confunda con otros conceptos más conocidos como el sexismo, la discriminación racial, la opresión, el silenciamiento y el gaslighting. Mostraremos que el valor de la versión estrecha es principalmente teórico y que para utilizar el concepto de injusticia epistémica se debe adoptar una comprensión más liberal del mismo. (shrink)

Testimony about the future dangerousness of a person has become a central staple of many judicial processes. In settings such as bail, sentencing, and parole decisions, in rulings about the civil confinement of the mentally ill, and in custody decisions in a context of domestic violence, the assessment of a person’s propensity towards physical or sexual violence is regarded as a deciding factor. These assessments can be based on two forms of expert testimony: actuarial or clinical. The purpose of this (...) paper is to examine the scientific and epistemological basis of both methods of prediction or risk assessment. My analysis will reveal that this kind of expert testimony is scientifically baseless. The problems I will discuss will generate a dilemma for factfinders: on the one hand, given the weak predictive abilities of the branches of science involved, they should not admit expert clinical or actuarial testimony as evidence; on the other hand, there is a very strong tradition and a vast jurisprudence that supports the continued use of this kind of expert testimony. It is a clear case of the not so uncommon conflict between science and legal tradition. (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)

This paper offers an overview of various alternative formulations for Analysis, the theory of Integral and Differential Calculus, and its diverging conceptions of the topological structure of the continuum. We pay particularly attention to Smooth Analysis, a proposal created by William Lawvere and Anders Kock based on Grothendieck’s work on a categorical algebraic geometry. The role of Heyting’s logic, common to all these alternatives is emphasized.

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)

Trata-se de capítulo de um livro sobre a noção de "substância" na história da filosofia e contém uma discussão sobre a noção ordinária de "corpo" do ponto de vista da filosofia analítica.

Resumen: Una de las formas más comunes y menos estudiadas de parcialidad judicial subjetiva es la disminución de la credibilidad otorgada a un testigo debido a un prejuicio identitario implícito del agente judicial. En la epistemología social, este fenómeno ha sido estudiado bajo la rúbrica de la injusticia testimonial. En este ensayo mostramos que para determinar la ocurrencia de un caso de injusticia testimonial en el derecho se deben cumplir tres condiciones que son imposibles de verificar empíricamente y que están (...) basadas en presupuestos psicológicos que han sido puestos en duda en años recientes. Sin la posibilidad de verificar estas condiciones, estamos frente a un tipo de parcialidad judicial indetectable. En su lugar, ofrecemos una nueva forma de entender la injusticia testimonial en el derecho como un fenómeno más general que describe una tendencia comportamental prejuiciosa recurrente por parte de un agente judicial. Entendida de este modo, la injusticia testimonial es completamente verificable. -/- Abstract: One of the most common and least studied forms of subjective judicial partiality is the credibility deficit suffered by a witness due to an implicit identity prejudice in a judicial agent. Social epistemologists have studied this form of partiality under the rubric, “testimonial injustice.” In this essay we argue that to verify the occurrence of a singular instance of testimonial injustice in law three facts must be established, none of which can be established with any degree of confidence. Furthermore, all of them are based on psychological suppositions that have been recently discredited. Without the possibility of establishing these facts, we end up with an undetectable form of subjective judicial partiality. In its place, we offer a new way of understanding testimonial injustice in law as a general phenomenon that describes a recurrent pattern of prejudiced behavior in a judicial agent. Under this characterization, testimonial injustice becomes empirically verifiable. (shrink)

The objective of this article is to try to elucidate Wittgenstein’s ex-travagant thesis that each and every mathematical advancement involves some “semantical mutation”, i.e., some alteration of the very meanings of the terms involved. To do that we will argue in favor of the idea of a “modal incompati-bility” between the concepts involved, as they were prior to the advancement, and what they become after the new result was obtained. We will also argue that the adoption of this thesis profoundly (...) alters the traditional way of con-struing the idea of “progress” in mathematics. (shrink)

Over the past fifteen years there has been a considerable amount of debate concerning what theoretical population dynamic models tell us about the nature of natural selection and drift. On the causal interpretation, these models describe the causes of population change. On the statistical interpretation, the models of population dynamics models specify statistical parameters that explain, predict, and quantify changes in population structure, without identifying the causes of those changes. Selection and drift are part of a statistical description of population (...) change; they are not discrete, apportionable causes. Our objective here is to provide a definitive statement of the statistical position, so as to allay some confusions in the current literature. We outline four commitments that are central to statisticalism. They are: 1. Natural Selection is a higher order effect; 2. Trait fitness is primitive; 3. Modern Synthesis (MS)-models are substrate neutral; 4. MS-selection and drift are model-relative. (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)

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)

The present study aims at understanding how Ethica Nicomachea V.6 relates to its preceding chapters, V.1-5. On the one hand, the interpreter wonders for what purpose Aristotle introduces a topic named ‘the civic just’ (to politikon dikaion) in V.6, since V.1-5 treats extensively of matters of justice in the city. On the other hand, the same text posits that there is a certain ‘just without qualification’ (to haplōs dikaion), which may or may not be the civic just itself; compared to (...) the just without qualification, other forms of just are so by similitude (kath’homoiteta). In attempting to clear the confusion around those two points, the present study proposes the following: (1) the civic just is the just without qualification insofar as it is the primordial form of the just, in which only humans who are cumulatively free, equals and self-sufficient have a share; (2) the description of the civic just recapitulates several aspects of the discussions of justice in V.1-5 – the laws, the kinds of equality, rule, the legal suit - because the civic just encompasses all the forms of just (dikaion) related to the virtues of universal justice (V.1) and partial justice (V.2-5); (3) the expression to politikon dikaion is introduced in V.6 in order to contrast everything treated in V.1-5 with the domestic just, to oikonomikon dikaion, mentioned for the first time in V.6; (4) the forms of the domestic just are just only by similitude with the civic just because justice loses density outside the civic sphere, a situation which can be explained by the shortcomings Aristotle ascribes to women, children and slaves in EN V.6 (lack either of freedom or equality or yet self-sufficiency) as well as in Politica I (varying degrees of defective deliberation and virtue). (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)

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)

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)