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. (shrink)

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. (shrink)

Response to "Predictive Policies" by R.S.McGowan Mr. McGowan has assumed that there is a clear distinction between inductive inferences and others, that we all know how to make the distinction, that we all agree that the inductive ones are somehow better or more reasonable than the alternatives, and I have criticised all of these assumptions. Further he hasformulated the philosophical problem of induction as the problem of showing why the inductive ones are better, and he has attempted to show that (...) inductive policiesas represented in his flow chart are better than non-inductive and counter-inductive ones. I have criticised some of the details of his argument and put forward the counter-claim that policies based on the weaker principles of desistence are better at avoiding contradictions and conform to past experience more closely than policies based on his strong principle of persistence. Accordingly, some modifications of his predictive rules have been suggested. Perhaps most importantly of all, I have argued that the assertion that one policy or inference is better or more rational than another is an incomplete assertion until a basis of comparison has been specified, since different policies may be better or more rational in relation to different bases, and I have indicated some possible approaches for further investigation of this point. A final line of investigation which should be mentioned is the problem of deciding which of two bases of comparison is better relative to some higher-order basis of comparison, a problem which may turn out to be very important in connexion with justifications of predictive policies. It seems that I have asked more questions than I have answered. Perhaps formulating them will help someone more familiar with the field than I am to find interesting answers. (shrink)

Extract from Hofstadter's revew in Bulletin of American Mathematical Society : http://www.ams.org/journals/bull/1980-02-02/S0273-0979-1980-14752-7/S0273-0979-1980-14752-7.pdf -/- "Aaron Sloman is a man who is convinced that most philosophers and many other students of mind are in dire need of being convinced that there has been a revolution in that field happening right under their noses, and that they had better quickly inform themselves. The revolution is called "Artificial Intelligence" (Al)-and Sloman attempts to impart to others the "enlighten- ment" which he clearly (...) regrets not having experienced earlier himself. Being somewhat of a convert, Sloman is a zealous campaigner for his point of view. Now a Reader in Cognitive Science at Sussex, he began his academic career in more orthodox philosophy and, by exposure to linguistics and AI, came to feel that all approaches to mind which ignore AI are missing the boat. I agree with him, and I am glad that he has written this provocative book. The tone of Sloman's book can be gotten across by this quotation (p. 5): "I am prepared to go so far as to say that within a few years, if there remain any philosophers who are not familiar with some of the main developments in artificial intelligence, it will be fair to accuse them of professional incom- petence, and that to teach courses in philosophy of mind, epistemology, aesthetics, philosophy of science, philosophy of language, ethics, metaphysics, and other main areas of philosophy, without discussing the relevant aspects of artificial intelligence will be as irresponsible as giving a degree course in physics which includes no quantum theory." -/- (The author now regrets the extreme polemical tone of the book.). (shrink)

he design-based approach is a methodology for investigating mechanisms capable of generating mental phenomena, whether introspectively or externally observed, and whether they occur in humans, other animals or robots. The study of designs satisfying requirements for autonomous agency can provide new deep theoretical insights at the information processing level of description of mental mechanisms. Designs for working systems (whether on paper or implemented on computers) can systematically explicate old explanatory concepts and generate new concepts that allow new and richer interpretations (...) of human phenomena. To illustrate this, some aspects of human grief are analysed in terms of a particular information processing architecture being explored in our research group. We do not claim that this architecture is part of the causal structure of the human mind; rather, it represents an early stage in the iterative search for a deeper and more general architecture, capable of explaining more phenomena. However even the current early design provides an interpretative ground for some familiar phenomena, including characteristic features of certain emotional episodes, particularly the phenomenon of perturbance (a partial or total loss of control of attention). The paper attempts to expound and illustrate the design-based approach to cognitive science and philosophy, to demonstrate the potential effectiveness of the approach in generating interpretative possibilities, and to provide first steps towards an information processing account of `perturbant', emotional episodes. (shrink)

Emotions involve complex processes produced by interactions between motives, beliefs, percepts, etc. E.g. real or imagined fulfilment or violation of a motive, or triggering of a 'motive-generator', can disturb processes produced by other motives. To understand emotions, therefore, we need to understand motives and the types of processes they can produce. This leads to a study of the global architecture of a mind. Some constraints on the evolution of minds are disussed. Types of motives and the processes they generate are (...) sketched. (shrink)

Replication or even modelling of consciousness in machines requires some clarifications and refinements of our concept of consciousness. Design of, construction of, and interaction with artificial systems can itself assist in this conceptual development. We start with the tentative hypothesis that although the word “consciousness” has no well-defined meaning, it is used to refer to aspects of human and animal informationprocessing. We then argue that we can enhance our understanding of what these aspects might be by designing and building virtual-machine (...) architectures capturing various features of consciousness. This activity may in turn nurture the development of our concepts of consciousness, showing how an analysis based on information-processing virtual machines answers old philosophical puzzles as well enriching empirical theories. This process of developing and testing ideas by developing and testing designs leads to gradual refinement of many of our pre-theoretical concepts of mind, showing how they can be construed as implicitly “architecture-based” concepts. Understanding how humanlike robots with appropriate architectures are likely to feel puzzled about qualia may help us resolve those puzzles. The concept of “qualia” turns out to be an “architecture-based” concept, while individual qualia concepts are “architecture-driven”. (shrink)

This is not a scholarly research paper, but a ‘position paper’ outlining an approach to the study of mind which has been gradually evolving since about 1969 when I first become acquainted with work in Artificial Intelligence through Max Clowes. I shall try to show why it is more fruitful to construe the mind as a control system than as a computational system.

This is not a scholarly research paper, but a ‘position paper’ outlining an approach to the study of mind which has been gradually evolving since about 1969 when I first become acquainted with work in Artificial Intelligence through Max Clowes. I shall try to show why it is more fruitful to construe the mind as a control system than as a computational system.

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. (shrink)

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. (shrink)

What is the relation between intelligence and computation? Although the difficulty of defining `intelligence' is widely recognized, many are unaware that it is hard to give a satisfactory definition of `computational' if computation is supposed to provide a non-circular explanation for intelligent abilities. The only well-defined notion of `computation' is what can be generated by a Turing machine or a formally equivalent mechanism. This is not adequate for the key role in explaining the nature of mental processes, because it is (...) too general, as many computations involve nothing mental, nor even processes: they are simply abstract structures. We need to combine the notion of `computation' with that of `machine'. This may still be too restrictive, if some non-computational mechanisms prove to be useful for intelligence. We need a theory-based taxonomy of {\em architectures} and {\em mechanisms} and corresponding process types. Computational machines my turn out to be a sub-class of the machines available for implementing intelligent agents. The more general analysis starts with the notion of a system with independently variable, causally interacting sub-states that have different causal roles, including both `belief-like' and `desire-like' sub-states, and many others. There are many significantly different such architectures. For certain architectures (including simple computers), some sub-states have a semantic interpretation for the system. The relevant concept of semantics is defined partly in terms of a kind of Tarski-like structural correspondence (not to be confused with isomorphism). This always leaves some semantic indeterminacy, which can be reduced by causal loops involving the environment. But the causal links are complex, can share causal pathways, and always leave mental states to some extent semantically indeterminate. (shrink)

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). (shrink)

"The Emperor's New Mind" by Roger Penrose has received a great deal of both praise and criticism. This review discusses philosophical aspects of the book that form an attack on the "strong" AI thesis. Eight different versions of this thesis are distinguished, and sources of ambiguity diagnosed, including different requirements for relationships between program and behaviour. Excessively strong versions attacked by Penrose (and Searle) are not worth defending or attacking, whereas weaker versions remain problematic. Penrose (like Searle) regards the notion (...) of an algorithm as central to AI, whereas it is argued here that for the purpose of explaining mental capabilities the architecture of an intelligent system is more important than the concept of an algorithm, using the premise that what makes something intelligent is not what it does but how it does it. What needs to be explained is also unclear: Penrose thinks we all know what consciousness is and claims that the ability to judge Go "del's formula to be true depends on it. He also suggests that quantum phenomena underly consciousness. This is rebutted by arguing that our existing concept of "consciousness" is too vague and muddled to be of use in science. This and related concepts will gradually be replaced by a more powerful theory-based taxonomy of types of mental states and processes. The central argument offered by Penrose against the strong AI thesis depends on a tempting but unjustified interpretation of Goedel's incompleteness theorem. Some critics are shown to have missed the point of his argument. A stronger criticism is mounted, and the relevance of mathematical Platonism analysed. Architectural requirements for intelligence are discussed and differences between serial and parallel implementations analysed. (shrink)

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. (shrink)

Velmans’ paper raises three problems concerning mental causation: (1) How can consciousness affect the physical, given that the physical world appears causally closed? 10 (2) How can one be in conscious control of processes of which one is not consciously aware? (3) Conscious experiences appear to come too late to causally affect the processes to which they most obviously relate. In an appendix Velmans gives his reasons for refusing to resolve these problems through adopting the position (which he labels ‘physicalism’) (...) that ‘consciousness is nothing more than a state of the brain’. The rest of the paper, then, is an attempt to solve these problems without embracing a reductionist physicalism. Velmans’ solution to the first problem is ‘ontological monism combined with epistemological dualism’: First-person and third-person accounts are two different ways of knowing the same facts. This kind of reply is not new; it is, for example, a twist on the position expressed in Davidson (1970). True, there are substantial differences: For one, Davidson reconciles the tension between descriptions of events in mentalistic and physicalist language, not between firstand third-person descriptions of states; for another, Davidson actually provides an argument for his position, although to do so he assumes that there are no psycho-physical (or indeed, psycho-psycho) laws, something which I suspect Velmans would be reluctant to do. Nevertheless, they have in common the idea that the causal efficacy of the mental is not at odds with the causal closure of physics, since a mind-involving causal story is just another way of talking about the same facts that a purely physical causal story talks about. This ‘dual-aspect’ approach is a popular tactic for resolving the mind--body problem, but it has some well-known problems, and it is unfortunate Velmans doesn’t reply to these standard objections. For example, a frequently discussed issue in connection with theories of mental causation is the problem of overdetermination (see, e.g., Unger, 1977; Peacocke, 1979). (shrink)

My favourite leading question when teaching Philosophy of Mind is ‘Could a goldfish long for its mother?’ This introduces the philosophical technique of ‘conceptual analysis’, essential for the study of mind (Sloman 1978, ch. 4). By analysing what we mean by ‘A longs for B’, and similar descriptions of emotional states we see that they inv olve rich cognitive structures and processes, i.e. computations. Anything which could long for its mother, would have to hav e some sort of representation (...) of its mother, would have to believe that she is not in the vicinity, would have to be able to represent the _possibility _of being close to her, would have to desire that possibility, and would have to be to some extent pre-occupied or obsessed with that desire. That is, it should intrude into and interfere with other activities, like admiring the scenery, catching smaller fish, etc. If the desire were there, but could be calmly put aside, whilst other interests were pursued, then it would not be truly a state of longing. It might be a state of preferring. Thus longing involves computational interrupts. The same seems to be true of all emotions. (shrink)

Most philosophers appear to have ignored the distinction between the broad concept of Virtual Machine Functionalism (VMF) described in Sloman&Chrisley (2003) and the better known version of functionalism referred to there as Atomic State Functionalism (ASF), which is often given as an explanation of what Functionalism is, e.g. in Block (1995). -/- One of the main differences is that ASF encourages talk of supervenience of states and properties, whereas VMF requires supervenience of machines that are arbitrarily complex networks of (...) causally interacting (virtual, but real) processes, possibly operating on different time-scales, examples of which include many different procesess usually running concurrently on a modern computer performing various tasks concerned with handling interfaces to physical devices, managing the file system, dealing with security, providing tools, entertainments, and games, and possibly processing research data. Another example of VMF would be the kind of functionalism involved in a large collection of possibly changing socio-economic structures and processes interacting in a complex community, and yet another is illustrated by the kind of virtual machinery involved in the many levels of visual processing of information about spatial structures, processes, and relationships (including percepts of moving shadows, reflections, highlights, optical-flow patterns and changing affordances) as you walk through a crowded car-park on a sunny day: generating a whole zoo of interacting qualia. (Forget solitary red patches, or experiences thereof.) -/- Perhaps VMF should be re-labelled "Virtual MachinERY Functionalism" because the word 'machinery' more readily suggests something complex with interacting parts. VMF is concerned with virtual machines that are made up of interacting concurrently active (but not necessarily synchronised) chunks of virtual machinery which not only interact with one another and with their physical substrates (which may be partly shared, and also frequently modified by garbage collection, metabolism, or whatever) but can also concurrently interact with and refer to various things in the immediate and remote environment (via sensory/motor channels, and possible future technologies also). I.e. virtual machinery can include mechanisms that create and manipulate semantic content, not only syntactic structures or bit patterns as digital virtual machines do. -/- Please note: Click on the title above or the link below to read the paper. I prefer to keep all my papers freely accessible on my web site so that I can correct mistakes and add improvements. -/- http://www.cs.bham.ac.uk/research/projects/cogaff/misc/vm-functionalism.html -/- This is now part of the Meta-Morphogenesis project: http://www.cs.bham.ac.uk/research/projects/cogaff/misc/meta-morphogenesis.html. (shrink)

This paper outlines a design-based methodology for the study of mind as a part of the broad discipline of Artificial Intelligence. Within that framework some architectural requirements for human-like minds are discussed, and some preliminary suggestions made regarding mechanisms underlying motivation, emotions, and personality. A brief description is given of the `Nursemaid' or `Minder' scenario being used at the University of Birmingham as a framework for research on these problems. It may be possible later to combine some of these ideas (...) with work on synthetic agents inhabiting virtual reality environments. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Response to the CommentariesIan Wright, Aaron Sloman, and Luc BeaudoinWe are very grateful for the care with which the commentators have read our paper, and the sympathy with which they treated what we acknowledged to be at best a preliminary attempt to make sense of a range of phenomena involving grief and other emotions in terms of our draft architecture. We are fortunate to have commentators that (...) are so much in sympathy with what we have written.The comments of Castelfranchi and Miceli draw attention to a problem that we expect many readers to bring up, namely that there is a notion of “information processing” that cannot carry the explanatory weight that we attach to our information processing architecture. We believe that there is a concept of “information processing” such as is used by engineers who design software systems to perform such tasks as controlling an aircraft. We claim that within an appropriate system architecture, information processing states can have all the causal powers that we require for states like pain, pleasure, and the like. However this is not obvious, and defending this claim will have to await another occasion.Lloyd helpfully illustrates the relevance of our proposed architecture even to the effects of imagining the death of a loved one. He also makes the useful observation that second-order states can arise when a person who is suffering because events violate some important motivator, discovers that nothing can be done about the cause of the suffering, and then suffers even more because of feeling helpless in that situation. We acknowledge that these are phenomena that the architecture will have to accommodate, and accept the challenge to demonstrate this in due course.We believe that there is enough commonality between the commentators and ourselves to support our view that the research community is on the verge of an important new breakthrough in the study of mind, in which philosophers, psychologists, therapists, brain scientists, and AI researchers can collaborate fruitfully, and from which profound practical and theoretical consequences will follow.Related ArticlesFeature Article: Towards a Design-Based Analysis of Emotional EpisodesCommentary: Commentary by LloydCommentary: Commentary by Miceli and CastelfranchiCommentary: Commentary by BodenResponse: Response to the CommentariesCopyright © 1996 The Johns Hopkins University Press... (shrink)

This paper offers a short and biased overview of the history of discussion and controversy about the role of different forms of representation in intelligent agents. It repeats and extends some of the criticisms of the `logicist' approach to AI that I first made in 1971, while also defending logic for its power and generality. It identifies some common confusions regarding the role of visual or diagrammatic reasoning including confusions based on the fact that different forms of representation may be (...) used at different levels in an implementation hierarchy. This is contrasted with the way in the use of one form of representation (e.g. pictures) can be {\em controlled} using another (e.g. logic, or programs). Finally some questions are asked about the role of metrical information in biological visual systems. (shrink)

As a step towards comprehensive computer models of communication, and effective human machine dialogue, some of the relationships between communication and affect are explored. An outline theory is presented of the architecture that makes various kinds of affective states possible, or even inevitable, in intelligent agents, along with some of the implications of this theory for various communicative processes. The model implies that human beings typically have many different, hierarchically organized, dispositions capable of interacting with new information to produce affective (...) states, distract attention, interrupt ongoing actions, and so on. High "insistence" of motives is defined in relation to a tendency to penetrate an attention filter mechanism, which seems to account for the partial loss of control involved in emotions. One conclusion is that emulating human communicative abilities will not be achieved easily. Another is that it will be even more difficult to design and build computing systems that reliably achieve interesting communicative goals. (shrink)

The common view that the notion of a Turing machine is directly relevant to AI is criticised. It is argued that computers are the result of a convergence of two strands of development with a long history: development of machines for automating various physical processes and machines for performing abstract operations on abstract entities, e.g. doing numerical calculations. Various aspects of these developments are analysed, along with their relevance to AI, and the similarities between computers viewed in this way and (...) animal brains. This comparison depends on a number of distinctions: between energy requirements and information requirements of machines, between ballistic and online control, between internal and external operations, and between various kinds of autonomy and self-awareness. The ideas are all intuitively familiar to software engineers, though rarely made fully explicit. Most of this has nothing to do with Turing machines or most of the mathematical theory of computation. But it has everything to do with both the scientific task of understanding, modelling or replicating human or animal intelligence and the engineering applications of AI, as well as other applications of computers. (shrink)

findings from affective neuroscience research. I shall focus mainly on, but in a manner which, I hope is.

Aaron Sloman; IV—Explaining Logical Necessity1, Proceedings of the Aristotelian Society, Volume 69, Issue 1, 1 June 1969, Pages 33–50, https://doi.org/10.1093/a.

This paper, along with the following paper by John McCarthy, introduces some of the topics to be discussed at the IJCAI95 event `A philosophical encounter: An interactive presentation of some of the key philosophical problems in AI and AI problems in philosophy.' Philosophy needs AI in order to make progress with many difficult questions about the nature of mind, and AI needs philosophy in order to help clarify goals, methods, and concepts and to help with several specific technical problems. Whilst (...) philosophical attacks on AI continue to be welcomed by a significant subset of the general public, AI defenders need to learn how to avoid philosophically naive rebuttals. (shrink)