In this paper, we focus on the development of geometric cognition. We argue that to understand how geometric cognition has been constituted, one must appreciate not only individual cognitive factors, such as phylogenetically ancient and ontogenetically early core cognitive systems, but also the social history of the spread and use of cognitive artifacts. In particular, we show that the development of Greek mathematics, enshrined in Euclid’s Elements, was driven by the use of two tightly intertwined cognitive artifacts: the use of (...) lettered diagrams; and the creation of linguistic formulae. Together, these artifacts formed the professional language of geometry. In this respect, the case of Greek geometry clearly shows that explanations of geometric reasoning have to go beyond the confines of methodological individualism to account for how the distributed practice of artifact use has stabilized over time. This practice, as we suggest, has also contributed heavily to the understanding of what mathematical proof is; classically, it has been assumed that proofs are not merely deductively correct but also remain invariant over various individuals sharing the same cognitive practice. Cognitive artifacts in Greek geometry constrained the repertoire of admissible inferential operations, which made these proofs inter-subjectively testable and compelling. By focusing on the cognitive operations on artifacts, we also stress that mental mechanisms that contribute to these operations are still poorly understood, in contrast to those mechanisms which drive symbolic logical inference. (shrink)

This paper outlines and discusses the relative merits and problems of two current interpretations of Philosophy of Information (PI), the metaphysical approach and the analytical approach. The paper argues that both approaches complement one another, being normative and mutually compatible.

I am populating this file from the bottom up. Later years are still empty. Try stuff in or before 1998 for a start. My Oxford DPhil Thesis (1962) is the oldest item available here.

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)

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)

This study is an intervention in postcolonial theorising through a critique of technologies of representation. It examines the effects of technologically-mediated representation in a postcolonial condition that the Philippines has exemplified. New media technologies are mechanisms of representations that embody the logic of spectrality presented in Jacques Derrida’s later work. Spectrality, which brings doubts, ephemerality, and instability to dominant discourses and modes of representation, provides a chance for change.Spectres are effects of technologically-mediated representation that articulate the infinite demand for justice (...) under conditions of enduring inequality. As quasi-transcendental elements of deconstruction, spectres are not reducible to either human or technical intervention; they express the relation of humans to technologies, in which representation is central to the mediation of political authority. This technological representation is the condition of what Derrida calls “iteration,” or the transformation of hegemonic authority through the very repetition of its fundamental terms of identification. The examination of emancipatory new media technologies in a postcolonial condition is inspired by the work of Jacques Derrida, in his deconstructive reading of Marx’s spectres. However, the writings of Habermas and Adorno have offered an implicit appraisal of the ontology of spectres. Habermas’s theory of the public sphere and Adorno’s negative dialectics are discourses that unwittingly solicit spectres. The account of the postcolonial condition in the Philippines works through the questions of universality, subalternity, and the right to theory that are raised by the project of Western critical theory. (shrink)

Eliminative functionalism is the view that mental attributes, of humans and other machines, consist ultimately in behavioural abilities or dispositions. Hence, ‘Strong AI’: if a machine consistently acts as if it were fully conscious, then conscious it is. From these assumptions, optimistic futurists have derived a variety of remarkable visions of our ‘post-human’ future; from widely-recognised ‘robot rights’ to ‘mind uploading’, immortality, ‘apotheosis’ and beyond. It is argued here, however, that eliminative functionalism is false; for at least on our present (...) knowledge, the subjectively qualitative characteristics of conscious experience are neither deducible from, nor logically required to generate, the performance of any sort of overtly ‘intelligent’, or indeed, characteristically human behaviour. Thus, a machine could easily be designed to report awareness of phenomenal qualities, without necessarily possessing them; and Alan Turing’s ‘Imitation Game’ test for artificial thinking is unable to determine whether or not a machine is sentient. An alternative test is proposed, in which the machine is asked phenomenological questions under conditions designed to detect any form of cheating—whilst also, potentially revealing evidence for the occurrence of genuine qualitative experience. (shrink)

It would be hard to find a more fervent advocate of the position that computers are of profound significance to philosophy than Aaron Sloman. Yet, he is not a stereotypical proponent of Artificial Intelligence (AI). Far from it; in his writings, he undermines several popular convictions of functionalists. Through his drafts and polemics, Sloman definitely exerts quite substantial influence on the philosophy of Artificial Intelligence. Sloman's paper “Evolution: The Computer Systems Engineer Designing Minds” presents a bold hypothesis that the evolution (...) of the human mind actually involved the development of a several dozen of virtual machines that support various forms of self-monitoring. This, in turn, helps explain different features of our cognitive functioning. (shrink)