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)

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)

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)

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)

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)

A common objection to probabilistic theories of causation is that there are prima facie causes that lower the probability of their effects. Among the many replies to this objection, little attention has been given to Mellor's (1995) indirect strategy to deny that probability-lowering factors are bona fide causes. According to Mellor, such factors do not satisfy the evidential, explanatory, and instrumental connotations of causation. The paper argues that the evidential connotation only entails an epistemically relativized form of causal attribution, not (...) causation itself, and that there are clear cases of explanation and instrumental reasoning that must appeal to negatively relevant factors. In the end, it suggests a more liberal interpretation of causation that restores its connotations. Una objeción común a las teorías probabilísticas de la causalidad es que aparentemente existen causas que disminuyen la probabilidad de sus efectos. Entre las muchas respuestas a esta objeción, se le ha dado poca atención a la estrategia indirecta de D. H. Mellor (1995) para negar que un factor que disminuya la probabilidad de un efecto sea una causa legítima. Según Mellor, tales factores no satisfacen las connotaciones evidenciales, explicativas e instrumentales de la causalidad. El artículo argumenta que la connotación evidencial sólo implica una forma epistémicamente relativizada de atribución causal y no la causalidad misma, y que hay casos claros de explicación y razonamiento instrumental que deben apelar a factores negativamente relevantes. Se sugiere una interpretación más liberal de la causalidad que reinstaura sus connotaciones. (shrink)

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

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)

This article discusses some of Chateaubriand’s views on the connections between the ideas of formalization and infinity, as presented in chapters 19 and 20 of Logical Forms. We basically agree with his criticisms of the standard construal of these connections, a view we named “formal proofs as ultimate provings”, but we suggest an alternative way of picturing that connection based on some ideas of the late Wittgenstein.

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)

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

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

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)

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)

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)

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

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)

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)

Any plausibly just market exchange must balance two conflicting moral considerations: non-worseness (Wertheimer, 1999) and euvoluntariness (true voluntariness; Munger, 2011). We propose an analytical theory of just market exchange that partly resolves this conflict.

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

This paper deals with the mutations in Wittgenstein’s treatment of the notions of “generality” and of “singularity”, from his first philosophy, in the Tractatus Logico-Philosophicus, to his later mature philosophy represented by the Philosophical Investigations. As we shall see, Wittgenstein’s philosophical handling of the notion of “visual perception” plays a key role in those conceptual transformations.

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)

[Stephen Yablo] The usual charge against Carnap's internal/external distinction is one of 'guilt by association with analytic/synthetic'. But it can be freed of this association, to become the distinction between statements made within make-believe games and those made outside them-or, rather, a special case of it with some claim to be called the metaphorical/literal distinction. Not even Quine considers figurative speech committal, so this turns the tables somewhat. To determine our ontological commitments, we have to ferret out all traces of (...) nonliterality in our assertions; if there is no sensible project of doing that, there is no sensible project of Quinean ontology. /// [Andre Gallois] I discuss Steve Yablo's defence of Carnap's distinction between internal and external questions. In the first section I set out what I take that distinction, as Carnap draws it, to be, and spell out a central motivation Carnap has for invoking it. In the second section I endorse, and augment, Yablo's response to Quine's arguments against Carnap. In the third section I say why Carnap's application of the distinction between internal and external questions runs into trouble. In the fourth section I spell out what I take to be Yablo's version of Carnap. In the last I say why that version is especially vulnerable to the objection raised in the second. (shrink)

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)

In the discourse on International Justice, traditional frameworks are deeply rooted in 'embodied metaphysics'—a perspective embedded in the tangible experiences of human existence. By contrasting the physical with the digital realms, I suggest that our current global justice systems are ill-equipped to address the complexities of the digital age. Utilizing the metaphor of water to highlight the often-unseen environment shaping justice theories and practices, I argue that International Justice, as conventionally understood, reflects the constraints akin to fish oblivious to the (...) water surrounding them. In digital spaces, individuals are no longer bound by principles of singularity and locality, and instead operate by principles of multiplicity and nonlocality. These metaphysical differences disrupt many theories of global justice assuming singularity and nonlocality. My aim is to encourage scholars and practitioners to 'see water'—to acknowledge and critically reassess the foundational assumptions underlying their theories and practices in an era of digital transformation. (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)

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.

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)

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)

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)

En este capítulo se estudia la facultad a prevención contenida en la Ley 1333 de 2009, para analizar la forma en la que el derecho ambiental ha venido construyendo una dogmática y reglas propias, escapando de la tradición del derecho administrativo, así como creando la dogmática propia necesaria para lograr su independencia y consolidación como un área autónoma de la disciplina jurídica. Al respecto, en este ejercicio de reflexión es posible ver cómo la figura aparte de estar diseñada por fuera (...) de la teoría general del acto administrativo, también posee particularidades que la hacen única dentro del ordenamiento jurídico colombiano. (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 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)

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)

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.

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)

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

The aim of this study was to explore the existence of moral distress among nurses in Lilongwe District of Malawi. Qualitative research was conducted in selected health institutions of Lilongwe District in Malawi to assess knowledge and causes of moral distress among nurses and coping mechanisms and sources of support that are used by morally distressed nurses. Data were collected from a purposive sample of 20 nurses through in-depth interviews using a semi-structured interview guide. Thematic analysis of qualitative data was (...) used. The results show that nurses, irrespective of age, work experience and tribe, experienced moral distress related to patient/nursing care. The major distressing factors were inadequate resources and lack of respect from patients, guardians, peers and bosses. Nurses desire teamwork and ethics committees in their health institutions as a means of controlling and preventing moral distress. There is a need for creation of awareness for nurses to recognize and manage moral distress, thus optimizing their ability to provide quality and uncompromised nursing care. (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)

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)

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

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

St. Thomas Aquinas has always considered intelligence a potency higher than the will, absolutely speaking. That being said, and in my view, the existential primacy of the will in the act of freedom (particularly in choosing the existential end) is also indisputably Thomistic, as Cornelio Fabro has shown. This paper endeavors to explain Aquinas' doctrine on the absolute primacy of the intellect and thus show that these two primacies can be affirmed coherently, that is, the intellect’s absolute primacy and the (...) will’s existential primacy. Firstly, I will explain the reasoning St. Thomas Aquinas uses in the Summa to justify the absolute primacy of the intellect over the will. Secondly, I will explore some parallel texts, in order to shed light on my interpretation of the Summa and expand our view regarding this and related doctrinal points. Thirdly, I will offer a brief study of Fabro’s position, one in which his concerns regarding the intellect’s absolute primacy are taken into account and carefully considered. (shrink)

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

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

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)

This paper offers a new interpretation for Wittgenstein`s treatment of mathematical identities. As it is widely known, Wittgenstein`s mature philosophy of mathematics includes a general rejection of abstract objects. On the other hand, the traditional interpretation of mathematical identities involves precisely the idea of a single abstract object – usually a number –named by both sides of an equation.