Carnap and Goodman developed methods of conceptual re-engineering known respectively as explication and reflective equilibrium. These methods aim at advancing theories by developing concepts that are simultaneously guided by pre-existing concepts and intended to replace these concepts. This paper shows that Carnap’s and Goodman’s methods are historically closely related, analyses their structural interconnections, and argues that there is great systematic potential in interpreting them as aspects of one method, which ultimately must be conceived as a component of theory development. The (...) main results are: an adequate method of conceptual re-engineering must focus not on individual concepts but on systems of concepts and theories; the linear structure of Carnapian explication must be replaced by a process of mutual adjustments as described by Goodman; Carnap’s condition of similarity can be analysed into two components, one securing a relation to the specific extensions of the pre-existing concepts, one regulating the transition to the new system of concepts; these two criteria of adequacy can be built into Goodman’s account of reflective equilibrium to ensure that the resulting concepts promote theoretical virtues while being sufficiently similar to the concepts we started out with. (shrink)

The term ‘naturalism’ has no very precise meaning in contemporary philosophy. Its current usage derives from debates in America in the first half of the last century. The self-proclaimed ‘naturalists’ from that period included John Dewey, Ernest Nagel, Sidney Hook and Roy Wood Sellars. These philosophers aimed to ally philosophy more closely with science. They urged that reality is exhausted by nature, containing nothing ‘supernatural’, and that the scientific method should be used to investigate all areas of reality, including the (...) ‘human spirit’ (Krikorian 1944, Kim 2003). (shrink)

According to intellectualism, what a person knows is solely a function of the evidential features of the person's situation. Anti-intellectualism is the view that what a person knows is more than simply a function of the evidential features of the person's situation. Jason Stanley (2005) argues that, in addition to “traditional factors,” our ordinary practice of knowledge ascription is sensitive to the practical facts of a subject's situation. In this paper, we investigate this question empirically. Our results indicate that Stanley's (...) assumptions about knowledge ascriptions do not reflect our ordinary practices in some paradigmatic cases. If our data generalize, then arguments for anti-intellectualism that rely on ordinary knowledge ascriptions fail: the case for anti-intellectualism cannot depend on our ordinary practices of knowledge ascription. (shrink)

This paper poses a constructive, evenhanded challenge to the idea that recent experimental work shows intuitions to be epistemically problematic. It is a challenge because it suggests that these experimental attacks neglect a considerable gap between intuitions and answers, and this neglect implies that we are at the present time unwarranted in drawing any negative conclusions about intuition’s epistemic status from the relevant empirical studies. The challenge is evenhanded because it does not load the dice by invoking an overly narrow (...) conception of intuition. Finally, the challenge is constructive: it is not an exercise in idle skepticism, but rather explores concrete implications and applications. These include (i) a practical lesson that may help experimentalists in their efforts to study intuitions empirically, (ii) methodological counsel that may help rationalists in their efforts to intuit responsibly, and (iii) a novel explanation of the relevant empirical studies that may actually support rather than undermine intuition’s epistemic status—perhaps, however, to the detriment of the epistemic status of answers. (shrink)

Reductive intellectualists about knowledge-how hold, contra Ryle, that knowing how to do something is just a kind of propositional knowledge. In a similar vein, traditional reductivists about understanding-why insist, in accordance with a tradition beginning with Aristotle, that the epistemic standing one attains when one understands why something is so is itself just a kind of propositional knowledge—viz., propositional knowledge of causes. A point that has been granted on both sides of these debates is that if these reductive proposals are (...) right, then knowledge-how and understanding-why should be susceptible to the same extent as knowledge-that is to being undermined by epistemic luck. This paper reports experimental results that test these luck-based predictions. Interestingly, these results suggest a striking positive correlation between self-reported philosophical expertise and attributions of knowledge-how, understanding-why and knowledge-that which run contrary to reductive proposals. We contextualize these results by showing how they align very well with a particular kind of overarching non-reductive proposal, one that two of the authors have defended elsewhere according to which knowledge-how and understanding-why, but not knowledge-that, essentially involve cognitive achievement. We conclude by situating the interpretive narrative advanced within contemporary discussions about the role of expertise in philosophical judgment. (shrink)

Skepticism about the epistemic value of intuition in theoretical and philosophical inquiry has recently been bolstered by empirical research suggesting that people’s concrete-case intuitions are vulnerable to irrational biases (e.g., the order effect). What is more, skeptics argue that we have no way to ‘‘calibrate” our intuitions against these biases and no way of anticipating intuitional instability. This paper challenges the skeptical position, introducing data from two studies that suggest not only that people’s concrete-case intuitions are often stable, but also (...) that people have introspective awareness of this stability, providing a promising means by which to assess the epistemic value of our intuitions. (shrink)

Advocates of the use of intuitions in philosophy argue that they are treated as evidence because they are evidential. Their opponents agree that they are treated as evidence, but argue that they should not be so used, since they are the wrong kinds of things. In contrast to both, we argue that, despite appearances, intuitions are not treated as evidence in philosophy whether or not they should be. Our positive account is that intuitions are a subclass of inclinations to believe. (...) Our thesis explains why intuitions play a role in persuasion and inquiry, without conceding that they are evidential. The account also makes predictions about the structure of intuitions that are confirmed by independent arguments. (shrink)

In this paper I will argue that this entire dialectic is somewhat misguided. The mental states which are generally assumed to fall under the category of ‘intuition’ likely comprise a highly heterogeneous group; from the point of view of psychology or of neuroscience, in fact, ‘intuitions’ appear to be generated by several fundamentally different sorts of mental processes. If this is correct, then the term ‘intuition’ may simply carve things too broadly. I will argue that it is a mistake to (...) focus on the ‘reliability of intuition’; empirical evidence suggests that the reliability of one type of intuition may tell us next to nothing about the reliability of other types. Rather than debating the evidential status of intuition as a whole, philosophers interested in methodology would do well to focus their investigations much more narrowly. (shrink)

A contribution to a symposium on Herman Cappelen's Philosophy without Intuitions.

Knowledge ascriptions of the form ‘S knows that p’ are a central area of research in philosophy. But why do humans think and talk about knowledge? What are knowledge ascriptions for? This article surveys a variety of proposals about the role of knowledge ascriptions and attempts to provide a unified account of these seemingly distinct views.

In this paper I survey some recent developments in experimental philosophy and discuss their bearing on two leading theories in epistemology: Contextualism and Interest Relative Invariantism. In the first part of the paper, I survey some general issues of how experimental philosophy may be relevant to assessing contextualism and IRI. In the second part, I discuss and critique some of the recent experimental work.

Reply to criticsThe replies in this symposium are some of the most insightful contributions to contemporary metaphilosophy I have read. I wish I had seen them before I wrote Philosophy without Intuitions . It would have made it a better book. I also wish I had space to explore all the important issues raised, but unfortunately, the focus here will have to be on points of disagreement. The replies build on each other—I draw on material from the earlier replies in (...) the later ones. It is possible to read each reply in isolation, but they are best read in sequence.Socratic knowledge and its role in philosophy: Reply to WeathersonWeatherson presents one of the most interesting accounts of the role of intuitions in philosophy that I have encountered. For Weatherson, the role is limited, fragile, and elusive .One of the most interesting ideas in the paper is that “the important intuitions are the ones you bar .. (shrink)

Descartes has a Clarity First epistemology: (i) Clarity is a primitive (indefinable) phenomenal quality: the appearance of truth. (ii) Clarity is prior to other qualities: obscurity, confusion, distinctness – are defined in terms of clarity; epistemic goods – reason to assent, rational inclination to assent, reliability, and knowledge – are explained by clarity. (This is the first of two companion entries; the sequel is called, "Descartes's Method for Achieving Knowledge.").

Recent empirical work on non-philosophers’ intuitions about epistemic normativity reveals patterns that cannot be fully accounted for by direct epistemic consequentialism. On the basis of these results, one might picture participants as “epistemic deontologists.” We present the results of two new experiments that support a more nuanced picture. We examine intuitions about guesses and hypotheses, and about beliefs. Our results suggest a two-factor model of intuitions, wherein both consequentialist and non-consequentialist considerations affect participants’ judgments about epistemic permissibility.

According to extant versions of epistemic instrumentalism, epistemic reasons are instrumental reasons. Epistemic instrumentalism is unpopular. I think it’s just misunderstood. Rather than saying epistemic reasons are instrumental reasons, epistemic instrumentalists should only say that if there is an epistemic reason, there is also an instrumental reason. This is the view I call ecumenical epistemic instrumentalism. In this paper, I first motivate, next sketch, and finally highlight the advantages of this version of epistemic instrumentalism.

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)

Cognitive scientists have revealed systematic errors in human reasoning. There is disagreement about what these errors indicate about human rationality, but one upshot seems clear: human reasoning does not seem to fit traditional views of human rationality. This concern about rationality has made its way through various fields and has recently caught the attention of philosophers. The concern is that if philosophers are prone to systematic errors in reasoning, then the integrity of philosophy would be threatened. In this paper, I (...) present some of the more famous work in cognitive science that has marshaled this concern. Then I present reasons to think that those with training in philosophy will be less prone to certain systematic errors in reasoning. The suggestion is that if philosophers could be shown to be less prone to such errors, then the worries about the integrity of philosophy could be constrained. Then I present evidence that, according to performance on the CRT (Frederick 2005), those who have benefited from training and selection in philosophy are indeed less prone to one kind of systematic error: irrationally arbitrating between intuitive and reflective responses. Nonetheless, philosophers are not entirely immune to this systematic error, and their proclivity for this error is statistically related to their responses to a variety of philosophical questions. So, while the evidence herein puts constraints on the worries about the integrity of philosophy, it by no means eliminates these worries. The conclusion, then, is that the present evidence offers prima facie reasons to ascribe a mitigated privilege to philosophers' ability to rationally arbitrate between intuitive and reflective responses. (shrink)

Religious disagreement is, quite understandably, viewed as a problem for religious belief. In this paper, I consider why religious disagreement is a problem—why it is a potential defeater for religious belief—and I propose a way of dealing with this sort of potential defeater. I begin by focusing elsewhere—on arguments for radical skepticism. In section 1, I consider skeptical arguments proposed as potential defeaters for all of our perceptual and memory beliefs and explain what I think the rational response is to (...) such potential defeaters, emphasizing the way epistemic intuitions are involved in both the skeptical arguments and my recommended response. In section 2, I discuss the way in which peer disagreement—on any topic—is a potential defeater for our beliefs, highlighting the conditions under which recognized disagreement is a successful defeater and those under which it isn't. In the third section, I consider how to use a section-1 type of response to deal with a section-2 type of defeater for religious belief. (shrink)

Deutsch 2010 (The Review of Philosophy and Psychology 1: 447–460) claims that hypothetical scenarios are evaluated using arguments, not intuitions, and therefore experiments on intuitions are philosophically inconsequential. Using the Gettier case as an example, he identifies three arguments that are supposed to point to the right response to the case. In the paper, I present the results of studies ran on Polish, Indian, Spanish, and American participants that suggest that there’s no deep difference between evaluating the Gettier case with (...) intuitions and evaluating it with Deutsch’s arguments. Specifically, I argue that one would find these arguments persuasive if and only if one is already disposed to exhibit the relevant intuition. (shrink)

This paper outlines a new method for identifying folk intuitions to complement armchair intuiting and experimental philosophy, and thereby enrich the philosopher’s toolkit. This new approach—trope analysis—depends not on what people report their intuitions to be but rather on what they have made and engaged with; I propose that tropes in fiction reveal which theories, concepts and ideas we find intuitive, repeatedly and en masse. Imagination plays a dual role in both existing methods and this new approach: it enables us (...) to create the scenarios that elicit our intuitions, and also to mentally represent them. The method I propose allows us to leverage the imagination of the many rather than the few on both counts—scenarios are both created and consumed by the folk themselves. (shrink)

According to Joshua Alexander, philosophers use intuitions routinely as a form of evidence to test philosophical theories but experimental philosophy demonstrates that these intuitions are unreliable and unrepresentative.1 According to Herman Cappelen, philosophers never use intuitions as evidence (despite the vacuous sentential leader ‘intuitively’) and experimental philosophy lacks a rationale for its much-touted existence.2 That two books are diametrically opposed on methodology in philosophy is not noteworthy. But eyebrows might be raised at such contradictory accounts of the phenomenology of philosophical (...) inquiry. What is it that (analytic) philosophers do? Why is it so difficult to achieve consensus on the professional activities in which we engage? (shrink)

This article provides an account of intuitions: Affectivism. Affectivism states that intuitions are emotional experiences. The article proceeds as follows: first, the features that intuitions are typically taken to have are introduced. Then some issues with extant theories are outlined. After that, emotional experiences and their central features are brought into view. This is followed by a comparison of intuitions and emotional experiences, yielding the result that emotional experiences fit and elucidate the feature profile of intuitions. Finally, it is specified (...) what kind of emotional experiences intuitions are: intuitions are typically mild emotional experiences that belong to the subclass of epistemic feelings. (shrink)

Research on folk epistemology usually takes place within one of two different paradigms. The first is centered on epistemic theories or, in other words, the way people think about knowledge. The second is centered on epistemic intuitions, that is, the way people intuitively distinguish knowledge from belief. In this paper, we argue that insufficient attention has been paid to the connection between the two paradigms, as well as to the mechanisms that underlie the use of both epistemic intuitions and theories. (...) We contend that research on folk epistemology must examine the use of both intuitions and theories in the pragmatic context of the game of giving and asking for reasons and, more generally, understand how these practices take place within the broader context of normative social cognition. (shrink)

Recently, a number of phenomenological approaches to experiential justification emerged according to which an experience's justificatory force is grounded in the experience’s distinctive phenomenology. The basic idea is that certain experiences exhibit a presentive phenomenology and that they are a source of immediate justification precisely by virtue of their presentive phenomenology. Such phenomenological approaches usually focus on perceptual experiences and mathematical intuitions. In this paper, I aim at a phenomenological approach to ethical experiences. I shall show that we need to (...) make a distinction between evaluative experiences directed at concrete cases and ethical intuitions directed at general principles. The focus will be on evaluative experiences. I argue that evaluative experiences constitute a sui generis type of experience that gain their justificatory force by virtue of their presentive evaluative phenomenology. In Sect. 1, I introduce and motivate the phenomenological idea that certain experiences exhibit a justification-conferring phenomenology. In Sect. 4, I apply this idea to morally evaluative experiences. In Sect. 5, I suggest that certain epistemic intuitions should be considered epistemically evaluative experiences and I outline a strong parallelism between ethics and epistemology. (shrink)

Introduction to the collection "Knowledge Ascriptions" (eds. Brown, J. and Gerken, M.).

Often philosophers have reason to ask fundamental questions about the aims, methods, nature, or value of their own discipline. When philosophers systematically examine such questions, the resulting work is sometimes referred to as “metaphilosophy.” Metaphilosophy, it should be said, is not a well-established, or clearly demarcated, field of philosophical inquiry like epistemology or the philosophy of art. However, in the late 20th and early 21st centuries there has been a great deal of metaphilosophical work on issues concerning the methodology of (...) philosophy in the analytic tradition. This article focuses on that work. (shrink)

This essay aims to provide a modal logic for rational intuition. Similarly to treatments of the property of knowledge in epistemic logic, I argue that rational intuition can be codified by a modal operator governed by the modal $\mu$-calculus. Via correspondence results between fixed point modal propositional logic and the bisimulation-invariant fragment of monadic second-order logic, a precise translation can then be provided between the notion of 'intuition-of', i.e., the cognitive phenomenal properties of thoughts, and the modal operators regimenting the (...) notion of 'intuition-that'. I argue that intuition-that can further be shown to entrain conceptual elucidation, by way of figuring as a dynamic-interpretational modality which induces the reinterpretation of both domains of quantification and the intensions and hyperintensions of mathematical concepts that are formalizable in monadic first- and second-order formal languages. Hyperintensionality is countenanced via a topic-sensitive epistemic two-dimensional truthmaker semantics. (shrink)

Der Beitrag beleuchtet einen bisher kaum gewürdigten Grund dafür, dass die Gettier-Debatte nicht zu einer systematisch verbesserten Analyse des Wissensbegriffs geführt hat. Es wird die These entwickelt und verteidigt, dass diejenigen Komplikationen, die einen Gettierfall zu einem solchen machen, sich stets in den blinden Flecken der Situationsrepräsentation des epistemischen Subjekts befinden. Diese These ist in die metaphilosophische Fragestellung eingebettet, was das Gettierproblem uns über das Verhältnis von sprachlichen Intuitionen und Begriffsanalysen lehrt. Es gibt unter kompetenten Sprechern beträchtliche Einmütigkeit darüber, dass (...) paradigmatische Gettierfälle als Fälle von Nichtwissen zu klassifizieren sind, aber ungleich weniger Einigkeit darüber, ob und wie die klassische Analyse des Wissensbegriffs verbessert werden kann. Zu der Frage, warum es so schwer ist, konvergierende sprachliche Intuitionen über Einzelfälle in eine gettierfallsichere allgemeine Analyse zu überführen, werden folgende Thesen entwickelt: Was in Gettierfällen konfligiert, sind nicht Analyse und Intuition als solche, sondern die Charakterisierung eines Situationstyps und die Beurteilung einer einzelnen Situation angesichts einer bestimmten Gettierkomplikation. Die Aufgabe, eine allgemeine Beschreibung der mit Wissen unvereinbaren Komplikationen zu geben, geht weit über die kompetente Beurteilung von Einzelfällen hinaus. Möglicherweise ist sie unlösbar, weil das wörtliche Zutreffen der Beschreibung einer epistemischen Situation niemals garantieren kann, dass sich in den Leerstellen der Beschreibung keine Gettierkomplikation verbirgt. (shrink)

A selective annotated bibliography of recent literature on a priori knowledge.

Multiple epistemological programs make use of intuitive judgments pertaining to an individual’s ability to gain knowledge from exclusively probabilistic/statistical information. This paper argues that these judgments likely form without deference to such information, instead being a function of the degree to which having knowledge is representative of an agent. Thus, these judgments fit the pattern of formation via a representativeness heuristic, like that famously described by Kahneman and Tversky to explain similar probabilistic judgments. Given this broad insensitivity to probabilistic/statistical information, (...) it directly follows that these epistemic judgments are insensitive to a given agent’s epistemic status. From this, the paper concludes that, breaking with common epistemological practice, we cannot assume that such judgments are reliable. (shrink)

Wilcox proposed an argument against imprecise probabilities and for the principle of indifference based on a thought experiment where he argues that it is very intuitive to feel that one’s confidence in drawing a ball of a given colour out of an unknown urn should decrease while the number of potential colours in the urn increases. In my response to him, I argue that one’s intuitions may be unreliable because it is very hard to truly feel completely ignorant in such (...) a situation. I further argue that Wilcox must also account for the conflicting intuition that it is absurd to have to feel completely convinced that a specific claim about reality is true _in the absence of any evidence_ in order to avoid being irrational. It is dubious that this intuition is considerably less universal and strongly-held than Wilcox’s own intuition. Finally, I point out that even if Wilcox’s intuition were to be universally shared among members of our biological species, it is far from being clear that someone refusing to let that intuition dictate his or her beliefs would be irrational. For all these reasons, I believe that Wilcox was not successful in proving that philosophers and scientists representing uncertainty through imprecise probabilities are violating the principles of rationality. (shrink)

I argue for three central theses: ‘intuition’ is ambiguous, in material object metaphysics ‘intuition’ refers to pre-theoretical beliefs, and these pre-theoretical beliefs are generated by an innate physical reasoning system. I begin by outlining the relevant background discussions on the nature of intuitions and their role in philosophy to motivate the need for a more careful investigation of the meaning of ‘intuition’ and the role of intuitions in specific sub-disciplines of philosophy. In chapters one and two I argue that ‘intuition’ (...) is ambiguous between an inflationary and deflationary sense. In the inflationary sense, ‘intuition’ refers to a priori intellectual seemings with a special phenomenology, conceptual etiology, and modal content. In the deflationary sense, ‘intuition’ refers to beliefs or inclinations to believe. In chapter three I specifically examine the use of intuitions in material object metaphysics and conclude that in this sub-community ‘intuition’ is used in the deflationary sense to refer to pre-theoretical beliefs. Drawing from research on infant cognition, in the final chapter I argue that intuitions regarding material object metaphysics are those judgments that arise from an innate physical reasoning system. Based on this empirical observation, I argue that metaphysicians ought to give preference to abstract intuitions over intuitions regarding concrete cases because these abstract intuitions reflect the innate structure of our physical reasoning mechanisms. (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)

Immediate striking feelings without any conscious inference are viewed as one of the sources of truth by many philosophers. It is often claimed that there is a long tradition in philosophy of viewing intuitive propositions as true without need for further justification, since the intuitiveness, for traditional philosophy, suggests that the proposition is self-evident. In philosophical discussions, it was extremely common for philosophers to argue for the intuitiveness of their theories. Contemporary philosophers have put increasing attention and effort into the (...) study of this methodology in philosophy. They explicitly use the term ‘intuition’ and ‘appealing to intuition’ to refer to such common practice in philosophy. Recently there are numerous papers discussing the topic of intuition, its reliability, evidential status, and what philosophy ought to be. These disputes have lasted for several decades and it seems the disputes may even continue for several more decades. Despite the excessive usage of the term ‘intuition’, there are still polarized attitudes towards intuition: not only on the question of whether we should appeal to intuition in doing philosophy, but also on what ‘intuition’ means. The latter problem, the divergence of understanding on ‘intuition’, seems to be the main factor causing endless disputes of this topic and it should be the problem primarily solved. There are philosophers who notice the problem that there is no general agreement on the accounts of intuition. However, surprisingly, most of them have not attempted to solve the problem, but just simply give their own accounts of intuition, or claim that it is improbable to have general agreement on the definition of ‘intuition’ instead. In fact, it is possible to have a general acceptable theory of intuition. The main aims of the thesis are to provide the method of seeking the good candidates for a general acceptable theory of intuition and to use the method in seeking one of the good theories. In order to achieve the goals, the thesis will provide the ground for the discussion, by specifying several features of intuition as the desiderata of a good theory; and examine several theories of intuition that have been offered in recent literature as example. We will find that, unfortunately, among the theories selected in philosophy, there still seems to be no satisfactory account of intuition. Nevertheless, there seems a promising account of intuition offered in psychology. The thesis will argue the psychological account is one of the good candidates of general acceptable theory of intuition. If not, we at least have a method of seeking the good theories of intuition. (shrink)

I will argue that the scientific investigation of philosophical intuition ('experimental philosophy') is of philosophical interest. I will defend the significance of experimental philosophy against two important types of objection. I will term the first objection 'eliminativism' about intuitions: roughly, it is the claim that philosophical methodology does not in fact rely on intuition, and thus experimental philosophy's investigation is ill-conceived—in the words of one such opponent, 'a big mistake.' I will then consider a second objection, the 'expertise' defence. The (...) expertise defence argues that the expert intuitions of professional philosophers are distinct, and to be preferred to those of the 'folk.' Against the eliminativists, I will argue that an ineliminable mental component remains that can be subject of fruitful empirical investigation. Against the expertise defence I will argue that, at least in the context of philosophy of language, expertise is itself a potential source of bias. Since expertise is domain-specific, however, a general rebuttal will not be given. I will conclude that experimental philosophy has much to contribute. (shrink)

In this thesis, I argue that many identification intuitions, such as one that helps you identify the authorship of a painting you are seeing for the first time, fall under the class of experience-based intuitions. Such identification intuitions cannot arise without intuition generating systems (IGSs) that are shaped by experiences accumulated during one’s life. On my view, experience-based intuitions are produced by domain-general learning systems of hierarchical abstraction which may be modeled by deep convolutional neural networks. Owing to the mechanism (...) of such IGSs, the reliability of experience-based intuition X depends on the quality of the experiences underlying the IGS which produces X. Lastly, I suggest that insofar as some philosophical thought experiments elicit experience-based identification intuitions, we can use the case method to glean information about our experiences as well as uncover certain conceptual commitments. (shrink)