There are two ways to approach political representation. We can view each type of representation or each site of representation – namely a representative actor or institution – on an individual basis and study its internal dynamics. Alternatively, we can look at how different forms of representation and representative actors and institutions interact in a system of representation. In this article, I develop the second view. I make three contributions to the theory of representation from systemic thinking. Methodologically, (...) I explain the contours of a systemic approach to political representation. Descriptively, I propose a definition of a system of representation that captures representative pluralism, distribution of representative work and different levels of representation. Normatively, I set criteria for judging the system of representation and its individual components with systemic criteria. (shrink)

This essay concerns Constant’s classic text The Liberty of the Ancients Compared with that of the Moderns. Although this is a frequently quoted text, what makes reading it still something of an effort is that it contains a baffling shift from the complete exaltation of modern liberty in its first part to the recognition of the significance of political participation in safeguarding modern liberty in its final part. The text is also replete with additional treasures, including Constant’s famous distinction between (...) the liberty of the ancients and that of the moderns and his turn to the basic human capacity of self-development to support his stubborn insistence on the irreducibility of political participation. With regard to the aforementioned shift in the 1819 text, some have argued that in order to reveal the richness of the text we must be aware that its two parts were written under different historical circumstances. Accepting this claim, I argue that the basic tone of the text is Constant’s attempt to combine modern liberty and political participation and that deciphering the argumentative thrust inherent in the text helps reveal its richness. I focus on the centrality of the representative system, which, I argue, plays an important role in Constant’s endeavour to unify the liberty of the moderns and political liberty throughout the text. To see how he defends both the enjoyment of individual interests and the practice of political liberty, it is necessary to recognize the nature of representative assemblies in Constant’s constitutionalism and to characterize his appeal to self-development as a justification of the practice of political liberty. (shrink)

We show how Poole-systems, a simple approach to nonmonotonic reasoning, can be extended to take meta-information into account adequately. The meta-information is used to guide the choice of formulas accepted by the reasoner as premises. Existence of a consistent set of conclusions is guaranteed by a least fixpoint construction. The proposed formalism has useful applications in defeasible reasoning, knowledge base fusion and belief revision.

Representation of scientific knowledge in ontologies suffers so often from the lack of computational knowledge required for inference. This article aims to perform quantitative analysis on physical systems, that is, to answer questions about values of quantitative state variables of a physical system with known structure. For this objective, we incorporate procedural knowledge on two distinct levels. At the domain-specific level, we propose a representation model for scientific knowledge, i.e. variables, theories, and laws of nature. At the domain-independent level, (...) we provide an algorithm which, given a system S with known structure and a relevant scientific theory T, extracts a constraint network, whose variables are state variables of S defined by T, and whose constraints raise from relevant laws in T. The constraint network is then solved, to build a system of equations whose unknowns are the output variables of S. The proposed representation model and reasoning algorithm are evaluated by applying them to classic analysis examples. (shrink)

We pursue a model-oriented rather than axiomatic approach to the foundations of Quantum Mechanics, with the idea that new models can often suggest new axioms. This approach has often been fruitful in Logic and Theoretical Computer Science. Rather than seeking to construct a simplified toy model, we aim for a 'big toy model', in which both quantum and classical systems can be faithfully represented—as well as, possibly, more exotic kinds of systems. To this end, we show how Chu (...) spaces can be used to represent physical systems of various kinds. In particular, we show how quantum systems can be represented as Chu spaces over the unit interval in such a way that the Chu morphisms correspond exactly to the physically meaningful symmetries of the systems—the unitaries and antiunitaries. In this way we obtain a full and faithful functor from the groupoid of Hubert spaces and their symmetries to Chu spaces. We also consider whether it is possible to use a finite value set rather than the unit interval; we show that three values suffice, while the two standard possibilistic reductions to two values both fail to preserve fullness. (shrink)

There is more to legal knowledge representation than knowledge-bases. It is valuable to look at legal knowledge representation and its implementation across the entire domain of computerisation of law, rather than focussing on sub-domains such as legal expert systems. The DataLex WorkStation software and applications developed using it are used to provide examples. Effective integration of inferencing, hypertext and text retrieval can overcome some of the limitations of these current paradigms of legal computerisation which are apparent when they are (...) used on a stand-alone basis. Effective integration of inferencing systems is facilitated by use of a (quasi) natural language knowledge representation, and the benefits of isomorphism are enhanced. These advantages of integration apply to all forms of inferencing, including document generation and casebased inferencing. Some principles for development of integrated legal decision support systems are proposed. (shrink)

Numbers are symbols manipulated in accord with the axioms of arithmetic. They sometimes represent discrete and continuous quantities, but they are often simply names. Brains, including insect brains, represent the rational numbers with a fixed-point data type, consisting of a significand and an exponent, thereby conveying both magnitude and precision.

To the question “What normative ethical theory does early Confucianism best represent?” researchers in the history of early Confucian philosophy respond with more than half a dozen different answers. They include sentimentalism, amoralism, pragmatism, Kantianism, Aristotelian virtue theory, care ethics, and role ethics. The lack of consensus is concerning, as three considerations make clear. First, fully trained, often leading, scholars advocate each of the theories. Second, nearly all participants in the debate believe that the central feature of early Confucianism is (...) its moral thought. However, these normative ethical theories are logically inconsistent with one another, the third point. The entailment is unavoidable: the majority of scholars of early Confucian normative ethics must be incorrect about their attributions of a normative theory to early Confucianism. It would appear, then, that we need a new dao 道 or pathway for the study of early Confucian moral thought. One alternative is to adopt an immersively interdisciplinary research methodology that pivots on the recognition that early Confucianism is a social-functional system the governing purpose of which is to influence cultural leaders. (shrink)

We agree with Clarke and Beck that the approximate number system represents rational numbers, and we demonstrate our support by highlighting the case of the empty set – the non-symbolic manifestation of zero. It is particularly interesting because of its perceptual and semantic uniqueness, and its exploration reveals fundamental new insights about how numerical information is represented.

In this paper we describe the Curry-Howard-De Bruijn isomorphism between Higher Order Many Sorted Intuitionistic Predicate Logic PREDω and the type system λPREDω, which can be considered a subsystem of the Calculus of Constructions. The type system is presented using the concept of a Pure Type System, which is a very elegant framework for describing type systems. We show in great detail how formulae and proof trees of the logic relate to types and terms of the type system, respectively. (...) Finally, we discuss some consequences of the isomorphism with respect to the relation between the systems discussed in this paper. (shrink)

The article is devoted to dynamic processes in the field of artificial intelligence, namely in the tasks of neurodynamics. The problems of stability of transient processes in neural networks, which dynamics can be described by systems of weakly nonlinear difference equations, are considered. Conditions are formulated in terms of the direct Lyapunov method.

Dynamic engineering models have yet to be evaluated in the context of feminist engineering ethics. Decision-making concerning gender in dynamic modeling design is a gender and ethical issue that is important to address regardless of the system in which the dynamic modeling is applied. There are many dynamic modeling tools that operationally include the female population, however, there is an important distinction between females and women; it is the difference between biological sex and the social construct of gender, which is (...) fluid and changes over time and geography. The ethical oversight in failing to represent or misrepresenting gender in model design when it is relevant to the model purpose can have implications for model validity and policy model development. This paper highlights this gender issue in the context of feminist engineering ethics using a dynamic population model. Women are often represented in this type of model only in their biological capacity, while lacking their gender identity. This illustrative example also highlights how language, including the naming of variables and communication with decision-makers, plays a role in this gender issue. (shrink)

A bold new approach to combatting the inherent corruption of representative democracy This provocative book reveals how the majority of modern liberal democracies have become increasingly oligarchic, suffering from a form of structural political decay first conceptualized by ancient philosophers. Systemic Corruption argues that the problem cannot be blamed on the actions of corrupt politicians but is built into the very fabric of our representative systems. Camila Vergara provides a compelling and original genealogy of political corruption from (...) ancient to modern thought, and shows how representative democracy was designed to protect the interests of the already rich and powerful to the detriment of the majority. Unable to contain the unrelenting force of oligarchy, especially after experimenting with neoliberal policies, most democracies have been corrupted into oligarchic democracies. Vergara explains how to reverse this corrupting trajectory by establishing a new counterpower strong enough to control the ruling elites. Building on the anti-oligarchic institutional innovations proposed by plebeian philosophers, she rethinks the republic as a mixed order in which popular power is institutionalized to check the power of oligarchy. Vergara demonstrates how a plebeian republic would establish a network of local assemblies with the power to push for reform from the grassroots, independent of political parties and representative government. Drawing on neglected insights from Niccolò Machiavelli, Nicolas de Condorcet, Rosa Luxemburg, and Hannah Arendt, Systemic Corruption proposes to reverse the decay of democracy with the establishment of anti-oligarchic institutions through which common people can collectively resist the domination of the few. (shrink)

This paper analyzes how, during the Juncker Presidency, the European Commission employed argumentative strategies to address the question of member-states’ compliance with European Union law. There is a literature gap regarding how European leaders employ argumentative strategies to coax member-states to comply with EU legislation and how those strategies can be associated with multilevel governance designs and problem-solving approaches. Building on van Eemeren and Grootendorst’s pragma-dialectical approach to argumentation, the paper explores what dialectical and rhetorical strategies were employed by the (...) Juncker European Commission to build an argumentative regime where the question of compliance with European Union law is articulated with the representation of the European Union as an efficient multilevel governance system. Starting from the distinction between procedural and operational concepts of problem-solving in multilevel governance polities, the paper questions whether the Juncker Commission’s arguments on the need to ensure European Union law compliance favor a particular conception of problem-solving in multilevel governance systems. The paper argues that the argumentative strategies employed by the Juncker European Commission in the field of compliance reveal a preference for an operational notion of problem-solving combined with some aspects of a more procedural perspective of problem-solving in multilevel governance polities. The background of this paper is associated with the growing impact that European legislation has on member-states and also with the efforts developed by the Juncker European Commission in discussing how to improve EU regulation to increase compliance with EU law. (shrink)

The first section introduces a distinction between 2 families of cognitive operations, called System 1 and System 2. The second section presents an attribute-substitution model of heuristic judgment, which elaborates and extends earlier treatments of the topic. The third section introduces a research design for studying attribute substitution. The fourth section discusses the controversy over the representativeness heuristic. The last section situates representativeness within a broad family of prototype heuristics, in which properties of a prototypical exemplar dominate global judgments concerning (...) an entire set. (shrink)

The topic of temporal meaning in texts has received considerable attention in recent years from scholars in linguistics, logical semantics, cognitive science, and artificial intelligence. Representing Time in Natural Language offers a systematic and detailed account of how we use temporal information contained in a text or in discourse to reason about the flow of time, inferring the order in which events happened when this is not explicitly stated. A new representational system is designed to formalize an appropriately context-dependent notion (...) of situated inference. The Dynamic Aspect Tree, representing temporal dependencies, constitutes a novel and important dynamic temporal logic, one that makes it easy to see "what follows when" from the information given in an ordinary English text. (shrink)

The work described in this report is motivated by the desire to test the expressive possibilities of action language C+. The Causal Calculator (CCalc) is a system that answers queries about action domains described in a fragment of that language. The Zoo World and the Traffic World have been proposed by Erik Sandewall in his Logic Modelling Workshop—an environment for communicating axiomatizations of action domains of nontrivial size. -/- The Zoo World consists of several cages and the exterior, gates between (...) them, and animals of several species, including humans. Actions in this domain include moving within and between cages, opening and closing gates, and mounting and riding animals. The Traffic World includes vehicles moving continuously between road crossings subject to a number of restrictions, such as speed limits and keeping a fixed safety distance away from other vehicles on the road. We show how to represent the two domains in the input language of CCalc, and how to use CCalc to test these representations. (shrink)

This paper explains the importance of classifying argumentation schemes, and outlines how schemes are being used in current research in artificial intelligence and computational linguistics on argument mining. It provides a survey of the literature on scheme classification. What are so far generally taken to represent a set of the most widely useful defeasible argumentation schemes are surveyed and explained systematically, including some that are difficult to classify. A new classification system covering these centrally important schemes is built.

Models such as the simple pendulum, isolated populations, and perfectly rational agents, play a central role in theorising. It is now widely acknowledged that a study of scientific representation should focus on the role of such imaginary entities in scientists’ reasoning. However, the question is most of the time cast as follows: How can fictional or abstract entities represent the phenomena? In this paper, I show that this question is not well posed. First, I clarify the notion of representation, and (...) I emphasise the importance of what I call the “format” of a representation for the inferences agents can draw from it. Then, I show that the very same model can be presented under different formats, which do not enable scientists to perform the same inferences. Assuming that the main function of a representation is to allow one to draw predictions and explanations of the phenomena by reasoning with it, I conclude that imaginary models in abstracto are not used as representations: scientists always reason with formatted representations. Therefore, the problem of scientific representation does not lie in the relationship of imaginary entities with real systems. One should rather focus on the variety of the formats that are used in scientific practice. (shrink)

This paper explains the importance of classifying argumentation schemes, and outlines how schemes are being used in current research in artificial intelligence and computational linguistics on argument mining. It provides a survey of the literature on scheme classification. What are so far generally taken to represent a set of the most widely useful defeasible argumentation schemes are surveyed and explained systematically, including some that are difficult to classify. A new classification system covering these centrally important schemes is built.

The problem of concept representation is relevant for many sub-fields of cognitive research, including psychology and philosophy, as well as artificial intelligence. In particular, in recent years it has received a great deal of attention within the field of knowledge representation, due to its relevance for both knowledge engineering as well as ontology-based technologies. However, the notion of a concept itself turns out to be highly disputed and problematic. In our opinion, one of the causes of this state of affairs (...) is that the notion of a concept is, to some extent, heterogeneous, and encompasses different cognitive phenomena. This results in a strain between conflicting requirements, such as compositionality, on the one hand and the need to represent prototypical information on the other. In some ways artificial intelligence research shows traces of this situation. In this paper, we propose an analysis of this current state of affairs. Since it is our opinion that a mature methodology with which to approach knowledge representation and knowledge engineering should also take advantage of the empirical results of cognitive psychology concerning human abilities, we outline some proposals for concept representation in formal ontologies, which take into account suggestions from psychological research. Our basic assumption is that knowledge representation systems whose design takes into account evidence from experimental psychology may therefore give better results in many applications. (shrink)

On a now orthodox view, humans and many other animals possess a “number sense,” or approximate number system, that represents number. Recently, this orthodox view has been subject to numerous critiques that question whether the ANS genuinely represents number. We distinguish three lines of critique – the arguments from congruency, confounds, and imprecision – and show that none succeed. We then provide positive reasons to think that the ANS genuinely represents numbers, and not just non-numerical confounds or exotic substitutes for (...) number, such as “numerosities” or “quanticals,” as critics propose. In so doing, we raise a neglected question: numbers of what kind? Proponents of the orthodox view have been remarkably coy on this issue. But this is unsatisfactory since the predictions of the orthodox view, including the situations in which the ANS is expected to succeed or fail, turn on the kind of number being represented. In response, we propose that the ANS represents not only natural numbers, but also non-natural rational numbers. It does not represent irrational numbers, however, and thereby fails to represent the real numbers more generally. This distances our proposal from existing conjectures, refines our understanding of the ANS, and paves the way for future research. (shrink)

Today most philosophers of science believe that models play a central role in science and that one of the main functions of scientific models is to represent systems in the world. Despite much talk of models and representation, however, it is not yet clear what representation in this context amounts to nor what conditions a certain model needs to meet in order to be a representation of a certain system. In this thesis, I address these two questions. First, I (...) will distinguish three senses in which something, a vehicle, can be said to be a representation of something else, a target—which I will call respectively denotation, epistemic representation, and faithful epistemic representation—and I will argue that the last two senses are the most important in this context. I will then outline a general account of what makes a vehicle an epistemic representation of a certain target for a certain user—which, according to the account I defend, is the fact that a user adopts what I call an interpretation of the vehicle in terms of the target—and of what makes an epistemic representation of a certain target a faithful epistemic representation of it—which, according to the account I defend, is a specific sort of structural similarity between the vehicle and the target. (shrink)

The operational definition of a weak value for a quantum mechanical system involves the limit of the weak measurement strength tending to zero. I study how this limit compares to the situation for the undisturbed system. Under certain conditions, which I investigate, this limit is discontinuous in the sense that it does not merge smoothly to the Hilbert space description of the undisturbed system. Hence, in these discontinuous cases, the weak value does not represent the undisturbed system. As a result, (...) conclusions drawn from such weak values regarding the properties of the studied system cannot be upheld. Examples are given. (shrink)

Volume 20, Issue 2, February 2020, Page 62-64.

The ancient puzzle of the Liar was shown by Tarski to be a genuine paradox or antinomy. I show, analogously, that certain puzzles of contemporary game theory are genuinely paradoxical, i.e., certain very plausible principles of rationality, which are in fact presupposed by game theorists, are inconsistent as naively formulated. ;I use Godel theory to construct three versions of this new paradox, in which the role of 'true' in the Liar paradox is played, respectively, by 'provable', 'self-evident', and 'justifiable'. I (...) also construct in modal operator logic a paradox involving reflexive empirical reasoning. Unlike the paradox of the Liar, the paradox of reflexive reasoning does not depend on self-reference. ;I consider various solutions to the Liar paradox and evaluate how well these solutions cope with the paradox of reflexive reasoning. I then formalize the solution to the paradoxes which I favor: the indexical-hierarchical approach, first sketched out by Charles Parsons and Tyler Burge. In this solution, occurrences of the predicate 'true' in sentence-tokens are contextually relativized to levels of a hierarchy. Drawing also on some brief remarks of Bertrand Russell and Charles Parsons, I develop an account of the kind of schematic generality needed for this theory to be statable. ;Finally, I demonstrate that the principles shown to be paradoxical are in fact presupposed by contemporary game theorists in their reliance on the notion of common knowledge or, more precisely, mutual belief. I create novel analyses of and corresponding solutions to several recalcitrant puzzles within game theory, including the "chain-store paradox". (shrink)

This paper explains the importance of classifying argumentation schemes, and outlines how schemes are being used in current research in artificial intelligence and computational linguistics on argument mining. It provides a survey of the literature on scheme classification. What are so far generally taken to represent a set of the most widely useful defeasible argumentation schemes are surveyed and explained systematically, including some that are difficult to classify. A new classification system covering these centrally important schemes is built.

The common account of the analog vs digital distinction is based on features of physical systems, being related to the usage of continuous vs discrete supports respectively. It is proposed here to alternatively characterize the concepts of analog and digital as related to coding systems, of which a formal definition is given, by suggesting that the distinction refers to the strategy adopted to define the coding function: extensional in digital systems, isomorphic intensional in analog systems. This (...) thesis is supported by examples, in particular of analog systems exploiting discrete supports, and is discussed to explain why digital coding is currently so widespread in technological and social practice. (shrink)

It is often assumed that the capability to make inferences requires language. Against this assumption, I claim that inferential abilities do not necessarily require a language. On the contrary, certain cartographic systems could be used to explain some forms of inferences, and they are capable of warranting rational relations between contents they represent. By arguing that certain maps, as well as sentences, are adequate for inferential processes, I do not mean to neglect that there are important differences between maps (...) and sentences. Instead, the purpose of this paper is to highlight interesting distinctions that might affect the way that cartographic thinking works. (shrink)

Positing representations and operations on them as a way of explaining behavior was one of the major innovations of the cognitive revolution. Neuroscience and biology more generally also employ representations in explaining how organisms function and coordinate their behavior with the world around them. In discussions of the nature of representation, theorists commonly differentiate between the vehicles of representation and their content—what they denote. Many contentious debates in cognitive science, such as those pitting neural network models against symbol processing accounts, (...) have focused on the types of vehicles proposed for mental representation and whether they have the appropriate structure to succeed in bearing their contents. Philosophers, in contrast, have focused their debates on content and the particular way in which vehicles might bear content—that is, the process of representing rather than the format of representations. I will offer a novel answer to the question of how it is that a representation has content by focusing on the architecture of representation. My proposal is that representations occur in a particular type of mechanism—one in which a control system regulates a plant—and that we can gain traction on cognitive systems of representation by considering how this works in physical systems more generally. (shrink)

People use commonsense science knowledge to flexibly explain, predict, and manipulate the world around them, yet we lack computational models of how this commonsense science knowledge is represented, acquired, utilized, and revised. This is an important challenge for cognitive science: Building higher order computational models in this area will help characterize one of the hallmarks of human reasoning, and it will allow us to build more robust reasoning systems. This paper presents a novel assembled coherence theory of human conceptual (...) change, whereby people revise beliefs and mental models by constructing and evaluating explanations using fragmentary, globally inconsistent knowledge. We implement AC theory with Timber, a computational model of conceptual change that revises its beliefs and generates human-like explanations in commonsense science. Timber represents domain knowledge using predicate calculus and qualitative model fragments, and uses an abductive model formulation algorithm to construct competing explanations for phenomena. Timber then scores competing explanations with respect to previously accepted beliefs, using a cost function based on simplicity and credibility, identifies a low-cost, preferred explanation and accepts its constituent beliefs, and then greedily alters previous explanation preferences to reduce global cost and thereby revise beliefs. Consistency is a soft constraint in Timber; it is biased to select explanations that share consistent beliefs, assumptions, and causal structure with its other, preferred explanations. In this paper, we use Timber to simulate the belief changes of students during clinical interviews about how the seasons change. We show that Timber produces and revises a sequence of explanations similar to those of the students, which supports the psychological plausibility of AC theory. (shrink)

In this paper, we discuss the thesis of selective representing — the idea that the contents of the mental representations had by organisms are highly constrained by the biological niches within which the organisms evolved. While such a thesis has been defended by several authors elsewhere, our primary concern here is to take up the issue of the compatibility of selective representing and realism. In this paper we hope to show three things. First, that the notion of selective representing is (...) fully consistent with the realist idea of a mind-independent world. Second, that not only are these two consistent, but that the latter provides the most powerful perspective from which to motivate and understand the differing perceptual and cog- nitive profiles themselves. And third, that the sense in which organism and environment may together constitute an integrated system of scientific interest poses no additional threat to the realist conception. (shrink)

Dispositions and tendencies feature significantly in the biomedical domain and therefore in representations of knowledge of that domain. They are not only important for specific applications like an infectious disease ontology, but also as part of a general strategy for modelling knowledge about molecular interactions. But the task of representing dispositions in some formal ontological systems is fraught with several problems, which are partly due to the fact that Description Logics can only deal well with binary relations. The paper (...) will discuss some of the results of the philosophical debate about dispositions, in order to see whether the formal relations needed to represent dispositions can be broken down to binary relations. Finally, we will discuss problems arising from the possibility of the absence of realizations, of multi-track or multi-trigger dispositions and offer suggestions on how to deal with them. (shrink)

I develop an account of how mathematized theories in physics represent physical systems, in response to the frequent claim that any such account must presuppose a non-mathematized, and usually linguistic, description of the system represented. The account I develop contains a circularity, in that representation is a mathematical relation between the models of a theory and the system as represented by some other model --- but I argue that this circularity is not vicious, in any case refers in linguistic (...) accounts of meaning and representation, and is simply a consequence of the fact that we have no unmediated, representation-independent access to the world. (shrink)

According to standard accounts of mathematical representations of physical phenomena, positing structure-preserving mappings between a physical target system and the structure picked out by a mathematical theory is essential to such representations. In this paper, I argue that these accounts fail to give a satisfactory explanation of scientific representations that make use of inconsistent mathematical theories and present an alternative, robustly inferential account of mathematical representation that provides not just a better explanation of applications of inconsistent mathematics, but also a (...) compelling explanation of mathematical representations of physical phenomena in general. 1Inconsistent Mathematics and the Problem of Representation2The Early Calculus3Mapping Accounts and the Early Calculus3.1Partial structures3.2Inconsistent structures3.3Related total consistent structures4A Robustly Inferential Account of the Early Calculus in Applications 4.1The robustly inferential conception of mathematical representation4.2The robustly inferential conception and inconsistent mathematics4.3The robustly inferential conception and mapping accounts5Beyond Inconsistent Mathematics. (shrink)

As a contribution to the challenge of building game-playing AI systems, we develop and analyse a formal language for representing and reasoning about strategies. Our logical language builds on the existing general Game Description Language and extends it by a standard modality for linear time along with two dual connectives to express preferences when combining strategies. The semantics of the language is provided by a standard state-transition model. As such, problems that require reasoning about games can be solved by (...) the standard methods for reasoning about actions and change. We also endow the language with a specific semantics by which strategy formulas are understood as move recommendations for a player. To illustrate how our formalism supports automated reasoning about strategies, we demonstrate two example methods of implementation: first, we formalise the semantic interpretation of our language in conjunction with game rules and strategy rules in the Situation Calculus; second, we show how the reasoning problem can be solved with Answer Set Programming. (shrink)

Space can be understood through perception and language, but are the processes that represent spatial information the same in both cases? This paper reviews psychological evidence for the functional equivalence of spatial representations based on perceptual and linguistic inputs. It is proposed that spatial information is processed by a specialised spatial representation system (SRS) that creates geometric representations of space. The SRS receives inputs from perceptual and linguistic systems and uses these basic inputs to construct mental spatial models of (...) the observed or described environment. A mental spatial model is created by determining the coordinate locations of objects in the egocentric or allocentric frame of reference. The goal of the SRS is not to represent strictly what is perceived, but to model an environment that has an inherent three‐dimensional spatial structure. (shrink)