We study the logic of strategic ability of coalitions of agents with bounded memory by introducing Alternating-time Temporal Logic with Bounded Memory (ATLBM), a variant of Alternating-time Temporal Logic (ATL). ATLBM accounts for two main consequences of the assumption that agents have bounded memory. First, an agent can only remember a strategy that specifies actions in a bounded number of different circumstances. While the ATL-formula means that coalition C has a joint strategy which will make φ true forever, the ATLBM-formula (...) means that C has a joint strategy which for each agent in C specifies what to do in no more than n different circumstances and which will make φ true forever. Second, an agent has bounded recall—a strategy can only take the last m states of the system into account. We use the logic to study the interaction between strategic ability, bounded number of decisions, bounded recall and incomplete information. We discuss the logical properties and expressiveness of ATLBM, and its relationship to ATL. We show that ATLBM can express properties of strategic ability under bounded memory which cannot be expressed in ATL. (shrink)

In his recent (2005) book "Sweet Dreams: philosophical obstacles to a science of consciousness," Dennett renews his attack on a philosophical notion of qualia, the success of which attack is required if his brand of Functionalism is to survive. He also articulates once again what he takes to be essential to his notion of consciousness. I shall argue that his new, central argument against the philosophical concept of qualia fails. In passing I point out a difficulty that David Rosenthal's "higher-order (...) thought" theory of consciousness also faces in accounting for qualia. I then contrast Dennett's newest account of consciousness with interestingly different conceptions by contemporary neuro-scientists, and I suggest that philosophers should take the recent suggestions by neuro-scientists more seriously as a subject for philosophical investigation. (shrink)

This paper is just a comment to the impressive work by A. C. Ehresmann and J.-P. Vanbremeersch on the theory of Memory Evolutive Systems (MES). MES are truly higher order systems. Hyperstructures represent a new concept which I introduced in order to capture the essence of what a higher order structure is—encompassing hierarchies and emergence. Hyperstructures are motivated by cobordism theory in topology and higher category theory. The morphism concept is replaced by the concept of a bond. In the paper (...) I briefly introduce hyperstructures motivated geometrically and suggest further developments of the MESs along these lines, which could widen up new areas of applications. (shrink)

Extreme conditions like savantism, autism or synaesthesia, which have a neurological 2AH, UK basis, challenge the idea that other minds are similar to our own. In this paper we report a single case study of a man in whom all three of these conditions co-occur. We suggest, on the basis of this single case, that when savantism and synaesthesia co- occur, it is worthwhile testing for an undiagnosed Autism Spectrum Condition (ASC). This is because savantism has an established association with (...) ASC, and the combination of ASC with synaesthesia may increase the likelihood of savantism. The implications of these conditions for philosophy of mind are introduced. (shrink)

Johnson-Laird's mental models theory claims that reasoning is a semantic process of construction and manipulation of models in working memory of limited capacity. Accordingly, both a deduction and a given interpretation of a premise would be all the harder the higher the number of models they require. The purpose of the present experiment was twofold. First, it aimed to demonstrate that the interpretation of if...then conditional sentences in children (third, sixth, and ninth graders) evolves as a function of the number (...) of models the children can produce. We proposed a theory of conditional reasoning development that hypothesises a developmental trend of three successive levels of interpretations underlain by one, two, and then three models, i.e. conjunctive, biconditional, and conditional respectively. Second, we aimed to show that these different levels correlate with working memory capacities: the higher the working memory span, the higher the number of models underlying the conditional interpretation. These two hypotheses were verified, supporting the mental models theory. The results are compared with the rival theory of mental logic. (shrink)

From its genesis in the 1960s, the focus of inquiry in neuroscience has been on the cellular and molecular processes underlying neural activity. In this pursuit neuroscience has been enormously successful. Like any successful scientific inquiry, initial successes have raised new questions that inspire ongoing research. While there is still much that is not known about the molecular processes in brains, a great deal of very important knowledge has been secured, especially in the last 50 years. It has also attracted (...) the attention of a number of philosophers, some of whom have viewed it as evidence for a ruthlessly reductionistic program that will eventually explain how mental processes are performed in the brain in purely molecular terms. As neuroscience developed, however, there emerged a smaller group of researchers who focused on systems, behavioral, and cognitive neuroscience. These investigators have also made impressive advances in the last 50 years and they have been the focus of an even larger group of philosophers, who have appealed to systems level understanding of the brain as providing the appropriate point of connection to the information processing accounts advanced in psychology. (shrink)

Much of our work with enriched experience and training in animals supports the Quartz & Sejnowski (Q&S) thesis that environmental information can interact with pre-existing neural structures to produce new synapses and neural structure. However, substantial data as well as an evolutionary perspective indicate that multiple information-capture systems exist: some are constructivist, some are selectionist, and some may be tightly constrained.

∗I am grateful to two anonymous referees for helpful and constructive comments. A first version of this paper was presented at the fifth conference on Logic and the Foundations of Game and Decision Theory (LOFT5), Torino, June 2002.

An information completion of an extensive game is obtained by extending the information partition of every player from the set of her decision nodes to the set of all nodes. The extended partition satisfies Memory of Past Knowledge (MPK) if at any node a player remembers what she knew at earlier nodes. It is shown that MPK can be satisfied in a game if and only if the game is von Neumann (vN) and satisfies memory at decision nodes (the restriction (...) of MPK to a player's own decision nodes). A game is vN if any two decision nodes that belong to the same information set of a player have the same number of predecessors. By providing an axiom for MPK we also obtain a syntactic characterization of the said class of vN games. (shrink)

The problem of cortical integration is described and various proposed solutions, including grandmother cells, cell assemblies, feed-forward structures, RAAM and synchronization, are reviewed. One method, involving complex attractors, that has received little attention in the literature, is explained and developed. I call this binding through annexation. A simulation study is then presented which suggests ways in which complex attractors could underlie our capacity to reason. The paper ends with a discussion of the efficiency and biological plausibility of the proposals as (...) integration mechanisms for different regions and functions of the brain. (shrink)

In the hopes of directing students to the great philosophic texts through the entertainment fare they consume, this article analyzes the philosophic significance of Memento, a 2000 film directed by Christopher Nolan. We understand the film as a thought experiment in which memory capacity is partially removed from the main character, Leonard Shelby. The experiment is run with Leonard's thoughts and behavior according with Hume's epistemology and cognitive psychology. As a result, Memento ends up illustrating Hume's positions on personal identity, (...) the character of justice, and the intellectual limitations of the human mind. (shrink)

This is a review of the book ‘Memory Evolutive Systems; Hierarchy, Emergence, Cognition’, by A. Ehresmann and J.P. Vanbremeersch. I welcome the use of category theory and the notion of colimit as a way of describing how complex hierarchical systems can be organised, and the notion of categories varying with time to give a notion of an evolving system. In this review I also point out the relation of the notion of colimit to ideas of communication; the necessity of communications (...) to be symbolic representations; and the use of an analogy with mathematics to spell out some of the necessities of such a mode of communication to be powerful, robust and efficient. (shrink)

The effort to identify the neural substrate of episodic recall, though ambitious, lacks experimental support. By considering the data on c-fos activation by novel and familiar stimuli in recognition studies, we illustrate how inadequate experimental designs permit alternative interpretations. We stress that interpretation of c-fos expression changes should be supported by adequate recognition tests.

Blair proposes that fluid intelligence, working memory, and executive function form a unitary construct: fluid cognition. Recently, our group has utilized a combined correlational–experimental cognitive neuroscience approach, which we argue is beneficial for investigating relationships among these individual differences in terms of neural mechanisms underlying them. Our data do not completely support Blair's strong position. (Published Online April 5 2006).

The reconstructive turn in memory theory challenges us to provide an account of successful remembering that is attentive to the ways in which we use memory, both individually and socially. I investigate conceptualizations of accuracy and integrity useful to memory theorists and argue that faithful recollection is often a complex epistemological/ethical achievement.

Some self-proclaimed skeptics of recovered memory claim that traumatic childhood events simply cannot be forgotten at the time only to be remembered later in life. This claim has been made repeatedly by the Advisory Board members of a prominent advocacy group for parents accused of sexual abuse, the so-called False Memory Syndrome Foundation. The research project described in this article identifies and documents the growing number of cases that have been ignored or distorted by such skeptics. To date, this project (...) has documented 35 cases in which recovered memories of traumatic childhood events were corroborated by clear and convincing evidence. This article concludes with some observations about the politics of the false memory movement, particularly the tendency to conceal or omit evidence of corroboration. Several instances of this vanishing facts syndrome are documented and analyzed. (shrink)