Minds and Machines

Reply to “Prayer-Bots and Religious Worship on Twitter: A Call for a Wider Research Agenda Islamic”

Three Ethical Challenges of Applications of Artificial Intelligence in Cybersecurity

Delegating Religious Practices to Autonomous Machines, A Reply to “Prayer-Bots and Religious Worship on Twitter: A Call for a Wider Research Agenda”

Triviality Arguments Reconsidered Abstract Opponents of the computational theory of mind (CTM) have held that the theory is devoid of explanatory content, since whatever computational procedures are said to account for our cognitive attributes will also be realized by a host of other ‘deviant’ physical systems, such as buckets of water and possibly even stones. Such ‘triviality’ claims rely on a simple mapping account (SMA) of physical implementation. Hence defenders of CTM traditionally attempt to block the trivialization critique by advocating additional constraints on the implementation relation. However, instead of attempting to ‘save’ CTM by constraining the account of physical implementation, I argue that the general form of the triviality argument is invalid. I provide a counterexample scenario, and show that SMA is in fact consistent with empirically rich and theoretically plausible versions of CTM. This move requires rejection of the computational sufficiency thesis, which I argue is scientifically unjustified in any case. By shifting the ‘burden of explanatory force’ away from the concept of physical implementation, and instead placing it on salient aspects of the target phenomenon to be explained, it’s possible to retain a maximally liberal and unfettered view of physical implementation, and at the same time defuse the triviality arguments that have motivated defenders of CTM to impose various theory-laden constraints on SMA.

Computers Are Syntax All the Way Down: Reply to Bozşahin Abstract 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.

Prayer-Bots and Religious Worship on Twitter: A Call for a Wider Research Agenda Abstract The automation of online social life is an urgent issue for researchers and the public alike. However, one of the most significant uses of such technologies seems to have gone largely unnoticed by the research community: religion. Focusing on Islamic Prayer Apps, which automatically post prayers from its users’ accounts, we show that even one such service is already responsible for millions of tweets daily, constituting a significant portion of Arabic-language Twitter traffic. We argue that the fact that a phenomenon of these proportions has gone unnoticed by researchers reveals an opportunity to broaden the scope of the current research agenda on online automation.

Pictures, Plants, and Propositions Abstract Philosophers have traditionally held that propositions mark the domain of rational thought and inference. Many philosophers have held that only conceptually sophisticated creatures like us could have propositional attitudes. But in recent decades, philosophers have adopted increasingly liberal views of propositional attitudes that encompass the mental states of various non-human animals. These views now sit alongside more traditional views within the philosophical mainstream. In this paper I argue that liberalized views of propositional attitudes are so liberal that they encompass states of all sorts of apparently mindless systems like circadian clocks in plants. I begin by arguing that on the most well-developed and widely endorsed theories of underived representation in philosophy, circadian clocks qualify as representations. I then argue that standard reasons for thinking that perceptual states and pictures have propositional content carry over to circadian clocks. Finally, I argue that circadian representations in plants play the kind of functional role that is widely taken to be partly constitutive of belief-like attitudes. So according to mainstream theories of representation, propositions, and attitudes, plants have propositional attitudes. Yet on other more traditional views, this conclusion would seem absurd. So, contrary to appearances, there is no shared, stable understanding of what propositional attitudes are in contemporary philosophy.

The Bit (and Three Other Abstractions) Define the Borderline Between Hardware and Software Abstract 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 (and their associated circuitry), so that when flipped, the world is changed in such a way that we understand the light to be onor off. Similarly, we build computers to perform operations that we understand as manipulating symbols.

Information Processing Artifacts Abstract What is a computer? What distinguishes computers from other artificial or natural systems with alleged computational capacities? What does use of a physical system for computation entail, and what distinguishes such use from otherwise identical transformation of that same system when it is not so used? This paper addresses such questions through a theory of information processing artifacts (IPAs), the class of technical artifacts with physical capacities that enable agents to use them as means to their computational ends. Function ascription, use plan requirements, malfunction, and efficacy of IPAs are all addressed in this theory, with emphasis on artifacts that can be used—reliably or otherwise—for digital computation. By explicitly distinguishing physically grounded computational capacities from user-ascribed computational functions, and by recognizing the distinct roles of each for the implementation of computations in artifacts, this theory clearly distinguishes the use of physical systems for computation from the transformations of physical system states that enable such use. As such, it provides a rigorous basis for distinguishing “computers” from other artificial and natural systems—a distinction whose nature and legitimacy faces ever-evolving challenges from multiple disciplines. This theory, and the associated “instrumental” view of computation in artifacts, naturally accommodates the openminded but scrupulous consideration of radically unconventional physical systems as potential substrates for future computers.

Qualitative Models in Computational Simulative Sciences: Representation, Confirmation, Experimentation Abstract The Epistemology Of Computer Simulation (EOCS) has developed as an epistemological and methodological analysis of simulative sciences using quantitative computational models to represent and predict empirical phenomena of interest. In this paper, Executable Cell Biology (ECB) and Agent-Based Modelling (ABM) are examined to show how one may take advantage of qualitative computational models to evaluate reachability properties of reactive systems. In contrast to the thesis, advanced by EOCS, that computational models are not adequate representations of the simulated empirical systems, it is shown how the representational adequacy of qualitative models is essential to evaluate reachability properties. Justification theory, if not playing an essential role in EOCS, is exhibited to be involved in the process of advancing and corroborating model-based hypotheses about empirical systems in ECB and ABM. Finally, the practice of evaluating model-based hypothesis by testing the simulated systems is shown to constitute an argument in favour of the thesis that computer simulations in ECB and ABM can be put on a par with scientific experiments.