For years, the number of opaque algorithmic decision-making systems (ADM systems) with a large impact on society has been increasing: e.g., systems that compute decisions about future recidivism of criminals, credit worthiness, or the many small decision computing systems within social networks that create rankings, provide recommendations, or filter content. Concerns that such a system makes biased decisions can be difficult to investigate: be it by people affected, NGOs, stakeholders, governmental testing and auditing authorities, or other external parties. Scientific testing (...) and auditing literature rarely focuses on the specific needs for such investigations and suffers from ambiguous terminologies. With this paper, we aim to support this investigation process by collecting, explaining, and categorizing methods of testing for bias, which are applicable to black-box systems, given that inputs and respective outputs can be observed. For this purpose, we provide a taxonomy that can be used to select suitable test methods adapted to the respective situation. This taxonomy takes multiple aspects into account, for example the effort to implement a given test method, its technical requirement (such as the need of ground truth) and social constraints of the investigation, e.g., the protection of business secrets. Furthermore, we analyze which test method can be used in the context of which black box audit concept. It turns out that various factors, such as the type of black box audit or the lack of an oracle, may limit the selection of applicable tests. With the help of this paper, people or organizations who want to test an ADM system for bias can identify which test methods and auditing concepts are applicable and what implications they entail. (shrink)

Simplicius claims in his Commentary on Aristotle’s Categories that quality is prior to the qualified according to nature. However, in an interesting passage in the same commentary, Simplicius describes the relation between quality and qualified in such a way that it strongly suggests an ontological simultaneity. The aim of this paper is to clarify Simplicius’ notion of natural priority and to investigate the extent to which the assumption of a natural priority of the quality over the qualified is compatible with (...) the assumption of a co-existence of quality and qualified. (shrink)

Cet article se propose d’étudier la discussion de la conception aristotélicienne de la prédication chez Simplicius, et notamment de la relation entre la prédication synonyme et la prédication essentielle. Tant dans l’œuvre d’Aristote que dans le Commentaire sur les Catégories d’Aristote de Simplicius, il y a un lien étroit entre les deux formes de prédication. Dans la littérature scientifique sur Aristote, on trouve l’hypothèse que, pour Aristote, la prédication synonyme implique la prédication essentielle. On trouve également l’argument selon lequel cette (...) hypothèse est compatible avec la théorie aristotélicienne, mais que cela n’est pas le cas chez Platon. L’abondante discussion que mène Simplicius à propos de la prédication synonyme et de la prédication essentielle suggère que celui-ci s’est rendu compte des difficultés qui découlent de l’hypothèse selon laquelle la prédication synonyme implique la prédication essentielle. Il s’agit alors de montrer que Simplicius, grâce à une interprétation originale du prédicat, rend cette hypothèse moins problématique pour Platon et pose ainsi un cadre exégétique qui permet d’harmoniser les théories de Platon et d’Aristote. (shrink)