This book explores the application of dynamical theory to cognitive science. Giunti shows how the dynamical approach can illuminate problems of cognition, information processing, consciousness, meaning, and the relation between body and mind.

This work addresses a broad range of questions which belong to four fields: computation theory, general philosophy of science, philosophy of cognitive science, and philosophy of mind. Dynamical system theory provides the framework for a unified treatment of these questions. ;The main goal of this dissertation is to propose a new view of the aims and methods of cognitive science--the dynamical approach . According to this view, the object of cognitive science is a particular set of dynamical systems, which I (...) call "cognitive systems". The goal of a cognitive study is to specify a dynamical model of a cognitive system, and then use this model to produce a detailed account of the specific cognitive abilities of that system. The dynamical approach does not limit a-priori the form of the dynamical models which cognitive science may consider. In particular, this approach is compatible with both computational and connectionist modeling, for both computational systems and connectionist networks are special types of dynamical systems. ;To substantiate these methodological claims about cognitive science, I deal first with two questions in two different fields: What is a computational system? What is a dynamical explanation of a deterministic process? ;Intuitively, a computational system is a deterministic system which evolves in discrete time steps, and which can be described in an effective way. In chapter 1, I give a formal definition of this concept which employs the notions of isomorphism between dynamical systems, and of Turing computable function. In chapter 2, I propose a more comprehensive analysis which is based on a natural generalization of the concept of Turing machine. ;The goal of chapter 3 is to develop a theory of the dynamical explanation of a deterministic process. By a "dynamical explanation" I mean the specification of a dynamical model of the system or process which we want to explain. I start from the analysis of a specific type of explanandum--dynamical phenomena--and I then use this analysis to shed light on the general form of a dynamical explanation. Finally, I analyze the structure of those theories which generate explanations of this form, namely dynamical theories. (shrink)

According to the received view, reduction is a deductive relation between two formal theories. In this paper, I develop an alternative approach, according to which reduction is a representational relation between models, rather than a deductive relation between theories; more specifically, I maintain that this representational relation is the one of emulation. To support this thesis, I focus attention on mathematical dynamical systems and I argue that, as far as these systems are concerned, the emulation relation is sufficient for reduction. (...) I then extend this representational model-based view of reduction to the case of empirically interpreted dynamical systems, as well as to a treatment of partial, approximate, and asymptotic reduction. (shrink)

Dynamical systems are mathematical structures whose aim is to describe the evolution of an arbitrary deterministic system through time, which is typically modeled as (a subset of) the integers or the real numbers. We show that it is possible to generalize the standard notion of a dynamical system, so that its time dimension is only required to possess the algebraic structure of a monoid: first, we endow any dynamical system with an associated graph and, second, we prove that such a (...) graph is a category if and only if the time model of the dynamical system is a monoid. In addition, we show that the general notion of a dynamical system allows us not only to define a family of meaningful dynamical concepts, but also to distinguish among a cluster of otherwise tangled notions of reversibility, whose logical relationships are finally analyzed. (shrink)

The received view about emergence and reduction is that they are incompatible categories. I argue in this paper that, contrary to the received view, emergence and reduction can hold together. To support this thesis, I focus attention on dynamical systems and, on the basis of a general representation theorem, I argue that, as far as these systems are concerned, the emulation relationship is sufficient for reduction (intuitively, a dynamical system DS1 emulates a second dynamical system DS2 when DS1 exactly reproduces (...) the whole dynamics of DS2). This representational view of reduction, contrary to the standard deductivist one, is compatible with the existence of structural properties of the reduced system that are not also properties of the reducing one. Therefore, under this view, by no means are reduction and emergence incompatible categories but, rather, complementary ones. (shrink)

Il lavoro esamina criticamente i presupposti di cinque differenti approcci alla Scienza Cognitiva, (simbolico, connessionista, dinamico, della cognizione incarnata e della vita artificiale) e sostiene che tutti e cinque condividono tacitamente un’ipotesi metodologica molto generale. Tale ipotesi, che propongo di chiamare simulazionismo , postula che i fenomeni cognitivi di un qualunque sistema reale possono essere adeguatamente spiegati sulla base di opportuni modelli di simulazione del sistema stesso. Tuttavia, a causa della loro costituzione, i modelli di simulazione hanno forti limitazioni, sia (...) al livello descrittivo che esplicativo. Il limite descrittivo sta nel fatto che la corrispondenza fra i risultati di una simulazione e i dati relativi al fenomeno reale non è diretta e intrinseca ma, al più, indiretta e estrinseca. Il limite esplicativo consiste nel fatto che le spiegazioni supportate dal modello non sono mai compiute e realistiche ma, piuttosto, solo in linea di principio e romanzesche. Queste difficoltà potrebbero essere superate ricorrendo ai modelli Galileiani , costituiti da sistemi dinamici in cui ciascuna componente ha un’interpretazione precisa e definita, in quanto essa corrisponde ad una proprietà misurabile (grandezza) del fenomeno reale che il modello descrive. (shrink)

The received view on the problem of the direction of time holds it that time has no intrinsic dynamical properties, and that its apparent asymmetry, to be understood in purely topological terms, is dependent on the directional properties of physical processes. In this paper we shall challenge both claims, in the light of an algebraic representation of time. First, we will show how to give a precise formulation to the intuitive idea that time possesses an intrinsic dynamics; this formulation relies (...) on the fact that the algebraic properties of time can equivalently be understood in dynamical terms. Second, we shall argue that the directional properties displayed by the processes occurring in time depend on the directional properties of time, rather than the converse. (shrink)

Dynamical systems are mathematical objects meant to formally capture the evolution of deterministic systems. Although no topological constraint is usually imposed on their state spaces, there is prima facie evidence that the topological properties of dynamical systems might naturally depend on their dynamical features. This paper aims to prepare the grounds for a systematic investigation of such dependence, by exploring how the underlying dynamics might naturally induce a corresponding topology.

In the epistemological tradition, there are two main interpretations of the semantic relation that an empirical theory may bear to the real world. According to realism, the theory-world relationship should be conceived as truth; according to instrumentalism, instead, it should be limited to empirical adequacy. Then, depending on how empirical theories are conceived, either syntactically as a class of sentences, or semantically as a class of models, the concepts of truth and empirical adequacy assume different and specific forms. In this (...) paper, we review two main conceptions of truth and two of empirical adequacy, we point out their respective difficulties, and we give a first formulation of a new general view of the theory-world relationship, which we call Methodological Constructive Realism. We then show how the content of MCR can be further specified and expressed in a definite and precise form. The bulk of the paper shows in detail how it is possible to accomplish this goal for the special case of deterministic dynamical phenomena and their correlated deterministic models. This special version of MCR is formulated as an axiomatic extension of set theory, whose specific axioms constitute a formal ontology that provides an adequate framework for analyzing the two semantic relations of truth and empirical correctness, as well as their connections. (shrink)

Knowledge representation is a central issue for Artificial Intelligence and the Semantic Web. In particular, the problem of representing n-ary relations in RDF-based languages such as RDFS or OWL by no means is an obvious one. With respect to previous attempts, we show why the solutions proposed by the well known W3C Working Group Note on n-ary relations are not satisfactory on several scores. We then present our abstract model for representing n-ary relations as directed labeled graphs, and we show (...) how this model gives rise to a new ontological pattern for the representation of such relations in the Semantic Web. To this end, we define PROL. PROL is an ontological language designed to express any n-ary fact as a parametric pattern, which turns out to be a special RDF graph. The vocabulary of PROL is defined by a simple RDFS ontology. We argue that the parametric pattern may be particularly beneficial in the context of the Semantic Web, in virtue of its high expressive power, technical simplicity, and faithful meaning rendition. Examples are also provided. (shrink)