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)

A response to a recent critique by Cem Bozşahin of the theory of syntactic semantics as it applies to Helen Keller, and some applications of the theory to the philosophy of computer science.

Fetzer famously claims that program verification is not even a theoretical possibility, and offers a certain argument for this far-reaching claim. Unfortunately for Fetzer, and like-minded thinkers, this position-argument pair, while based on a seminal insight that program verification, despite its Platonic proof-theoretic airs, is plagued by the inevitable unreliability of messy, real-world causation, is demonstrably self-refuting. As I soon show, Fetzer is like the person who claims: ‘My sole claim is that every claim expressed by an English sentence and (...) starting with the phrase “My sole claim” is false’. Or, more accurately, such thinkers are like the person who claims that modus tollens is invalid, and supports this claim by giving an argument that itself employs this rule of inference. (shrink)

Modern computing is generally taken to consist primarily of symbol manipulation. But symbols are abstract, and computers are physical. How can a physical device manipulate abstract symbols? Neither Church nor Turing considered this question. My answer is that the bit, as a hardware-implemented abstract data type, serves as a bridge between materiality and abstraction. Computing also relies on three other primitive—but more straightforward—abstractions: Sequentiality, State, and Transition. These physically-implemented abstractions define the borderline between hardware and software and between physicality and (...) abstraction. At a deeper level, asking how a physical device can interact with abstract symbols is the wrong question. The relationship between symbols and physical devices begins with the realization that human beings already know what it means to manipulate symbols. We build and program computers to do what we understand to be symbol manipulation. To understand what that means, consider a light switch. A light switch doesn’t turn a light on or off. Those are abstractions. Light switches don’t operate with abstractions. We build light switches, so that when flipped, the world is changed in such a way that we understand the light to be on or off. Similarly, we build computers to perform operations that we understand as manipulating symbols. (shrink)

This paper contains a discussion of striking similarities between influential philosophical concepts of the past and the approaches currently employed in selected areas of computer science. In particular, works of the Pythagoreans, Plato, Abelard, Ash’arites, Malebranche and Berkeley are presented and contrasted with such computer science ideas as digital computers, object-oriented programming, the modelling of an object’s actions and causality in virtual environments, and 3D graphics rendering. The intention of this paper is to provoke the computer science community to go (...) off the beaten path in order to find inspiration for the development of new approaches in software engineering. (shrink)

This paper addresses the methodological problem of analysing what it is to explain observed behaviours of engineered computing systems, focusing on the crucial role that abstraction and idealization play in explanations of both correct and incorrect BECS. First, it is argued that an understanding of explanatory requests about observed miscomputations crucially involves reference to the rich background afforded by hierarchies of functional specifications. Second, many explanations concerning incorrect BECS are found to abstract away from descriptions of physical components and processes (...) of computing systems that one finds below the logic circuit and gate layer of functional specification hierarchies. Third, model-based explanations of both correct and incorrect BECS that are provided in the framework of formal verification methods often involve idealizations. Moreover, a distinction between restrictive and permissive idealizations is introduced and their roles in BECS explanations are analysed. (shrink)

The core entities of computer science include formal languages, spec-ifications, models, programs, implementations, semantic theories, type inference systems, abstract and physical machines. While there are conceptual questions concerning their nature, and in particular ontological ones, our main focus here will be on the relationships between them. These relationships have an extensional aspect that articulates the propositional connection between the two entities, and an intentional one that fixes the direction of governance. An analysis of these two aspects will drive our investigation; (...) an investigation that will touch upon some of the central concerns of the philosophy of computer science. (shrink)

Information communication technology is spreading fast and wide. Driven by convenience, it enables people to undertake personal tasks and make decisions more easily and efficiently. Convenience enjoys an air of liberation as well as self-expression affecting all areas of life. The industry for children's toys is a major economic market becoming ever more tech-related and drawn into the battle for convenience. Like any other tech-related industry, this battle is about industry dominance and, currently, that involves networked toys. Networked toys aim (...) to enhance convenience for children and parents alike. Increasingly difficult to resist, these convenient networked devices are also a societal game changer. Neatly nestled in a lacuna juris and surrounded by a lack of clinical evidence, networked toys raise complex ethical issues concerning human development. This article lays bare the regulatory nexus for networked toys and invites ethical thinking to fill the gap to ensure sufficient protection for all human developmental stages. Networked toys not only affect but also might interfere with child development. Therefore, the article initially summarises the four key psychological stages through which the neurological development of the human brain processes. Each of these stages involves vital windows for human development in cognitive, emotional and social dimensions. Missing any of these developmental windows changes an individual human for life. The article then takes a look at the two main legal frameworks protecting the stages of human development which are applicable to networked toys: First, the examination of the human rights framework with its major segments emanating from the fundamental rights to privacy for family and home, to a child's education as well as to personal data reveals the use of current networked toys as a shielded part of parenting which tends to be at odds with privacy and data protection requirements. Second, the product liability framework for toy manufacturers requires evidence-based causality for putting a child's safety at risk. Unfortunately, these legal frameworks fail to offer sufficient protection of the human developmental stages. There is a lacuna juris. Although networked toys involve the risk of negatively impacting human development in every dimension, clinical psychological studies are impossible to acquire as court evidence for product liability because they take too long to provide reliable data while exposing several generations of children to the examined risk in the process. Meanwhile the temptation of convenience continues to drive the industry and consumers of networked toys and devices, which are already impacting children of all age groups. Accepting this phenomenon as an element of cognitive dissonance in society and in science falls far short of an appropriate ethical balance. The need for creating such an ethical balance concerning networked toys is all the more imperative because even if the networked toy industry managed to eliminate all psychological risks for human development and every legal conflict with privacy and security, significant ethical and societal risks of networked toys remain due to inevitable technological bias. Against these mounting changes, it is suggested that only an ethical approach of interdisciplinary research and learning seems most promising to develop an appropriate equilibrium between the complex challenges posed by networked toys and the societal values at stake. (shrink)

I critically review Raymond Turner’s Computational Artifacts – Towards a Philosophy of Computer Science by placing beside his position a rather different one, according to which computer science is a branch of, and is therefore subsumed by, immaterial formal logic.