There is considerable evidence that the hippocampal system contributes both to (1) the temporary maintenance of memories and to (2) the processing of a particular type of memory representation. The findings on amnesia suggest that these two distinguishing features of hippocampal memory processing are orthogonal. Together with anatomical and physiological data, the neuropsychological findings support a model of cortico-hippocampal interactions in which the temporal and representational properties of hippocampal memory processing are mediated separately. We propose that neocortical association areas maintain (...) shortterm memories for specific items and events prior to hippocampal processing as well as providing the final repositories of long-term memory. The parahippocampal region supports intermediate-term storage of individual items, and the hippocampal formation itself mediates an organization of memories according to relevant relationships among items. Hippocampal-cortical interactions produce (i) strong and persistent memories for events, including their constituent elements and the relationships among them, and (ii) a capacity to express memories flexibly across a wide range of circumstances. (shrink)

The chapter introduces and characterizes the notion of fittingness. It charts the history of the relation and its relevance to contemporary debates in normative and metanormative philosophy and proceeds to survey issues to do with fittingness covered in the volume’s chapters, including the nature and epistemology of fittingness, the relations between fittingness and reasons, the normativity of fittingness, fittingness and value theory, and the role of fittingness in theorizing about responsibility. The chapter concludes with a brief discussion of issues to (...) do with fittingness that aren’t covered extensively by the volume’s chapters in order to indicate avenues for further research. (shrink)

Published in 1982 by CUP (pb. 2009) it discusses the forms of materialism then current, including Davidson, early Rorty, but concentrating on Smart and Armstrong, and arguing that central state materialism fails to give a better 'occurrent' account of conscious states than does behaviourism/functionalism, as Armstrong claims. The book starts with a version of the 'knowledge argument' and ends with a chapter claiming that our conception of matter/the physical is more problematic than our conception of mind.

This entry concerns dualism in the philosophy of mind. The term ‘dualism’ has a variety of uses in the history of thought. In general, the idea is that, for some particular domain, there are two fundamental kinds or categories of things or principles. In theology, for example a ‘dualist’ is someone who believes that Good and Evil — or God and the Devil — are independent and more or less equal forces in the world. Dualism contrasts with monism, which is (...) the theory that there is only one fundamental kind, category of thing or principle; and, rather less commonly, with pluralism, which is the view that there are many kinds or categories. In the philosophy of mind, dualism is the theory that the mental and the physical — or mind and body or mind and brain — are, in some sense, radically different kinds of thing. Because common sense tells us that there are physical bodies, and because there is intellectual pressure towards producing a unified view of the world, one could say that materialist monism is the ‘default option’. Discussion about dualism, therefore, tends to start from the assumption of the reality of the physical world, and then to consider arguments for why the mind cannot be treated as simply part of that world. (shrink)

It is a standard feature of modern philosophy, at least from Locke, to tie together the questions of how we perceive the world and what we have reason to think the world is like in itself. This is a natural connection, because the questions of how we perceive it, and what kind of conception of it we can best form on the basis of that mode of perception, are obviously intimately linked. Part I of this volume defends the sense-datum theory (...) of perception against its opponents, and argues that the sense-datum theory is much closer to a form of direct realism than is normally thought: we directly perceive the world in the form that it naturally manifests itself to creatures like us. This leaves open the question of what it is like in itself, and Part II tries to show that a Berkeleian interpretation—that the world is a nomological structure in the mind of God—is the most plausible option. Arguments with roots in Berkeley, in modern philosophers such as John Foster, and in modern science, are drawn on to support this conclusion. (shrink)

Physicalism has, over the past twenty years, become almost an orthodoxy, especially in the philosophy of mind. Many philosophers, however, feel uneasy about this development, and this volume is intended as a collective response to it. Together these papers, written by philosophers from Britain, the United States, and Australasia, show that physicalism faces enormous problems in every area in which it is discussed. The contributors not only investigate the well-known difficulties that physicalism has in accommodating sensory consciousness, but also bring (...) out its inadequacies in dealing with thought, intentionality, abstract objects, , and principles of both theoretical and practical reason; even its ability to cope with the physical world itself is called into question. Both strong "reductionist" versions and weaker "supervenience" theories are discussed and found to face different but equally formidable obstacles. Contributors include George Bealer, Peter Forrest, John Foster, Grant Gillett, Bob Hale, Michael Lockwood, George Myro, Nicholas Nathan, David Smith, Steven Wagner, Ralph Walker, and Richard Warner. (shrink)

This study looks at the relationship between the two thinkers and demonstrates the viable alternative to Hobbes' orthodoxy that can be found in Kant's political writings. It also shows how Kant anticipated the development of a world-wide political order.

This chapter starts by restating the causal-hallucinatory argument against naive realism. This argument depends on the possibility of “philosophers' hallucinations.” It draws attention to the role of what the chapter refers to as the nonarbitrariness of philosophers' hallucinations in supporting this argument. The chapter then discusses three attempts to refute the argument. Two of them, those associated with John McDowell and with Michael Martin, are explicitly forms of disjunctivism. The third, exemplified by Mark Johnston, has, the chapter claims, disjunctivist features. (...) None of these responses to the argument is plausible. (shrink)

This cutting-edge book offers a theoretical account of the evolution of multiple memory systems of the brain. The authors conceptualize these memory systems from both behavioral and neurobiological perspectives.

In any probabilistic theory, we say that a bipartite state ω on a composite system AB steers its marginal state ω B if, for any decomposition of ω B as a mixture ω B =∑ i p i β i of states β i on B, there exists an observable {a i } on A such that the conditional states $\omega_{B|a_{i}}$ are exactly the states β i . This is always so for pure bipartite states in quantum mechanics, a fact (...) first observed by Schrödinger in 1935. Here, we show that, for weakly self-dual state spaces (those isomorphic, but perhaps not canonically isomorphic, to their dual spaces), the assumption that every state of a system A is steered by some bipartite state of a composite AA consisting of two copies of A, amounts to the homogeneity of the state cone. If the state space is actually self-dual, and not just weakly so, this implies (via the Koecher-Vinberg Theorem) that it is the self-adjoint part of a formally real Jordan algebra, and hence, quite close to being quantum mechanical. (shrink)

Using a result of H. Hanche-Olsen, we show that (subject to fairly natural constraints on what constitutes a system, and on what constitutes a composite system), orthodox finite-dimensional complex quantum mechanics with superselection rules is the only non-signaling probabilistic theory in which (i) individual systems are Jordan algebras (equivalently, their cones of unnormalized states are homogeneous and self-dual), (ii) composites are locally tomographic (meaning that states are determined by the joint probabilities they assign to measurement outcomes on the component systems) (...) and (iii) at least one system has the structure of a qubit. Using this result, we also characterize finite dimensional quantum theory among probabilistic theories having the structure of a dagger-monoidal category. (shrink)

In this volume, thirteen distinguished contributors from the United States, Canada, Britain, and Germany cast light on important aspects of Kant's liberal thinking.

This chapter contains sections titled: Introduction The Argument for Predicate Dualism Why Predicate Dualism leads to Dualism Proper Is the Talk of “Perspectives” Legitimate? A Surprising Ally The Optionality of Non‐basic Levels and the Unavoidability of Psychology Why Bundle Dualism Will Not Do Two Reflections on this Conclusion An Objection Conclusion.

Quantum information science is a source of task-related axioms whose consequences can be explored in general settings encompassing quantum mechanics, classical theory, and more. Quantum states are compendia of probabilities for the outcomes of possible operations we may perform on a system: ''operational states.'' I discuss general frameworks for ''operational theories'' (sets of possible operational states of a system), in which convexity plays key role. The main technical content of the paper is in a theorem that any such theory naturally (...) gives rise to a ''weak effect algebra'' when outcomes having the same probability in all states are identified and in the introduction of a notion of ''operation algebra'' that also takes account of sequential and conditional operations. Such frameworks are appropriate for investigating what things look like from an ''inside view,'' i.e., for describing perspectival information that one subsystem of the world can have about another. Understanding how such views can combine, and whether an overall ''geometric'' picture (''outside view'') coordinating them all can be had, even if this picture is very different in structure from the perspectives within it, is the key to whether we may be able to achieve a unified, ''objective'' physical view in which quantum mechanics is the appropriate description for certain perspectives, or whether quantum mechanics is truly telling us we must go beyond this ''geometric'' conception of physics. (shrink)

Let L be a computable vocabulary, let X_L be the space of L-structures with universe ω and let f:2^\omega \rightarrow X_L be a hyperarithmetic function such that for all x,y \in 2^\omega, if x \equiv _h y then f(x) \cong f(y). One of the following two properties must hold. (1) The Scott rank of f(0) is \omega _1^{CK} + 1. (2) For all x \in 2^\omega, f(x) \cong f(0).

We generalize two concepts from special cases of Polish group actions to the general case. The two concepts are elementary embeddability, from model theory, and analytic sets, from the usual descriptive set theory.

This paper provides an outline of Kant's ideas on international right showing how they derive from his general view of law and showing how they relate to his cosmopolitan ideal of hospitality, his views on colonialism and the vexed issue of intervention in the internal politics of other states. It can be shown – based on his ideal of hospitality and good state practice – that Kant is reluctant to recommend intervention by advanced states in the affairs of other states (...) and societies even where those societies have not attained a settled, civil status. This is not to imply that we should be indifferent to the situation of other peoples, but rather that we should encourage them to find their own way to a more advanced condition. We can best encourage them by setting and abiding by rigorous standards of law both domestically and internationally that create the possibility of a wholly legally regulated international system.War should be regarded as neither a desirable nor, ultimately, a legitimate means of pursuing foreign policy. (shrink)

In the categorical approach to the foundations of quantum theory, one begins with a symmetric monoidal category, the objects of which represent physical systems, and the morphisms of which represent physical processes. Usually, this category is taken to be at least compact closed, and more often, dagger compact, enforcing a certain self-duality, whereby preparation processes (roughly, states) are interconvertible with processes of registration (roughly, measurement outcomes). This is in contrast to the more concrete “operational” approach, in which the states and (...) measurement outcomes associated with a physical system are represented in terms of what we here call a convex operational model: a certain dual pair of ordered linear spaces–generally, not isomorphic to one another. On the other hand, state spaces for which there is such an isomorphism, which we term weakly self-dual, play an important role in reconstructions of various quantum-information theoretic protocols, including teleportation and ensemble steering. In this paper, we characterize compact closure of symmetric monoidal categories of convex operational models in two ways: as a statement about the existence of teleportation protocols, and as the principle that every process allowed by that theory can be realized as an instance of a remote evaluation protocol—hence, as a form of classical probabilistic conditioning. In a large class of cases, which includes both the classical and quantum cases, the relevant compact closed categories are degenerate, in the weak sense that every object is its own dual. We characterize the dagger-compactness of such a category (with respect to the natural adjoint) in terms of the existence, for each system, of a symmetric bipartite state, the associated conditioning map of which is an isomorphism. (shrink)

Substance dualism is the view that humans are essentially immaterial souls, and that conscious events are events in that soul. This chapter considers the arguments for and against this view. It argues that such questions as ‘Would I have existed if my mother's egg had been fertilized by a different though genetically identical sperm from my father?’ must have a sharp yes-or-no answer, but that they would not have a sharp answer if being me consisted simply of being made of (...) similar genetic material and having a similar conscious life. (shrink)

D. Dieks has proposed a semantical rule which he claims yields a realistic interpretation of the formalism of quantum mechanics without the projection postulate. I argue that his proposal is unacceptable because it violates a natural requirement of psychophysical parallelism. His "semantical rule" is not an acceptable interpretive rule because it does not identify structures in the theory with structures in our experience, but postulates a merely probabilistic relationship between the two. Dieks' interpretation is contrasted with Everett's relative state interpretation, (...) which attempts the same task but respects psychophysical parallelism. (shrink)

Meta-languages are vital to the development and usage of formal systems, and yet the nature of meta-languages and associated notions require clarification. Here we attempt to provide a clear definition of the requirements for a language to be a meta-language, together with consideration of issues of proof theory, model theory and interpreters for such a language.

We develop a logical modelling approach to describe evolvable computational systems. In this account, evolvable systems are built hierarchically from components where each component may have an associated supervisory process. The supervisor's purpose is to monitor and possibly change its associated component. Evolutionary change may be determined purely internally from observations made by the supervisor or may be in response to external change. Supervisory processes may be present at any level in the component hierarchy allowing us to use evolutionary behaviour (...) as an integral part of system design. We model such systems in a revision-based first-order logical framework in which supervisors are modelled as theories which are at a logical meta-level to the theories of their components. This enables evolutionary change of the component to be induced by revision-based changes of the supervisor at the meta-level. In this way, the intervention required in evolutionary change is modelled purely logically. The hierarchical component-based structure is fairly intricate so we present the basic ideas firstly in a simple setting, the well-known blocks world, before introducing tree-based structures to represent component hierarchies. We also introduce some techniques for establishing the behaviour of evolvable systems specified in this logical framework. The ideas and concepts are driven by example throughout. We conclude with a more substantial example, that of a simple model of an evolvable system of automated bank teller machines. (shrink)

We investigate the connection between interference and computational power within the operationally defined framework of generalised probabilistic theories. To compare the computational abilities of different theories within this framework we show that any theory satisfying four natural physical principles possess a well-defined oracle model. Indeed, we prove a subroutine theorem for oracles in such theories which is a necessary condition for the oracle model to be well-defined. The four principles are: causality, purification, strong symmetry, and informationally consistent composition. Sorkin has (...) defined a hierarchy of conceivable interference behaviours, where the order in the hierarchy corresponds to the number of paths that have an irreducible interaction in a multi-slit experiment. Given our oracle model, we show that if a classical computer requires at least n queries to solve a learning problem, because fewer queries provide no information about the solution, then the corresponding “no-information” lower bound in theories lying at the kth level of Sorkin’s hierarchy is \. This lower bound leaves open the possibility that quantum oracles are less powerful than general probabilistic oracles, although it is not known whether the lower bound is achievable in general. Hence searches for higher-order interference are not only foundationally motivated, but constitute a search for a computational resource that might have power beyond that offered by quantum computation. (shrink)