Jim Laird

Game semantics extends the Curry–Howard isomorphism to a three-way correspondence: proofs, programs, strategies. But the universe of strategies goes beyond intuitionistic logics and lambda calculus, to capture stateful programs. In this paper we describe a logical counterpart to this extension, in which proofs denote such strategies. The system is expressive: it contains all of the connectives of Intuitionistic Linear Logic, and first-order quantification. Use of Lairdʼs sequoid operator allows proofs with imperative behaviour to be expressed. Thus, we can embed first-order Intuitionistic Linear Logic into this system, Polarized Linear Logic, and an imperative total programming language.The proof system has a tight connection with a simple game model, where games are forests of plays. Formulas are modelled as games, and proofs as history-sensitive winning strategies. We provide a strong full completeness result with respect to this model: each finitary strategy is the denotation of a unique analytic proof. Infinite strategies correspond to analytic proofs that are infinitely deep. Thus, we can normalise proofs, via the semantics

William James’s theory of emotion has been controversial since its inception, and a basic analysis of Cannon’s critique is provided. Research on the impact of facial expressions, expressive behaviors, and visceral responses on emotional feelings are each reviewed. A good deal of evidence supports James’s theory that these types of bodily feedback, along with perceptions of situational cues, are each important parts of emotional feelings. Extensions to James’s theory are also reviewed, including evidence of individual differences in the effect of bodily responses on emotional experience.

This book aims to pinpoint the connection feelings have with behaviour - a connection that, while clear, has never been fully explained. Following William James, Laird argues that feelings are not the cause of behavior but rather its consequences; the same goes for behaviour and motives and behaviour and attitudes. He presents research into feelings across the spectrum, from anger to joy to fear to romantic love, that support this against-the-grain view. Laird discusses the problem of common sense, self-perception theory, the association between feelings and higher cognitive processes, and also the literature on facial expression, posture, and gaze.

At the empirical center of James’s theory of emotion is the prediction that people induced to act emotionally will report feeling the corresponding emotion. While the research more or less inspired by James is complex, it is also large. Reisenzein and Stephan identify a number of problems in this literature, but we think, on balance, the research supports James’s hypothesis. At a minimum, there are literally hundreds of studies showing that people induced to act as if they felt an emotion, an attitude, or a judgment report those feelings. Critics of James’s theory are left with the task of accounting for these findings.

We present an analysis of the game semantics of general references introduced by Abramsky, Honda and McCusker which exposes the algebraic structure of the model. Using the notion of sequoidal category, we give a coalgebraic definition of the denotational semantics of storage cells of arbitrary type. We identify further conditions on the model which allow an axiomatic presentation of the proof that finite elements of the model are definable by programs, in the style of Abramsky’s Axioms for Definability.