Aaron Sloman

What we have learnt in the last six or seven decades about virtual machinery, as a result of a great deal of science and technology, enables us to offer Darwin a new defence against critics who argued that only physical form, not mental capabilities and consciousness could be products of evolution by natural selection. The defence compares the mental phenomena mentioned by Darwin’s opponents with contents of virtual machinery in computing systems. Objects, states, events, and processes in virtual machinery which we have only recently learnt how to design and build, and could not even have been thought about in Darwin’s time, can interact with the physical machinery in which they are implemented, without being identical with their physical implementation, nor mere aggregates of physical structures and processes. The existence of various kinds of virtual machinery (including both “platform” virtual machines that can host other virtual machines, e.g. operating systems, and “application” virtual machines, e.g. spelling checkers, and computer games) depends on complex webs of causal connections involving hardware and software structures, events and processes, where the specification of such causal webs requires concepts that cannot be defined in terms of concepts of the physical sciences. That indefinability, plus the possibility of various kinds of self-monitoring within virtual machinery, seems to explain some of the allegedly mysterious and irreducible features of consciousness that motivated Darwin’s critics and also more recent philosophers criticising AI. There are consequences for philosophy, psychology, neuroscience and robotics.

A.1. Some philosophers, including Tarski and Russell, have concluded from a study of various versions of the Liar Paradox ‘that there must be a hierarchy of languages, and that the words “true” and “false”, as applied to statements in any given language, are themselves words belonging to a language of higher order’. In his famous essay on truth Tarski claimed that ‘colloquial’ language is inconsistent as a result of its property of ‘universality’: that is, whatever can be said at all can in principle be said in it, with an extended vocabularly if necessary. Thus, in English we can talk about English expressions, what they denote, what they say, whether what they say is true or false, and so on: English contains its own metalanguage. This universality enables us to construct sentences which say of themselves that they are false, and by applying the law of excluded middle to them we easily derive a contradiction. Tarski concludes that ‘these antinomies seem to provide a proof that every language which is universal in the above sense, and for which the normal laws of logic hold, must be inconsistent’ . He then proposes to avoid such contradictions by the use of a hierarchy of languages such that statements about any one language can be made only in a different language at a higher level

The aim of the thesis is to show that there are some synthetic necessary truths, or that synthetic apriori knowledge is possible. This is really a pretext for an investigation into the general connection between meaning and truth, or between understanding and knowing, which, as pointed out in the preface, is really the first stage in a more general enquiry concerning meaning. (Not all kinds of meaning are concerned with truth.) After the preliminaries (chapter one), in which the problem is stated and some methodological remarks made, the investigation proceeds in two stages. First there is a detailed inquiry into the manner in which the meanings or functions of words occurring in a statement help to determine the conditions in which that statement would be true (or false). This prepares the way for the second stage, which is an inquiry concerning the connection between meaning and necessary truth (between understanding and knowing apriori). The first stage occupies Part Two of the thesis, the second stage Part Three. In all this, only a restricted class of statements is discussed, namely those which contain nothing but logical words and descriptive words, such as "Not all round tables are scarlet" and "Every three-sided figure is three-angled". (The reasons for not discussing proper names and other singular definite referring expressions are given in Appendix I.)

This paper distinguishes two versions of Ryle's notion of 'logical geography'. Logical geography: The network of relationships between current uses of a collection of concepts. (Probably what Ryle meant by the term.) Logical topography Features of the portion of reality, or types of portions of reality, related to a given set of concepts, where the reality may be capable of being divided up in different ways using different networks of relationships between concepts. Studying/analysing logical topography includes evaluating the alternative divisions in terms of the theories or applications that are supported by the different sets of concepts, or perhaps some other uses of the concepts. On re-reading Appendices III and IV of my Oxford DPhil thesis "Knowing and Understanding Relations between meaning and truth, meaning and necessary truth, meaning and synthetic necessary truth",, online here, I found to my surprise that several of the topics discussed below had been discussed in those two Appendices, and that the distinction between logical topography and logical geography was made in Appendix IV, discussing conceptual analysis, even though I did not use these words

[Przekład] To, czego w ciągu ostatnich sześciu lub siedmiu tego nauczyliśmy się na temat wirtualnej maszynerii w wyniku dużego postępu nauki i techniki, umożliwia nam zaoferowanie stanowisku darwinowskiemu nowej obrony przeciw krytykom, którzy twierdzili, że jedynie forma fizyczna – a nie zdolności umysłowe czy świadomość – może być produktem ewolucji poprzez dobór naturalny. Obrona ta porównuje zjawiska umysłowe, wspominane przez przeciwników Darwina, z treściami maszynerii wirtualnej w systemach obliczeniowych. Obiekty, stany, zdarzenia i procesy w owej maszynerii, które dopiero od niedawna umiemy projektować i konstruować, a które nie mogły być nawet przedmiotem rozmyślań w czasach Darwina, mogą współdziałać z maszynerią fizyczną, w której są zaimplementowane, nie będąc identycznymi ze swoją fizyczną implementacją, ani też nie będąc jedynie agregatami fizycznych struktur i procesów. Istnienie różnych rodzajów maszynerii wirtualnej (w tym zarówno „platformowych” maszyn wirtualnych, mogących hostować inne takie maszyny, na przykład systemy operacyjne, jak i „aplikacyjnych” maszyn wirtualnych, na przykład korektorów pisowni i gier komputerowych) zależy od skomplikowanych sieci połączeń przyczynowych związanych ze strukturami hardware’u i software’u, zdarzeniami i procesami, gdzie specyfikacja takich sieci przyczynowych wymaga konceptów, które nie mogą być zdefiniowane w kategoriach konceptów nauk fizycznych. Ta niedefiniowalność, a także możliwość zachodzenia różnych rodzajów automonitorowania w maszynerii wirtualnej, wydaje się wyjaśniać niektóre z rzekomo tajemniczych i nieredukowalnych cech świadomości, które motywowały krytyków Darwina, a także bardziej współczesnych filozofów, krytykujących sztuczną inteligencję. Wynikają z tego konsekwencje dla filozofii, psychologii, neurobiologii i robotyki

This paper rehearses some relatively old arguments about how any coherent notion of free will is not only compatible with but depends on determinism. However the mind-brain identity theory is attacked on the grounds that what makes a physical event an intended action A is that the agent interprets the physical phenomena as doing A. The paper should have referred to the monograph Intention by Elizabeth Anscombe, which discusses in detail the fact that the same physical event can have multiple descriptions, using different ontologies

Updates Open Letter to my MP: Lynne Jones Why large IT development projects are problematic The mathematics of searching for a design Richard Feynman wrote: Getting requirements right from the start is impossible Are problems unique to IT projects? Physical constraints Implications for Government policy What can be done? Some suggested prerequisites: requirements for openness A precedent for this proposal: The internet How the internet grew Implications for government policy Are some projects exceptions? Concluding Comment NOTE: Related comment.

This position paper presents the beginnings of a general theory of representations starting from the notion that an intelligent agent is essentially a control system with multiple control states, many of which contain information (both factual and non-factual), albeit not necessarily in a propositional form. The paper attempts to give a general characterisation of the notion of the syntax of an information store, in terms of types of variation the relevant mechanisms can cope with. Similarly concepts of semantics pragmatics and inference are generalised to apply to information-bearing sub-states in control systems. A number of common but incorrect notions about representation are criticised (such as that pictures are in some way isomorphic with what they represent).

This document explains, from the viewpoint of a philosopher/scientist atheist, why intelligent design should be taught alongside standard evolutionary theory. I have been very disappointed by things I have read by scientists recommending suppression of this topic, and even in one case arguing that the worst arguments in favour of ID should be collected together and refuted, which is a prescription for scientific dishonesty. An honest attack would present the best arguments, as cogently as possible, before exposing their flaws.

This paper for a conference on computing in education included an extract from my 1978 book "The computer revolution in philosophy": Another book on how computers are going to change our lives? Yes, but this is more about computing than about computers, and it is more about how our thoughts may be changed than about how housework and factory chores will be taken over ... Thoughts can be changed in many ways. The invention of painting and drawing permitted new thoughts in the processes of creating and interpreting pictures. The invention of speaking and writing also permitted profound extensions of our abilities to think and communicate. Computing is a bit like the invention of paper (a new medium of expression) and the invention of writing (new symbolisms to be embedded in the medium) combined. But the writing is more important than the paper.... (The Preface) ..