Law-enforcement agencies are increasingly able to leverage crime statistics to make risk predictions for particular individuals, employing a form of inference that some condemn as violating the right to be “treated as an individual.” I suggest that the right encodes agents’ entitlement to a fair distribution of the burdens and benefits of the rule of law. Rather than precluding statistical prediction, it requires that citizens be able to anticipate which variables will be used as predictors and act intentionally to avoid (...) them. Furthermore, it condemns reliance on various indexes of distributive injustice, or unchosen properties, as evidence of law-breaking. (shrink)

We consider two ways one might use algorithmic randomness to characterize a probabilistic law. The first is a generative chance* law. Such laws involve a nonstandard notion of chance. The second is a probabilistic* constraining law. Such laws impose relative frequency and randomness constraints that every physically possible world must satisfy. While each notion has virtues, we argue that the latter has advantages over the former. It supports a unified governing account of non-Humean laws and provides independently motivated solutions (...) to issues in the Humean best-system account. On both notions, we have a much tighter connection between probabilistic laws and their corresponding sets of possible worlds. Certain histories permitted by traditional probabilistic laws are ruled out as physically impossible. As a result, such laws avoid one variety of empirical underdetermination, but the approach reveals other varieties of underdetermination that are typically overlooked. (shrink)

As algorithms have become ubiquitous in consequential domains, societal concerns about the potential for discriminatory outcomes have prompted urgent calls to address algorithmic bias. In response, a rich literature across computer science, law, and ethics is rapidly proliferating to advance approaches to designing fair algorithms. Yet computer scientists, legal scholars, and ethicists are often not speaking the same language when using the term ‘bias.’ Debates concerning whether society can or should tackle the problem of algorithmic bias are hampered (...) by conflations of various understandings of bias, ranging from neutral deviations from a standard to morally problematic instances of injustice due to prejudice, discrimination, and disparate treatment. This terminological confusion impedes efforts to address clear cases of discrimination. -/- In this paper, we examine the promises and challenges of different approaches to disambiguating bias and designing for justice. While both approaches aid in understanding and addressing clear algorithmic harms, we argue that they also risk being leveraged in ways that ultimately deflect accountability from those building and deploying these systems. Applying this analysis to recent examples of generative AI, our argument highlights unseen dangers in current methods of evaluating algorithmic bias and points to ways to redirect approaches to addressing bias in generative AI at its early stages in ways that can more robustly meet the demands of justice. (shrink)

In information societies, operations, decisions and choices previously left to humans are increasingly delegated to algorithms, which may advise, if not decide, about how data should be interpreted and what actions should be taken as a result. More and more often, algorithms mediate social processes, business transactions, governmental decisions, and how we perceive, understand, and interact among ourselves and with the environment. Gaps between the design and operation of algorithms and our understanding of their ethical implications can have severe consequences (...) affecting individuals as well as groups and whole societies. This paper makes three contributions to clarify the ethical importance of algorithmic mediation. It provides a prescriptive map to organise the debate. It reviews the current discussion of ethical aspects of algorithms. And it assesses the available literature in order to identify areas requiring further work to develop the ethics of algorithms. (shrink)

In light of the recent emergence of predictive techniques in law enforcement to forecast crimes before they occur, this paper examines the temporal operation of power exercised by predictive policing algorithms. I argue that predictive policing exercises power through a paranoid style that constitutes a form of temporal governmentality. Temporality is especially pertinent to understanding what is ethically at stake in predictive policing as it is continuous with a historical racialized practice of organizing, managing, controlling, and stealing time. After first (...) clarifying the concept of temporal governmentality, I apply this lens to Chicago Police Department’s Strategic Subject List. This predictive algorithm operates, I argue, through a paranoid logic that aims to preempt future possibilities of crime on the basis of a criminal past codified in historical crime data. (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)

This article examines the complaint that arbitrary algorithmic decisions wrong those whom they affect. It makes three contributions. First, it provides an analysis of what arbitrariness means in this context. Second, it argues that arbitrariness is not of moral concern except when special circumstances apply. However, when the same algorithm or different algorithms based on the same data are used in multiple contexts, a person may be arbitrarily excluded from a broad range of opportunities. The third contribution is to (...) explain why this systemic exclusion is of moral concern and to offer a solution to address it. (shrink)

For more than two decades, police in the United States have used facial recognition to surveil civilians. Local police departments deploy facial recognition technology to identify protestors’ faces while federal law enforcement agencies quietly amass driver’s license and social media photos to build databases containing billions of faces. Yet, despite the widespread use of facial recognition in law enforcement, there are neither federal laws governing the deployment of this technology nor regulations settings standards with respect to its development. To make (...) matters worse, the Fourth Amendment—intended to limit police power and enacted to protect against unreasonable searches—has struggled to rein in new surveillance technologies since its inception. -/- This Article examines the Supreme Court’s Fourth Amendment jurisprudence leading up to Carpenter v. United States and suggests that the Court is reinterpreting the amendment for the digital age. Still, the too-slow expansion of privacy protections raises challenging questions about racial bias, the legitimacy of police power, and ethical issues in artificial intelligence design. This Article proposes the development of an algorithmic auditing and accountability market that not only sets standards for AI development and limitations on governmental use of facial recognition but encourages collaboration between public interest technologists and regulators. Beyond the necessary changes to the technological and legal landscape, the current system of policing must also be reevaluated if hard-won civil liberties are to endure. (shrink)

In Darwin’s Dangerous Idea, Daniel Dennett claims that evolution is algorithmic. On Dennett’s analysis, evolutionary processes are trivially algorithmic because he assumes that all natural processes are algorithmic. I will argue that there are more robust ways to understand algorithmic processes that make the claim that evolution is algorithmic empirical and not conceptual. While laws of nature can be seen as compression algorithms of information about the world, it does not follow logically that they are (...) implemented as algorithms by physical processes. For that to be true, the processes have to be part of computational systems. The basic difference between mere simulation and real computing is having proper causal structure. I will show what kind of requirements this poses for natural evolutionary processes if they are to be computational. (shrink)

Over the years, companies have adopted hiring algorithms because they promise wider job candidate pools, lower recruitment costs and less human bias. Despite these promises, they also bring perils. Using them can inflict unintentional harms on individual human rights. These include the five human rights to work, equality and nondiscrimination, privacy, free expression and free association. Despite the human rights harms of hiring algorithms, the AI ethics literature has predominantly focused on abstract ethical principles. This is problematic for two reasons. (...) First, AI principles have been criticized for being vague and not actionable. Second, the use of vague ethical principles to discuss algorithmic risks does not provide any accountability. This lack of accountability creates an algorithmic accountability gap. Closing this gap is crucial because, without accountability, the use of hiring algorithms can lead to discrimination and unequal access to employment opportunities. This paper makes two contributions to the AI ethics literature. First, it frames the ethical risks of hiring algorithms using international human rights law as a universal standard for determining algorithmic accountability. Second, it evaluates four types of algorithmic impact assessments in terms of how effectively they address the five human rights of job applicants implicated in hiring algorithms. It determines which of the assessments can help companies audit their hiring algorithms and close the algorithmic accountability gap. (shrink)

An increasing number of regulations propose the notion of ‘AI audits’ as an enforcement mechanism for achieving transparency and accountability for artificial intelligence (AI) systems. Despite some converging norms around various forms of AI auditing, auditing for the purpose of compliance and assurance currently have little to no agreed upon practices, procedures, taxonomies, and standards. We propose the ‘criterion audit’ as an operationalizable compliance and assurance external audit framework. We model elements of this approach after financial auditing practices, and argue (...) that AI audits should similarly provide assurance to their stakeholders about AI organizations’ ability to govern their algorithms in ways that mitigate harms and uphold human values. We discuss the necessary conditions for the criterion audit, and provide a procedural blueprint for performing an audit engagement in practice. We illustrate how this framework can be adapted to current regulations by deriving the criteria on which ‘bias audits’ for hiring algorithms can be performed, as required by the recently effective New York City Local Law 144 of 2021. We conclude by offering critical discussion on the benefits, inherent limitations, and implementation challenges of applying practices of the more mature financial auditing industry to AI auditing where robust guardrails against quality assurance issues are only starting to emerge. Our discussion as informed by experiences in performing these audits in practice highlights the critical role that an audit ecosystem plays in ensuring the effectiveness of such methodology. (shrink)

It has been argued that the fundamental laws of physics do not face a ‘problem of provisos’ equivalent to that found in other scientific disciplines (Earman, Roberts and Smith 2002) and there is only the appearance of exceptions to physical laws if they are confused with differential equations of evolution type (Smith 2002). In this paper I argue that even if this is true, fundamental laws in physics still pose a major challenge to standard Humean approaches to lawhood, as they (...) are not in any obvious sense about regularities in behaviour. A Humean approach to physical laws with exceptions is possible, however, if we adopt a view of laws that takes them to be the algorithms in the algorithmic compressions of empirical data. When this is supplemented with a distinction between lossy and lossless compression, we can explain exceptions in terms of compression artefacts present in the application of the lossy laws. (shrink)

This article presents a simple derivation of optimization models for reaction networks leading to a generalized form of the mass-action law, and compares the formal structure of Minimum Information Divergence, Quadratic Programming and Kirchhoff type network models. These optimization models are used in related articles to develop and illustrate the operation of ontology alignment algorithms and to discuss closely connected issues concerning the epistemological and statistical significance of sharp or precise hypotheses in empirical science.

This book provides a comprehensive examination of the police role from within a broader philosophical context. Contending that the police are in the midst of an identity crisis that exacerbates unjustified law enforcement tactics, Luke William Hunt examines various major conceptions of the police—those seeing them as heroes, warriors, and guardians. The book looks at the police role considering the overarching societal goal of justice and seeks to present a synthetic theory that draws upon history, law, society, psychology, and philosophy. (...) Each major conception of the police role is examined in light of how it affects the pursuit of justice, and how it may be contrary to seeking justice holistically and collectively. The book sets forth a conception of the police role that is consistent with the basic values of a constitutional democracy in the liberal tradition. Hunt’s intent is that clarifying the police role will likewise elucidate any constraints upon policing strategies, including algorithmic strategies such as predictive policing. This book is essential reading for thoughtful policing and legal scholars as well as those interested in political philosophy, political theory, psychology, and related areas. Now more than ever, the nature of the police role is a philosophical topic that is relevant not just to police officials and social scientists, but to everyone. (shrink)

It is often said that the best system account of laws needs supplementing with a theory of perfectly natural properties. The ‘strength’ and ‘simplicity’ of a system is language-relative and without a fixed vocabulary it is impossible to compare rival systems. Recently a number of philosophers have attempted to reformulate the BSA in an effort to avoid commitment to natural properties. I assess these proposals and argue that they are problematic as they stand. Nonetheless, I agree with their aim, and (...) show that if simplicity is interpreted as ‘compression’, algorithmic information theory provides a framework for system comparison without the need for natural properties. (shrink)

The counterfactual account of physical computation is simple and, for the most part, very attractive. However, it is usually thought to trivialize the notion of physical computation insofar as it implies ‘limited pancomputationalism’, this being the doctrine that every deterministic physical system computes some function. Should we bite the bullet and accept limited pancomputationalism, or reject the counterfactual account as untenable? Jack Copeland would have us do neither of the above. He attempts to thread a path between the two horns (...) of the dilemma by buttressing the counterfactual account with extra conditions intended to block certain classes of deterministic physical systems from qualifying as physical computers. His theory is called the ‘algorithm execution account’. Here we show that the algorithm execution account entails limited pancomputationalism, despite Copeland’s argument to the contrary. We suggest, partly on this basis, that the counterfactual account should be accepted as it stands, pancomputationalist warts and all. (shrink)

If whatever counts as merit for some purpose is unevenly distributed, a decision procedure that accurately sorts people on that basis will “pick up” and reproduce the pre-existing pattern in ways that more random, less merit-tracking procedures would not. This dynamic is an important cause for concern about the use of predictive models to allocate goods and opportunities. In this article, I distinguish two different objections that give voice to that concern in different ways. First, decision procedures may contribute to (...) future social injustice and other social ills by sustaining or aggravating patterns that undermine equality of status and opportunity. Second, the same decision procedures may wrong particular individuals by compounding prior injustices that explain those persons’ predicted or actual characteristics. I argue for the importance of the first idea and raise doubts about the second. In normative assessments and legal regulation of algorithmic decisionmaking, as in our thinking about anti-discrimination norms more broadly, a central concern ought to be the prospect of entrenching harmful and unjust patterns—quite apart from any personal wrong done to the individuals about whom predictions are made. (shrink)

The goal of this project is to encourage biologists to exclude any mention of 'copying errors' from the latest definition of the theory of evolution. Instead, it should be accepted that evolutionary change is facilitated by an evolved system of variety-maintenance and variety-generation which in turn leads to novel structures and complexity.

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under (...) the interpretation. The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

Hace ya más de 40 años desde que se comenzase a explorar las posibilidades de emplear inteligencia artificial en el campo del derecho. Existen numerosos usos y propuestas en el marco de la IA y el derecho, desde la automatización de la búsqueda de la información jurídica hasta la personalización del derecho. Estas propuestas plantean diversas cuestiones relacionadas con la filosofía del derecho. La proliferación de propuestas, en ocasiones, dificulta identificar la relación existente entre cada una de ellas con debates (...) específicos de la filosofía del derecho. Este trabajo ofrece una clasificación de usos de la IA jurídica que facilita la identificación de los temas de filosofía de derecho especialmente afectados por cada uso. Se propone distinguir tres grandes categorías: derecho formalizado, práctica jurídica algorítmica, y derecho personalizado. Esta propuesta incorpora los avances recientes en machine learning y propuestas novedosas como la personalización del derecho. Con esta clasificación resulta más sencillo identificar las premisas iusfilosóficas en que se asientan o sobre las que deben reflexionar los diversos proyectos de empleo de IA en el derecho. (shrink)

In October 2016, the White House, the European Parliament, and the UK House of Commons each issued a report outlining their visions on how to prepare society for the widespread use of artificial intelligence. In this article, we provide a comparative assessment of these three reports in order to facilitate the design of policies favourable to the development of a ‘good AI society’. To do so, we examine how each report addresses the following three topics: the development of a ‘good (...) AI society’; the role and responsibility of the government, the private sector, and the research community in pursuing such a development; and where the recommendations to support such a development may be in need of improvement. Our analysis concludes that the reports address adequately various ethical, social, and economic topics, but come short of providing an overarching political vision and long-term strategy for the development of a ‘good AI society’. In order to contribute to fill this gap, in the conclusion we suggest a two-pronged approach. (shrink)

Software patents are commonly criticised for being fuzzy, context-sensitive, and often granted for trivial inventions. More often than not, these shortcomings are said to be caused by the abstract nature of software - with little further analysis offered. Drawing on Plato’s Parmenides, this paper will argue (1) that the reason why software patents seem to be elusive is that patent law suggests to think about algorithms as paradigmatic examples and (2) that Plato’s distinction between two modes of predication and the (...) role of competence in his account of knowledge are helpful not only for conceptualising knowledge of algorithms, but also for understanding the limits of software patent regimes. (shrink)

Validity of physical laws for any aspect of brain activity and strict correlation of mental to physical states of the brain do not imply, with logical necessity, that a complete algorithmic theory of the mind-body relation is possible. A limit of decodability may be imposed by the finite number of possible analytical operations which is rooted in the finiteness of the world. It is considered as a fundamental intrinsic limitation of the scientific approach comparable to quantum indeterminacy and the (...) theorems of logical undecidability. An analysis of these limits, applied to dispositions of future behaviour, suggests that limits of decodability of the psycho-physic relation may actually exist with respect to brain states with self-referential aspects, as they are involved in mental processes. Limits for an algorithmic theory of the mind-body problem suggested by this study are formally similar to other intrinsic limits of the scientific method such as quantum indeterminacy and mathematical undecidability which are also related to self-referential operations. At the metatheoretical level, hard sciences, despite their reliability, universality and objectivity, depend on metatheoretical presuppositions which allow for multiple philosophical interpretations. -/- . (shrink)

Abstract: As the integration of Artificial Intelligence (AI) continues to permeate various sectors, the legal domain stands on the cusp of a transformative era. This research paper delves into the multifaceted relationship between AI and the law, scrutinizing the profound implications and innovative applications that emerge at the intersection of these two realms. The study commences with an examination of the current landscape, assessing the challenges and opportunities that AI presents within legal frameworks. With an emphasis on efficiency, accuracy, and (...) accessibility, AI technologies are reshaping traditional legal processes, ranging from document analysis and contract review to predictive legal analytics. Furthermore, the paper scrutinizes the ethical considerations and potential biases inherent in AI algorithms, exploring the delicate balance between technological advancements and the preservation of legal principles such as fairness, accountability, and transparency. The research also delves into the evolving role of legal professionals in navigating and overseeing AI applications, emphasizing the importance of responsible AI deployment. Drawing on case studies and real-world examples, this paper showcases instances where AI has already demonstrated its efficacy in legal contexts, highlighting successful implementations and identifying areas for improvement. The discussion extends to the evolving regulatory landscape, as legal systems grapple with the need to adapt and establish frameworks that ensure the responsible and ethical use of AI technologies. In conclusion, this research contributes to the growing discourse on the dynamic interplay between AI and the legal domain. By illuminating the potential benefits, ethical considerations, and regulatory challenges, it provides a comprehensive overview for legal practitioners, policymakers, and technologists alike, fostering a nuanced understanding of the evolving landscape where artificial intelligence intersects with the law. (shrink)

The paper explicates the stages of the author’s philosophical evolution in the light of Kopnin’s ideas and heritage. Starting from Kopnin’s understanding of dialectical materialism, the author has stated that category transformations of physics has opened from conceptualization of immutability to mutability and then to interaction, evolvement and emergence. He has connected the problem of physical cognition universals with an elaboration of the specific system of tools and methods of identifying, individuating and distinguishing objects from a scientific theory domain. The (...) role of vacuum conception and the idea of existence (actual and potential, observable and nonobservable, virtual and hidden) types were analyzed. In collaboration with S.Crymski heuristic and regulative functions of categories of substance, world as a whole as well as postulates of relativity and absoluteness, and anthropic and self-development principles were singled out. Elaborating Kopnin’s view of scientific theories as a practically effective and relatively true mapping of their domains, the author in collaboration with M. Burgin have originated the unified structure-nominative reconstruction (model) of scientific theory as a knowledge system. According to it, every scientific knowledge system includes hierarchically organized and complex subsystems that partially and separately have been studied by standard, structuralist, operationalist, problem-solving, axiological and other directions of the current philosophy of science. 1) The logico-linguistic subsystem represents and normalizes by means of different, including mathematical, languages and normalizes and logical calculi the knowledge available on objects under study. 2) The model-representing subsystem comprises peculiar to the knowledge system ways of their modeling and understanding. 3) The pragmatic-procedural subsystem contains general and unique to the knowledge system operations, methods, procedures, algorithms and programs. 4) From the viewpoint of the problem-heuristic subsystem, the knowledge system is a unique way of setting and resolving questions, problems, puzzles and tasks of cognition of objects into question. It also includes various heuristics and estimations (truth, consistency, beauty, efficacy, adequacy, heuristicity etc) of components and structures of the knowledge system. 5) The subsystem of links fixes interrelations between above-mentioned components, structures and subsystems of the knowledge system. The structure-nominative reconstruction has been used in the philosophical and comparative case-studies of mathematical, physical, economic, legal, political, pedagogical, social, and sociological theories. It has enlarged the collection of knowledge structures, connected, for instance, with a multitude of theoreticity levels and with an application of numerous mathematical languages. It has deepened the comprehension of relations between the main directions of current philosophy of science. They are interpreted as dealing mainly with isolated subsystems of scientific theory. This reconstruction has disclosed a variety of undetected knowledge structures, associated also, for instance, with principles of symmetry and supersymmetry and with laws of various levels and degrees. In cooperation with the physicist Olexander Gabovich the modified structure-nominative reconstruction is in the processes of development and justification. Ideas and concepts were also in the center of Kopnin’s cognitive activity. The author has suggested and elaborated the triplet model of concepts. According to it, any scientific concept is a dependent on cognitive situation, dynamical, multifunctional state of scientist’s thinking, and available knowledge system. A concept is modeled as being consisted from three interrelated structures. 1) The concept base characterizes objects falling under a concept as well as their properties and relations. In terms of volume and content the logical modeling reveals partially only the concept base. 2) The concept representing part includes structures and means (names, statements, abstract properties, quantitative values of object properties and relations, mathematical equations and their systems, theoretical models etc.) of object representation in the appropriate knowledge system. 3) The linkage unites a structures and procedures that connect components from the abovementioned structures. The partial cases of the triplet model are logical, information, two-tired, standard, exemplar, prototype, knowledge-dependent and other concept models. It has introduced the triplet classification that comprises several hundreds of concept types. Different kinds of fuzziness are distinguished. Even the most precise and exact concepts are fuzzy in some triplet aspect. The notions of relations between real scientific concepts are essentially extended. For example, the definition and strict analysis of such relations between concepts as formalization, quantification, mathematization, generalization, fuzzification, and various kinds of identity are proposed. The concepts «PLANET» and «ELEMENTARY PARTICLE» and some of their metamorphoses were analyzed in triplet terms. The Kopnin’s methodology and epistemology of cognition was being used for creating conception of the philosophy of law as elaborating of understanding, justification, estimating and criticizing legal system. The basic information on the major directions in current Western philosophy of law (legal realism, feminism, criticism, postmodernism, economical analysis of law etc.) is firstly introduced to the Ukrainian audience. The classification of more than fifty directions in modern legal philosophy is suggested. Some results of historical, linguistic, scientometric and philosophic-legal studies of the present state of Ukrainian academic science are given. (shrink)

In this multi-disciplinary investigation we show how an evidence-based perspective of quantification---in terms of algorithmic verifiability and algorithmic computability---admits evidence-based definitions of well-definedness and effective computability, which yield two unarguably constructive interpretations of the first-order Peano Arithmetic PA---over the structure N of the natural numbers---that are complementary, not contradictory. The first yields the weak, standard, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically verifiable Tarskian truth values to the formulas of PA under (...) the interpretation. The second yields a strong, finitary, interpretation of PA over N, which is well-defined with respect to assignments of algorithmically computable Tarskian truth values to the formulas of PA under the interpretation. We situate our investigation within a broad analysis of quantification vis a vis: * Hilbert's epsilon-calculus * Goedel's omega-consistency * The Law of the Excluded Middle * Hilbert's omega-Rule * An Algorithmic omega-Rule * Gentzen's Rule of Infinite Induction * Rosser's Rule C * Markov's Principle * The Church-Turing Thesis * Aristotle's particularisation * Wittgenstein's perspective of constructive mathematics * An evidence-based perspective of quantification. By showing how these are formally inter-related, we highlight the fragility of both the persisting, theistic, classical/Platonic interpretation of quantification grounded in Hilbert's epsilon-calculus; and the persisting, atheistic, constructive/Intuitionistic interpretation of quantification rooted in Brouwer's belief that the Law of the Excluded Middle is non-finitary. We then consider some consequences for mathematics, mathematics education, philosophy, and the natural sciences, of an agnostic, evidence-based, finitary interpretation of quantification that challenges classical paradigms in all these disciplines. (shrink)

This book (in German) on "Physics, life and mind" is on the physical foundations of modern biology. The basic features of living systems, reproduction, mutation and metabolism, can be explained in terms of molecular processes involving nucleic acids as genetic material, and proteins as catalysts. The generation of structure and form in each generation results from spatiotemporal gene regulation in conjunction with the de novo formation of spatial order in which interplays of activation and inhibition play a crucial part. Brain (...) functions can be understood in terms of information processing in neural networks. Fundamental limitations of explanations of biological phenomena on the basis of physics are expected for the relation between neural and mental states, which may not be fully decodable by finite procedures. A complete algorithmic theory of the human mind encompassing all, including self-referential, aspects appears to be impossible even in principle, not only in practice. The range and limitations of explanations of life on the basis of physical laws and processes reflect the scope and limits of science in general. In contrast to the notions in circulation in the 19th century, modern science is open at the metatheoretical level to different philosophical, cultural and religious interpretations of man and the universe. -/- . (shrink)

Since approval of the EU General Data Protection Regulation (GDPR) in 2016, it has been widely and repeatedly claimed that the GDPR will legally mandate a ‘right to explanation’ of all decisions made by automated or artificially intelligent algorithmic systems. This right to explanation is viewed as an ideal mechanism to enhance the accountability and transparency of automated decision-making. However, there are several reasons to doubt both the legal existence and the feasibility of such a right. In contrast to (...) the right to explanation of specific automated decisions claimed elsewhere, the GDPR only mandates that data subjects receive meaningful, but properly limited, information (Articles 13-15) about the logic involved, as well as the significance and the envisaged consequences of automated decision-making systems, what we term a ‘right to be informed’. Further, the ambiguity and limited scope of the ‘right not to be subject to automated decision-making’ contained in Article 22 (from which the alleged ‘right to explanation’ stems) raises questions over the protection actually afforded to data subjects. These problems show that the GDPR lacks precise language as well as explicit and well-defined rights and safeguards against automated decision-making, and therefore runs the risk of being toothless. We propose a number of legislative and policy steps that, if taken, may improve the transparency and accountability of automated decision-making when the GDPR comes into force in 2018. (shrink)

Mathematicians often speak of conjectures as being confirmed by evidence that falls short of proof. For their own conjectures, evidence justifies further work in looking for a proof. Those conjectures of mathematics that have long resisted proof, such as the Riemann hypothesis, have had to be considered in terms of the evidence for and against them. In recent decades, massive increases in computer power have permitted the gathering of huge amounts of numerical evidence, both for conjectures in pure mathematics and (...) for the behavior of complex applied mathematical models and statistical algorithms. Mathematics has therefore become (among other things) an experimental science (though that has not diminished the importance of proof in the traditional style). We examine how the evaluation of evidence for conjectures works in mathematical practice. We explain the (objective) Bayesian view of probability, which gives a theoretical framework for unifying evidence evaluation in science and law as well as in mathematics. Numerical evidence in mathematics is related to the problem of induction; the occurrence of straightforward inductive reasoning in the purely logical material of pure mathematics casts light on the nature of induction as well as of mathematical reasoning. (shrink)

What is cognition? Equivalently, what is cognition good for? Or, what is it that would not be but for human cognition? But for human cognition, there would not be science. Based on this kinship between individual cognition and collective science, here we put forward Isbell conjugacy---the adjointness between objective geometry and subjective algebra---as a scientific method for developing cognitive science. We begin with the correspondence between categorical perception and category theory. Next, we show how the Gestalt maxim is subsumed by (...) the mathematical construct of colimit, a generalization of summation. The universal mapping property definitions of mathematical constructs, by virtue of being the best with respect to the universe of discourse, can be learned using reinforcement learning algorithms, which raises the possibility of abstracting the architecture of mathematics by artificial intelligence. Subsequently, we present naturality (to be contrasted with miracles), understood as 'Becoming consistent with Being', which governs the transformations of both things and their theories, as the zeroth law of change. Furthermore, the contrast---physical [mechanism] vs. biological [organism]---is smoothed via natural transformation, wherein transformations are respectful of the cohesion of the objects transformed. In closing, upon recognizing the scientific value of learning difficult-to-master differential calculus by physicists, of learning a strange four-letter language by biologists, and of learning the grammar of our respective mother tongues, we make a case for learning the theory of naturality / category theory for developing cognitive science. (shrink)

Leibniz said that the universe, if God-created, would exist at a unique, conjoint, physical maximum: Of all possible worlds, it would be richest in phenomena, but its richness would arise from the simplest physical laws and initial conditions. Using concepts of ‘‘variety’’ and algorithmic informational complexity, Leibniz’ claim can be reframed as a testable theory. This theory predicts that the laws and conditions of the actual universe should be simpler, and the universe richer in phenomena, than the presence of (...) observers would require. Tegmark has shown that inhabitants of an infinite multiverse would likely observe simple laws and conditions, but also phenomenal richness just great enough to explain their existence. Empirical observations fit the claim of divine choice better than the claim of an infinite multiverse. The future of the universe, including its future information-processing capacity, is predicted to be endless. -/- . (shrink)

The article is devoted to the analysis of the ideological component of legal consciousness. Legal ideas give meaning and weight to evaluative criteria in legal norms, develop legal intuition, which is higher than dogmatic knowledge and bureaucratic hookworming. Ideology saturates the legal form with humanistic content. Commitment to ideals does not emasculate the thinking of lawyers to constructions and algorithms. The author sees legal harmony in the combination of ideological maximalism with legal minimalism. Статья посвящена анализу идеологического компонента правосознания. Правовые (...) идеи придают смысл и вес оценочным критериям в юридических нормах, развивают правовую интуицию, которая выше догматического знания и бюрократического крючкотворства. Идеология насыщает юридическую форму гуманистическим содержанием. Приверженность идеалам не выхолащивает мышление юристов до конструкций и алгоритмов. Правовая гармония видится автору в сочетании идейного максимализма с юридическим минимализмом. (shrink)

We show how removing faith-based beliefs in current philosophies of classical and constructive mathematics admits formal, evidence-based, definitions of constructive mathematics; of a constructively well-defined logic of a formal mathematical language; and of a constructively well-defined model of such a language. -/- We argue that, from an evidence-based perspective, classical approaches which follow Hilbert's formal definitions of quantification can be labelled `theistic'; whilst constructive approaches based on Brouwer's philosophy of Intuitionism can be labelled `atheistic'. -/- We then adopt what may (...) be labelled a finitary, evidence-based, `agnostic' perspective and argue that Brouwerian atheism is merely a restricted perspective within the finitary agnostic perspective, whilst Hilbertian theism contradicts the finitary agnostic perspective. -/- We then consider the argument that Tarski's classic definitions permit an intelligence---whether human or mechanistic---to admit finitary, evidence-based, definitions of the satisfaction and truth of the atomic formulas of the first-order Peano Arithmetic PA over the domain N of the natural numbers in two, hitherto unsuspected and essentially different, ways. -/- We show that the two definitions correspond to two distinctly different---not necessarily evidence-based but complementary---assignments of satisfaction and truth to the compound formulas of PA over N. -/- We further show that the PA axioms are true over N, and that the PA rules of inference preserve truth over N, under both the complementary interpretations; and conclude some unsuspected constructive consequences of such complementarity for the foundations of mathematics, logic, philosophy, and the physical sciences. -/- . (shrink)

Histoire et utilisation du robot Bien que la robotique soit un marché économique relativement jeune et en pleine croissance, la genèse des robots remonte à l’Antiquité. Le premier robot à être déployé sur des lignes d’assemblage est Unimate, utilisé dès 1961 par General Motors. La robotique, en se di usant dans tous les pans de notre économie, va impacter les business modèles de nombreuses industries comme l’automobile et l’aéronautique mais aussi la construction ou l’agriculture. Aujourd’hui les robots industriels et de (...) service servent à de multiples tâches allant de la logistique à l’usinage en passant par la fonderie. La robotique constitue aussi et surtout un enjeu sociétal contribuant à relever les dé s de la mobilité, de la santé, de l’autonomie, du vieillissement et de l’éducation. Absence de dé nition et de régime juridique spéci que au robot En France, la notion de robot ne fait pas l’objet d’une dé nition juridique qui lui est propre. Les dé nitions relatives à l’environnement robotique peuvent tout de même se retrouver dans la norme ISO 8373:2012. Bien que les robots intéressent les juristes à plusieurs titres, le législateur n’a, à ce jour, pas adopté de régime juridique spéci quement applicable aux robots. Il convient donc de rechercher dans le droit positif le corpus de textes applicables aux robots. Ce corpus pourra alors recevoir l’appellation de « droit de la robotique ». Garanties Le vendeur d’un robot industriel et de service doit se conformer aux garanties légales que sont la garantie des vices cachés et la garantie d’éviction. Il doit également respecter les éventuelles garanties qui ont pu être convenues contractuellement Clauses contractuelles Le fournisseur d’un robot industriel et de service doit être particulièrement attentif aux clauses contractuelles rela- tives à la garantie, à la propriété intellectuelle, à la con dentialité, à la responsabilité et à la conformité aux directives techniques. Les spéci cités liées au robot, telles que les éléments relatifs à l’intelligence arti cielle, pourront être intégrées dans des annexes spéci ques. Intelligence arti cielle L’algorithme d’intelligence arti cielle dont est équipé un robot industriel et de service peut, dans certaines condi- tions, béné cier d’une protection grâce au droit d’auteur, à la protection du savoir-faire et au brevet. Aucun régime spécial n’existe à ce jour protégeant les œuvres conçues par le robot intelligent. Mobilité Les véhicules et drones autonomes utilisés au sein même de l’usine sont considérés comme des machines. Etant don- né les risques existants, il convient de xer de règles internes d’utilisation. Les véhicules autonomes ne peuvent à ce jour quitter l’espace privé. En revanche, les drones peuvent circuler dans l’espace aérien en respectant strictement le cadre réglementaire. Douanes Le taux de perception des droits de douanes d’un robot industriel et de service est conditionné par la connaissance de l’origine, préférentielle ou non préférentielle, du robot qui est déterminée par la position tarifaire de ce dernier. Le robot industriel et de service entre dans le chapitre 84, qui concerne notamment les machines, de la nomenclature du système harmonisé établi par l’Organisation mondiale de douanes. Sécurité En application de la « directive machines », le robot peut recevoir la quali cation de machine ou de quasi-machine. En vertu de cette directive, mais également au titre du Code du travail, de nombreuses obligations en matière de santé et de sécurité doivent être respectées pour la commercialisation et l’utilisation des robots. Conformité Le Code du travail, en transposant la « directive machines », a prévu de nombreuses obligations et procédures, appli- cables aux robots industriels et de service, permettant ainsi de s’assurer que ces derniers respectent les exigences de conformité nécessaires en matière de santé et de sécurité. Maintenance Dans le cadre de la maintenance, le fournisseur d’un robot industriel et de service est soumis à plusieurs obligations législatives aux titres de la disponibilité des pièces détachées et de la location. Les dispositions contractuelles de- vront prendre en considération les spéci cités propres au robot et ne pas ignorer la maintenance prédictive. Quali cation juridique Dans le cadre de la conception, de la fabrication et de l’utilisation du robot, il convient de porter une attention par- ticulière à quatre textes spéciaux qui peuvent être applicables aux robots industriels et de service : le règlement 428/2009 sur les biens à double usage, la directive 2014/35/UE applicable au matériel électrique basse tension, la directive 2014/53/UE applicable aux équipements radioélectriques et la directive 2014/30/UE sur la compatibilité électromagnétique. Responsabilité Bien que les régimes de responsabilité, civile et pénale, ne sont pas adaptés aux robots autonomes, la responsabilité civile de droit commun, la responsabilité du fait des choses, la responsabilité du fait des produits défectueux et la responsabilité des commettants du fait de leurs préposés peuvent s’appliquer en cas de fait dommageable causé par le robot tout comme la responsabilité pénale en cas d’infraction commise dans le cadre de l’utilisation du robot. Assurance La police d’assurance relative aux robots doit permettre de protéger le robot contre les risques auxquels ils sont confrontés mais également d’assurer la responsabilité pour les dommages qu’ils pourraient causer, on peut alors parler de « dommages robotiques ». Données et bases de données Les bases de données contenues dans un robot industriel et de service doivent respecter les droits dont dispose l’auteur sur la structure de la base de données et/ou les droits du producteur des bases de données dans lesquelles gurent les données utilisées. La réglementation Informatique et libertés est également applicable au robot lorsque celui-ci collecte et/ou traite des données personnelles. Droit de la robotique dans le monde Aucun Etat ne s’est à ce jour doté d’un régime juridique détaillé et spéci que à la robotique. Des dispositions juri- diques relatives aux robots peuvent tout de même se retrouver de façon éparse dans certains droits étrangers concer- nant notamment les drones et les véhicules terrestres autonomes. (shrink)

Traditionally, consistency is the only criterion for the quality of a theory in logic-based approaches to reasoning about actions. This work goes beyond that and contributes to the metatheory of actions by investigating what other properties a good domain description should have. We state some metatheoretical postulates concerning this sore spot. When all postulates are satisfied we call the action theory modular. Besides being easier to understand and more elaboration tolerant in McCarthy’s sense, modular theories have interesting properties. We point (...) out the problems that arise when the postulates about modularity are violated, and propose algorithmic checks that can help the designer of an action theory to overcome them. (shrink)

We present a rigorous way to evaluate the visual perception of correlation in scatterplots, based on classical psychophysical methods originally developed for simple properties such as brightness. Although scatterplots are graphically complex, the quantity they convey is relatively simple. As such, it may be possible to assess the perception of correlation in a similar way. Scatterplots were each of 5.0 extent, containing 100 points with a bivariate normal distribution. Means were 0.5 of the range of the points, and standard deviations (...) 0.2 of this range. Precision was determined via an adaptive algorithm to find the just noticeable differences (jnds) in correlation, i.e., the difference between two side-by-side scatterplots that could be discriminated 75% of the time. Accuracy was measured by direct estimation, using reference scatterplots with fixed upper and lower values, with a test scatterplot adjusted so that its correlation appeared to be halfway between these. This process was recursively applied to yield several further estimates. Results of the discrimination tests show jnd(r) = k (1/b – r), where r is the Pearson correlation, and parameters 0 < k, b < 1. Integration yields a subjective estimate of correlation g(r) = ln(1 – br) / ln(1– b). The values of b found via discrimination closely match those found via direct estimation. As such, it appears that the perception of correlation in a scatterplot is completely described by two related performance curves, specified by two easily-measured parameters. (shrink)

2019 Applied Technology Award for the Media and the Moving Image Awards at University of Houston. -/- The Google algorithm, as a ranking and ordering structure, cannot be “objective” as long as the page-ranking mechanism produces social effects and always inadvertently and inescapably affects social priorities. Imitable units of information (memes) on the internet change according to the laws of exponential growth, like other social phenomena, which include Google rankings. Mathematically and graphically represented, the effects of mimetic inflation on Google (...) rankings and other site-specific information can be proposed and projected. Current algorithmic policies may actually preserve and exaggerate the social priorities of the status quo in spite of “objective” intentions. These considerations in mind, the concept of “monology”, “the monopoly on information”, might be implemented to further analyze network effects online. Algorithmic regulation could be used to enforce artificial inequalities, to permit natural inequalities, or to enforce artificial equalities: each option has implications for the justice and fairness of online and offline environments. (shrink)

An increasing number of financial services (FS) companies are adopting solutions driven by artificial intelligence (AI) to gain operational efficiencies, derive strategic insights, and improve customer engagement. However, the rate of adoption has been low, in part due to the apprehension around its complexity and self-learning capability, which makes auditability a challenge in a highly regulated industry. There is limited literature on how FS companies can implement the governance and controls specific to AI-driven solutions. AI auditing cannot be performed in (...) a vacuum; the risks are not confined to the algorithm itself, but rather permeates the entire organization. Using the risk of unfairness as an example, this paper will introduce the overarching governance strategy and control framework to address the practical challenges in mitigating risks AI introduces. With regulatory implications and industry use cases, this framework will enable leaders to innovate with confidence. (shrink)

This paper provides an analysis of the way in which two foundational principles of medical ethics–the trusted doctor and patient autonomy–can be undermined by the use of machine learning (ML) algorithms and addresses its legal significance. This paper can be a guide to both health care providers and other stakeholders about how to anticipate and in some cases mitigate ethical conflicts caused by the use of ML in healthcare. It can also be read as a road map as to what (...) needs to be done to achieve an acceptable level of explainability in an ML algorithm when it is used in a healthcare context. (shrink)

There is an old and powerful argument for the claim that divine foreknowledge is incompatible with the freedom to do otherwise. A recent response to this argument, sometimes called the “dependence response,” centers around the claim that God’s relevant past beliefs depend on the relevant agent’s current or future behavior in a certain way. This paper offers a new argument for the dependence response, one that revolves around different cases of time travel. Somewhat serendipitously, the argument also paves the way (...) for a new reply to a compelling objection to the dependence response, the challenge from prepunishment. But perhaps not so serendipitously, the argument also renders the dependence response incompatible with certain views of providence. (shrink)

Let (leeway) incompatibilism be the thesis that causal determinism is incompatible with the freedom to do otherwise. Several prominent authors have claimed that incompatibilism alone can capture, or at least best captures, the intuitive appeal behind Jorge Luis Borges's famous “Garden of Forking Paths” metaphor. The thought, briefly, is this: the “single path” leading up to one's present decision represents the past; the forking paths that one must decide between represent those possible futures consistent with the past and the laws (...) of nature. But if determinism is true, there is only one possible future consistent with the past and the laws and, hence, only one path to choose from. That is, if determinism is true, then we are not free to do otherwise. In this paper, I argue that this understanding of the Garden of Forking Paths faces a number of problems and ought to be rejected even by incompatibilists. I then present an alternative understanding that not only avoids these problems but still supports incompatibilism. Finally, I consider how various versions of (leeway) compatibilism fit with the Garden of Forking Paths as well as the broader question of whether metaphors, however intuitive, have any dialectical force in the debates over freedom. (shrink)

Suppose Molinism is true and God placed Adam in the garden because God knew Adam would freely eat of the fruit. Suppose further that, had it not been true that Adam would freely eat of the fruit, were he placed in the garden, God would have placed someone else there instead. When Adam freely eats of the fruit, is he free to do otherwise? This paper argues that there is a strong case for both a positive and a negative answer. (...) Assuming such cases are possible under Molinism, we are left with a puzzling question: if Molinism is true, what can you do? (shrink)

Is the virtue of the good citizen the same as the virtue of the good man? Aristotle addresses this in Politics 3.4. His answer is twofold. On the one hand, (the account for Difference) they are not the same both because what the citizen’s virtue is depends on the constitution, on what preserves it, and on the role the citizen plays in it, and because the good citizens in the best constitution cannot all be good men, whereas the good man’s (...) virtue is uniform. On the other hand, (the account for Identity) the two virtues are identical in the good men in the best constitution, in which all are good citizens, each possessing the ability for ruling and for being ruled. This nuanced answer can be seen as Aristotle’s synthesis of a Periclean view (contribution to state blots out personal wrongs) and a Socratic view (no good citizen is without justice). Its nuances reflect the extent to which Aristotle’s conceptions of good citizenship and the best constitution accommodate deviations of what is probable from the human ideal set out in his ethical writings. In the present chapter, I will first address three puzzles regarding the nuances of Aristotle’s answer. Second, I will consider one question about its implication: Does Aristotle’s account for Difference turn out to entail something ultra-Periclean: that no one can simultaneously be a good man and a good citizen in any constitution other than the best? I shall argue the negative. (shrink)

Libertarian views of freedom claim that, although determinism would rule out our freedom, we are nevertheless free on some occasions. An odd implication of such views (to put it mildly) seems to be that indeterminism somehow enhances or contributes to our agency. But how could that be? What does indeterminism have to offer agency? This paper develops a novel answer, one that is centred around the notion of explanation. In short, it is argued that, if indeterminism holds in the right (...) places, then the best explanation of the history of the world necessarily cites facts about our agency. Along the way, alternative proposals regarding the significance of indeterminism are considered and, ultimately, rejected in favour of the one developed in this paper. (shrink)

Recently, several authors have utilized the notion of dependence to respond to the traditional argument for the incompatibility of freedom and divine foreknowledge. However, proponents of this response have not always been so clear in specifying where the incompatibility argument goes wrong, which has led to some unfounded objections to the response. We remedy this dialectical confusion by clarifying both the dependence response itself and its interaction with the standard incompatibility argument. Once these clarifications are made, it becomes clear both (...) (1.) that the dependence response does not beg the question against the proponent of the incompatibility argument and (2.) that the dependence response advances the dialectic whether it is developed as a version of Ockhamism or as a version of multiple-pasts compatibilism. (shrink)

Review of Causation and Free Will by Carolina Sartorio, Oxford University Press, 2016. viii + 188 pp. £35.00.

Algorithms can now identify patterns and correlations in the (big) datasets, and predict outcomes based on those identified patterns and correlations with the use of machine learning techniques and big data, decisions can then be made by algorithms themselves in accordance with the predicted outcomes. Yet, algorithms can inherit questionable values from the datasets and acquire biases in the course of (machine) learning, and automated algorithmic decision-making makes it more difficult for people to see algorithms as biased. While researchers (...) have taken the problem of algorithmic bias seriously, but the current discussion on algorithmic fairness tends to conceptualize ‘fairness’ in algorithmic fairness primarily as a technical issue and attempts to implement pre-existing ideas of ‘fairness’ into algorithms. In this paper, I show that such a view of algorithmic fairness as technical issue is unsatisfactory for the type of problem algorithmic fairness presents. Since decisions on fairness measure and the related techniques for algorithms essentially involve choices between competing values, ‘fairness’ in algorithmic fairness should be conceptualized first and foremost as a political issue, and it should be (re)solved by democratic communication. The aim of this paper, therefore, is to explicitly reconceptualize algorithmic fairness as a political question and suggest the current discussion of algorithmic fairness can be strengthened by adopting the accountability for reasonableness framework. (shrink)

In the TACITUS project for using commonsense knowledge in the understanding of texts about mechanical devices and their failures, we have been developing various commonsense theories that are needed to mediate between the way we talk about the behavior of such devices and causal models of their operation. Of central importance in this effort is the axiomatization of what might be called commonsense metaphysics. This includes a number of areas that figure in virtually every domain of discourse, such as granularity, (...) scales, time, space, material, physical objects, shape, causality, functionality, and force. Our effort has been to construct core theories of each of these areas, and then to define, or at least characterize, a large number of lexical items in terms provided by the core theories. In this paper we discuss our methodological principles and describe the key ideas in the various domains we are investigating. (shrink)

In Algorithms & Autonomy, Rubel, Castro, and Pham (hereafter RCP), argue that the concept of autonomy is especially central to understanding important moral problems about algorithms. In particular, autonomy plays a role in analyzing the version of social contract theory that they endorse. I argue that although RCP are largely correct in their diagnosis of what is wrong with the algorithms they consider, those diagnoses can be appropriated by moral theories RCP see as in competition with their autonomy based theory. (...) Most notably, proponents of consequentialism and virtue ethics can appropriate RCPs insights. This is good news because RCP’s social contract theory is vulnerable to a well known class of counterexamples. The most significant contribution of RCP, if I am right, is in their identification, presentation, and evaluation of concrete cases involving algorithms and not in the more controversial claims about theoretical ethics that RCP themselves see as central to what they are doing. (shrink)

Algorithms wield increasing control over our lives—over the jobs we get, the loans we're granted, the information we see online. Algorithms can and often do wield their power in a biased way, and much work has been devoted to algorithmic bias. In contrast, algorithmic neutrality has been largely neglected. I investigate algorithmic neutrality, tackling three questions: What is algorithmic neutrality? Is it possible? And when we have it in mind, what can we learn about algorithmic (...) bias? (shrink)