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. (shrink)

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. (shrink)

The essence of Hume’s eighteenth-century philosophy was that all the sciences were ‘dependent on the science of man’, and that the foundations of any such science need to rest on experience and observation. This title, first published in 1932, examines in detail how Hume interpreted ‘the science of man’ and how he applied his experimental methodology to humankind’s understanding, passions, social duties, economic activities, religious beliefs and secular history throughout his career. Particular attention is paid to the English, French and (...) Latin sources that shaped Hume’s theories. This is a full and fascinating title, of particular relevance to students with an interest in the philosophy of Hume specifically, as well as the philosophy of human nature and the methodologies applied to its study more generally. (shrink)

John Laird was a Scottish philosopher who specialised in metaphysics and moral philosophy. In this early work, which was originally published in 1920, Laird set out to analyse some of the more perplexing problems of philosophical realism. The text includes a brief survey of philosophical realism at the beginning and critical notes throughout. This book will be of value to anyone with an interest in the works of Laird and the history of philosophy.

We present a general cognitive architecture that tightly integrates symbolic, spatial, and visual representations. A key means to achieving this integration is allowing cognition to move freely between these modes, using mental imagery. The specific components and their integration are motivated by results from psychology, as well as the need for developing a functional and efficient implementation. We discuss functional benefits that result from the combination of multiple content-based representations and the specialized processing units associated with them. Instantiating this theory, (...) we then discuss the architectural components and processes, and illustrate the resulting functional advantages in two spatially and visually rich domains. The theory is then compared to other prominent approaches in the area. (shrink)

We describe a fully abstract semantics for a simple functional language with locally declared names which may be used as pointers to names. It is based on a category of dialogue games acted upon by the group of natural number automorphisms. This allows a formal, semantic characterization of the key properties of names such as freshness and locality.We describe a model of the call-by-value λ-calculus based on these games, and show that it can be used to interpret the nu-calculus of (...) Pitts and Stark. We then construct a model of our pointer-language by extending our category of games with an explicit representation of the store, using a notion of semantic garbage-collection to erase inaccessible pointers. Using factorization and decomposition techniques, we show that the compact elements of our model are definable as terms, and hence it is fully abstract. (shrink)

Much research in the field of emotions has shown that people differ in the cues that they use to perceive their own emotions. People who are more responsive to personal cues (personal cuers) make use of cues arising from their own bodies and behavior; people who are less responsive to personal cues (situational cuers) make use of cues arising from the world around them. An evolutionary explanation of this well-documented phenomenon is that it occurs because of the operation of a (...) cognitive module designed to enable the organism to predict its own impending behavior. This theory suggests that situational cuers would be people for whom external factors are the best source of information about their own future behavior, whereas personal cuers are people for whom cues about themselves are the best source of information about their own future behavior. Such a view is founded in the New Realist philosophy of the early twentieth century, a philosophy that affected psychology through the work of E. C. Tolman and J. J. Gibson. (shrink)

In the pages that are to follow I shall try to discuss the validity and the sufficiency of a celebrated moral principle of Kant's “So act as to treat humanity, whether in thine own person or in that of any other, always as an end, never merely as a means.” In doing so, I shall say quite a lot about Kant, because his statement of the principle has had great influence, because he gave his genius to its elaboration, because he (...) illustrated and defended it in ways that deserve a close examination. On the other hand, my principal purpose is not to supply a piece of Kantian exegesis interspersed with sundry criticisms. In the main I want to discuss the principle, as people say, “on its merits.” In so far as I discuss Kant himself, I am doing so with the object of eliciting these merits. (shrink)

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. (shrink)

This paper will argue that there is no such thing as introspective access to judgments and decisions. I t won't challenge the existence of introspective access to perceptual and imagistic states, nor to emotional feelings and bodily sensations. On the contrary, the model presented in Section 2 presumes such access. Hence introspection is here divided into two categories: introspection of propositional attitude events, on the one hand, and introspection of broadly perceptual events, on the other. I shall assume that the (...) latter exists while arguing that the fonner doesn't . Section I makes some preliminary points and distinctions, and outlines the scope of the argument. Section 2 presents and motivates the general model of introspection that predicts a divided result. Section 3 provides independent evidence for the conclusion that judgments and decisions aren't introspectable. Section 4 then replies to a number of objections to the argument, the most important of which is made from the perspective of so-called "dual systems theories" of belief formation and decision making, The upshot is a limited form of eliminativism about introspection, in respect of at least two core categories of propositional attitude. (shrink)