While we agree that the frame problem, as initially stated by McCarthy and Hayes (1969), is a problem that arises because of the use of representations, we do not accept the anti-representationalist position that the way around the problem is to eliminate representations. We believe that internal representations of the external world are a necessary, perhaps even a defining feature, of higher cognition. We explore the notion of dynamically created context-dependent representations that emerge from a continual interaction between working memory, (...) external input, and long-term memory. We claim that only this kind of representation, necessary for higher cognitive abilities such as counterfactualization, will allow the combinatorial explosion inherent in the frame problem to be avoided. (shrink)

A myth has arisen concerning Turing's paper of 1936, namely that Turing set forth a fundamental principle concerning the limits of what can be computed by machine - a myth that has passed into cognitive science and the philosophy of mind, to wide and pernicious effect. This supposed principle, sometimes incorrectly termed the 'Church-Turing thesis', is the claim that the class of functions that can be computed by machines is identical to the class of functions that can be computed by (...) Turing machines. In point of fact Turing himself nowhere endorses, nor even states, this claim (nor does Church). I describe a number of notional machines, both analogue and digital, that can compute more than a universal Turing machine. These machines are exemplars of the class of _nonclassical_ computing machines. Nothing known at present rules out the possibility that machines in this class will one day be built, nor that the brain itself is such a machine. These theoretical considerations undercut a number of foundational arguments that are commonly rehearsed in cognitive science, and gesture towards a new class of cognitive models. (shrink)

Homo deceptus is a book that brings together new ideas on language, consciousness and physics into a comprehensive theory that unifies science and philosophy in a different kind of Theory of Everything. The subject of how we are to make sense of the world is addressed in a structured and ordered manner, which starts with a recognition that scientific truths are constructed within a linguistic framework. The author argues that an epistemic foundation of natural language must be understood before laying (...) claim to any notion of reality. This foundation begins with Ludwig Wittgenstein’s Tractatus Logico-Philosophicus and the relationship of language to formal logic. Ultimately, we arrive at an answer to the question of why people believe the things they do. This is effectively a modification of Alfred Tarski’s semantic theory of truth. The second major issue addressed is the ‘dreaded’ Hard Problem of Consciousness as first stated by David Chalmers in 1995. The solution is found in the unification of consciousness, information theory and notions of physicalism. The physical world is shown to be an isomorphic representation of the phenomenological conscious experience. New concepts in understanding how language operates help to explain why this relationship has been so difficult to appreciate. The inclusion of concepts from information theory shows how a digital mechanics resolves heretofore conflicting theories in physics, cognitive science and linguistics. Scientific orthodoxy is supported, but viewed in a different light. Mainstream science is not challenged, but findings are interpreted in a manner that unifies consciousness without contradiction. Digital mechanics and formal systems of logic play central roles in combining language, consciousness and the physical world into a unified theory where all can be understood within a single consistent framework. (shrink)

This is a bibliography of books and articles on consciousness in philosophy, cognitive science, and neuroscience over the last 30 years. There are three main sections, devoted to monographs, edited collections of papers, and articles. The first two of these sections are each divided into three subsections containing books in each of the main areas of research. The third section is divided into 12 subsections, with 10 subject headings for philosophical articles along with two additional subsections for articles in cognitive (...) science and neuroscience. Of course the division is somewhat arbitrary, but I hope that it makes the bibliography easier to use. This bibliography has first been compiled by Thomas Metzinger and David Chalmers to appear in print in two philosophical anthologies on conscious experience . From 1995 onwards it has been continuously updated by Thomas Metzinger, and now is freely available as a PDF-, RTF-, or HTML-file. This bibliography mainly attempts to cover the Anglo-Saxon and German debates, in a non-annotated, fully formatted way that makes it easy to "cut and paste" from the original file. To a certain degree this bibliography also contains items in other languages than English and German - all submissions in other languages are welcome. Last update of current version: July 13th, 2001. (shrink)

This workbook of "études" offers a collection of experimental texts for communal dialogue and discovery that crosses multiple academic disciplines, including: foundations of physics, metaphysics, theoretical biology, semiotics, cognitive science, linguistics, phenomenology, logic & mathematics, poetry and theology. Each étude probes limits, horizons and boundaries by implicitly bring into relation foundational issues that characterize different academic disciplines or systems of meaning formation. Some formal techniques are deployed the études. Most notable is the use of the “logic of three” to overcome (...) falsely totalizing images and inexorable dualities. This technique involves a particular kind of attunement to the “betweenness” of mediation that is not common in modern science. The attunement draws on the formal and precise movements of analysis in concert with the metaphoric and singular movements of synthesis. (shrink)

The recently celebrated division into ‘easy’ and ‘hard’ problems of consciousness is unfortunate and misleading. Built on functionalist grounds, it carves up the subject matter by declaring that the most elusive parts need a fundamentally and intrinsically different solution. What we have, rather, are ‘difficult’ problems of conscious experience, but problems that are not difficult per se. Their difficulty is relative, among other things, to the kind of solution one is looking for and the tools used to accomplish the task. (...) I argue that the study of conscious experience in our scientific and philosophical tradition is a very difficult problem because it has been addressed with inappropriate tools: with harmful long-lasting and inadequate dogmas that have dogged science for centuries. I describe five of these dogmas, which are: the existence of an objective reality independent of human understanding; the subordination of epistemology to ontology; the restricted view of the objectivist-subjectivist dichotomy; the exclusion of the body from the study of the mind; and the idea of explaining the mind in terms of the neurophysiological processes of individual brains. I claim that conscious experience is not a transcendental, paranatural, mystic or magic phenomenon. It is tractable and approachable with scientific methods. However, one must look not only for non-reductionist views to approach it, but also for views that avoid the dogmas here described. Conscious experience is a living phenomenon and it has to be understood as such. Accordingly, our understanding of it has to make sense at several levels, from evolution to morphophysiology, from neuroanatomy to language. I put forward an approach to conscious experience which is free of the dogmas that make the study of conscious experience so difficult. This view, called ecological naturalism, is a non-functionalist and non-reductive view that provides an naturalistic account of the mind. It also puts special emphasis on irreducible supra-individual biological processes that are essential in the realization of mental phenomena and therefore conscious experience. (shrink)

"[..] flowing with the waters, halting with the mountains. In the images of light and wind the ephemeral is inscribed. Time is part of space. The scene performs." -/- The essay "Chinese Landscape Aesthetics: the exchange and nurturing of emotions" by Claudia Westermann included in "New Horizons: Eight Perspectives on Chinese Landscape Architecture Today" introduces ideas of landscape in traditional Chinese thought. Following the etymology of the Chinese terms for landscape and recognizing that their conceptual focus is on the exchange (...) and nurturing of emotions, which is not captured by the English term 'landscape,' one may gain a new understanding of contemporary works of Chinese landscape architecture. (shrink)

In this paper, Douglas Hofstadter’s view of the self as a “strange loop” is used in order to understand how several acting techniques work. As examples of acting techniques I will use the work of Lee Strasberg, Constantin Stanislavski, Stella Adler and Sanford Meisner. I will argue that Douglas Hofstadter’s view of the self as a strange loop allows us to understand how acting works. I will furthermore argue that because Douglas Hofstadter’s view is successful in explaining how different acting (...) techniques work, that is a good indication of its adequacy as a theory of the self. (shrink)

Concepts are the means by which we structure our understanding of the world and consequently the primary means by which we encounter it. It is commonly assumed that one of the essential characteristics of concepts – regardless of referent – is their stability, tending toward stasis;and, indeed, it can be hard to see how concepts can otherwise be systematic and productive, inthe way they are conventionally taken to be. Even the question has been raised whether conceptscan change; on some prominent (...) accounts, they cannot. The Unified Conceptual Space Theory – an extension of Conceptual Spaces Theory – makes the controversial claim that conceptsnot only are subject to change over an iterative lifecycle but that, at an underlying level, they are in a state of continuous motion; indeed, they must be to function as they do. Mere openness to change is not enough. Even the most seemingly fixed of concepts – mathematical concepts are the paradigm example – can be seen to evolve and continually be evolving as our understanding of mathematics evolves. UCST suggests that concepts possess an intrinsic tension that appears topresent a contradiction: to be able to apply in more or less the same way across unboundedly many contexts and to be able to combine coherently with other concepts,they must be relatively stable; and yet, since each new application context is, in some nontrivial way, different from every previous context in ways that do not fit within neat conceptual boundaries,they must adapt each time to fit. In a physical world we have reason to view as ultimately one of fluidity, of processes and motion rather than stable entities, concepts should probably have a similar nature. (shrink)

For many economists, including those who have made the most marked contribution to the development of the discipline, their work has to be understood in the context of the rhetorical strategy they were pursuing – what they wanted to persuade us of and how they wanted to do it. The paper identifies two fundamental rhetorical strategies of laissez-faire resting on entirely distinct ontological foundations. What distinguishes these two strategies is the way they articulate the individual with the general interest, how (...) they relate the micro to the macro. The two strategies discussed in the paper are characterised by the stance they take on a fundamental ontological issue, the way in which the things which appear to us in the world are related to the things or matters which compose them. A reductionist approach suggests that we can understand an entity at one level as a congeries. An entity in this view is just an aggregate of entities at a lower, substrate level – a purely external unity. The properties and behaviour of an entity can then be understood in terms of the properties and behaviour of the constituent lower-level components, taken in isolation. In this approach, phenomena at some level are regarded as having just the qualities enjoyed by its lower-level, substrate elements, writ large. The contrary, holistic, stance is to view the qualities of phenomena at one level as emergent at that level, and to assert that an entity can be understood as a product of the inter-relations between its component parts. We have, then, a pair of contrasted approaches: a polarity which is productive in the study of schools of thought, of competing methodologies, and of rhetorical strategies in economics. The paper applies this approach to the work of Smith, Keynes, Hayek, Lucas and Friedman. (shrink)

Disertační práce se zabývá problematikou připisování myšlení jiným entitám, a to pomocí imitační hry navržené v roce 1950 britským filosofem Alanem Turingem. Jeho kritérium, známé v dějinách filosofie jako Turingův test, je podrobeno detailní analýze. Práce popisuje nejen původní námitky samotného Turinga, ale především pozdější diskuse v druhé polovině 20. století. Největší pozornost je věnována těmto kritikám: Lucasova matematická námitka využívající Gödelovu větu o neúplnosti, Searlův argument čínského pokoje konstatující nedostatečnost syntaxe pro sémantiku, Blockův návrh na použití brutální síly pro (...) řešení imitační hry, Frenchova teorie subkognitivních informací a Michieho skepticismus ohledně možnosti umělého vědomí. Závěr práce zachycuje současný stav recepce Turingova testu a představuje pokusy o jeho praktickou realizaci, například v každoroční soutěži o Loebnerovu cenu. Autor práce zastává názor, že ani po více než šedesáti letech od uveřejnění Turingova paradigmatického eseje stále neexistují žádné vážné důvody pro zamítnutí jeho tvrzení. Tradiční komputační funkcionalismus možná není ideální teorií vysvětlující činnost myslí a jako slibnější se může jevit vývoj v neurálních vědách, ale Turingův test je přesto užitečným a snad i jediným nástrojem pro detekci inteligence u lidmi vytvořených strojů. (shrink)

La plupart des auteur-es ayant abordé le problème de l'extension du cognitif, tel qu'il a émergé des débats autour de la thèse de l'esprit étendu, ont supposé que cette extension devait prendre la forme d'un espace régulier, qui peut être ceint par des frontières. Cependant, la littérature en question ne traite pas explicitement de cette supposition, de sorte que, malgré son influence, il n'y a pas d'évaluation de sa véracité ou de sa légitimité. Dans ce mémoire, cette hypothèse est remise (...) en question, et nous prenons sa contrepartie pour hypothèse de recherche, à savoir que, malgré l'assurance des auteur-es qui l'épousent, il est tout à fait légitime d'explorer des propositions de caractérisation du cognitif qui aboutissent à d'autres formes d'extension. Pour démontrer notre hypothèse (H1), nous posons deux autres hypothèses : (H2) les auteur-es qui épousent la supposition selon laquelle l'esprit doit s'étendre sur un espace ceint par des frontières le font sur la base de l'intuition individualiste, et (H3) l'intuition individualiste, malgré certaines apparences, ne permet pas de justifier cette supposition. Nous démontrons H2 à l'aide d'une analyse de texte faite sur le corpus des auteur-es ayant abordé la question de l'extension du cognitif dans la foulée des débats sur l'esprit étendu, et nous montrons que la littérature en sciences cognitives et en philosophie de l'esprit nous donne des raisons de croire que H3 est vraie. Ensemble, H2 et H3 justifient H1. (shrink)

Paradoxically, explorers of the territory of consciousness seem to be studying consciousness out of existence, from inside the field of "consciousness studies". How? Through their love of the phenomenon/process, they have developed powerful single models or lenses through which to understand consciousness. But in doing so, they also seek to destroy the other /equally useful/ lenses. Our opportunity lies in halting the vendettas and cross-speakings/cross-fire. The imploration is to stop the dichotomous thinking and pernicious reification of single models, and instead (...) search for divisions of labor, complementarities, and legitimate redescriptions among the various extant models. In other words, what would happen if we reimagined the conceptual classifications of the various models of consciousness, classifications based on general philosophical dichotomies (e.g., representational/non-representational and individualist/non-individualist), as a variety of compatible and even complementary perspectives on the same complex phenomenon and process? What would happen if rather than dig in our heels vis-à-vis our favorite theory of consciousness, at the exclusion of all the others, we saw our perceived enemy as an actual, indeed necessary, friend-in-waiting? What would it take to see a battlefield as a collaborative opportunity, to see a promising pluralism rather than an endless state space of conflict? (shrink)

The overall aim of the composite thesis is the critical examination of the poetics and politics of memory, particularly in the extended role of the ekphrasis in literature. The creative work A Strange Chinese Tale draws on theoretical elements from Debord, Deleuze, Lefebvre, and Baudrillard, and provides a narrative for the post-modern political and cultural landscape of contemporary China, in relation to the individual’s search for a sense of belonging. The exegesis The Poetics, Politics and Writing of Memory argues for (...) the extension of the ekphrastic project into the domains of the photographic image and the ‘space of memory’. (shrink)

In this paper I want to propose an argument to support Jerry Fodor’s thesis (Fodor 1983) that input systems are modular and thus informationally encapsulated. The argument starts with the suggestion that there is a “grounding problem” in perception, i. e. that there is a problem in explaining how perception that can yield a visual experience is possible, how sensation can become meaningful perception of something for the subject. Given that visual experience is actually possible, this invites a transcendental argument (...) that explains the conditions of its possibility. I propose that one of these conditions is the existence of a visual module in Fodor’s sense that allows the step from sensation to object-identifying perception, thus enabling visual experience. It seems to follow that there is informationally encapsulated nonconceptual content in visual perception. (shrink)

This paper links the conjecture that the physical world is a virtual reality to the findings of modern physics. What is usually the subject of science fiction is here proposed as a scientific theory open to empirical evaluation. We know from physics how the world behaves, and from computing how information behaves, so whether the physical world arises from ongoing information processing is a question science can evaluate. A prima facie case for the virtual reality conjecture is presented. If a (...) photon is a pixel on a multi-dimensional grid that gives rise to space, the speed of light could reflect its refresh rate. If mass, charge and energy all arise from processing, the many conservation laws of physics could reduce to a single law of dynamic information conservation. If the universe is a virtual reality, then its big bang creation could be simply when the system was booted up. Deriving core physics from information processing could reconcile relativity and quantum theory, with the former how processing creates the space-time operating system and the latter how it creates energy and matter applications. (shrink)

We examine the question of whether scientific theories can ever be complete. For two closely related reasons, we will argue that they cannot. The first reason is the inability to determine what are “valid empirical observations”, a result that is based on a self-reference Gödel/Tarski-like proof. The second reason is the existence of “meta-empirical” evidence of the inherent incompleteness of observations. These reasons, along with theoretical incompleteness, are intimately connected to the notion of belief and to theses within the philosophy (...) of science: the Quine-Duhem (and underdetermination) thesis and the observational/theoretical distinction failure. Some puzzling aspects of the philosophical theses will become clearer in light of these connections. Other results that follow are: no absolute measure of the informational content of empirical data, no absolute measure of the entropy of physical systems, and no complete computer simulation of the natural world are possible. The connections with the mathematical theorems of Gödel and Tarski reveal the existence of other connections between scientific and mathematical incompleteness: computational irreducibility, complexity, infinity, arbitrariness and self-reference. Finally, suggestions will be offered of where a more rigorous (or formal) “proof” of scientific incompleteness can be found. (shrink)

Is formal logic a failure? It may be, if we accept the context-independent limits imposed by Russell, Frege, and others. In response to difficulties arising from such limitations I present a Toulmin-esque social recontextualization of formal logic. The results of my project provide a positive view of formal logic as a success while simultaneously reaffirming the social and contextual concerns of argumentation theorists, critical thinking scholars, and rhetoricians.

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)

Our commonsense notion of reality is supported by two critical assumptions for which we have little understanding: The conscious experience which underpins the observations integral to the scientific method and language, which is the method by which all theories, scientific or otherwise, are communicated. This book examines both of these matters in detail and arrives at a new theoretical foundation for understanding how nature undertakes the task of building the universe. -/- Creating Reality is a synthesis of Darwin’s The Origin (...) of Species and Douglas Hofstadter’s Gödel, Escher, Bach (GEB). It is an intellectual journey that addresses the most profound questions facing science and philosophy today and delivers the greatest transformation in the way we view the world since Darwin’s masterpiece. The book is targeted at anyone up for the cerebral challenge of thinking deeply about how we make sense of the world and our existence. The book is thoroughly researched and referenced, drawing from the most highly credential sources. -/- When we take stock of where we are in our understanding of nature, it seems that three important questions stand out for which we have few answers. More than just questions, they represent gaps in our comprehension of what makes the universe tick. These are the thematic focal points of this book: -/- • What is the nature of belief? (An examination of truth as a function of language). • What is consciousness? • What is the relationship between mathematics and the physical world? -/- The exploration of these three questions unravels the mystery behind the principal means by which we come to have knowledge of the world. So our journey begins by asking the more generic question: How do we come to know the world? The book makes no assumptions about this thing called ‘reality’ and takes a fresh look at the presuppositions underlying commonsense notions of reality. (shrink)

Dos preguntas articulan las reflexiones contenidas en el presente trabajo: ¿Cuál es el sentido de nuestra vida? y ¿qué sentidos produce el psicoanálisis? La yuxtaposición de ambos interrogantes no debe darnos la idea de que la respuesta a una sirve de fundamento a la otra. La vecindad tiene por objetivo aquí mostrar cómo el psicoanálisis elabora sentidos. La primera pregunta ha sido considerada por algunos como una pregunta sin respuesta. Sin embargo consideramos que la posibilidad de una respuesta depende del (...) contexto filosófico desde el cual se la plantea y lo que se entiende por sentido. ¿Qué tipo de ontología es la que hace posible esta pregunta? Este trabajo se propone hacer una contribución a la elaboración de tal ontología la cual se presentará fundamentalmente como una ontología social, no como regional sino entendida como filosofía primera. Para ello tomaremos como base las ontologías sociales que a partir de Heidegger y, apartándose de él, desarrollaron Jean-Luc Nancy (2006) y McGuire y Tuchanska (2000). Realizaremos un estudio comparativo entre estas ontologías y las ontologías científicas para mostrar la necesidad de una ontología filosófica que nos permita abordar la cuestión del sentido. En base a esta ontología abordaremos la posibilidad de responder a estas preguntas en los discursos de las teorías psicoanalítica de Freud y de Winnicott. (shrink)

An alternative view to the traditionally held view that schizophrenia is characterised by severely disordered cognition is presented. It is possible that apparently self- contradictory expressions of schizophrenics are well-formed communicative expressions of highly ordered cognitive systems. Building on the premise that behavior is in general communicative, and using Godel’s Incompleteness Theorem from logic as a model, it is shown that the most characteristic symptoms of schizophrenia may indicate truths that cannot be derived within highly ordered cognitive systems.

We are responsible for some things but not for others. In this thesis, I investigate what it takes for an entity to be responsible for something. This question has two components: agents and actions. I argue for a permissive view about agents. Entities such as groups or artificially intelligent systems may be agents in the sense required for responsibility. With respect to actions, I argue for a causal view. The relation in virtue of which agents are responsible for actions is (...) a causal one. I claim that responsibility requires causation and I develop a causal account of agency. This account is particularly apt for addressing the relationship between agency and moral responsibility and sheds light on the causal foundations of moral responsibility. (shrink)

The Epiphenomenal Mind is both a deflationary attack on the powers of the human mind and a defence of human subjectivity. It is deflationary because in the thesis I argue that consciousness is an epiphenomenal consequence of events in the brain. It is a defence of human subjectivity because I argue that the mind is sui generis real, irreducible, and largely an endogenous product (i.e. not dependent on society or its resources). Part I is devoted to arguing that the conscious (...) mind is epiphenomenal. Arguing from, the irreducibility of mental states, the causal closure of the physical domain, and the principle of causal explanatory exclusion, I seek to demonstrate that all theories of mental causation necessarily violate one or more of these premises. Contemporary approaches to mental causation come under two broad categories, those that argue that mental events are supervenient on physical events (such as Davidson, Kim and Horgan) and those (like Haskar) who argue that the mind is an emergent property of the brain. Supervenience based theories, I argue, end up reducing mental states in their search for a theory of mental causation and emergence based theories end up violating the principle of the causal closure of the physical. In part II, I explore some of the consequences of epiphenomenalism for social theory. This exploration comes in the context of a defence of human subjectivity against (i.) those sociological imperialists who view the mind and self as a 'gift of society', and (ii.) social situationalists who have abandoned the concept of action and an interest in 'what's in the head' of the actor, in favour of a concept of social action which views behaviour as action only to the extent that it is socially meaningful. The conclusion is that the social sciences should return to an interpretative style (Weberian) methodology. (shrink)

Lucas-Penrose type arguments have been the focus of many papers in the literature. In the present paper we attempt to evaluate the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. We argue that the best answer to this question was given by Gödel already in 1951 when he realized that either our intellectual capability is not representable by a Turing Machine, or we can never know with mathematical certainty what such a machine is. But his considerations became (...) known only in recent times when many scholars were already aware of Benacerraf’s and Chihara’s analyses on the consequences of Gödel’s incompleteness theorems for the philosophy of the mind. Benacerraf and Chihara, in fact, discussing Lucas’ paper, arrived at the same conclusions as Gödel in the sixties, but in a more formal way. After Penrose’s provocative arguments, Shapiro again shed light on the question. In our paper, after a broad and simple presentation of the contributions to the debate made by different authors, we show how to present Gödel’s argument in a rigorous way, highlighting the necessary philosophical premises of Gödel’s argument and more in general of Gödelian arguments. (shrink)

Although most scholars trace the Liar Paradox to Plato’s contemporary, Eubulides, the paper argues that Plato builds something very like the Liar Paradox into the very structure of his dialogues with significant consequences for understanding his views. After a preliminary exposition of the liar paradox it is argued that Plato builds this paradox into the formulation of many of his central doctrines, including the “Divided Line” and the “Allegory of the Cave” and the “Ladder of Love”. Thus, Plato may have (...) been the first to formulate the view that Graham Priest calls dialetheism, roughly, the view that some contradictions are, in an illuminating way, inescapable and true. The paper argues that Plato builds this Liar paradox into the formulation of his signature views because he holds that the attempt by finite human beings to theorize about transcendent realities results in the simultaneous necessity, and impossibility, of transgressing the limits of language—leading to the paradoxes. Finally, it is argued that the existence of these paradoxes in these Platonic doctrines is the direct result of an intrinsic hermeneutical circle in Plato’s aforementioned signature views. (shrink)

Philosophical questions about minds and computation need to focus squarely on the mathematical theory of Turing machines (TM's). Surrogate TM's such as computers or formal systems lack abilities that make Turing machines promising candidates for possessors of minds. Computers are only universal Turing machines (UTM's)—a conspicuous but unrepresentative subclass of TM. Formal systems are only static TM's, which do not receive inputs from external sources. The theory of TM computation clearly exposes the failings of two prominent critiques, Searle's Chinese room (...) (1980) and arguments from Gödel's Incompleteness theorems (e.g., Lucas, 1961; Penrose, 1989), both of which fall short of addressing the complete TM model. Both UTM-computers and formal systems provide an unsound basis for debate. In particular, their special natures easily foster the misconception that computation entails intrinsically meaningless symbol manipulation. This common view is incorrect with respect to full-fledged TM's, which can process inputs non-formally, i.e., in a subjective and dynamically evolving fashion. To avoid a distorted understanding of the theory of computation, philosophical judgments and discussions should be grounded firmly upon the complete Turing machine model, the proper model for real computers. (shrink)

Keywords: climate change, integrated assessment, knowledge integration, transdisciplinary research, vulnerability, vulnerability assessment. This thesis explores how transdisciplinary knowledge integration can be facilitated in the context of integrated assessments and vulnerability assessments of climate change. Even though knowledge integration is fundamental in such transdisciplinary assessments, the actual process of integrating knowledge is rarely addressed explicitly and methodically. Here, knowledge integration is conceptualised into the subsequent phases of the elaboration of a shared language and the design of a methodology. Three devices for (...) facilitating knowledge integration are put forward: 1. semantic ascent or the shift from speaking in a language to speaking in a meta-language about the former, 2. formalisation or the translation of statements made in ordinary or technical language into a formal language, and 3. knowledge integration methods, which are methods that provide a meta-language for speaking about the knowledge to be integrated and organise the process of integration. Four cases of knowledge integration are presented. First, the general problem of methodology design is addressed and a graphical framework for representing methodologies is presented. Second, the problem of developing a shared language for speaking about vulnerability to climate change is addressed. A formal mathematical framework of vulnerability and related concepts is presented. Third, a special case of methodology design, the integration of computer models in the context of modular integrated assessment modelling is addressed. A modular approach developed in the PIAM project is presented. Fourth, the integration of computer models, this time in the context of a global assessment of coastal vulnerability to sea-level rise, is addressed. A knowledge integration method, which was developed and applied in the DINAS-COAST project, is presented. These cases show that semantic ascent is a useful device in those cases in which it is difficult to directly elaborate a shared language at the beginning of the assessment. Formalisation can contribute to the elaboration of a shared language in those cases in which concepts overlap non trivially in their meanings. More emphasis should be placed on the development and application of iterative knowledge integration methods as iteration is crucial in order to benefit from the mutual learning during the course of the assessment. (shrink)

Both a traditional notion of free will, present in human beings, and artificial intelligence are often argued to be inherently incompatible with determinism. Contrary to these criticisms, this paper defends that an account of free will compatible with determinism, the responsibility strategy (coined here) specifically, is a variety of free will worth wanting as well as a variety that is possible to (in principle) artificially construct. First, freedom will be defined and related to ethics. With that in mind, the two (...) theses of free will are addressed (namely could have done otherwise and source origination) for both human beings and artificial agents. (shrink)

1Center for the Philosophy of Nature and Science Studies, Blegdamsvej 17, DK-2100 Copenhagen, Denmark. Published pp. 117-124 in: Mark Bedeau, Phil Husbands, Tim Hutton, Sanjev Kumar and Hideaki Suzuki : Workshop and Tutorial Proceedings. Ninth International Conference on the Simulation and Synthesis of Living Systems.

For many economists, including those who have made the most marked contribution to the development of the discipline, their work has to be understood in the context of the rhetorical strategy they were pursuing – what they wanted to persuade us of and how they wanted to do it. The paper identifies two fundamental rhetorical strategies of laissez-faire resting on entirely distinct ontological foundations. What distinguishes these two strategies is the way they articulate the individual with the general interest, how (...) they relate the micro to the macro. The two strategies discussed in the paper are characterised by the stance they take on a fundamental ontological issue, the way in which the things which appear to us in the world are related to the things or matters which compose them. A reductionist approach suggests that we can understand an entity at one level as a congeries. An entity in this view is just an aggregate of entities at a lower, substrate level – a purely external unity. The properties and behaviour of an entity can then be understood in terms of the properties and behaviour of the constituent lower-level components, taken in isolation. In this approach, phenomena at some level are regarded as having just the qualities enjoyed by its lower-level, substrate elements, writ large. The contrary, holistic, stance is to view the qualities of phenomena at one level as emergent at that level, and to assert that an entity can be understood as a product of the inter-relations between its component parts. We have, then, a pair of contrasted approaches: a polarity which is productive in the study of schools of thought, of competing methodologies, and of rhetorical strategies in economics. The paper applies this approach to the work of Smith, Keynes, Hayek, Lucas and Friedman. (shrink)

To construct a synthetic cell we need to understand the rules that permit life. A central idea in modern biology is that in addition to the four entities making reality, matter, energy, space and time, a fifth one, information, plays a central role. As a consequence of this central importance of the management of information, the bacterial cell is organised as a Turing machine, where the machine, with its compartments defining an inside and an outside and its metabolism, reads and (...) expresses the genetic program carried by the genome. This highly abstract organisation is implemented using concrete objects and dynamics, and this is at the cost of repeated incompatibilities (frustration), which need to be sorted out by appropriate «patches». After describing the organisation of the genome into the paleome (sustaining and propagating life) and the cenome (permitting life in context), we describe some chemical hurdles that the cell as to cope with, ending with the specific case of the methionine salvage pathway. (shrink)

In this paper, I present the beginnings of a resemblance theory of representation. I start by surveying the contemporary philosophical debate surrounding musical representation and reveal that its main interlocutors share a conception of artistic representation as a mode of meaningful communication. I then show how conceiving of artistic representation in this way severely limits music’s possibilities as a medium for representation. Next, I propose an alternative conception of representation that, despite its widespread acceptance outside of the philosophy of art, (...) has been largely denigrated within it: namely, that representation fundamentally depends on structural resemblance. Finally, I demonstrate how conceiving of artistic representation as grounded upon structural resemblances, rather than as a mode of meaningful communication, provides us with a more accurate picture of both (a) how music represents and (b) how we perceive and appreciate musical representations. (shrink)