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 extends three decades of work arguing that researchers who discuss consciousness should not restrict themselves only to (adult) human minds, but should study (and attempt to model) many kinds of minds, natural and artificial, thereby contributing to our understanding of the space containing all of them. We need to study what they do or can do, how they can do it, and how the natural ones can be emulated in synthetic minds. That requires: (a) understanding sets of requirements that are met by different sorts of minds, i.e. the niches that they occupy, (b) understanding the space of possible designs, and (c) understanding complex and varied relationships between requirements and designs. Attempts to model or explain any particular phenomenon, such as vision, emotion, learning, language use, or consciousness lead to muddle and confusion unless they are placed in that broader context. A methodology for making progress is summarised and a novel requirement proposed for a theory of how human minds work: the theory should support a single generic design for a learning, developing system that, in addition to meeting familiar requirements, should be capable of developing different and opposed philosophical viewpoints about consciousness, and the so-called hard problem. In other words, we need a common explanation for the mental machinations of mysterians, materialists, functionalists, identity theorists, and those who regard all such theories as attempting to answer incoherent questions. No designs proposed so far come close.

Jablonka & Lamb (J&L) refer only implicitly to aspects of cognitive competence that preceded both evolution of human language and language learning in children. These aspects are important for evolution and development but need to be understood using the design-stance, which the book adopts only for molecular and genetic processes, not for behavioural and symbolic processes. Design-based analyses reveal more routes from genome to behaviour than J&L seem to have considered. This both points to gaps in our understanding of evolution and epigenetic processes and may lead to possible ways of filling the gaps

This paper is about how to give human-like powers to complete agents. For this the most important design choice concerns the overall architecture. Questions regarding detailed mechanisms, forms of representations, inference capabilities, knowledge etc. are best addressed in the context of a global architecture in which different design decisions need to be linked. Such a design would assemble various kinds of functionality into a complete coherent working system, in which there are many concurrent, partly independent, partly mutually supportive, partly potentially incompatible processes, addressing a multitude of issues on different time scales, including asynchronous, concurrent, motive generators. Designing human like agents is part of the more general problem of understanding design space, niche space and their interrelations, for, in the abstract, there is no one optimal design, as biological diversity on earth shows.

When scientists discuss experimental observations, they often, unfortunately, use language that evolved for informal discourse among people engaged in every day social interaction, like this: What does the infant/child/adult/chimp/crow (etc) perceive/understand/learn/intend (etc)? What is he/she/it conscious of? What does he/she/it experience/enjoy/desire? What is he/she/it attending to? Similar comments can be made about the terminology used in many philosophical discussions about minds, cognition, language, and the relationships between evolution and learning.

For over half a century I have been interested in the role of intuitive spatial reasoning in mathematics. My Oxford DPhil Thesis (1962) was an attempt to defend Kant's philosophy of mathematics, especially his claim that mathematical proofs extend our knowledge (so the knowledge is "synthetic", not "analytic") and that the discoveries are not empirical, or contingent, but are in an important sense "a priori" (which does not imply "innate") and also necessarily true. I had made my views clear in courses on philosophy of science and mathematics when teaching at Sussex University (from 1964) which was why one of our former students, Mary Pardoe (then Mary Ensor) who had become a mathematics teacher informed me, while visiting the university, that she had found a new diagrammatic proof of the triangle sum theorem. I reported her proof in some papers and presentations on methods of representation and reasoning, e.g. here, but neither she nor I has encountered anyone else who knew about the proof.

Maybe they have been made, but I missed them because I don’t read and listen enough, as most of my energies are focused elsewhere. Apologies if this is all old hat. Don’t feel you have to read on. In case others are interested, I shall put this on my web site at http://www.cs.bham.ac.uk/˜axs/gov/ My main point is that it is just silly to talk so much about universities and top-up fees without putting universities in the context of a complete policy on post-school education. What I am offering is not a detailed policy, but a framework for thinking about the problem. Perhaps someone has already done this but I have never heard it mentioned in any of the public debates. I suspect that’s because this top-up fees issue is not part of a coherent policy but just a sort of religious commitment to a “new way”, like other things done by this government. I start with some comments on the fees issue, then go on to talk about how to think about post-school education, distinguishing several categories that need to be separated and funded differently as part of a joined-up system.