A widespread need to explain the behavior and outcomes of AI-based systems has emerged, due to their ubiquitous presence. Thus, providing renewed momentum to the relatively new research area of eXplainable AI (XAI). Nowadays, the importance of XAI lies in the fact that the increasing control transference to this kind of system for decision making -or, at least, its use for assisting executive stakeholders- already affects many sensitive realms (as in Politics, Social Sciences, or Law). The decision-making power handover to (...) opaque AI systems makes mandatory explaining those, primarily in application scenarios where the stakeholders are unaware of both the high technology applied and the basic principles governing the technological solutions. The issue should not be reduced to a merely technical problem; the explainer would be compelled to transmit richer knowledge about the system (including its role within the informational ecosystem where he/she works). To achieve such an aim, the explainer could exploit, if necessary, practices from other scientific and humanistic areas. The first aim of the paper is to emphasize and justify the need for a multidisciplinary approach that is beneficiated from part of the scientific and philosophical corpus on Explaining, underscoring the particular nuances of the issue within the field of Data Science. The second objective is to develop some arguments justifying the authors’ bet by a more relevant role of ideas inspired by, on the one hand, formal techniques from Knowledge Representation and Reasoning, and on the other hand, the modeling of human reasoning when facing the explanation. This way, explaining modeling practices would seek a sound balance between the pure technical justification and the explainer-explainee agreement. (shrink)

We study the theories I∇n, L∇n and overspill principles for ∇n formulas. We show that IEn ⇒ L∇n ⇒ I∇n, but we do not know if I∇n L∇n. We introduce a new scheme, the growth scheme Crγ, and we prove that L∇n ⇒ Cr∇n⇒ I∇n. Also, we analyse the utility of bounded collection axioms for the study of the above theories.

Notwithstanding the potential danger to security and privacy, sharing and publishing data has become usual in Data Science. To preserve privacy, de-identification methodologies guided by risk estimation have been designed. Two issues associated with classical risk metrics are, on the one hand, the adequacy of the metric and, on the other hand, its static nature. In this paper, we present metrics for estimating risk based on the emerging semantics provided by Formal Concept Analysis. The metrics are designed to estimate the (...) a priori risk of compromised data deletion. Furthermore, by applying specialized variable forgetting methods for association rules, it is shown how to reflect the effect of deleting attributes belonging to potentially dangerous quasi-identifier sets. Additionally, a study of the role of the risk metric in confidence-based reasoning for re-identification is presented. (shrink)

Some recently articulated American Christian liberation theolo­gies maintain that they seek justice for the oppressed. But such “justice” fails to encompass the respecting of certain rights of the oppressed to compensation from their oppressors. The right of the oppressed to holistic (including compensatory) reparations from their oppressors is explored in terms of why liberation theologies ought to, among other things, respect and embrace such a right. For economic issues, both distributive and compensatory, are inseparable from oppression-based poverty and hence inseparable (...) from the will of God insofar as it is the will of God to liberate the oppressed. By pressing the importance of reparations for oppressed groups, we seek to liberate liberation theologies from the shackles of a view that fails to recognize in a robust sense the law as a vehicle of rectification of oppression. (shrink)

The variety O2 of double Ockham algebras consists of the algebras (A ∨, ∧, f,g 0,1) of type (2,2,1,1,0,0) where (A; ∨, ∧,f, 0,1) and (A; ∨, ∧,g 0,1) are Ockham algebras. In [16], M. Sequeira introduced several subvarieties of O2. In this paper we give a construction of free double Ockham algebras on a partially ordered set. We also describe free objects for the subvarieties of O2 considered in [16].

This paper is devoted to the study of some subvarieties of the variety Qof Q-Heyting algebras, that is, Heyting algebras with a quantifier. In particular, a deeper investigation is carried out in the variety Q 3 of three-valued Q-Heyting algebras to show that the structure of the lattice of subvarieties of Qis far more complicated that the lattice of subvarieties of Heyting algebras. We determine the simple and subdirectly irreducible algebras in Q 3 and we construct the lattice of subvarieties (...) (Q 3 ) of the variety Q 3. (shrink)

Most theories of slurs fall into one of two families: those which understand slurring terms to involve special descriptive/informational content (however conveyed), and those which understand them to encode special emotive/expressive content. Our view is that both offer essential insights, but that part of what sets slurs apart is use-theoretic content. In particular, we urge that slurring words belong at the intersection of a number of categories in a sociolinguistic register taxonomy, one that usually includes [+slang] and [+vulgar] and always (...) includes [-polite] and [+derogatory]. Thus, e.g., what distinguishes ‘Chinese’ from ‘chink’ is neither a peculiar sort of descriptive nor emotional content, but rather the fact that ‘chink’ is lexically marked as belonging to different registers than ‘Chinese’. It is, moreover, partly such facts which makes slurring ethically unacceptable. (shrink)

Mujerista Theology, the name given to the groundbreaking work of Ada María Isasi-Díaz, can be understood as a constellation, with each star symbolizing its various concepts, themes, and theories, all forming a pattern that can be perceived from a distance. This pattern — the legacy of mujerista theology — changes as these stars shift against the celestial backdrop over time. This essay explores the implications of Mujerista Theology for social change by exploring three ‘stars’ of the Mujerista Theology constellation — (...) mestizaje-mulatez, lo cotidiano, and subversive narratives — and examining some of the underlying presuppositions operative in Mujerista Theology. It contends that Mujerista Theology significantly contributes to the social change strategies of liberationist, feminist, and Hispanic theologies. (shrink)

This paper analyses the details that characterized the negotiation and collection of the servicio de los naturales from the year 1603 onwards, the last time of those three in which moriscos of Granada paid to the Hispanic Monarchy after the Alpujarras War, when they were settled in Castile. The author has analysed documents coming from the Archivo General de Simancas, but also those included in notary’s protocols and in local archives. Its main contributions are three: to publish the content of (...) the actual contract signed by the moriscos and the Crown; to contribute to set up a precise spatial distribution of the communities that paid the tax and, finally, to show the amounts delivered by them. Irregularities, problems, and conflicts lived while the precedent servicios were being paid, are analysed too. There are aspects that we know thanks to other previous works. Nevertheless, if they are considered in relation with the situation of the year 1603, they allow observing that all those difficulties were used in order to improve the servicio itself and the agreement between the minority and the King. (shrink)

A cognitive assessment strategy that is not limited to examining a set of summary test scores may be more helpful for early detection of emergent illness such as Alzheimer’s disease (AD) and may permit a better understanding of cognitive functions and dysfunctions in those with AD and other dementia disorders. A revisit of the work already undertaken by Kaplan and colleagues using the Boston Process-Approach provides a solid basis for identifying new opportunities to capture data on neurocognitive processes, test-taking strategies (...) and response styles. Thus, this critical review will combine traditional process-based assessment strategies with support provided or offered by newer technologies that have the potential to add value to data collection and interpretation. There is now considerable interest in neuropsychological test administration using computer/digital technology, both in research and in clinical settings. To add value, any computerized version of an existing cognitive test should respect the administration procedure for which normative data were obtained, should be time-saving in terms of scoring and interpretation, and should, we argue, facilitate gathering information about the processes and strategies followed in test completion. This article will offer an overview of the steps needed when implementing computerization of neuropsychological tests using a Process-Based Approach (PBA) to these technology-based adaptations and will discuss further developments in this area by linking it to future technological developments that may be possible in the area of neuropsychological assessment. Additionally, an overview of neuropsychological tests that may benefit from computerization will be presented, together with suggestions on the specific processes, strategies and features that may be captured with the aid of such computerization. Finally, hypotheses on how virtual reality could be an asset for the future of the PBA to neuropsychological assessment will also be discussed. (shrink)

We study 944 shareholder proposals submitted to 343 U.S. firms on climate change issues during 2009–2022. We use logistic and two-stage regression to estimate the propensity for a firm to be targeted or subjected to a vote at the annual general meeting and, for voted proposals, the determinants of that vote. We also examine whether climate-related proposals affect investor returns and how they relate to firms’ future environmental performance and greenhouse gas emissions. Compared to a matched sample, we first find (...) that activists target larger, more carbon-intensive, and less R&D-active firms. Second, voting likelihood is higher for firms with repeated and operations-related proposals and lower pre-proposal environmental ratings. By contrast, disclosure-related proposals are likelier to be negotiated and withdrawn. Third, repeated and operations-related proposals receive higher votes in favor, whereas votes on carbon-intensive firms do not. Fourth, building on the theory that investors act as if they distinguish among the different shareholder proposals based on the expected cost to the firm, we find evidence to support this idea. We find that investors respond negatively to ex-ante costlier proposals, such as those that relate to emissions reduction and target carbon-intensive firms. Fifth, targets’ future environmental performance rating is almost twenty percent higher after a proposal than before compared to the matched sample, whereas emissions do not budge appreciably. (shrink)

Mouthpiece interpreters of Plato such as Richard Kraut and Julia Annas believe that Plato had philosophical beliefs, doctrines, and theories that he intended to convey in his dialogues. We argue that some of their primary arguments for this approach to Plato are problematic and that there is a more promising approach to Plato’s dialogues than the mouthpiece interpretation, all things considered.

I. Introduction: Political Friendship Proverbial wisdom has bequeathed us the dictum “The enemy of my enemy is my friend.” Contained within this adage is a progression of oppositional distinctions resulting in an emergent complicity. Two actors are identified in addition to the subject—my enemy, and my enemy's enemy. The latter actor takes on a new meaning for me by the mere coincidence of exact formal similitude exhibited by the relationships existing between each of ourselves and our common enemy. But is (...) this all that is needed for the engendering of friendship? It seems that it is…. (shrink)

Mouthpiece interpreters of Plato such as Richard Kraut and Julia Annas believe that Plato had philosophical beliefs, doctrines, and theories that he intended to convey in his dialogues. We argue that some of their primary arguments for this approach to Plato are problematic and that there is a more promising approach to Plato’s dialogues than the mouthpiece interpretation, all things considered.

This article aims to pay heed to the rational and deliberative dimensions of moral agency within the project of moral enhancement. In this sense, it is presented how the technique of neurofeedback might contribute to the enhancement of moral deliberations and autonomy. Furthermore, this brain-computer interface is thought as a possible element of a Socratic moral assistant interested in improving moral enhancement within a model of full interaction between moral agents and such a moral assistant. This proposal does not embrace (...) the project of moral bioenhancement, centred in the improvement of moral emotions through neuropharmacology. Moreover it rejects the delegation of moral decision-making to moral artificial agents because this would mean that there is continuity between moral human and artificial moral agents. (shrink)

Recently Díaz, Hössjer and Marks (DHM) presented a Bayesian framework to measure cosmological tuning (either fine or coarse) that uses maximum entropy (maxent) distributions on unbounded sample spaces as priors for the parameters of the physical models (https://doi.org/10.1088/1475-7516/2021/07/020). The DHM framework stands in contrast to previous attempts to measure tuning that rely on a uniform prior assumption. However, since the parameters of the models often take values in spaces of infinite size, the uniformity assumption is unwarranted. This is known as (...) the normalization problem. In this paper we explain why and how the DHM framework not only evades the normalization problem but also circumvents other objections to the tuning measurement like the so called weak anthropic principle, the selection of a single maxent distribution and, importantly, the lack of invariance of maxent distributions with respect to data transformations. We also propose to treat fine-tuning as an emergence problem to avoid infinite loops in the prior distribution of hyperparameters (common to all Bayesian analysis), and explain that previous attempts to measure tuning using uniform priors are particular cases of the DHM framework. Finally, we prove a theorem, explaining when tuning is fine or coarse for different families of distributions. The theorem is summarized in a table for ease of reference, and the tuning of three physical parameters is analyzed using the conclusions of the theorem. (shrink)

There is a constructive method to define a structure of simple k -cyclic Post algebra of order p , L p , k , on a given finite field F ( p k ), and conversely. There exists an interpretation Φ 1 of the variety $${\mathcal{V}(L_{p,k})}$$ generated by L p , k into the variety $${\mathcal{V}(F(p^k))}$$ generated by F ( p k ) and an interpretation Φ 2 of $${\mathcal{V}(F(p^k))}$$ into $${\mathcal{V}(L_{p,k})}$$ such that Φ 2 Φ 1 ( B ) (...) = B for every $${B \in \mathcal{V}(L_{p,k})}$$ and Φ 1 Φ 2 ( R ) = R for every $${R \in \mathcal{V}(F(p^k))}$$. In this paper we show how we can solve an algebraic system of equations over an arbitrary cyclic Post algebra of order p, p prime, using the above interpretation, Gröbner bases and algorithms programmed in Maple. (shrink)