To introduce the issue of the tracking and identification of human agents, I examine the ability of an agent to track a human person and distinguish this target from other individuals: The ability to perform person identification. First, I discuss influential mechanistic models of the perceptual recognition of human faces and people. Such models propose detailed hypotheses about the parts and activities of the mental mechanisms that control the perceptual recognition of persons. However, models based on perceptual recognition are incomplete (...) theories of person identification because they do not explain several identification behaviors that are fundamental to human social interactions. Furthermore, recognition-based models tend to appeal to the controversial concept of the “identity” of a person without explaining what determines personal identity and persistence. To overcome these limitations, I propose to integrate the face-recognition program into a broader causal-historical theory of identification. The causal-historical theory of identification complements models focused on perceptual recognition because it can account for the types of non-perceptual identification overlooked by the face-recognition program. Moreover, it can decompose the identification behaviors into tracking processes that succeed or fail to be sensitive to causal characteristics of a target. I illustrate these advantages with a discussion of the difference between the tracking of a person understood as either a causally continuous biological organism or a psychologically continuous mind. Finally, I argue that the causal-historical theory provides a theoretical framework for investigating the tracking of relations between a target and its contextual and historical attributes, such as a target's possessions. (shrink)

This paper presents an attempt to bridge the gap between logical and cognitive treatments of strategic reasoning in games. There have been extensive formal debates about the merits of the principle of backward induction among game theorists and logicians. Experimental economists and psychologists have shown that human subjects, perhaps due to their bounded resources, do not always follow the backward induction strategy, leading to unexpected outcomes. Recently, based on an eye-tracking study, it has turned out that even human subjects who (...) produce the outwardly correct ‘backward induction answer’ use a different internal reasoning strategy to achieve it. The paper presents a formal language to represent different strategies on a finer-grained level than was possible before. The language and its semantics help to precisely distinguish different cognitive reasoning strategies, that can then be tested on the basis of computational cognitive models and experiments with human subjects. The syntactic framework of the formal system provides a generic way of constructing computational cognitive models of the participants of the Marble Drop game. (shrink)