I present a formal theory of the logic and aboutness of imagination. Aboutness is understood as the relation between meaningful items and what they concern, as per Yablo and Fine’s works on the notion. Imagination is understood as per Chalmers’ positive conceivability: the intentional state of a subject who conceives that p by imagining a situation—a configuration of objects and properties—verifying p. So far aboutness theory has been developed mainly for linguistic representation, but it is natural to extend it to (...) intentional states. The proposed framework combines a modal semantics with a mereology of contents: imagination operators are understood as variably strict quantifiers over worlds with a content-preservation constraint. (shrink)

I want to model a finite, fallible cognitive agent who imagines that p in the sense of mentally representing a scenario—a configuration of objects and properties—correctly described by p. I propose to capture imagination, so understood, via variably strict world quantifiers, in a modal framework including both possible and so-called impossible worlds. The latter secure lack of classical logical closure for the relevant mental states, while the variability of strictness captures how the agent imports information from actuality in the imagined (...) non-actual scenarios. Imagination turns out to be highly hyperintensional, but not logically anarchic. Section 1 sets the stage and impossible worlds are quickly introduced in Sect. 2. Section 3 proposes to model imagination via variably strict world quantifiers. Section 4 introduces the formal semantics. Section 5 argues that imagination has a minimal mereological structure validating some logical inferences. Section 6 deals with how imagination under-determines the represented contents. Section 7 proposes additional constraints on the semantics, validating further inferences. Section 8 describes some welcome invalidities. Section 9 examines the effects of importing false beliefs into the imagined scenarios. Finally, Sect. 10 hints at possible developments of the theory in the direction of two-dimensional semantics. (shrink)

In this article , I first engage in some conceptual clarification of what the words "imagine," "imagining," and "imagination" can mean. Each has a constructive sense, an attitudinal sense, and an imagistic sense. Keeping the senses straight in the course of cognitive theorizing is important for both psychology and philosophy. I then discuss the roles that perceptual memories, beliefs, and genre truth attitudes play in constructive imagination, or the capacity to generate novel representations that go well beyond what's prompted by (...) one's immediate environment. (shrink)

The article looks at the structure of impossible worlds, and their deployment in the analysis of some intentional notions. In particular, it is argued that one can, in fact, conceive anything, whether or not it is impossible. Thus a semantics of conceivability requires impossible worlds.

As Hume famously claimed, we are nowhere more free than in our imagination. While this feature of imagination suggests that imagination has a crucial role to play in modal epistemology, it also suggests that imagining cannot provide us with any non-modal knowledge about the world in which we live. This chapter rejects this latter suggestion. Instead it offers an account of “imagining under constraints,” providing a framework for showing when and how an imaginative project can play a justificatory role with (...) respect to our beliefs about the world. That we can be free in our imaginings does not show that they must proceed unfettered; as is argued, our ability to constrain our imaginings in light of facts about the world enables us to learn from them. The important upshot is that imagination has considerably more epistemic significance than previously thought. (shrink)

Recent accounts of pretense have been underdescribed in a number of ways. In this paper, we present a much more explicit cognitive account of pretense. We begin by describing a number of real examples of pretense in children and adults. These examples bring out several features of pretense that any adequate theory of pretense must accommodate, and we use these features to develop our theory of pretense. On our theory, pretense representations are contained in a separate mental workspace, a Possible (...) World Box which is part of the basic architecture of the human mind. The representations in the Possible World Box can have the same content as beliefs. Indeed, we suggest that pretense representations are in the same representational ``code'' as beliefs and that the representations in the Possible World Box are processed by the same inference and UpDating mechanisms that operate over real beliefs. Our model also posits a Script Elaborator which is implicated in the embellishment that occurs in pretense. Finally, we claim that the behavior that is seen in pretend play is motivated not from a ``pretend desire'', but from a real desire to act in a way that ®ts the description being constructed in the Possible World Box. We maintain that this account can accommodate the central features of pretense exhibited in the examples of pretense, and we argue that the alternative accounts either can't accommodate or fail to address entirely some of the central features of pretense. q 2000 Elsevier Science B.V. All rights reserved. (shrink)

If imagination is subject to the will, in the sense that people choose the content of their own imaginings, how is it that one nevertheless can learn from what one imagines? This chapter argues for a way forward in addressing this perennial puzzle, both with respect to propositional imagination and sensory imagination. Making progress requires looking carefully at the interplay between one’s intentions and various kinds of constraints that may be operative in the generation of imaginings. Lessons are drawn from (...) the existing literature on propositional imagination and from the control theory literature concerning the prediction and comparison mechanisms (or “forward models”) involved in ordinary perception. A more general conclusion is reached that, once we have the tools to understand how some imaginings are both under willful control and helpfully guide action and inference, we will have what we need to understand the cognitive basis of imagination in general. (shrink)

The psychological mechanism of decision-making has traditionally been modeled with the help of belief-desire psychology: the agent has some desires (or other pro-attitudes) and some background beliefs and deciding between two possible actions is a matter of comparing the probability of the satisfaction of these desires given the background beliefs in the case of the performance of each action. There is a wealth of recent empirical findings about how we actually make decisions that seems to be in conflict with this (...) picture. My aim is to outline an alternative model that is consistent with these empirical findings. This alternative model emphasizes the role imagination plays in our decisions: when we decide between two possible actions, we imagine ourselves in the situation that we imagine to be the outcome of these two actions and then compare these two imaginings. (shrink)

Imagination seems to play an epistemic role in philosophical and scientific thought experiments, mindreading, and ordinary practical deliberations insofar as it generates new knowledge of contingent facts about the world. However, it also seems that imagination is limited to creative generation of ideas. Sometimes we imagine fanciful ideas that depart freely from reality. The conjunction of these claims is what I call the puzzle of knowledge through imagination. This chapter aims to resolve this puzzle. I argue that imagination has an (...) epistemic role to play, but it is limited to the context of discovery. Imagination generates ideas, but other cognitive capacities must be employed to evaluate these ideas in order for them to count as knowledge. Consideration of the Simulation Theory's so-called "threat of collapse” provides further evidence that imagination does not, on its own, yield new knowledge of contingent facts, and it suggests a way to supplement imagination in order to get such knowledge. (shrink)

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

Imagination has recently attracted considerable attention from epistemologists and is recognized as a source of belief and even knowledge. One remarkable feature of imagination is that it is often and typically agentive: agents decide to imagine. In cases in which imagination results in a belief, the agentiveness of imagination may be taken to give rise to indirect doxastic control and epistemic responsibility. This observation calls for a proper understanding of agentive imagination. In particular, it calls for the development of a (...) semantics of imagination ascriptions. In the present paper an earlier suggestion by Ilkka Niiniluoto for a logic of imagination is considered. This proposal does not capture the agentive nature of imagination, and an alternative semantics is suggested. The new semantics combines the modal logic of agency with the neighbourhood semantics from alethic modal logic. (shrink)

This chapter considers the nature of imagination and belief, exploring how deeply these two states of mind differ. It first addresses a range of cognitive and motivational differences between imagination and belief which suggest that they're fundamentally different states of mind. Then it addresses imaginative immersion, delusions, and the different norms we apply to the two mental states, which some theorists regard as providing support for a more unified picture of imagination and belief.

One version of the Humean Theory of Motivation holds that all actions can be causally explained by reference to a belief–desire pair. Some have argued that pretense presents counter-examples to this principle, as pretense is instead causally explained by a belief-like imagining and a desire-like imagining. We argue against this claim by denying imagination the power of motivation. Still, we allow imagination a role in guiding action as a script . We generalize the script concept to show how things besides (...) imagination can occupy this same role in both pretense and non-pretense actions. The Humean Theory of Motivation should then be modified to cover this script role. (shrink)

In a recent paper Berto introduces a semantic system for a logic of imagination, intended as positive conceivability, and aboutness of imaginative acts. This system crucially adopts elements of both the semantics of conditionals and the semantics of analytical implications in order to account for the central logical traits of the notion of truth in an act of imagination based on an explicit input. The main problem left unsolved is to put forward a complete set of axioms for the proposed (...) system. In the present paper I offer a solution to this problem by providing a complete axiomatization of a generalization of the original semantics. The difficulty in proving completeness lies in the fact that the modalities that capture the notion of truth in an act of imagination are neither standard nor minimal, so that the construction of the canonical model and the proof of the truth lemma are to be substantially modified. (shrink)

Imagination has received a great deal of attention in different fields such as psychology, philosophy and the cognitive sciences, in which some works provide a detailed account of the mechanisms involved in the creation and elaboration of imaginary worlds. Although imagination has also been formalized using different logical systems, none of them captures those dynamic mechanisms. In this work, we take inspiration from the Common Frame for Imagination Acts, that identifies the different processes involved in the creation of imaginary worlds, (...) and we use it to define a dynamic formal system called the Logic of Imagination Acts. We build our logic by using a possible-worlds semantics, together with a new set of static and dynamic modal operators. The role of the new dynamic operators is to call different algorithms that encode how the formal model is expanded in order to capture the different mechanisms involved in the creation and development of imaginary worlds. We provide the definitions of the language, the semantics and the algorithms, together with an example that shows how the model is expanded. By the end, we discuss some interesting features of our system, and we point out to possible lines of future work. (shrink)

This paper will explore one aspect of the relationship between pretence and narratives. I look at proposals about how scripts play guiding roles in our pretend play practices. I then examine the views that mental representations are needed to guide pretend play, reviewing two importantly different pictures of mental guiders: the Propositional Account and the Model Account. Both accounts are individualistic and internalistic; the former makes use of language-like representations, the latter makes use of models, maps and images. The paper (...) will discuss some worries with the notion of mental guiders, and offer some positive suggestions about what else might be playing the guiding role in pretence. I propose that environmental affordances and socially scaffolded engagements provide the basis of pretence guiders, and suggest that engagement in narrative practices further frames and allows elaborations of acts of pretend play. I take first steps in developing a new embodied, enactive and intersubjective understanding of pretence, showing why it is a viable alternative to the mental representational accounts of pretence. (shrink)

Inspired by Niiniluoto’s account of the logic of imagination, this work proposes a combined logic able to deal with interactions of imagination, conception and possibility. It combines Descartes’ view according to which imagination implies conception with Hume’s view according to which both imagination and conception imply possibility.