Ruetsche ([2011]) argues that the occurrence of unitarily inequivalent representations in quantum theories with infinitely many degrees of freedom poses a novel interpretational problem. According to Ruetsche, such theories compel us to reject the so-called ideal of pristine interpretation; she puts forward the ‘coalescence approach’ as an alternative. In this paper I offer a novel defence of the coalescence approach. The defence rests on the claim that the ideal of pristine interpretation already fails before one considers the peculiarities (...) of QM∞: there are pre-QM∞ parallels to coalescence. Despite this departure from pristinism, the ‘modest’ view that emerges poses no threat to scientific realism. (shrink)

It is shown that the automorphism group of a relation algebra ${\cal B}_P$ constructed from a projective geometry P is isomorphic to the collineation group of P. Also, the base automorphism group of a representation of ${\cal B}_P$ over an affine geometry D is isomorphic to the quotient of the collineation group of D by the dilatation subgroup. Consequently, the total number of inequivalent representations of ${\cal B}_P$ , for finite geometries P, is the sum of the numbers (...) ${\mid Col(P)\mid\over {\mid Col(D)\mid/\mid Dil(D)\mid}}$ where D ranges over a list of the non-isomorphic affine geometries having P as their geometry at infinity. This formula is used to compute the number of inequivalent representations of relation algebras constructed over projective lines of order at most 10. For instance, the relation algebra constructed over the projective line of order 9 has 56,700 mutually inequivalent representations. (shrink)

We critically review the recent debate between Doreen Fraser and David Wallace on the interpretation of quantum field theory, with the aim of identifying where the core of the disagreement lies. We show that, despite appearances, their conflict does not concern the existence of particles or the occurrence of unitarily inequivalent representations. Instead, the dispute ultimately turns on the very definition of what a quantum field theory is. We further illustrate the fundamental differences between the two approaches by (...) comparing them both to the Bohmian program in quantum field theory. (shrink)

This unpublished paper, written in 2005 in the PhD philosophy program at Notre Dame, argues that algebraic structural realism faces a difficulty raised by the existence of inequivalent representations in quantum field theory.

Many philosophical and scientific discussions of topics of mind-matter research make implicit assumptions, in various guises, about the distinction between mind and matter. Currently predominant positions are based on either reduction or emergence, providing either monistic or dualistic scenarios. A more-involved framework of thinking, which can be traced back to Spinoza and Leibniz, combines the two scenarios, dualistic (with mind and matter separated) and monistic (with mind and matter unseparated), in one single picture. Based on such a picture, the transition (...) from a domain with mind and matter unseparated to separate mental and material domains can be viewed as a result of a general kind of symmetry breaking, which can be described formally in terms of inequivalent representations. The possibility of whether this symmetry breaking might be connected to the emergence of temporal directions from temporally non-directed or even non-temporal levels of reality will be discussed. Correlations between mental and material aspects of reality could then be imagined as remnants of such primordial levels. Different conceivable types of inequivalent representations would lead to correlations with different characteristics. (shrink)

body. While the latter areas are discussed mainly in fields such as the philosophy of mind, cognitive Many philosophical and scientific discussions of top-.

Howard argues that the existence of unitarily inequivalent representations in Quantum Field Theory presents a problem for structural realism in this context. I consider two potential ways round this problem: 1), follow Wallace in adopting the 'naive' Lagrangian form of QFT with cut-offs; 2), adapt Ruetsche's 'Swiss Army Knife' approach. The first takes us into the current debate between Wallace and Fraser on conventional vs. algebraic QFT. The second involves consideration of the role of inequivalent representations (...) in understanding spontaneous symmetry breaking and quantum statistics. In both cases, I suggest, the structural realist has sufficient room to manoeuvre. (shrink)

Ruetsche argues that a problem of unitarily inequivalent representations arises in quantum theories with infinitely many degrees of freedom. I provide an algebraic formulation of classical field theories and show that unitarily inequivalent representations arise there as well. I argue that the classical case helps us rule out one possible response to the problem of unitarily inequivalent representations called Hilbert Space Conservatism.

Philosophical reflection on quantum field theory has tended to focus on how it revises our conception of what a particle is. However, there has been relatively little discussion of the threat to the "reality" of particles posed by the possibility of inequivalent quantizations of a classical field theory, i.e., inequivalent representations of the algebra of observables of the field in terms of operators on a Hilbert space. The threat is that each representation embodies its own distinctive conception (...) of what a particle is, and how a "particle" will respond to a suitably operated detector. Our main goal is to clarify the subtle relationship between inequivalent representations of a field theory and their associated particle concepts. We also have a particular interest in the Minkowski versus Rindler quantizations of a free Boson field, because they respectively entail two radically different descriptions of the particle content of the field in the *very same* region of spacetime. We shall defend the idea that these representations provide *complementary descriptions* of the same state of the field against the claim that they embody completely *incommensurable theories* of the field. (shrink)

We pose and resolve a puzzle about spontaneous symmetry breaking in the quantum theory of infinite systems. For a symmetry to be spontaneously broken, it must not be implementable by a unitary operator in a ground state's GNS representation. But Wigner's theorem guarantees that any symmetry's action on states is given by a unitary operator. How can this unitary operator fail to implement the symmetry in the GNS representation? We show how it is possible for a unitary operator of this (...) sort to connect the folia of unitarily inequivalent representations. This result undermines interpretations of quantum theory that hold unitary equivalence to be necessary for physical equivalence. (shrink)

Primitive ontology is a recently much discussed approach to the ontology of quantum theory according to which the theory is ultimately about entities in 3-dimensional space and their temporal evolution. This paper critically discusses the primitive ontologies that have been suggested within the Bohmian approach to quantum field theory in the light of the existence of unitarily inequivalent representations. These primitive ontologies rely either on a Fock space representation or a wave functional representation, which are strictly speaking unambiguously (...) available only for free systems in flat spacetime. As a consequence, it is argued that they do not constitute fundamental ontologies for quantum field theory, in contrast to the case of the Bohmian approach to quantum mechanics. (shrink)

In this paper I elicit a prediction from structural realism and compare it, not to a historical case, but to a contemporary scientific theory. If structural realism is correct, then we should expect physics to develop theories that fail to provide an ontology of the sort sought by traditional realists. If structure alone is responsible for instrumental success, we should expect surplus ontology to be eliminated. Quantum field theory (QFT) provides the framework for some of the best confirmed theories in (...) science, but debates over its ontology are vexed. Rather than taking a stand on these matters, the structural realist can embrace QFT as an example of just the kind of theory SR should lead us to expect. Yet, it is not clear that QFT meets the structuralist's positive expectation by providing a structure for the world. In particular, the problem of unitarily inequivalent representations threatens to undermine the possibility of QFT providing a unique structure for the world. In response to this problem, I suggest that the structuralist should endorse pluralism about structure. (shrink)

We point out that, when the dimension of the Hilbert space is greater than two, Bell’s operators entering the Bell-CHSH inequality do exhibit inequivalent unitary matrix representations. Although the Bell-CHSH inequality turns out to be violated, the size of the violation is different for different representations, the maximum violation being given by Tsirelson’s bound. The feature relies on a pairing mechanism between the modes of the Hilbert space of the system.

The availability of unitarily inequivalent representations of the canonical commutation relations constituting a quantization of a classical field theory raises questions about how to formulate and pursue quantum field theory. In a minimally technical way, I explain how these questions arise and how advocates of the Hilbert space and of the algebraic approaches to quantum theory might answer them. Where these answers differ, I sketch considerations for and against each approach, as well as considerations which might temper their (...) apparent rivalry. (shrink)

I analyse the conceptual and mathematical foundations of Lagrangian quantum field theory (QFT) (that is, the ‘naive’ (QFT) used in mainstream physics, as opposed to algebraic quantum field theory). The objective is to see whether Lagrangian (QFT) has a sufficiently firm conceptual and mathematical basis to be a legitimate object of foundational study, or whether it is too ill-defined. The analysis covers renormalisation and infinities, inequivalent representations, and the concept of localised states; the conclusion is that Lagrangian QFT (...) (at least as described here) is a perfectly respectable physical theory, albeit somewhat different in certain respects from most of those studied in foundational work. (shrink)

Although the philosophical literature on the foundations of quantum field theory recognizes the importance of Haag’s theorem, it does not provide a clear discussion of the meaning of this theorem. The goal of this paper is to make up for this deficit. In particular, it aims to set out the implications of Haag’s theorem for scattering theory, the interaction picture, the use of non-Fock representations in describing interacting fields, and the choice among the plethora of the unitarily inequivalent (...) representations of the canonical commutation relations for free and interacting fields. (shrink)

Algebraic quantum field theory provides a general, mathematically precise description of the structure of quantum field theories, and then draws out consequences of this structure by means of various mathematical tools -- the theory of operator algebras, category theory, etc.. Given the rigor and generality of AQFT, it is a particularly apt tool for studying the foundations of QFT. This paper is a survey of AQFT, with an orientation towards foundational topics. In addition to covering the basics of the theory, (...) we discuss issues related to nonlocality, the particle concept, the field concept, and inequivalent representations. We also provide a detailed account of the analysis of superselection rules by Doplicher, Haag, and Roberts (DHR); and we give an alternative proof of Doplicher and Robert's reconstruction of fields and gauge group from the category of physical representations of the observable algebra. The latter is based on unpublished ideas due to J. E. Roberts and the abstract duality theorem for symmetric tensor *-categories, a self-contained proof of which is given in the appendix. (shrink)

The physical, mathematical, and philosophical foundations of the quantum theory of free Bose fields in fixed general relativistic spacetimes are examined. It is argued that the theory is logically and mathematically consistent whereas semiclassical prescriptions for incorporating the back-reaction of the quantum field on the geometry lead to inconsistencies. Still, the relations and heuristic value of the semiclassical approach to canonical and covariant schemes of quantum gravity-plus-matter are assessed. Both conventional and rigorous formulations of the theory and of its principal (...) predictions, cosmological particle creation and horizon radiation, are expounded and compared. Special attention is devoted to spacetime properties needed for the existence or uniqueness of the relevant theoretical elements , renormalization of the stress tensor). The emergence of unitarily inequivalent representations in a single dynamical context is used as motivation for the introduction of the abstract $\rm C\sp{\*}$-algebraic axiomatic formalism. The operationalist and conventionalist claims of the original abstract algebraic program are criticized in favor of its tempered outgrowth, local quantum physics. The interpretation of the theory as a wave mechanics of classical field configurations, deriving from the Schrodinger representations of the abstract algebra, is discussed and is found superior, at least on the level of analogy, to particle or harmonic oscillator interpretations. Further, it is argued that the various detector results and the Fulling nonuniqueness problem do not undermine the particle concept in the ways commonly claimed. In particular, arguments are offered against the attribution of particle status to the Rindler quanta, against the physical realizability of the Rindler vacuum, and against the more general notion of observer-dependence as to the definition of 'particle' or 'vacuum'. However, the question of the ontological status of particles is raised in terms of the consistency of quantum field theory with non-reductive realism about particles, the latter being conceived as entities exhibiting attributes of discreteness and localizability. Two arguments against non-reductive realism about particles, one from axiomatic algebraic local quantum theory in Minkowski spacetime and one from quantum field theory in curved spacetime, are developed. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

I examine some problems standing in the way of a successful `field interpretation' of quantum field theory. The most popular extant proposal depends on the Hilbert space of `wavefunctionals.' But since wavefunctional space is unitarily equivalent to many-particle Fock space, two of the most powerful arguments against particle interpretations also undermine this form of field interpretation. IntroductionField Interpretations and Field OperatorsThe Wavefunctional InterpretationFields and Inequivalent Representations 4.1. The Rindler representation 4.2. Spontaneous symmetry breaking 4.3. Coherent representations The (...) Fate of Fields in Interacting QFTConclusions. (shrink)

On standard accounts of scientific theorizing, the role of idealizations is to facilitate the analysis of some real world system by employing a simplified representation of the target system, raising the obvious worry about how reliable knowledge can be obtained from inaccurate descriptions. The idealizations involved in the Aharonov–Bohm effect do not, it is claimed, fit this paradigm; rather the target system is a fictional system characterized by features that, though physically possible, are not realized in the actual world. The (...) point of studying such a fictional system is to understand the foundations of quantum mechanics and how its predictions depart from those of classical mechanics. The original worry about the use of idealizations is replaced by a new one; namely, how can actual world experiments serve to confirm the AB effect if it concerns the behavior of a fictional system? Struggle with this issue helps to account for the fact that almost three decades elapsed before a consensus emerged that the predicted AB effect had received solid experimental support. Standard accounts of idealizations tout the role they play in making tractable the analysis of the target system; by contrast, the idealizations involved in the AB effect make its analysis both conceptually and mathematically challenging. The idealizations required for the AB effect are also responsible for the existence of unitarily inequivalent representations of the canonical commutation relations and of the current algebra, representations which an observer confined to the electron’s configuration space could invoke to ‘explain’ AB-type effect without the need to posit a hidden magnetic field. The goal of this paper is to bring to the attention of the philosophers of science these and other aspects of the AB effect which are neglected or inadequately treated in literature. (shrink)

There are significant problems involved in determining the ontology of quantum field theory. An ontology involving particles seems to be ruled out due to the problem of defining localized position operators, issues involving interactions in QFT, and, perhaps, the appearance of unitarily inequivalent representations. While this might imply that fields are the most natural ontology for QFT, the wavefunctional interpretation of QFT has significant drawbacks. A modified field ontology is examined where determinables are assigned to open bounded regions (...) of spacetime instead of spacetime points. (shrink)

Some physicists and philosophers argue that unitarily inequivalent representations in quantum field theory are mathematical surplus structure. Support for that view, sometimes called ‘algebraic imperialism’, relies on Fell’s theorem and its deployment in the algebraic approach to QFT. The algebraic imperialist uses Fell’s theorem to argue that UIRs are ‘physically equivalent’ to each other. The mathematical, conceptual, and dynamical aspects of Fell’s theorem will be examined. Its use as a criterion for physical equivalence is examined in detail and (...) it is proven that Fell’s theorem does not apply to the vast number of representations used in the algebraic approach. UIRs are not another case of theoretical underdetermination, because they make different predictions about ‘classical’ operators. These results are applied to the Unruh effect where there is a continuum of UIRs to which Fell’s theorem does not apply. _1_ Introduction _2_ Weak Equivalence and Physical Equivalence _3_ Mathematical Overview of Algebraic Quantum Field Theory _4_ Fell’s Theorem and Philosophical Responses to Weak Equivalence _5_ Weak Equivalence in C*-Algebras and W*-Algebras _6_ Classical Equivalence and Weak Equivalence _7_ Interlude: Is Weak Equivalence Really Physical Equivalence? _8_ The Unruh Effect _9_ Time Evolution and Symmetries _10_ Conclusions Appendix. (shrink)

The difficulties of relativistic particle theories formulated by means of canonical quantization, such as those of Klein–Gordon and Dirac, ultimately led theoretical physicists to turn to quantum field theory to model elementary particle physics. In order to overcome these difficulties, the theories of the present approach are developed deductively from the physical principles that specify the system, without making use of canonical quantization. For a free particle these starting assumptions are invariance of the theory and covariance of position with respect (...) to Poincaré transformations. In pursuing the approach, the effectiveness of group theoretical methods is exploited. The coherent development of our program has shown that robust classes of representations of the Poincaré group, discarded by the known particle theories, can in fact be taken as bases for perfectly consistent theories. For massive spin zero particles, six inequivalent theories have been determined, two of which do not correspond to any of the current ones; all of these theories overcome the difficulties of Klein–Gordon one. The present lack of the explicit transformation properties of position with respect to boosts prevents the complete determination of non zero spin particle theories. In the past a particular form of these transformation properties was adopted by Jordan and Mukunda. We check its consistency within the present approach and find that for spin \ particles there is only one consistent theory, which is unitarily related to Dirac’s; yet, once again, it requires classes of irreducible representations previously discarded. (shrink)

Earman and Norton argue that manifold realism leads to inequivalence of Leibniz-shifted space-time models, with undesirable consequences such as indeterminism. I respond that intrinsic axiomatization of space-time geometry shows the variant models to be isomorphic with respect to the physically meaningful geometric predicates, and therefore certainly physically equivalent because no theory can characterize its models more closely than this. The contrary philosophical arguments involve confusions about identity and representation of space-time points, fostered by extrinsic coordinate formulations and irrelevant modal metaphysics. (...) I conclude that neither the revived Einstein hole argument nor the original Leibniz indiscernibility argument have any force against manifold realism. (shrink)

A solution to the measurement problem of quantum mechanics is proposed within the framework of an intepretation according to which only quantum systems with an infinite number of degrees of freedom have determinate properties, i.e., determinate values for (some) observables of the theory. The important feature of the infinite case is the existence of many inequivalent irreducible Hilbert space representations of the algebra of observables, which leads, in effect, to a restriction on the superposition principle, and hence the (...) possibility of defining (macro-) observables which commute with every observable. Such observables have determinate values which are not subject to quantum interference effects. A measurement process is schematized as an interaction between a microsystem and a macrosystem, idealized as an infinite quantum system, and it is shown that there exists a unitary transformation which transforms the initial pure state of the composite system in a finite time (the duration of the interaction) into the required mixture of disjoint states. (shrink)

According to a regnant criterion of physical equivalence for quantum theories, a quantum field theory (QFT) typically admits continuously many physically inequivalent realizations. This, the second of a two-part introduction to topics in the philosophy of QFT, continues the investigation of this alarming circumstance. It begins with a brief catalog of quantum field theoretic examples of this non-uniqueness, then presents the basics of the algebraic approach to quantum theories, which discloses a structure common even to ‘physically inequivalent’ realizations (...) of a QFT. Finally, it introduces and evaluates a handful of strategies for interpreting quantum theories in the face of the non-uniqueness of their Hilbert space representations. (shrink)

Hamiltonian light-front dynamics of quantum fields may provide a useful approach to systematic nonperturbative approximations to quantum field theories. We investigate inequivalent Hilbert-space representations of the light-front field algebra in which the stability group of the light front is implemented by unitary transformations. The Hilbert space representation of states is generated by the operator algebra from the vacuum state. There is a large class of vacuum states besides the Fock vacuum which meet all the invariance requirements. The light-front (...) Hamiltonian must annihilate the vacuum and have a positive spectrum. We exhibit relations of the Hamiltonian to the nontrivial vacuum structure. (shrink)

Framing effects occur when people respond differently to the same information, just because it is conveyed in different words. For example, in the classic ‘Disease Problem’ introduced by Amos Tversky and Daniel Kahneman, people’s choices between alternative interventions depend on whether these are described positively, in terms of the number of people who will be saved, or negatively in terms of the corresponding number who will die. In this paper, I discuss an account of framing effects based on ‘fuzzy-trace theory’. (...) The central claim of this account is that people represent the numbers in framing problems in a ‘gist-like’ way, as ‘some’; and that this creates a categorical contrast between ‘some’ people being saved (or dying) and ‘no’ people being saved (or dying). I argue that fuzzy-trace theory’s gist-like representation, ‘some’, must have the semantics of ‘some and possibly all’, not ‘some but not all’. I show how this commits fuzzy-trace theory to a modest version of a rival ‘lower bounding hypothesis’, according to which lower-bounded interpretations of quantities contribute to framing effects by rendering the alternative descriptions extensionally inequivalent. As a result, fuzzy-trace theory is incoherent as it stands. Making sense of it requires dropping, or refining, the claim that decision-makers perceive alternatively framed options as extensionally equivalent; and the related claim that framing effects are irrational. I end by suggesting that, whereas the modest lower bounding hypothesis is well supported, there is currently less evidence for the core element of the fuzzy trace account. (shrink)

In Rules and Representations, first published in 1980, Noam Chomsky lays out many of the concepts that have made his approach to linguistics and human cognition so instrumental to our understanding of language.Chomsky arrives at his well-known position that there is a universal grammar, structured in the human mind and common to all human languages. Based on Chomsky's 1978 Woodbridge Lectures, this edition contains revised versions of the lectures and two new essays.

While neuroscientists often characterize brain activity as representational, many philosophers have construed these accounts as just theorists’ glosses on the mechanism. Moreover, philosophical discussions commonly focus on finished accounts of explanation, not research in progress. I adopt a different perspective, considering how characterizations of neural activity as representational contributes to the development of mechanistic accounts, guiding the investigations neuroscientists pursue as they work from an initial proposal to a more detailed understanding of a mechanism. I develop one illustrative example involving (...) research on the information-processing mechanisms mammals employ in navigating their environments. This research was galvanized by the discovery in the 1970s of place cells in the hippocampus. This discovery prompted research in what the activity of these cells represents and how place representations figure in navigation. It also led to the discovery of a host of other types of neurons—grid cells, head-direction cells, boundary cells—that carry other types of spatial information and interact with place cells in the mechanism underlying spatial navigation. As I will try to make clear, the research is explicitly devoted to identifying representations and determining how they are constructed and used in an information processing mechanism. Construals of neural activity as representations are not mere glosses but are characterizations to which neuroscientists are committed in the development of their explanatory accounts. (shrink)

Topics in Cognitive Science, Volume 13, Issue 1, Page 187-205, January 2021.

The Approximate Number System (ANS) is a system that allows us to distinguish between collections based on the number of items, though only if the ratio between numbers is high enough. One of the questions that has been raised is what the representations involved in this system represent. I point to two important constraints for any account: (a) it doesn’t involve numbers, and (b) it can account for the approximate nature of the ANS. Furthermore, I argue that representations (...) of pure magnitude with vehicles that have an imprecision in the value of the unit of measurement (further clarified through a formal model from measurement theory) fit both these requirements. (shrink)

A full account of purposive action must appeal not only to propositional attitude states like beliefs, desires, and intentions, but also to motor representations, i.e., non-propositional states that are thought to represent, among other things, action outcomes as well as detailed kinematic features of bodily movements. This raises the puzzle of how it is that these two distinct types of state successfully coordinate. We examine this so-called “Interface Problem”. First, we clarify and expand on the nature and role of (...) motor representations in explaining intentional action. Next, we characterize the respective functions of intentions and motor representations, the differences in representational format and content that these imply, and the interface challenge these differences in turn raise. We then evaluate Butterfill and Sinigaglia’s recent answer to this interface challenge, according to which intentions refer to action outcomes by way of demonstrative deference to motor representations. We present some worries for this proposal, arguing that, among other things, it implicitly presupposes a solution to the problem, and so cannot help to resolve it. Finally, we suggest that we may make some progress on this puzzle by positing a “content-preserving causal process” taking place between intentions and motor representations, and we offer a proposal for how this might work. (shrink)

It is widely agreed that generics tolerate exceptions. It turns out, however, that exceptions are tolerated only so long as they do not violate homogeneity: when the exceptions are not concentrated in a salient “chunk” of the domain of the generic. The criterion for salience of a chunk is cognitive: it is dependent on the way in which the domain is mentally represented. Findings of psychological experiments about the ways in which different domains are represented, and the actors affecting such (...) representations, account for judgments of generic sentences, facts which cannot be explained by linguistics alone. The reason for the homogeneity requirement itself is, in turn, also dependent on cognitive considerations. Generics express default rules, and psychological findings have shown that, the more homogeneous the domain, the easier it is for subjects to infer rules about it. Thus, cognitive results form a crucial part of a comprehensive account of the meaning of a linguistic expression. (shrink)

Stawarczyk, Bezdek, and Zacks offer neuroscience evidence for a midline default network core, which appears to coordinate internal, top‐down mentation with externally‐triggered, bottom‐up attention in a push‐pull relationship. The network may enable the flexible pursuance of thoughts tuned into or detached from the current environment.

The book from which these sections are excerpted is concerned with the prospects for assimilating the study of human intelligence and its products to the natural sciences through the investigation of cognitive structures, understood as systems of rules and representations that can be regarded as These mental structui′es serve as the vehicles for the exercise of various capacities. They develop in the mind on the basis of an innate endowment that permits the growth of rich and highly articulated structures (...) along an intrinsically determined course under the triggering and partially shaping effect of experience, which fixes parameters in an intricate system of predetermined form. It is argued that the mind is modular in character, with a diversity of cognitive structures, each with its specific properties arid principles. Knowledge of language, of the behavior of objects, and much else crucially involves these mental structures, and is thus not characterizable in terms of capacities, dispositions, or practical abilities, nor is it necessarily grounded in experience in the standard sense of this term. (shrink)

A list of groceries, Professor Anscombe once suggested, might be used as a shopping list, telling what to buy, or it might be used as an inventory list, telling what has been bought (Anscombe 1957). If used as a shopping list, the world is supposed to conform to the representation: if the list does not match what is in the grocery bag, it is what is in the bag that is at fault. But if used as an inventory list, the (...) representation is supposed to conform to the world: if the list does not match what is in the bag, it is the list that is at fault. The first kind of representation, where the world is supposed to conform to the list, can be called "directive"; it represents or directs what is to be done. The second, where the list is supposed to conform to the world, can be called "descriptive"; it represents or describes what is the case. I wish to propose that there exist representations that face both these ways at once. With apologies to Dr. Doolittle, I call them pushmi-pullyu representations or PPRs. (shrink)