Recent experimental studies indicate that epistemically irrelevant factors can skew our intuitions, and that some degree of scepticism about appealing to intuition in philosophy is warranted. In response, some have claimed that philosophers are experts in such a way as to vindicate their reliance on intuitions—this has become known as the ‘expertise defence’. This paper explores the viability of the expertise defence, and suggests that it can be partially vindicated. Arguing that extant discussion is problematically imprecise, we will finesse the (...) notion of ‘philosophical expertise’ in order to better reflect the complex reality of the different practices involved in philosophical inquiry. On this basis, we offer a new version of the expertise defence that allows for distinct types of philosophical expertise. The upshot of our approach is that wholesale vindications or rejections of the expertise defence are shown to be unwarranted; we must instead turn to local, piecemeal investigations of philosophical expertise. Lastly, in the spirit of taking our own advice, we exemplify how recent developments from experimental philosophy lend themselves to this approach, and can empirically support one instance of a successful expertise defence. (shrink)

The main purpose of this article is, from a semiotic perspective, arguing for the recognizing of a semantic role of the imagination as a necessary condition to our linguistic experience, regarded as an essential feature of the relations of our thought with the world through signification processes ; processes centered in but not reducible to discourse. The text is divided into three parts. The first part presents the traditional position in philosophy and cognitive sciences that had barred until recent times (...) the possibility to investigate the semantic function performed by imagination, mainly due to the anti-psychologist arguments on which it is based. After that, I situate my perspective inside of the recent research panorama in philosophy and cognitive science. The second part presents the semiotic framework on the relation between thought, language, and world, conceived through the concepts of signification processes and sense-conditions. Within this framework, I introduce the concept of linguistic experience, characterizing semantic imagination as one of its sense-conditions. In the third part, several pieces of evidence for corroborating the semantic function of imagination are discussed. These pieces come from the fields of phenomena denoted as diagrammatic thought and counterfactual thought. Diagrammatic thought, briefly discussed, points out the semantic work of imagination in the semi-discursive sign systems constructed in mathematics, logic, and natural science. After defending a widening of the concept of counterfactual thought, and its intrinsic relation with semantic imagination, the role of semantic imagination is briefly discussed in some types of counterfactual thought found in our conceptions of modal concepts, in thought experiments, in apagogical arguments, and in the creative discursive devices. (shrink)

John Searle’s Chinese room argument is a celebrated thought experiment designed to refute the hypothesis, popular among artificial intelligence scientists and philosophers of mind, that “the appropriately programmed computer really is a mind”. Since its publication in 1980, the CRA has evoked an enormous amount of debate about its implications for machine intelligence, the functionalist philosophy of mind, theories of consciousness, etc. Although the general consensus among commentators is that the CRA is flawed, and not withstanding the popularity of the (...) systems reply in some quarters, there is remarkably little agreement on exactly how and why it is flawed. A newcomer to the controversy could be forgiven for thinking that the bewildering collection of diverse replies to Searle betrays a tendency to unprincipled, ad hoc argumentation and, thereby, a weakness in the opposition’s case. In this paper, treating the CRA as a prototypical example of a ‘destructive’ thought experiment, I attempt to set it in a logical framework, which allows us to systematise and classify the various objections. Since thought experiments are always posed in narrative form, formal logic by itself cannot fully capture the controversy. On the contrary, much also hinges on how one translates between the informal everyday language in which the CRA was initially framed and formal logic and, in particular, on the specific conception of possibility that one reads into the logical formalism. (shrink)

In their paper, ‘When are thought experiments poor ones?’ (Peijnenburg and David Atkinson, 2003, Journal of General Philosophy of Science 34, 305-322.), Jeanne Peijnenburg and David Atkinson argue that most, if not all, philosophical thought experiments are “poor” ones with “disastrous consequences” and that they share the property of being poor with some (but not all) scientific thought experiments. Noting that unlike philosophy, the sciences have the resources to avoid the disastrous consequences, Peijnenburg and Atkinson come to the conclusion that (...) the use of thought experiments in science is in general more successful than in philosophy and that instead of concocting more “recherché” thought experiments, philosophy should try to be more empirical. In this comment I will argue that Peijnenburg’s and Atkinson’s view on thought experiments is based on a misleading characterization of both, the dialectical situation in philosophy as well as the history of physics. By giving an adequate account of what the discussion in contemporary philosophy is about, we will arrive at a considerably different evaluation of philosophical thought experiments. For I am convinced that we now find ourselves at an altogether decisive turning point in philosophy, and that we are objectively justified in considering that an end has come to the fruitless conflict of systems. We are already at the present time, in my opinion, in possession of methods which make any such conflict in principle unnecessary. What is now required is their resolute application. (Schlick, ‘The Turning Point in Philosophy’, 1930/1959, p. 54). (shrink)

This paper presents a critical analysis of Tamar Szabó Gendler’s view of thought experiments, with the aim of developing further a constructivist epistemology of thought experiments in science. While the execution of a thought experiment cannot be reduced to standard forms of inductive and deductive inference, in the process of working though a thought experiment, a logical argument does emerge and take shape. Taking Gendler’s work as a point of departure, I argue that performing a thought experiment involves a process (...) of self-interrogation, in which we are compelled to reflect on our pre-existing knowledge of the world. In doing so, we are forced to make judgments about what assumptions we see as relevant and how they apply to an imaginary scenario. This brings to light the extent to which certain forms of skill, beyond the ability to make valid logical inferences, are necessary to execute a thought experiment well. (shrink)

Thought experiments de facto play many different roles in biology: economical, ethical, technical and so forth. This paper, however, is interested in whether there are any distinctive features of biological TEs as such. The question may be settled in the affirmative because TEs in biology have a function that is intimately connected with the epistemological and methodological status of biology. Peculiar to TEs in biology is the fact that the reflexive, typically human concept of finality may be profitably employed to (...) discover mechanical-experimental causal relations in all living beings—with the obvious caveat that we do not hypostatise and interpret this concept as an ontological quality, since this would land one in an implicitly animistic, pre-Galilean view of nature. From a methodical point of view, the concept of finality is an essential assumption as well as a powerful heuristic tool in the practice of biology, that is, in the investigation of living beings in an intersubjectively testable and reproducible way. (shrink)

Theories often run into paradoxes. Some of these are outright contradictions, sending the would-be champions of the theory back to the drawing board. Others are paradoxical in the sense of being bizarre and unexpected. The latter are sometimes mistakenly thought to be instances of the former. That is, they are thought to be more than merely weird; they are mistakenly thought to be self-refuting. Showing that they are not self-contradictory but merely a surprise is often a challenge. Notions of explanation (...) and understanding are often at issue. For instance, we might explain—or explain away—a paradox by invoking some mechanism provided by the theory and showing how it does not really lead to a logically incoherent .. (shrink)

I begin with an explication of "thought experiment". I then clarify the role that intuitions play in thought experiments by addressing two important issues: (1) the informativeness of thought experiments and (2) the legitimacy of the method of thought experiments in philosophy and the natural sciences. I defend a naturalistic account of intuitions that provides a plausible explanation of the informativeness of thought experiments, which, in turn, allows thought experiments to be reconstructed as arguments. I also specify criteria for distinguishing (...) bad "intuition pumps" from legitimate thought experiments. These criteria help us to avoid being seduced by the dangerous suggestive power of misleading intuitions. (shrink)

The literature on thought experiments has been mainly concernedwith thought experiments that are directed at a theory, be it in aconstructive or a destructive manner. This has led somephilosophers to argue that all thought experiments can beformulated as arguments. The aim of this paper is to drawattention to a type of thought experiment that is not directed ata theory, but fulfills a specific function within a theory. Suchthought experiments are referred to as functional thoughtexperiments, and they are routinely used in (...) applied statistics. An example is given from frequentist statistics, where a thoughtexperiment is required to establish the probability space. It isconcluded that (a) not all thought experiments can be formulated asarguments, and (b) the role of thought experiments is more generaland more important to scientific reasoning than has previouslybeen recognized. (shrink)

RESUMEN Un experimento mental en ciencias fácticas consiste en la representación de un escenario imaginario. A partir de la presentación de condiciones iniciales y la postulación de una situación hipotética o contrafáctica, se solicita al lector que realice mentalmente alguna operación, manipule ciertas variables o ponga en funcionamiento algún aparato o instrumento. En virtud de este ejercicio sería posible, en principio, obtener nuevo conocimiento acerca de algún aspecto del mundo natural. El debate acerca de las funciones de los experimentos mentales (...) en las ciencias fácticas está centrado en establecer la validez del conocimiento acerca del mundo empírico que estos dispositivos son capaces de proporcionar. La propuesta interpretativa de Brown da sustento a la idea de que, en casos excepcionales, los experimentos mentales pueden cumplir funciones probatorias. Los denominados “experimentos mentales platónicos” permiten intuir leyes de la naturaleza y justificar a priori las hipótesis propuestas. Sostenemos que la conexión trazada por Brown entre los experimentos mentales y leyes naturales exhibe un aspecto problemático de su filosofía: el compromiso injustificado con una metafísica inflacionaria. Mostramos que es posible explicar el mecanismo a través del cual estos dispositivos proporcionan conocimiento nuevo y dar cuenta tanto de su poder heurístico cómo de su valor evidencial a partir compromisos metafísicos más modestos. ABSTRACT Thought experiments in factual science consists on the representation of an imaginary scenario. Starting with the presentation of a hypothetical or counterfactual situation and the description of initial conditions, the reader is asked to mentally perform some operation, to manipulate certain variables or to put into operation some apparatus or instrument. In virtue of this exercise, it would be possible to obtain new knowledge about the natural world. The debate on the functions of thought experiments in physics is focused on determining the validity of the empirical knowledge that these devices are capable of providing. Brown supports the idea that, in exceptional cases, thought experiments can perform probative functions. The so-called “Platonic Thought Experiments” allow us to intuit laws of nature and provide an a priori justification of the proposed hypotheses. We hold that Brown's connection between thought experiments and laws of nature exhibits a problematic aspect of his philosophy: the unjustified commitment with an inflationary metaphysics. We show that it is possible to explain the mechanism through which these devices provide new knowledge and give an account of both their heuristic power and their evidential value from modest metaphysical commitments. (shrink)

In this paper a unified theory of models and thought experiments is proposed by considering them as fictions, la Vaihinger. In order to reach this aim, the Hertzian and Botzmannian interpretation of theories as Bilder is reconsidered.

: An examination of two thought experiments in contemporary physics reveals that the same thought experiment can be reanalyzed from the perspective of different and incompatible theories. This fact undermines those accounts of thought experiments that claim their justificatory power comes from their ability to reveal the laws of nature. While thought experiments do play a genuine evaluative role in science, they do so by testing the nonempirical virtues of a theory, such as consistency and explanatory power. I conclude that, (...) while their interpretation presupposes a whole set of background theories and putative laws, thought experiments nonetheless can evolve and be retooled for different theories and ends. (shrink)

When experimental philosophers carry out studies on thought experiments, some participants are excluded based on certain exclusion criteria, mirroring standard social science vignette methodology. This involves excluding people that do not pay attention or who miscomprehend the scenario presented in thought experiments. However, experimental philosophy studies sometimes exclude an alarmingly high number of participants. We argue that this threatens the external and internal validity of the conclusions being drawn and we show how a simple visualization of thought experiments can reduce (...) exclusion rates significantly. Furthermore, we argue that focus should not merely be on how many are excluded, but also why they are excluded, and we highlight the role of comprehension questions in this regard. Philosophical thought experiments often rely on the acceptance of certain key premises that may be regarded contestable, and asking comprehension questions involving such key assumptions could be problematic as that may result in some participants being inadvertently excluded from the study, potentially creating a selection bias. (shrink)

This essay concerns the question of how we make genuine epistemic progress through conceptual analysis. Our way into this issue will be through consideration of the paradox of analysis. The paradox challenges us to explain how a given statement can make a substantive contribution to our knowledge, even while it purports merely to make explicit what one’s grasp of the concept under scrutiny consists in. The paradox is often treated primarily as a semantic puzzle. However, in “Sect. 1” I argue (...) that the paradox raises a more fundamental epistemic problem, and in “Sects.1 and 2” I argue that semantic proposals—even ones designed to capture the Fregean link between meaning and epistemic significance—fail to resolve that problem. Seeing our way towards a real solution to the paradox requires more than semantics; we also need to understand how the process of analysis can yield justification for accepting a candidate conceptual analysis. I present an account of this process, and explain how it resolves the paradox, in “Sect. 3”. I conclude in “Sect. 4” by considering the implications for the present account concerning the goal of conceptual analysis, and by arguing that the apparent scarcity of short and finite illuminating analyses in philosophically interesting cases provides no grounds for pessimism concerning the possibility of philosophical progress through conceptual analysis. (shrink)

In some domains experts perform better than novices, and in other domains experts do not generally perform better than novices. According to empirical studies of expert performance, this is because the former but not the latter domains make available to training practitioners a direct form of learning feedback. Several philosophers resource this empirical literature to cast doubt on the quality of philosophical expertise. They claim that philosophy is like the dubious domains in that it does not make available the good, (...) direct kind of learning feedback, and thus there are empirical grounds for doubting the epistemic quality of philosophical expertise. I examine the empirical studies that are purportedly bad news for professional philosophers. On the basis of that examination, I provide three reasons why the empirical study of non-philosophical expertise does not undermine the status of philosophical expertise. First, the non-philosophical task-types from which the critics generalize are unrepresentative of relevant philosophical task-types. Second, empirical critiques of non-philosophical experts are often made relative to the performance of linear models—a comparison that is inapt in a philosophical context. Third, the critics fail to discuss findings from the empirical study of non-philosophical expertise that have more favorable implications for the epistemic status of philosophical expertise. In addition to discussing implications for philosophical expertise, this article makes progress in the philosophical analysis of the science of expertise and expert development. (shrink)

A widespread claim, which I call ‘the Emotionality Claim’, is that imagination but not supposition is intimately linked to emotion. In more cognitive jargon, imagination is connected to the affect system, whereas supposition is not. EC is open to several interpretations which yield very different views about the nature of supposition. The literature lacks an in-depth analysis of EC which sorts out these different readings and ways to carve supposition and imagination at their joints. The aim of this paper is (...) to fill this gap. I shall argue that existing readings of EC fail to properly account for the emotional asymmetry between imagination and supposition. The tendency is to start from narrow conceptions of both imagination and supposition. I shall argue for a novel interpretation of EC pivoting on different ways a mental state can connect to the affect system. (shrink)

A popular view maintains that supposition is a kind of cognitive mental state, very similar to belief in essential respects. Call this view “cognitivism about supposition”. There are at least three grades of cognitivism, construing supposition as (i) a belief, (ii) belief-like imagination or (iii) a species of belief-like imagination. I shall argue against all three grades of cognitivism and claim that supposition is a sui generis form of imagination essentially dissimilar to belief. Since for good reasons (i) is not (...) supported in the literature, I shall dwell on (ii) and (iii). Without further explanation supposition has been very often merely postulated as being nothing but belief-like imagination—that is, (ii). I shall show that at least two considerations undermine (ii). First, supposition and belief-like imagination are governed by different norms, more precisely the former is freer than the latter and requires minimal or no mental effort. Second, contrary to belief-like imagination, supposition is “cold”, in that it is typically dissociated from emotional reactions. Proponents of (iii) face the pressure of explaining these differences between supposition and belief-like imagination too. I shall argue that they have not sufficiently motivated the claim that supposition is belief-like. In particular they fail to accommodate precisely the dimensions of supposition pertaining to its normativity and emotionality. I shall close with a sketch of a new account of supposition. (shrink)

The idea of the present Issue originated in a workshop held at the University of Urbino, Italy, in June 2014, and subsequently developed into an independent editorial project by including contributions that were not initially presented at the workshop. The eight essays that follow authored by young and emerging philosophers as well as fully accomplished ones—touch upon various aspects of the most recent debate surrounding TEs, closely engaging with many influential proposals that have been put forward over the last few (...) years. They can be organised around three main areas of concern. The first group deals with general issues raised by the use of TEs, such as the possibility of drawing a principled distinction between scientific and philosophical TEs (Marco Buzzoni), the role played by intuitions within philosophical TEs (Julia Langkau), and the different ways in which the intended conclusion of a TE can be resisted (Roy Sorensen). The second group focuses on the logical form of philosophical TEs (Sören Häggqvist; Daniele Sgaravatti), and on the kind of access to modal knowledge they are standardly taken to provide (Vittorio Morato). The third and last group explores the virtues and limits of TEs used in two specific philosophical areas, namely the philosophy of science (Margherita Benzi), and the philosophy of mind (Elizabeth Schier). (shrink)

In this article I ask what recent moral psychology and neuroscience can and can’t claim to have discovered about morality. I argue that the object of study of much recent work is not morality but a particular kind of individual moral judgment. But this is a small and peculiar sample of morality. There are many things that are moral yet not moral judgments. There are also many things that are moral judgments yet not of that particular kind. If moral things (...) are various and diverse, then empirical research about one kind of individual moral judgment doesn’t warrant theoretical conclusions about morality in general. If that kind of individual moral judgment is a peculiar and rare thing, then it is not obvious what it tells us about other moral things. What is more, it is not obvious what its theoretical importance is to begin with—that is, why we should care about it at all. In light of these arguments, I call for a pluralism of methods and objects of inquiry in the scientific investigation of morality, so that it transcends its problematic overemphasis on a particular kind of individual moral judgment. (shrink)

Historically left to the margins, the topics of imagination and creativity have gained prominence in philosophy of science, challenging the once dominant distinction between ‘context of discovery’ and ‘context of justification’. The aim of this chapter is to explore imagination and creativity starting from issues within contemporary philosophy of science, making connections to these topics in other domains along the way. It discusses the recent literature on the role of imagination in models and thought experiments, and their comparison with fictions. (...) It then turns to the importance of constraints on imaginings in the scientific domain, as well as whether constraints can hinder creativity. The second part of the paper focuses on the social dimensions of science. It considers imagination and creativity of scientific communities, asks whether the institution of science promotes creativity (and whether we want it to) or if it encourages conservativeness, and ends with a reflection on the politics of imagination and creativity in science. (shrink)

This work investigates intuitions' nature, demonstrating how philosophers can best use them in epistemology. First, the author considers several paradigmatic thought experiments in epistemology that depict the appeal to intuition. He then argues that the nature of thought experiment-generated intuitions is not best explained by an a priori Platonism. Second, the book instead develops and argues for a thin conception of epistemic intuitions. The account maintains that intuition is neither a priori nor a posteriori but multi-dimensional. It is an intentional (...) but non-propositional mental state that is also non-conceptual and non-phenomenal in nature. Moreover, this state is individuated by its progenitor, namely, the relevant thought experiment. Third, the author provides an argument for the evidential status of intuitions based on the correct account of the nature of epistemic intuition. The suggestion is the fitting-ness approach: intuition alone has no epistemic status. Rather, intuition has evidentiary value as long as it fits well with other pieces into a whole, namely, the pertinent thought experiment. Finally, the book addresses the key challenges raised by supporters of anti-centrality, according to which philosophers do not regard intuition as central evidence in philosophy. To that end, the author responds to them, showing that they fail to affect the account of intuition developed in this book. This text appeals to students and researchers working in epistemology. (shrink)

I survey the debate over rationalism and empiricism in science. This chapter contains sections titled: The New Experimental Science as a Challenge to Intuition, Geometry and Intuition, The Mathematical Tradition and Theoretical Science.

Good physical experiments conform to the basic methodological standards of experimental design: they are objective, reliable, and valid. But is this also true of thought experiments? Especially problems of personal identity have engendered hypothetical scenarios that are very distant from the actual world. These imagined situations have been conspicuously ineffective at resolving conflicting intuitions and deciding between the different accounts of personal identity. Using prominent examples from the literature, I argue that this is due to many of these thought experiments (...) not adhering to the methodological standards that guide experimental design in nearly all other disciplines. I also show how empirically unwarranted background assumptions about human physiology render some of the hypothetical scenarios that are employed in the debate about personal identity highly misleading. (shrink)

This paper argues for two interrelated claims. The first is that the most innovative contribution of Timothy Williamson, Herman Cappelen, and Max Deutsch in the debate about the epistemology of thought experiments is not the denial of intuition and the claim of the irrelevance of experimental philosophy but the claim of epistemological continuity and the rejection of philosophical exceptionalism. The second is that a better way of implementing the claim of epistemological continuity is not Deutsch and Cappelen’s argument view or (...) Williamson’s folk psychological view. This is so because while the argument view makes the basis of the relevant classificational judgement evidentially too demanding; the folk psychological view makes it too weak and error-prone to count as an adequate explanation. Drawing from a certain reading of Aristotle’s Nichomachean Ethics that flowers in Miranda Fricker and John McDowell, I argue for the reason-responsiveness view. Like the extant views, the reason-responsiveness view vindicates the claim of epistemological continuity. But unlike the extant views, it does not share those problematic features. Further, I show that the reason-responsiveness view offers a way for champions of the claim of epistemological continuity to resist Avner Baz’s objection to the claim of epistemological continuity and his objection to the philosophical use of thought experiments while taking on board some attractive elements of his view. (shrink)

Scientists imagine for epistemic reasons, and these imaginings can be better or worse. But what does it mean for an imagining to be epistemically better or worse? There are at least three metaepistemological frameworks that present different answers to this question: epistemological consequentialism, deontic epistemology, and virtue epistemology. This paper presents empirical evidence that scientists adopt each of these different epistemic frameworks with respect to imagination, but argues that the way they do this is best explained if scientists are fundamentally (...) epistemic consequentialists about imagination. (shrink)

Thought experiments, one of the most effective ways of acquiring knowledge, are an intellectual tool frequently used by scientists or thinkers in their fields of study. Thought experiments used to respond to scientific issues are considered scientific thought experiments, while thought experiments used for philosophical problems are called philosophical thought experiments. In this context, firstly, the differences between scientific and philosophical thought experiments are determined in the article. In particular, philosophical thought experiments are often needed in discussions within the field (...) of epistemology. For this reason, in the rest of the study, the knowledge argument put forward against the idea of physicalism, which is one of the important views in epistemology and which claims that the natural world is basically physical and that everything can be explained by physical laws is included. The knowledge argument briefly argues that there are non-physical properties and information that can only be discovered through conscious experience. Accordingly, it is argued that someone who has all physical knowledge about another conscious may lack knowledge of what it would feel like to have subjective experiences of that entity such as qualia. Consequently, the main idea of the article is to reveal how an epistemological thesis has been questioned by various philosophers in the context of philosophical thought experiments such as Mary’s room, ‘What is it like to be a Bat’, The Martian and the Philosophical Zombie. - Bilgi edinmenin en etkili yollarından bir tanesi olarak değerlendirilen düşünce deneyleri bilim insanları ya da düşünürler tarafından kendi çalışma alanları içerisinde sıklıkla başvurulan düşünsel bir araçtır. Bilimsel konulara cevap vermek amacıyla gerçekleştirilen düşünce deneyleri bilimsel düşünce deneyleri olarak değerlendirilirken, felsefi sorunlara yönelik kullanılan düşünce deneyleri ise felsefi düşünce deneyleri olarak adlandırılmaktadır. Bu kapsamda makalede ilk olarak bilimsel ve felsefi düşünce deneyleri arasındaki farklılıklar belirlenmektedir. Özellikle, epistemoloji alanı içerisinde yer alan tartışmalarda felsefi düşünce deneylerine sıklıkla ihtiyaç duyulmaktadır. Bu nedenle çalışmanın devamında epistemolojide önemli görüşlerden bir tanesi olan ve doğal dünyanın en temelde fiziksel olduğu ve fiziksel yasalarla her şeyin açıklanabileceği iddiasında bulunan fizikalizm düşüncesine karşı ileri sürülmüş bilgi argümanına yer verilmektedir. Bilgi argümanı kısaca sadece bilinçli deneyim yoluyla elde edilebilen ve fiziksel olarak ifade edilemeyen öznel deneyimlerin ve özelliklerin olduğunu savunmaktadır. Buna göre, başka bir bilinçli varlık hakkında bütün fiziksel bilgiye sahip olan birinin, o varlığın qualia gibi öznel deneyimlerine sahip olmasının nasıl bir his olduğu konusundaki bilgilerden yoksun olabileceği fikri savunulmaktadır. Bu doğrultuda, makalenin temel savı fizikalizm gibi epistemolojik bir teze Mary’nin Odası, ‘Yarasa Olmak Nasıl Bir Şeydir’, Marslı ve Felsefi Zombi gibi felsefi düşünce deneyleri bağlamında çeşitli filozoflarca nasıl itiraz edildiğini ve düşünce deneylerinin bu bağlamda nasıl kullanıldığını ortaya koymaktır. (shrink)

Theoretical models are widely held as sources of knowledge of reality. Imagination is vital to their development and to the generation of plausible hypotheses about reality. But how can imagination, which is typically held to be completely free, effectively instruct us about reality? In this paper I argue that the key to answering this question is in constrained uses of imagination. More specifically, I identify make-believe as the right notion of imagination at work in modelling. I propose the first overarching (...) taxonomy of types of constraints on scientific imagination that enables knowledge of reality. And I identify two main kinds of knowledge enabled by models, knowledge of the imaginary scenario specified by models and knowledge of reality. (shrink)

Scientific results are often presented as ‘surprising’ as if that is a good thing. Is it? And if so, why? What is the value of surprise in science? Discussions of surprise in science have been limited, but surprise has been used as a way of defending the epistemic privilege of experiments over simulations. The argument is that while experiments can ‘confound’, simulations can merely surprise (Morgan, 2005). Our aim in this paper is to show that the discussion of surprise can (...) be usefully extended to thought experiments and theoretical derivations. We argue that in focusing on these features of scientific practice, we can see that the surprise-confoundment distinction does not fully capture surprise in science. We set out how thought experiments and theoretical derivations can bring about surprises that can be disruptive in a productive way, and we end by exploring how this links with their future fertility. (shrink)

Many thought experiments are used to probe theoretical statements. One crucial strategy for doing this, or so I will argue, is the following. A TE reveals an inconsistency in part of our previously held, sometimes empirically well-established, theoretical statements. A TEer or her critic then proposes a resolution in the form of a conjecture, a hypothesis that merits further investigation. To explore this characterisation of the epistemic function of such TEs, I clarify the nature of the inconsistencies revealed by TEs, (...) and how TEs reveal and resolve them. I argue that this can be done without settling the question of which cognitive processes are involved in performing a TE; be they propositional or non-propositional. The upshot is that TEs’ reliability, like real experiments, is to be found, in part, in their replicability by the epistemic community, not in their cognitive underpinnings. (shrink)

The paper begins with a characterization of thought experiments, followed by a general outline of contemporary debates in the field. The discussion reveals that the most significant controversy involved is the dispute over the epistemic status of thought experiments between empiricists, Platonists, and the proponents of mental models. After a critical analysis of these approaches, a new theoretical framework proposed by Paul Bartha is introduced. It is suggested that Bartha’s approach, which appeals to a theory of analogy, offers new insights (...) into the structure of thought experiments. The paper concludes with general remarks on the state of the art in the field. (shrink)

John D. Norton is responsible for a number of influential views in contemporary philosophy of science. This paper will discuss two of them. The material theory of induction claims that inductive arguments are ultimately justified by their material features, not their formal features. Thus, while a deductive argument can be valid irrespective of the content of the propositions that make up the argument, an inductive argument about, say, apples, will be justified (or not) depending on facts about apples. The argument (...) view of thought experiments claims that thought experiments are arguments, and that they function epistemically however arguments do. These two views have generated a great deal of discussion, although there hasn’t been much written about their combination. I argue that despite some interesting harmonies, there is a serious tension between them. I consider several options for easing this tension, before suggesting a set of changes to the argument view that I take to be consistent with Norton’s fundamental philosophical commitments, and which retain what seems intuitively correct about the argument view. These changes require that we move away from a unitary epistemology of thought experiments and towards a more pluralist position. (shrink)

In this paper, I defend the view that any good account of the logical form of thought experiments should contain a conditional. Moreover, there are some reasons to think it should be a counterfactual conditional. First, I defend Williamson’s account of the logical form of thought experiments against a competing account offered by Ichikawa and Jarvis. The two accounts have a similar structure, but Williamson’s posits a counterfactual conditional where Ichikawa and Jarvis’ posits a strict conditional. Williamson’s motivation is related (...) to the problem of deviant realizations, and Ichikawa and Jarvis propose to take care of this problem by enriching the content of the thought experiment in the way we enrich the content of a text of fiction. However, this sort of enrichment is also compatible with Williamson’s account. I then consider a different view, defended by Malmgren, on which a complex possibility claim exhausts our reasoning on typical thought experiments. I argue that this account, leaving out a conditional, fails to represent an important part of our reasoning with thought experiments. This is brought out by reflection on the relationship between thought experiments and similar actual cases and by reflection on the requirement, formulated by Malmgren herself, that our reasoning should have an adequate level of generality. (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)

This is the introduction to the Routledge Companion to Thought Experiments.

Understanding scientific modelling can be divided into two sub-projects: analysing what model-systems are, and understanding how they are used to represent something beyond themselves. The first is a prerequisite for the second: we can only start analysing how representation works once we understand the intrinsic character of the vehicle that does the representing. Coming to terms with this issue is the project of the first half of this chapter. My central contention is that models are akin to places and characters (...) of literary fictions, and that therefore theories of fiction play an essential role in explaining the nature of model-systems. This sets the agenda. Section 2 provides a statement of this view, which I label the fiction view of model-systems, and argues for its prima facie plausibility. Section 3 presents a defence of this view against its main rival, the structuralist conception of models. In Section 4 I develop an account of model-systems as imagined objects on the basis of the so-called pretence theory of fiction. This theory needs to be discussed in great detail for two reasons. First, developing an acceptable account of imagined objects is mandatory to make the fiction view acceptable, and I will show that the pretence theory has the resources to achieve this goal. Second, the term ‘representation’ is ambiguous; in fact, there are two very different relations that are commonly called ‘representation’ and a conflation between the two is the root of some of the problems that beset scientific representation. Pretence theory provides us with the conceptual resources to articulate these two different forms of representation, which I call p-representation and t-representation respectively. Putting these elements together provides us with a coherent overall picture of scientific modelling, which I develop in Section 5. (shrink)

In this paper I present a novel supertask in a Newtonian universe that destroys and creates infinite masses and energies, showing thereby that we can have infinite indeterminism. Previous supertasks have managed only to destroy or create finite masses and energies, thereby giving cases of only finite indeterminism. In the Nothing from Infinity paradox we will see an infinitude of finite masses and an infinitude of energy disappear entirely, and do so despite the conservation of energy in all collisions. I (...) then show how this leads to the Infinity from Nothing paradox, in which we have the spontaneous eruption of infinite mass and energy out of nothing. I conclude by showing how our supertask models at least something of an old conundrum, the question of what happens when the immovable object meets the irresistible force. (shrink)

I argue for a soft compatibilist theory of free will, i.e., such that free will is compatible with both determinism and indeterminism, directly opposite hard incompatibilism, which holds free will incompatible both with determinism and indeterminism. My intuitions in this book are primarily based on an analysis of meditation, but my arguments are highly syncretic, deriving from many fields, including behaviorism, psychology, conditioning and deconditioning theory, philosophy of language, philosophy of mind, simulation theory, etc. I offer a causal/functional analysis of (...) meta-mental control, or 'metacausality', cashed out in counterfactual terms, to solve what I call the easy problem of free will. (shrink)

How to accommodate the possibility of lucky true beliefs in necessary (or armchair) truths within contemporary modal epistemology? According to safety accounts luck consists in the modal proximity of a false belief, but a belief in a true mathematical proposition could not easily be false because a proposition believed could never be false. According to Miščević modal stability of a true belief under small changes in the world is not enough, stability under small changes in the cognizer should also (and (...) primarily) be considered. I argue for a more traditional modal reliabilism based on the critical question: how easy is it for a belief to be false, given the way it was formed? A belief (a priori or a posteriori) is then agent-lucky when based on a specific method which might easily lead to a false belief in the target proposition. Miščević suggests a unifying approach in terms of virtue epistemology. It seems to me that this approach, if successful, will undermine the project that he started with: formulate an anti-luck condition in the frame of a modal theory of luck. (shrink)

Los experimentos mentales son dispositivos epistémicos de la imaginación, o de análisis de problemas filosóficos, que recorren las fronteras de aquella, desde el sillón. Dichas fronteras tocan dilemas perennes de la filosofía: cuestiones de la metafísica, como el tiempo, el espacio y la realidad, el problema de la libertad y el determinismo, la naturaleza de la mente, la identidad personal, los argumentos acerca del significado, las posibilidades, fuentes y condiciones del conocimiento, las relaciones entre discurso y lógica, la ética, cuestiones (...) de la filosofía social y política, y la estética. Muchos problemas de la filosofía han sido abordados mediante experimentos mentales, una herramienta útil de la caja de herramientas del filósofo. No todas las herramientas son populares, no obstante. Los experimentos mentales son, pese a sus defensores, falibles, incluso si son argumentos bien planteados. Justamente, este libro recopila artículos con las principales defensas y ataques a los experimentos mentales, especialmente en términos de su confiabilidad para llegar a conclusiones, o bien de su relevancia en términos de su origen: el sillón de la filosofía. Este ha sido vapuleado por los nuevos aires de la filosofía analítica, que trata al sillón como un viejo artefacto del análisis a priori. De hecho, hay posturas que critican a los experimentos mentales por constituir bombas de intuiciones no confiables. Por supuesto, no hay razón irrefutable para aceptar los experimentos mentales y las filosofías de sillón. Pero ¿hay alguna en la filosofía? El libro no pretende convencer al lector del valor de los experimentos mentales y las filosofías de sillón. Por el contrario, su objetivo es formar una imagen propia de estos dispositivos epistémicos, tanto en relación con sus virtudes y limitaciones. Si ello se logra, habrá valido el esfuerzo llevado a cabo en esta compilación de artículos, los que muestran los límites, desafíos y críticas de la experimentación mental desde el sillón. (shrink)

We are living in an increasingly complex world. How are we able to cope with this complexity and the difficulties that arise from it? Can philosophy and art, classified as the two utmost useless and pointless disciplines, have any (positive) influence on the urgent and pressing problems at hand? And, related to this, if the two have more than just their uselessness in common, how, then, are philosophy and art related? In this article, I will argue that although ‘useless’ disciplines (...) such as philosophy and art have no direct influence on our complex world, they are nonetheless the most important ones, because those working within them practice their insights in an indirect way. Indirect influence may take a little longer, but the impact is much stronger, affecting our thinking and our attitudes from within, as it were. This indirect approach has everything to do with the sort of questions philosophers and artists occupy themselves with. I will show how both address, albeit each in their own way, fundamental questions, and thereby make use of thought experiments. Intuition and imagination play a decisive part in the creative processes that are involved in thought experiments and thinking. It is argued that we all are able to learn a ‘delayed unconscious thinking’ that leads to an artistic attitude; one that will activate an artistic turn. (shrink)

Although thought experiments were first discovered as a sui generis methodological tool by philosophers of science (most prominently by Ernst Mach), the tool can also be found – even more frequently – in contemporary philosophy. Thought experiments in philosophy and science have a lot in common. However, in this chapter we will concentrate on thought experiments in philosophy only. Their use has been the centre of attention of metaphilosophical discussion in the past decade, and this chapter will provide an overview (...) of the results this discussion has achieved and point out which issues are still open. (shrink)

This paper develops an account of rigour in the use of thought experiments in ethics. I argue that there are two separate challenges to be faced. The first is internal validity: is the thought experiment designed in a way that allows its readers to make judgements that are confident and free of bias about the hypothesis or point of principle that it aims to test? The second is external validity: to what extent do ethical judgements that are correct of the (...) world of the thought experiment generalize to a wide variety of other contexts, including ethical decision-making in the actual world? Ensuring external validity is the harder and more important problem of rigour, yet it is one that few philosophers have even noticed, let alone begun to solve. (shrink)

This chapter suggests a scheme of reconstruction, which explains how scenarios, questions and arguments figure in thought experiments. It then develops a typology of ethical thought experiments according to their function, which can be epistemic, illustrative, rhetorical, heuristic or theory-internal. Epistemic functions of supporting or refuting ethical claims rely on metaethical assumptions, for example, an epistemological background of reflective equilibrium. In this context, thought experiments may involve intuitive as well as explicitly argued judgements; they can be used to generate moral (...) commitments, to explore consequences of moral theories, and to show inconsistencies within or between moral commitments and moral theory; but the results of thought experiments by themselves do not settle what is epistemically justified and may also be rejected. Finally, some prominent challenges are discussed: do unrealistic scenarios undermine epistemic thought experiments? Are ethical thought experiments misleading? Do they rely on weak analogies? Are there specifically moral objections to ethical thought experiments? (shrink)

We might think that thought experiments are at their most powerful or most interesting when they produce new knowledge. This would be a mistake; thought experiments that seek understanding are just as powerful and interesting, and perhaps even more so. A growing number of epistemologists are emphasizing the importance of understanding for epistemology, arguing that it should supplant knowledge as the central notion. In this chapter, I bring the literature on understanding in epistemology to bear on explicating the different ways (...) that thought experiments increase three important kinds of understanding: explanatory, objectual and practical. (shrink)

I propose a reading of Berkeley's Essay towards a New Theory of Vision in which Molyneux-type questions are interpreted as thought experiments instead of arguments. First, I present the general argumentative strategy in the NTV, and provide grounds for the traditional reading. Second, I consider some roles of thought experiments, and classify Molyneux-type questions in the NTV as constructive conjectural thought experiments. Third, I argue that (i) there is no distinction between Weak and Strong Heterogeneity theses in the NTV; (ii) (...) that Strong Heterogeneity is the basis of Berkeley's theory; and (iii) that Molyneux-type questions act as illustrations of Strong Heterogeneity. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. David Elohim examines the nature of epistemic modality, when the modal operator is interpreted as concerning both apriority and conceivability, as well as states of knowledge and belief. The book demonstrates how epistemic modality and hyperintensionality relate to the computational theory of mind; metaphysical modality and hyperintensionality; the types of mathematical modality and hyperintensionality; to the epistemic status of large cardinal axioms, undecidable (...) propositions, and abstraction principles in the philosophy of mathematics; to the modal and hyperintensional profiles of the logic of rational intuition; and to the types of intention, when the latter is interpreted as a hyperintensional mental state. Chapter \textbf{2} argues for a novel type of expressivism based on the duality between the categories of coalgebras and algebras, and argues that the duality permits of the reconciliation between modal and hyperintensional cognitivism and modal and hyperintensional expressivism. Elohim develops a novel, topic-sensitive truthmaker semantics for dynamic epistemic logic, and develops a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for two-dimensional (hyper-)intensions. Chapter \textbf{4} advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter \textbf{5} applies the fixed points of the modal $\mu$-calculus in order to account for the iteration of epistemic states in a single agent, by contrast to availing of modal axiom 4 (i.e. the KK principle). The fixed point operators in the modal $\mu$-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal $\mu$-calculus in the literature and the first application of the calculus to the iteration of epistemic states in a single agent instead of the common knowledge of a group of agents. Chapter \textbf{6} advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter \textbf{7} provides a ground-theoretic regimentation of the proposals in the metaphysics of consciousness and examines its bearing on the two-dimensional conceivability argument against physicalism. The topic-sensitive epistemic two-dimensional truthmaker semantics developed in chapters \textbf{2} and \textbf{4} is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. -/- Chapters \textbf{8-12} provide cases demonstrating how the two-dimensional hyperintensions of hyperintensional, i.e. topic-sensitive epistemic two-dimensional truthmaker, semantics, solve the access problem in the epistemology of mathematics. Chapter \textbf{8} examines the interaction between Elohim's hyperintensional semantics and the axioms of epistemic set theory, large cardinal axioms, the Epistemic Church-Turing Thesis, the modal axioms governing the modal profile of $\Omega$-logic, Orey sentences such as the Generalized Continuum Hypothesis, and absolute decidability. These results yield inter alia the first hyperintensional Epistemic Church-Turing Thesis and hyperintensional epistemic set theories in the literature. Chapter \textbf{9} examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. Elohim countenances a hyperintensional semantics for novel epistemic abstractionist modalities. Elohim suggests, too, that higher observational type theory can be applied to first-order abstraction principles in order to make first-order abstraction principles recursively enumerable, i.e. Turing machine computable, and that the truth of the first-order abstraction principle for two-dimensional hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter \textbf{10} examines the philosophical significance of hyperintensional $\Omega$-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter \textbf{11} provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter \textbf{12} avails of modal coalgebras to interpret the defining properties of indefinite extensibility, and avails of hyperintensional epistemic two-dimensional semantics in order to account for the interaction between interpretational and objective modalities and the truthmakers thereof. This yields the first hyperintensional category theory in the literature. Elohim invents a new mathematical trick in which first-order structures are treated as categories, and Vopenka's principle can be satisfied because of the elementary embeddings between the categories and generate Vopenka cardinals in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. Elohim provides a counter-example to epistemic closure for logical deduction. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)