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)

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)

In this paper I describe the history of the surreal trajectories problem and argue that in fact it is not a problem for Bohm's theory. More specifically, I argue that one can take the particle trajectories predicted by Bohm's theory to be the actual trajectories that particles follow and that there is no reason to suppose that good particle detectors are somehow fooled in the context of the surreal trajectories experiments. Rather than showing that Bohm's theory predicts the wrong particle (...) trajectories or that it somehow prevents one from making reliable measurements, such experiments ultimately reveal the special role played by position and the fundamental incompatibility between Bohm's theory and relativity. They also provide a striking example of the theory-ladenness of observation. (shrink)

This article examines sexual ‘misery memoirs’, focusing on author/reader and genre/market relationships in the context of models of trauma and child sexual abuse. It shows that the success of sexual ‘misery memoirs’ is inextricably bound up with the popular dissemination of a feminist-psychoanalytic model of traumatic memory that has taken place since the 1970s. It also argues that, as the ‘truth’ of recovered and traumatic memories has been fundamental to its success, anxieties about false memory and hoax ‘misery memoirs’ have (...) posed a challenge to the genre and established a market for ‘retractor’ narratives. (shrink)

Vanguard anti-narrativist Galen Strawson declares personal memory unimportant for self-constitution. But what if lapses of personal memory are sustained by a morally reprehensible amnesia about historical events, as happens in the work of W.G. Sebald? The importance of memory cannot be downplayed in such cases. Nevertheless, contrary to expectations, a concern for memory needn’t ally one with the narrativist position. Recovery of historical and personal memory results in self-dissolution and not self-unity or understanding in Sebald’s characters. In the end, Sebald (...) shows how memory can be significant, even imperative, within a deeply anti-narrativist outlook on the self, memory, and history. (shrink)

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 notion of perfect recall in extensive games was introduced by Kuhn (1953), who interpreted it as "equivalent to the assertion that each player is allowed by the rules of the game to remember everything he knew at previous moves and all of his choices at those moves''. We provide a characterization and axiomatization of perfect recall based on two notions of memory: (1) memory of past knowledge and (2) memory of past actions.

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)

We study the effects of environmental catastrophes on the evolution of a population of sensory-motor agents with individually evolving mutation rates, and compare these effects in a variety of control systems. A catastrophe makes the balance shift toward the need for evolutionary novelty, and we observe the mutation rate evolve upwards. As the population adapts the sensory-motor strategies to the new environment and the balance shifts toward a need for evolutionary memory, the mutation rate falls. These observations support the hypothesis (...) that second-order evolution of the mutation flexibly balances the need for evolutionary “novelty” and “memory,” both of which are controlled by the mutation rate. (shrink)

This reflection on two chapters of Xavier Tilliette’s La Mémoire et l’Invisible points out that Newman’s Sicilian sojourn was not only an historical turning point in his life, but the memory of his “illness in Sicily” had a life–long influence.

The immemorial and recollection -- The reserve of forgetting -- The unforgettable -- The sudden and the unhoped for -- Retrospection.

This book is the outgrowth of a panel of papers on the theme of "memory," presented at the 1987 Annual Meeting of the Buddhism Section of the American Academy of Religion. Four of the contributors to this volume, including Western phenomenologist Edward Casey from SUNY Stony Brook, participated in that panel, though the papers were obviously further developed since that inceptional presentation. The book focusses on the crucial but heretofore almost entirely overlooked topic of memory and remembrance as it appears (...) in the Indian and Tibetan Buddhist traditions. There are 11 papers here, plus an editor's introduction, and though some of them seem to overlap somewhat, none makes any of the others completely redundant or unnecessary. The result is a very thorough and novel treatment of a crucially important subject for Buddhologists, and is further a fine example of Comparative Philosophy. (shrink)

I argue that recent developments in animal cognition support the conclusion that HOT theory is consistent with animal consciousness. There seems to be growing evidence that many animals are indeed capable of having I-thoughts, including episodic memory, as well as have the ability to understand the mental states of others.

Abstract The article is a reading, in conjunction with one-another, of Time and Being and What is metaphysics. Its scope is that of raising questions on certain Heideggerian topics that are here formulated as thesis. Namely, first that the turn in Heidegger’s thinking is not a change in his process of thinking, but rather an essential trait of what Heidegger calls the matter at hand (Sachverhalt). Secondly, that this turn of the matter at hand is in itself memory in a (...) twofold way: as metaphysics in its relation to being and time, and as questioning of this metaphysical relation. And finally, that this turn is a technical one, in the sense of technique as this latter is, in Heidegger’s thinking, the original determination of Being as Anwesenheit. (shrink)

K. Lehrer and J. Richard’s analysis of remembering that p is shown to be deficient, particularly because it fails to treat factual memory as an epistemic concept. Adding a requirement concerning the subject’s past justification accommodates instances of factual memory without factual knowledge, helps explain the role of justification in remembering that p, and strengthens the analysis against certain counterexamples. The paper includes an assessment of A. Cusmariu;s definition of impure memory.

One difference between traditional and contemporary nontraditional theories of memory is that the former would affirm, whereas the latter would deny, that a person can be correctly described as having remembered that p solely in virtue of having knowledge the certainty of which is grounded upon the person’s present remembering. I argue that there cannot be such a case, and that what may appear to be such a case—as presented in Don Locke’s book Memory—can be explicated by a contemporary nontraditional (...) theorist without making any concessions to the traditional theorist. (shrink)

For cases in which to remember that p is to have (strict) nonbasic, unmixed memory knowledge that p; in which there is at most one prior time, t, from which one remembers; in which one knew at t that p; and in which there can arise a sensible question whether one remembers that p from t — a person, B, remembers that p from t if and only if: (1) There is a set of grounds a subset of which consists (...) of (i) only those grounds B has at both t and the present for B to be sure that p, and (ii) enough such grounds to make it reasonable at both t and the present for B to be sure that p (I call any such subset a set of “adequate original grounds dating from t”), and (2) there is no time prior to t such that B has a set of adequate original grounds dating from that time. The way in which the crucial terms in this explication are being used is explained. And the explication is defended by showing how it can deal with cases that are counterexamples to explications recently offered by Malcolm and by Munsat. (shrink)

The Sexual Politics of Time will be of interest tostudents and researchers of time, memory, difference and cultural change, in subjects such as Media and ...

The mnemonic arts and the idea of a universal language that would capture the essence of all things were originally associated with cryptology, mysticism, and other occult practices. And it is commonly held that these enigmatic efforts were abandoned with the development of formal logic in the seventeenth century and the beginning of the modern era. In his distinguished book, Logic and the Art of Memory Italian philosopher and historian Paolo Rossi argues that this view is belied by an examination (...) of the history of the idea of a universal language. Based on comprehensive analyses of original texts, Rossi traces the development of this idea from late medieval thinkers such as Ramon Lull through Bruno, Bacon, Descartes, and finally Leibniz in the seventeenth century. The search for a symbolic mode of communication that would be intelligible to everyone was not a mere vestige of magical thinking and occult sciences, but a fundamental component of Renaissance and Enlightenment thought. Seen from this perspective, modern science and combinatorial logic represent not a break from the past but rather its full maturity. Available for the first time in English, this book (originally titled Clavis Universalis ) remains one of the most important contributions to the history of ideas ever written. In addition to his eagerly anticipated translation, Steven Clucas offers a substantial introduction that places this book in the context of other recent works on this fascinating subject. A rich history and valuable sourcebook, Logic and the Art of Memory documents an essential chapter in the development of human reason. (shrink)

First, we describe a psychological experiment in which the participants were asked to determine whether sentences of first-order logic were true or false in finite graphs. Second, we define two proof systems for reasoning about truth and falsity in first-order logic. These proof systems feature explicit models of cognitive resources such as declarative memory, procedural memory, working memory, and sensory memory. Third, we describe a computer program that is used to find the smallest proofs in the aforementioned proof systems when (...) capacity limits are put on the cognitive resources. Finally, we investigate the correlation between a number of mathematical complexity measures defined on graphs and sentences and some psychological complexity measures that were recorded in the experiment. (shrink)

A long-standing debate surrounds the question as to what justifies memory judgements. According to the Past Reason Theory, these judgements are justified by the reasons we had to make identical judgements in the past, whereas the Present Reason Theory claims that these justifying reasons are to be found at the time we pass the memory judgements. In this paper, I defend the original claim that, far from being exclusive, these two theories should be applied to different kinds of memory judgements. (...) The Past Reason Theory offers the most appealing account of justified propositional memory judgements, while the Present Reason Theory provides the best approach to justified episodic memory judgements. One outcome of my discussion is thus that memory is not epistemologically unified and my argument in favour of this conclusion connects with the issues of internalism, reliabilism and the basing relation. (shrink)

Meinong’s early essay, Zur erkenntnistheoretischen Würdigung des Gedächtnisses, provides, despite its brevity, a very important discussion of mnesic phenomena. In this paper, I investigate some points I believe to be of particular interest: some of them are briefly broached by Meinong, whereas others form an important part of his argument. Moreover, I will connect the discussion with more recent concerns in analytical philosophy. This presentation is structured in the following way. In section (1), I present Meinong’s definition of memory, and (...) contrast it with more recent conceptions. In section (2), I present his epistemological discussion of memory judgements, which is further investigated in section (3), where I discuss the notion of presumptive evidence via the criticisms it elicited from Franz Brentano. At the end of this presentation, we will understand why Meinong’s essay is a landmark in the philosophical investigation of memory. (shrink)