Previous research into the formalisation of statute law identified a number of uses of language which posed problems for formalisation. A previous paper argued that these uses establish the requirement that a formalisation be isomorphic, but noted that this has odd consequences. This paper expands on what these consequences are and argues that they undermine the very idea of formalisation. Therefore, the whole argument constitutes a reductio ad absurdum of the idea of formalising statute law. The paper provides reasons why (...) this activity is impossible and places the conclusion in the context of the development of modem logic, in which context it appears uncontroversial. (shrink)

Robert Cummins [(1996) Representations, targets and attitudes, Cambridge, MA: Bradford/MIT, p. 1] has characterized the vexed problem of mental representation as "the topic in the philosophy of mind for some time now." This remark is something of an understatement. The same topic was central to the famous controversy between Nicolas Malebranche and Antoine Arnauld in the 17th century and remained central to the entire philosophical tradition of "ideas" in the writings of Locke, Berkeley, Hume, Reid and Kant. However, the scholarly, (...) exegetical literature has almost no overlap with that of contemporary cognitive science. I show that the recurrence of certain deep perplexities about the mind is a systematic and pervasive pattern arising not only throughout history, but also in a number of independent domains today such as debates over visual imagery, symbolic systems and others. Such historical and contemporary convergences suggest that the fundamental issues cannot arise essentially from the theoretical guise they take in any particular case. (shrink)

The objective of research in the foundations of Al is to explore such basic questions as: What is a theory in Al? What are the most abstract assumptions underlying the competing visions of intelligence? What are the basic arguments for and against each assumption? In this essay I discuss five foundational issues: (1) Core Al is the study of conceptualization and should begin with knowledge level theories. (2) Cognition can be studied as a disembodied process without solving the symbol grounding (...) problem. (3) Cognition is nicely described in propositional terms. (4) We can study cognition separately from learning. (5) There is a single architecture underlying virtually all cognition. I explain what each of these implies and present arguments from both outside and inside Al why each has been seen as right or wrong. (shrink)

Theoretical commentaries on AI often operate as a metadiscourse on the way in which science represents itself to a wider public. The sciences and humanities do the same kind of work but in different fields that encourage them to talk about their work differently: science refers to a natural world that does not talk back, and the humanities refer continually to a world with communicative people in it. This paper suggests that much AI commentary is misconceived because it models itself (...) on the way that science represents itself, rather than on the actual practice of science.AI theorists have become increasingly worried about the lack of evaluation in AI, the lack of reflexivity, and the lack of contact with society. Frequently these writers turn to concepts of tacit knowledge to work through these worries. In doing so they are recognising the problem of AI's second-order representation of science and trying to deal with it. However, this recognition of a problem with the representations of science simply turns back to the legitimation crisis of Western politics where many commentators use science precisely as a ‘model’ for western political institutions. They do so because science is one of the few areas of knowledge where it has been legitimate to use plausible methodology for representation that allows for arbitrary designations of authority as well as parallel systems of different authority. However, the plausible rejects any control on reflexivity, assumes an ethnocentric club culture and does not address social context.It is in this sense that the problems of legitimation in political liberalism are similar to those of legitimation in sciences, both are rooted in their uses of representation. AI's link with the representation of science places it in the heart of this debate about legitimacy. This paper suggests that AI does need to learn about reflexivity and that it might well do so by looking at the recent work on experimentation and representation by historians of science, and by looking to the debates about representation by historians of science, and by looking to the debates about representation within the humanities. However, reflexivity may not be enough. Devising rules of thumb for the appropriate halting of reflexivity, is also needed to address social context and take action. (shrink)