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)

It is necessary to reconsider P. M. S. Hacker’s assessment of Kant and Wittgenstein’s philosophical affinities and the question concerning Wittgenstein’s alleged use of “transcendental arguments”. First, Alfred Norman’s reading of the Tractatus Logico-Philosophicus as a thought experiment receives revision to develop a view of the Critique of Pure Reason as a large-scale thought experiment that shares important logical features with the Tractatus. Then the question is addressed whether the middle Wittgenstein and the pre-critical Kant employed any thought experiments that (...) could be equally characterised as “transcendental arguments”. A rational reconstruction of both thinkers’ arguments is carried out in the light of the contemporary literature on thought experimenting. The novelty and relevance of this approach is the emphasis laid upon a largely neglected affinity between Kant and Wittgenstein, namely the systematic use of thought experiments in their epistemological pursuits. The conclusions are: i) Wittgenstein’s and Kant’s magna opera can be seen as philosophical thought experiments that attempt to try out the limits of language and the limits of possible experience respectively; ii) Both philosophers developed arguments that can be designated as transcendental if only from a methodological standpoint; and iii) some key arguments put forward by the middle Wittgenstein in the determination of the structure of visual space could be characterised better as thought experiments than transcendental arguments. (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)

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)

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)

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)

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)

It is usually claimed that in order to assess a thought experiment we should assess the nomological possibility, or realizability in principle, of its scenario. This is undoubtedly true for many TEs, such as Bohr’s reply to Einstein’s photon box. Nevertheless, in some cases, such as Maxwell’s demon, this requirement should be relaxed. Many accounts of TEs fail in this regard. In particular, experimental and some mental model accounts are too strict, since they always require realizability in principle. This paper (...) aims at analysing the notion of possibility at play in the scenarios of scientific TEs, and sheds some new light on their nature and function. (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)

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)

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)

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)

ABSTRACT: René Descartes' Cogito is an example of a paradigmatic thought experiment, herald of both subjectivism and new science in Europe's Modern Age, that seems to have escaped the attention of thought experiment philosophers. On deep analysis, the Cogito appears as universal instantiation. The Cogito has strong rhetorical effects for it narratively generalizes from I to all human kind, and its historical and philosophical success can be explained from its concise enthymematic structure that rings true in many possible senses. We (...) consider it a preeminent example of a thought experiment as it states the power of thinking as its very contents. From Descartes' methodology of doubt we can conclude that, e.g., on a Wittgensteinian interpretation, the Cogito is a logical thought experiment rather than a psychological one. RESUMO: O Cogito de René Descartes é um exemplo de experimento mental paradigmático, precursor tanto do subjetivismo quanto da nova ciência, na Idade Moderna europeia, o qual parece ter escapado à atenção dos filósofos que estudaram o experimento mental. Na análise profunda, o Cogito aparece como uma instanciação universal. O Cogito tem fortes efeitos retóricos por si mesmo, generalizando narrativamente desde o eu para toda a espécie humana, e seu sucesso histórico e filosófico pode ser explicado por sua estrutura entimemática concisa, que soa através de muitos sentidos possíveis. Consideramos que é um exemplo proeminente de um experimento mental, na medida em que afirma o poder de pensar como seus próprios conteúdos. A partir da metodologia da dúvida de Descartes, podemos concluir que, em uma interpretação wittgensteiniana, o Cogito é um experimento mental mais lógico que psicológico. (shrink)

John D. Norton defends an empiricist epistemology of thought experiments, the central thesis of which is that thought experiments are nothing more than arguments. Philosophers have attempted to provide counterexamples to this claim, but they haven’t convinced Norton. I will point out a more fundamental reason for reformulation that criticizes Norton’s claim that a thought experiment is a good one when its underlying logical form possesses certain desirable properties. I argue that by Norton’s empiricist standards, no thought experiment is ever (...) justified in any deep sense due to the properties of its logical form. Instead, empiricists should consider again the merits of evaluating thought experiments more like laboratory experiments, and less like arguments. (shrink)

The principal aim of my thesis is to provide a unified theory of imagining, that is, a theory which aspires to capture the common nature of all central forms of imagining and to distinguish them from all paradigm instances of non-imaginative phenomena. The theory which I intend to put forward is a version of what I call the Agency Account of imagining and, accordingly, treats imaginings as mental actions of a certain kind. More precisely, it maintains that imaginings are mental (...) actions that aim at the formation of episodic representations, the content of which is directly determined by what we want them to represent. My defence of this version of the Agency Account happens in two stages. On the one hand, I try to show that it is both extensionally adequate and explanatorily illuminating with respect to those mental states or projects which are clear instances of either imaginative or non- imaginative phenomena. And on the other hand, I seek to demonstrate that the most plausible alternative to the Agency Account - namely the Cognitive Account according to which it is distinctive of imaginings that they are non-cognitive phenomena and thus to be contrasted with perceptions, judgements, and so on - is bound to fail as a unified theory of imagining. The dissertation contains five main parts. In the first, I specify in more detail what a unified account of imagining has to achieve and, in particular, which phenomena it is supposed to capture. The second part presents the Cognitive Account, thereby focussing on Brian O'Shaughnessy's sophisticated version of it while the third part is reserved for the evaluation and rejection of the Cognitive Account. In the fourth part, I develop my version of the Agency Account of imagining. And the fifth and last part is concerned with the accommodation of potential counterexamples to it. (shrink)

Computer simulations are an exciting tool that plays important roles in many scientific disciplines. This has attracted the attention of a number of philosophers of science. The main tenor in this literature is that computer simulations not only constitute interesting and powerful new science , but that they also raise a host of new philosophical issues. The protagonists in this debate claim no less than that simulations call into question our philosophical understanding of scientific ontology, the epistemology and semantics of (...) models and theories, and the relation between experimentation and theorising, and submit that simulations demand a fundamentally new philosophy of science in many respects. The aim of this paper is to critically evaluate these claims. Our conclusion will be sober. We argue that these claims are overblown and that simulations, far from demanding a new metaphysics, epistemology, semantics and methodology, raise few if any new philosophical problems. The philosophical problems that do come up in connection with simulations are not specific to simulations and most of them are variants of problems that have been discussed in other contexts before. (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)

Timothy Williamson’s Knowledge and its Limits has been highly influential since the beginning of this century. It can be read as a systematic response to scepticism. One of the most important notions in this response is the notion of «evidence,» which will be the focus of the present paper. I attempt to show primarily two things. First, the notion of evidence invoked by Williamson does not address the sceptical worry: he stipulates an objective notion of evidence, but this begs the (...) question against his opponent. Second, his related thesis «Evidence equals Knowledge» does not sit well with his own content externalism: he promises to relate epistemology to philosophy of mind, but he fails to live up to this commitment in his crucial chapter on scepticism. Other minor problems concerning evidence will also be discussed in due course. (shrink)

This inaugural handbook documents the distinctive research field that utilizes history and philosophy in investigation of theoretical, curricular and pedagogical issues in the teaching of science and mathematics. It is contributed to by 130 researchers from 30 countries; it provides a logically structured, fully referenced guide to the ways in which science and mathematics education is, informed by the history and philosophy of these disciplines, as well as by the philosophy of education more generally. The first handbook to cover the (...) field, it lays down a much-needed marker of progress to date and provides a platform for informed and coherent future analysis and research of the subject. -/- The publication comes at a time of heightened worldwide concern over the standard of science and mathematics education, attended by fierce debate over how best to reform curricula and enliven student engagement in the subjects There is a growing recognition among educators and policy makers that the learning of science must dovetail with learning about science; this handbook is uniquely positioned as a locus for the discussion. -/- The handbook features sections on pedagogical, theoretical, national, and biographical research, setting the literature of each tradition in its historical context. Each chapter engages in an assessment of the strengths and weakness of the research addressed, and suggests potentially fruitful avenues of future research. A key element of the handbook’s broader analytical framework is its identification and examination of unnoticed philosophical assumptions in science and mathematics research. It reminds readers at a crucial juncture that there has been a long and rich tradition of historical and philosophical engagements with science and mathematics teaching, and that lessons can be learnt from these engagements for the resolution of current theoretical, curricular and pedagogical questions that face teachers and administrators. (shrink)

This book on infinite regress arguments provides (i) an up-to-date overview of the literature on the topic, (ii) ready-to-use insights for all domains of philosophy, and (iii) two case studies to illustrate these insights in some detail. Infinite regress arguments play an important role in all domains of philosophy. There are infinite regresses of reasons, obligations, rules, and disputes, and all are supposed to have their own moral. Yet most of them are involved in controversy. Hence the question is: what (...) exactly is an infinite regress argument, and when is such an argument a good one? (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)

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 paper considers ways that experimental design can affect judgments about informally presented context shifting experiments. Reasons are given to think that judgments about informal context shifting experiments are affected by an exclusive reliance on binary truth value judgments and by experimenter bias. Exclusive reliance on binary truth value judgments may produce experimental artifacts by obscuring important differences of degree between the phenomena being investigated. Experimenter bias is an effect generated when, for example, experimenters disclose (even unconsciously) their own beliefs (...) about the outcome of an experiment. Eliminating experimenter bias from context shifting experiments makes it far less obvious what the “intuitive” responses to those experiments are. After it is shown how those different kinds of bias can affect judgments about informal context shifting experiments, those experiments are revised to control for those forms of bias. The upshot of these investigations is that participants in the contextualist debate who employ informal experiments should pay just as much attention to the design of their experiments as those who employ more formal experimental techniques if they want to avoid obscuring the phenomena they aim to uncover. (shrink)

Realist essentialists face a prima facie challenge in accounting for our knowledge of the essences of things, and in particular, in justifying our engaging in thought experiments to gain such knowledge. In contrast, conferralist essentialism has an attractive story to tell about how we gain knowledge of the essences of things, and how thought experiments are a justified method for gaining such knowledge. The conferralist story is told in this essay.

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)

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)

The paper is a contribution to the debate on the epistemological status of thought experiments. I deal with the epistemological uniqueness of experiments in the sense of their irreducibility to other sources of justification. In particular, I criticize an influential argument for the irreducibility of thought experiments to general arguments. First, I introduce the radical empiricist theory of eliminativism, which considers thought experiments to be rhetorically modified arguments, uninteresting from the epistemological point of view. Second, I present objections to the (...) theory, focusing on the critique of eliminativism by Tamar Szabó Gendler based on the reconstruction of famous Galileo's Pisa experiment. I show that her reconstruction is simplistic and that more elaborate reconstruction is needed for an appropriate assessment of the epistemic power of general argument. I propose such a reconstruction and demonstrate that general version of Pisa experiment is epistemically equal to the particular one. Thus, from an epistemological perspective, Galileo's thought experiment is reducible to a straightforward argument without particular premises. (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)

I present a case for a rapprochement between aspects of rationalism and scientific realism, by way of a general framework employing modal epistemology and elements of 2-dimensional semantics (2DS). My overall argument strategy is meta-inductive: The bulk of this paper establishes a “base case,” i.e., a concretely constructive example by which I demonstrate this linkage. The base case or constructive example acts as the exemplar for generating, in a constructively ‘bottom-up’ fashion, a more generally rigorous case for rationalism-realism qua modal (...) epistemology. The exemple I choose in D. Chalmers’ (2002) modal rationalism and R. Giere’s (1985, 1988) constructive realism. I show by way of a thorough analysis how Giere’s claims concerning modal scope are characterized as instances of Chalmers’ modal rationalism, both weak and strong. In essence, as I demonstrate via Chalmers’ notions, ceteris paribus the constructive realist ultimately opts for a comparatively wider gate, characterized by modal reasoning, to lead from the rooms of conceivability qua thought experiments and models, to the pastures of metaphysical possibility. Chalmers likewise tries to erect such a wider gate, in his general conceivability-possibility theses. Anti-realists, on the other hand, see a narrower passage and my contention herein is that they suffer from modal myopia, which hopefully the ‘corrective vision’ of Chalmers’ modal rationalism can restore. In the introduction and concluding sections I sketch out suggestions of constructing ‘inductive steps’ from my base case, to generate more extensively general claims regarding realism qua rationalism. -/- . (shrink)

The operational perspective here defended permits a reflexive-transcendental point of view that sharply distinguishes the two concepts, while, at the same time, maintaining the connection between them. On the one hand, simply imagining that the experimental apparatus, counterfactually anticipated in a thought experiment, has really been constructed is sufficient to erase any difference between thought and real experiments. On the other hand, this very ‘imagining’, this capacity of the mind to assume every real entity as a possible entity, underpins the (...) difference in principle – a properly transcendental difference – between thought and real experiments. This difference, however, implies the intimate association between experiment and thought experiment: All thought experiments must be thought of as translatable into real ones, and all real experiments as realisations of thought ones. What thought experiments have over and above real experiments is the mere fact that they exist in a purely hypothetical sphere; what real have over and above thought experiments is the mere fact that they overstep the sphere of the possible, in the experiment’s real execution. (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)