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)

This essay examines some of the arguments in David Deutsch's book The Fabric of Reality , chief among them its case for the so-called many-universe interpretation of quantum mechanics (QM), presented as the only physically and logically consistent solution to the QM paradoxes of wave/particle dualism, remote simultaneous interaction, the observer-induced 'collapse of the wave-packet', etc. The hypothesis assumes that all possible outcomes are realized in every such momentary 'collapse', since the observer splits off into so many parallel, coexisting, but (...) epistemically non-interaccessible 'worlds' whose subsequent branchings constitute the lifeline-or experiential world-series- for each of those proliferating centres of consciousness. Although Deutsch concedes that his 'multiverse' theory is counter-intuitive, he none the less takes it to be borne out beyond question by the sheer observational/predictive success of QM and the conceptual dilemmas that supposedly arise with alternative (single-universe) accounts. Moreover, he claims the theory resolves a range of longstanding philosophical problems, notably those of mind/body dualism, the various traditional paradoxes of time, and the freewill/determinism issue. The essay suggests on the contrary, that Deutsch unwittingly transposes into the framework of presentday quantum debate speculative themes from the history of rationalist metaphysics, often with bizarre or philosophically dubious results, and that he rules out at least one promising rival account, namely Bohm's 'hidden variables' theory. It goes on to consider reasons for resistance to that theory among proponents of the 'orthodox' (Copenhagen) doctrine, and for the strong anti-realist, at times even irrationalist bias that has characterized much of this discussion since Bohr's debates with Einstein about quantum non-locality, observer-intervention, and the limits of precise measurement. Finally, the contrast is pointed out between Deutsch's ontologically extravagant use of the many-worlds hypothesis (akin to certain ideas advanced by speculative metaphysicians from Leibniz down) and those realist modes of counterfactual reasoning- e.g. in Kripke and the early Putnam- which deploy similar arguments to very different causal-explanatory ends. (shrink)

Thought experiment acquires evidential significance only on particular metaphysical assumptions. These include the thesis that science aims at uncovering "phenomena"universal and stable modes in which the world is articulatedand the thesis that phenomena are revealed imperfectly in actual occurrences. Only on these Platonically inspired assumptions does it make sense to bypass experience of actual occurrences and perform thought experiments. These assumptions are taken to hold in classical physics and other disciplines, but not in sciences that emphasize variety and contingency, such (...) as Aristotelian natural philosophy and some forms of historiography. This explains why thought experiments carry weight in the former but not the latter disciplines. (shrink)

: 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)

After more than three centuries, Molyneux's question continues to challenge our understanding of cognition and perceptual systems. Locke, the original recipient of the question, approached it as a theoretical exercise relevant to long-standing philosophical issues, such as nativism, the possibility of common sensibles, and the empiricism-rationalism debate. However, philosophers were quick to adopt the experimentalist's stance as soon as they became aware of recoveries from congenital blindness through ophtalmic surgery. Such recoveries were widely reported to support empiricist positions, suggesting that (...) the question had found its empirical answer. Contrary to this common view, we argue that studies of patients recovering from early blindness through surgery cannot provide an answer. In fact, because of the very nature of such ophtalmological interventions it is impossible to test the question in the empirical conditions outlined by Molyneux. Thus we propose that Molyneux's question be treated as an early thought experiment of a specific kind. Although thought experiments of this kind cannot be turned into actual experimental conditions, they provide a conceptual restructuring of theories. Such restructuring in turn leads to new predictions that can then be tested by normal experiments. In accord with this interpretation, we show that Molyneux's question can be analyzed into a hierarchy of specific questions about vision in its phenomenal and sensory-motor components. Some of these questions do lead to actual experimental conditions that could be studied empirically. (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)

This article engages the considerations of imagination in Kierkegaard and Ricoeur to argue for a moral dimension of the imagination and its objects. Imaginary objects are taken to be mental representations in images and narratives of people or courses of action that are not real in the sense that they are not actual, or have not yet happened. Three claims are made in the article. First, by drawing on the category of possibility, a conceptual distinction is established between imagination and (...) fantasy, (1) I claim that imagination has a moral dimension because it is engaged in considering real-life possibilities. Second, (2) drawing on Kierkegaard and Ricoeur, it is argued that mental representations of selfhood in imagination have a moral dimension because they essentially allow people to understand the development of agency in human selfhood by means of representations of would-be selves and narrative figurations of the self. Third, (3) mental representations of human selves have a moral dimension because they form important points of reference for moral orientations in the field of human praxis (moral pointers). (shrink)

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)

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)

The present paper proposes a route to modal claims that allows us to infer to certain possibilities even if they are sensorily unimaginable and beyond the evidential capacity of stipulative imagining. After a brief introduction, Sect. 2 discusses imaginative resistance to help carve a niche for the kinds of inferences about which this essay is chiefly concerned. Section 3 provides three classic examples, along with a discussion of their similarities and differences. Section 4 recasts the notion of potential explanation in (...) Lipton’s (Inference to the best explanation, Routledge, Abingdon, 2004) in order to accommodate inferences to possibility claims; Sect. 5 then attempts to characterise a principle underlying such inferences. Section 6 concludes by discussing how the proposal relates to other modal epistemologies, with emphasis on the potential of such inferences to produce genuinely new ideas. (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)

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)

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.

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)

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)

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)

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 develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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 develop a novel, dynamic two-dimensional semantics grounded in two-dimensional hyperintensional Turing machines. Chapter \textbf{3} provides an abstraction principle for epistemic (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} are 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)

Thought experiments are frequently vague and obscure hypothetical scenarios that are difficult to assess. The paper proposes a simple model of thought experiments. In the first part, I introduce two contemporary frameworks for thought experiment analysis: an experimentalist approach that relies on similarities between real and thought experiment, and a reasonist approach focusing on the answers provided by thought experimenting. Further, I articulate a minimalist approach in which thought experiment is considered strictly as doxastic mechanism based on imagination. I introduce (...) the basic analytical tool that allows us to differentiate an experimental core from an attached argumentation. The last section is reserved for discussion. I address several possible questions concerning adequacy of minimalistic definition and analysis. (shrink)

Are philosophers of science limited to conducting autopsies on dead scientific theories, or might they also help resolve contemporary methodological disputes in science? This essay (1) gives an overview of thought experiments, especially in mathematics; (2) outlines three major positions on the current dose-response controversy for ionizing radiation; and (3) sketches an original mathematical thought experiment that might help resolve the low-dose radiation conflict. This thought experiment relies on the assumptions that radiation "hits'' are Poisson distributed and that background conditions (...) cause many more radiation-induced cancers than human activities. The essay closes by responding to several key objections to the position defended here. (shrink)

Epistemological optimists about thought experiments hold that imagination could be under certain conditions source of epistemic justification. Their claim is usually based on one of three dominant conceptions about epistemic value of thought experiments. Apriorism states that imagination may serve as unique a priori source of new synthetic knowledge about the actual world. I argue against this view and show that apriorism is either too weak, or too strong or too vague. Psychologism is viable, yet not fully clear conception about (...) new meta-knowledge obtained by thought experimenting. I compare some interpretations of this position and present reasons for favorizing one of them. Conceptualism considers thought experiments as instruments for cleaning our conceptual systems. I argue that this position is in fact not about epistemic value of thought experiments, but about one specific usage of experimental result. (shrink)

This is the most comprehensive book ever published on philosophical methodology. A team of thirty-eight of the world's leading philosophers present original essays on various aspects of how philosophy should be and is done. The first part is devoted to broad traditions and approaches to philosophical methodology. The entries in the second part address topics in philosophical methodology, such as intuitions, conceptual analysis, and transcendental arguments. The third part of the book is devoted to essays about the interconnections between philosophy (...) and neighbouring fields, including those of mathematics, psychology, literature and film, and neuroscience. (shrink)

Philosophical conceptual analysis is an experimental method. Focusing on this helps to justify it from the skepticism of experimental philosophers who follow Weinberg, Nichols & Stich. To explore the experimental aspect of philosophical conceptual analysis, I consider a simpler instance of the same activity: everyday linguistic interpretation. I argue that this, too, is experimental in nature. And in both conceptual analysis and linguistic interpretation, the intuitions considered problematic by experimental philosophers are necessary but epistemically irrelevant. They are like variables introduced (...) into mathematical proofs which drop out before the solution. Or better, they are like the hypotheses that drive science, which do not themselves need to be true. In other words, it does not matter whether or not intuitions are accurate as descriptions of the natural kinds that undergird philosophical concepts; the aims of conceptual analysis can still be met. (shrink)

The practice of thought experimentation plays a central role in contemporary philosophical methodology. Many philosophers rely on thought experimentation as their primary and even sole procedure for testing theories about the natures of properties and relations. This test procedure involves entertaining hypothetical cases in imaginative thought and then undergoing intuitions about the distribution of properties and relations in them. A theory’s comporting with an intuition is treated as evidence in favour of it; but a clash is treated as evidence against (...) the theory and may even be regarded as falsifying it. -/- The epistemic power of thought experimentation is mysterious. How can experiments carried out within the mind enable us to discover truths about the natures of properties and relations like knowledge, causation, personal identity, reference, meaning, consciousness, beauty, justice, morality, and free will? This epistemological challenge is urgent, but a model of philosophical thought experimentation would seem to be a necessary propaedeutic to any serious discussion of it. An adequate model would make the relevant test procedure explicit, thereby assisting in the identification of points of potential epistemic vulnerability. -/- In this monograph I advance the propaedeutical model-building work already done by Timothy Williamson, Anna-Sara Malmgren, and Jonathan Ichikawa and Benjamin Jarvis. Following the lead of these philosophers, I focus on a single Gettier-style thought experiment and the problem of identifying the real content of the Gettier intuition. My first contribution is to establish the inadequacy of all of the existing models. Each of them, I argue, fails to solve the content problem. It emerges from my discussion, however, that Ichikawa and Jarvis’s truth in fiction approach holds out the prospect of a solution. -/- My second contribution is to develop and defend a new way of implementing the general idea behind the truth in fiction approach. The model I put forward does a better overall job of modelling Gettier-style thought experiments than any of the existing models. It has none of the defects which render those models inadequate and Iam unable to find any major defects peculiar to it. This should make us feel confident that my model is adequate. Moreover, since the Gettier-style thought experiment I focus on is paradigmatic, we should also feel confident that my model will generalise naturally to other philosophical thought experiments. (shrink)

Ordinary Language Philosophy has largely fallen out of favour, and with it the belief in the primary importance of analyses of ordinary language for philosophical purposes. Still, in their various endeavours, philosophers not only from analytic but also from other backgrounds refer to the use and meaning of terms of interest in ordinary parlance. In doing so, they most commonly appeal to their own linguistic intuitions. Often, the appeal to individual intuitions is supplemented by reference to dictionaries. In recent times, (...) Internet search engine queries for expressions of interest have become quite popular. Apparently, philosophers attempt to surpass the limits of their own linguistic intuitions by appealing to experts or to factual uses of language. I argue that this attempt is commendable but that its execution is wanting. Instead of appealing to dictionaries or Internet queries, philosophers should employ computer-based linguistic corpora in order to confirm or falsify hypotheses about the factual use of language. This approach also has some advantages over methods employed by experimental philosophers. If the importance of ordinary language is stressed, the use of linguistic corpora is hardly avoidable. (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)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

This essay proposes an alternative way of studying video games: as thought experiments akin to the narrative thought experiments that are frequently used in philosophy. This perspective incorporates insights from the narratological and ludological perspectives in game studies and highlights the philosophical significance of games. Video game thought experiments are similar to narrative thought experiments in many respects and can perform the same functions. They also have distinctive advantages over narrative thought experiments, as they situate counterfactuals in more complex, developed (...) contexts and present them to players who are participants in game worlds, rather than simply observers. (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 this paper I discuss some underlying motivations common to most strands of experimental philosophy, noting that most forms of experimental philosophy have a commitment to the claim that certain empirical evidence concerning the level of agreement on intuitive judgments across cultures, ethnic groups or socioeconomic strata impugns the role that intuitions play in traditional “armchair” philosophy. I then develop an argument to suggest that, even if one were to grant the truth of the data adduced by experimentalists regarding the (...) level of agreement—or lack thereof—regarding intuitive judgments among various groups, this would nevertheless not yet provide sufficient basis to reject the role of intuitions in traditional philosophical theorizing. Though this argument, if successful, will not prove fatal to all forms of experimental philosophy, it would limit the scope of experimental philosophical criticisms of traditional philosophical practice. (shrink)

In this essay I examine various aspects of the nearcentury-long debate concerning the conceptualfoundations of quantum mechanics and the problems ithas posed for physicists and philosophers fromEinstein to the present. Most crucial here is theissue of realism and the question whether quantumtheory is compatible with any kind of realist orcausal-explanatory account which goes beyond theempirical-predictive data. This was Einstein's chiefconcern in the famous series of exchanges with NielsBohr when he refused to accept the truth orcompleteness of a doctrine (orthodox QM) (...) which ruledsuch questions to be strictly inadmissible. I discussthe later history of quantum-theoretical debate withparticular reference to the issue of nonlocality,i.e., the phenomenon of superluminal(faster-than-light) interaction betweenwidely-separated particles. Then I show how thestandard `Copenhagen' interpretation of QM hasinfluenced current anti-realist orontological-relativist approaches to philosophy ofscience. Indeed, there are clear signs that somephilosophers have retreated from a realist positionvery largely in response to just these problems. So itis important to ask exactly why – on what scientificor philosophical grounds – any preferred alternative(causal-realist) construal should have been ruled outas a matter of orthodox QM wisdom. Moreconstructively, my paper presents various arguments infavour of one such alternative, the `hidden-variables'theory developed since the early 1950s by David Bohmand consistently marginalised by proponents of theCopenhagen doctrine. (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)

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)

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 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)

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)

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)