We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises (1) the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as (2) the goal-orientedness of imagination, by allowing the context to determine, what (...) we call, the overall topic of the imaginative episode. To achieve this, we employ well-developed tools and techniques from dynamic epistemic logic and belief revision theory, enriched with a topicality component which has been exploited in the recent literature. As a result, our logic models a great number of cognitive theories of pretense and imagination [cf. Currie and Ravenscroft (Recreative minds, Oxford University Press, Oxford, 2002); Nichols and Stich (Mindreading: an integrated account of pretence, self-awareness, and understanding other minds, Oxford University Press, Oxford, 2003); Byrne (The rational imagination, The MIT Press, London, 2005); Williamson (The philosophy of philosophy, Blackwell Publishing, Oxford, 2007); Langland-Hassan (Philos Stud 159:155–179, 2012, in: Kind and Kung (eds) Knowledge through imaginaion, Oxford University Press, Oxford, 2016]. (shrink)

We propose a logic of imagination, based on simulated belief revision, that intends to uncover the logical patterns governing the development of imagination in pretense. Our system complements the currently prominent logics of imagination in that ours in particular formalises (1) the algorithm that specifies what goes on in between receiving a certain input for an imaginative episode and what is imagined in the resulting imagination, as well as (2) the goal-orientedness of imagination, by allowing the context to determine, what (...) we call, the overall topic of the imaginative episode. To achieve this, we employ well-developed tools and techniques from dynamic epistemic logic and belief revision theory, enriched with a topicality component which has been exploited in the recent literature. As a result, our logic models a great number of cognitive theories of pretense and imagination [cf. Currie and Ravenscroft (Recreative minds, Oxford University Press, Oxford, 2002); Nichols and Stich (Mindreading: an integrated account of pretence, self-awareness, and understanding other minds, Oxford University Press, Oxford, 2003); Byrne (The rational imagination, The MIT Press, London, 2005); Williamson (The philosophy of philosophy, Blackwell Publishing, Oxford, 2007); Langland-Hassan (Philos Stud 159:155–179, 2012, in: Kind and Kung (eds) Knowledge through imaginaion, Oxford University Press, Oxford, 2016]. (shrink)

Imagination is important for many things in science: solving problems, interpreting data, designing studies, etc. Philosophers of imagination typically account for the productive role played by imagination in science by focusing on how imagination is constrained, e.g., by using self-imposed rules to infer logically, or model events accurately. But the constraints offered by these philosophers either constrain too much, or not enough, and they can never account for uses of imagination that are needed to break today’s constraints in order to (...) make progress tomorrow. Thus, epistemology of imagination needs to make room for an element of epistemological anarchy. (shrink)

A particular family of imagination-based epistemologies of possibility promises to provide an account that overcomes problems raised by Kripkean a posteriori impossibilities. That is, they maintain that imagination plays a significant role in the epistemology of possibility. They claim that imagination consists of both linguistic and qualitative content, where the linguistic content is independently verified not to give rise to any impossibilities in the epistemically significant uses of imagination. However, I will argue that these accounts fail to provide a satisfactory (...) basis for an epistemology of possibility as they fall victim to, what I call, the problem of modally bad company. In particular, I will argue that there is a deep methodological problem that these accounts face: to deliver the significant epistemology of possibility that they promise, they have to rely on problematic prior knowledge of necessities. (shrink)

We study imagination as reality-oriented mental simulation (ROMS): the activity of simulating nonactual scenarios in one’s mind, to investigate what would happen if they were realized. Three connected questions concerning ROMS are: What is the logic, if there is one, of such an activity? How can we gain new knowledge via it? What is voluntary in it and what is not? We address them by building a list of core features of imagination as ROMS, drawing on research in cognitive psychology (...) and the philosophy of mind. We then provide a logic of imagination as ROMS which models such features, combining techniques from epistemic logic, action logic, and subject matter semantics. Our logic comprises a modal propositional language with non-monotonic imagination operators, a formal semantics, and an axiomatization. (shrink)

Sometimes we learn through the use of imagination. The epistemology of imagination asks how this is possible. One barrier to progress on this question has been a lack of agreement on how to characterize imagination; for example, is imagination a mental state, ability, character trait, or cognitive process? This paper argues that we should characterize imagination as a cognitive ability, exercises of which are cognitive processes. Following dual process theories of cognition developed in cognitive science, the set of imaginative processes (...) is then divided into two kinds: one that is unconscious, uncontrolled, and effortless, and another that is conscious, controlled, and effortful. This paper outlines the different epistemological strengths and weaknesses of the two kinds of imaginative process, and argues that a dual process model of imagination helpfully resolves or clarifies issues in the epistemology of imagination and the closely related epistemology of thought experiments. (shrink)

Francesco Berto proposed a logic for imaginative episodes. The logic establishes certain (in)validities concerning episodic imagination. They are not all equally plausible as principles of episodic imagination. The logic also does not model that the initial input of an imaginative episode is deliberately chosen.Stit-imagination logic models the imagining agent’s deliberate choice of the content of their imagining. However, the logic does not model the episodic nature of imagination. The present paper combines the two logics, thereby modelling imaginative episodes with deliberately (...) chosen initial input. We use a combination ofstit-imagination logic and a content-sensitive variably strict conditional à la Berto, for which we give a Chellas–Segerberg semantics. The proposed semantics has the following advantages over Berto’s: (i) we model thedeliberate choiceof initial input of imaginative episodes (in a multi-agent setting), (ii) we showframe correspondencesfor axiomatic analogues of Berto’s validities, which (iii) allows thepossibility to disregard axiomsthat might be considered not plausible as principles concerning imaginative episodes. We do not take a definite stance on whether theseshouldbe disregarded but give reasons for why one might want to disregard them. Finally, we compare our semantics briefly with recent work, which aims to model voluntary imagination, and argue that our semantics models different aspects. (shrink)

Many philosophers have recently defended the epistemic value of imagination. In this paper, we expand these discussions into the realm of virtue epistemology by proposing and defending a virtue-theoretic conception of imagination. On this account, the intellectual virtue of imagination is a character trait consisting of dispositions to engage skilfully in activities characteristic of imagining, with good judgement and from appropriate epistemic motivations. We argue that this approach helps to explain important connections between related, but distinct, intellectual virtues, including creativity (...) and empathy, and reveals avenues for future work on how best to develop intellectually virtuous imagination. (shrink)

Scientists recognize the necessity of imagination for solving tough problems. But how does the cognitive faculty responsible for daydreaming help in solving scientific problems? Philosophers claim that imagination is informative only when it is constrained to be maximally realistic. However, using a case study from space science, we show that scientists use imagination intentionally to break reality-oriented constraints. To do this well, they first target low-confidence constraints, and then higher-confidence constraints, until a plausible solution is found. This paper exemplifies a (...) new approach to epistemology of imagination that focuses on sets of imaginings (rather than individual imaginings), and responsible (rather than reliable) imaginings. (shrink)

What is the role of the imagination in scientific practice? Here I focus on the nature and role of invitations to imagine in certain scientific texts as represented by the example of Einstein’s Special Relativity paper from 1905. Drawing on related discussions in aesthetics, I argue, on the one hand, that this role cannot be simply subsumed under ‘supposition’ but that, on the other, concerns about the impact of genre and symbolism can be dealt with, and hence present no obstacle (...) to regarding imagination as appropriately belief-like. By applying the framework of ‘semi- propositional representations’ and ‘quasi-truth’ to this case I thereby offer a new unitary framework for understanding the epistemology of scientific imagination. (shrink)