This paper examines some consequences of the (quasi-)epiphenomenalism implied by a property dualistic view of phenomenal consciousness. The focus is upon the variation of phenomenal content over time. A thought-experiment is constructed to support two claims. The weaker claim exhibits an incompatibility which arises in certain logically possible situations between a conscious subject’s epistemic norms and the requirement that one be aware of one’s conscious experience. This could be interpreted as providing some epistemic grounds for the postulation of (...) bridging laws between the physical/functional and phenomenal domains. The stronger claim has it that the ontology of property dualism is not properly able to account for the certainty I have of being phenomenally conscious. The problem is viewed as resulting from the neglect of the intensional context involved in a proper representation of the argument for property dualism. It is argued that only a transcendental move can do justice to this certainty I have. (shrink)

It is popular to hold that our primary epistemic access to specific response-dependent properties like the fearsome or admirable (or so-called ‘affective properties’) is constituted by the corresponding emotion. I argue that this view is incompatible with a widely held meta-ethical view, according to which affective properties have deontic force. More specifically, I argue that this view cannot accommodate for the requirement that deontic entities provide guidance. If affective properties are to guide the formation of (...) the corresponding emotion, our primary access to them cannot be provided by that same emotion. (shrink)

We present epistemic multilateral logic, a general logical framework for reasoning involving epistemic modality. Standard bilateral systems use propositional formulae marked with signs for assertion and rejection. Epistemic multilateral logic extends standard bilateral systems with a sign for the speech act of weak assertion (Incurvati and Schlöder 2019) and an operator for epistemic modality. We prove that epistemic multilateral logic is sound and complete with respect to the modal logic S5 modulo an appropriate translation. The (...) logical framework developed provides the basis for a novel, proof-theoretic approach to the study of epistemic modality. To demonstrate the fruitfulness of the approach, we show how the framework allows us to reconcile classical logic with the contradictoriness of so-called Yalcin sentences and to distinguish between various inference patterns on the basis of the epistemic properties they preserve. (shrink)

Aesthetic properties figure prominently in our daily lives, our conversations and many actions we take. Yet theoretical disagreement prevails over their nature, their variety, their epistemic and metaphysical status. This overview highlights the heterogeneity of aesthetic properties and examines repercussions for explanation. Aesthetic properties belong to natural objects or scenes, to artworks in any medium, to artefacts and built environments across historical eras; and they draw a wide variety of responses such as our perceptions, emotions or (...) imaginative thought. Historicism about artworks carries over to at least some aesthetic properties that depend on facts of their broader historical context just as works do. One issue is whether aesthetic properties can be demarcated solely in terms of non-aesthetic properties. If not, explanations of aesthetic properties need to draw on other aesthetic notions such as aesthetic experience, attention, judgement or value. The paper examines several accounts of aesthetic value to show how they extend to aesthetic properties. The paper concludes with an overview of the current metaphysical debate between realists and non-realists about aesthetic properties. (shrink)

By “epistemic pragmatism” in general I will understand the claim that whether propositions instantiate certain key epistemic properties (such as being known or being justifiably believed) depends not just on factors traditionally recognized as epistemic, but also on pragmatic factors, such as how costly it would be to the subject if the proposition were false. In what follows I consider two varieties of epistemic pragmatism. According to what I shall call moderate epistemic pragmatism, how (...) much evidence we need in favor of a proposition in order to know that the proposition is true depends on our preferences. According to what I shall call extreme epistemic pragmatism, on the other hand, our preferences influence our epistemic position at a more basic level, because they help determine how much justification we actually have in favor of the proposition in question. Simplifying brutally, moderate epistemic pragmatism has it that the more worried we are about a proposition’s being false, the more justification we need in order to know it, whereas extreme epistemic pragmatism has it that the more worried we are about a proposition’s being false, the less justification we have for it. Recently, Fantl and McGrath have presented an interesting argument for moderate epistemic pragmatism, an argument which relies on the principle that (roughly) knowledge is sufficient for action (KA). In this paper I argue that KA, together with a plausible principle about second-order evidence, entails extreme epistemic pragmatism. (shrink)

Reductive intellectualists hold that knowledge-how is a kind of knowledge-that. For this thesis to hold water, it is obviously important that knowledge-how and knowledge-that have the same epistemic properties. In particular, knowledge-how ought to be compatible with epistemic luck to the same extent as knowledge-that. It is argued, contra reductive intellectualism, that knowledge-how is compatible with a species of epistemic luck which is not compatible with knowledge-that, and thus it is claimed that knowledge-how and knowledge-that come (...) apart. (shrink)

An encyclopedic article on epistemic supervenience in Blackwell companion to epistemology, 2 ed.

So far, T×W frames have been employed to provide a semantics for a language of tense logic that includes a modal operator that expresses historical necessity. The operator is defined in terms of quantification over possible courses of events that satisfy a certain constraint, namely, that of being alike up to a given point. However, a modal operator can as well be defined without placing that constraint. This paper outlines a T×W logic where an operator of the latter kind is (...) used to express the epistemic property of definiteness. Section 1 provides the theoretical background. Sections 2 and 3 set out the semantics. Sections 4 and 5 show, drawing on established results, that there is a sound and complete axiomatization of the logic outlined. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. I examine 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 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 cognitivism and modal expressivism. I also develop a novel topic-sensitive truthmaker semantics for dynamic epistemic logic, and develop a novel dynamic epistemic two-dimensional hyperintensional semantics. Chapter 3 provides an abstraction principle for epistemic (hyper-)intensions. Chapter 4 advances a topic-sensitive two-dimensional truthmaker semantics, and provides three novel interpretations of the framework along with the epistemic and metasemantic. Chapter 5 applies the fixed points of the modal μ-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 μ-calculus are rendered hyperintensional, which yields the first hyperintensional construal of the modal μ-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 6 advances a solution to the Julius Caesar problem based on Fine's `criterial' identity conditions which incorporate conditions on essentiality and grounding. Chapter 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 2 and 4 are availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapters 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 8 examines the interaction between my 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 Ω-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 9 examines the modal and hyperintensional commitments of abstractionism, in particular necessitism, and epistemic hyperintensionality, epistemic utility theory, and the epistemology of abstraction. I countenance a hyperintensional semantics for novel epistemic abstractionist modalities. I suggest, too, that 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 hyperintensions is grounded in its being possibly recursively enumerable and the machine being physically implementable. Chapter 10 examines the philosophical significance of hyperintensional Ω-logic in set theory and discusses the hyperintensionality of metamathematics. Chapter 11 provides a modal logic for rational intuition and provides a hyperintensional semantics. Chapter 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 the interpretational and objective modalities and truthmakers thereof. This yields the first hyperintensional category theory in the literature. I invent 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 while bypassing the category of Set in category theory. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 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)

Epistemic Sentimentalism is the view that emotional experiences such as fear and guilt are a source of immediate justification for evaluative beliefs. For example, guilt can sometimes immediately justify a subject’s belief that they have done something wrong. In this paper I focus on a family of objections to Epistemic Sentimentalism that all take as a premise the claim that emotions possess a normative property that is apparently antithetical to it: epistemic reason-responsiveness, i.e., emotions have evidential bases (...) and justifications can be demanded of them. I respond to these objections whilst granting that emotions are reason-responsive. This is not only dialectically significant vis-à-vis the prospects for Epistemic Sentimentalism, but also supports a broader claim about the compatibility of a mental item’s being reason-responsive and its being a generative source of epistemic justification. (shrink)

Emotion Review, Volume 14, Issue 3, Page 206-216, July 2022. This paper develops the claim that epistemic feelings are affective experiences. To establish some diagnostic criteria, characteristic features of affective experiences are outlined: valence and arousal. Then, in order to pave the way for showing that epistemic feelings have said features, an initial challenge coming from introspection is addressed. Next, the paper turns to empirical findings showing that we can observe physiological and behavioural proxies for valence and arousal (...) in epistemic tasks that typically rely on epistemic feelings. Finally, it is argued that the affective properties do not only correlate with epistemic feelings but that we, in fact, capitalise on these affective properties to perform the epistemic tasks. In other words: the affective properties in question constitute epistemic feelings. (shrink)

This paper defends the naïve thesis that the method of experiment has per se an epistemic superiority over the method of computer simulation, a view that has been rejected by some philosophers writing about simulation, and whose grounds have been hard to pin down by its defenders. I further argue that this superiority does not come from the experiment’s object being materially similar to the target in the world that the investigator is trying to learn about, as both sides (...) of dispute over the epistemic superiority thesis have assumed. The superiority depends on features of the question and on a property of natural kinds that has been mistaken for material similarity. Seeing this requires holding other things equal in the comparison of the two methods, thereby exposing that, under the conditions that will be specified, the simulation is necessarily epistemically one step behind the corresponding experiment. Practical constraints like feasibility and morality mean that scientists do not often face an other-things- equal comparison when they choose between experiment and simulation. Nevertheless, I argue, awareness of this superiority and of the general distinction between experiment and simulation is important for maintaining motivation to seek answers to new questions. (shrink)

In a previous Philo article, it was shown how properties could be ontologically dispensed with via a representational analysis: to be an X is to comprehensively represent all the properties of an X. The current paper extends that representationalist (RT) theory by explaining representation itself in parallel epistemic rather than ontological terms. On this extended RT (ERT) theory, representations of X, as well as the real X, both may be identified as providing information about X, whether partial (...) or comprehensive. But that information does not match ontological, property-based analyses of X, so it is epistemically fundamental–hence supporting a broadly conceptualist rather than nominalist metaphysics. (shrink)

Epistemic two-dimensional semantics is a theory in the philosophy of language that provides an account of meaning which is sensitive to the distinction between necessity and apriority. While this theory is usually presented in an informal manner, I take some steps in formalizing it in this paper. To do so, I define a semantics for a propositional modal logic with operators for the modalities of necessity, actuality, and apriority that captures the relevant ideas of epistemic two-dimensional semantics. I (...) also describe some properties of the logic that are interesting from a philosophical perspective, and apply it to the so-called nesting problem. (shrink)

In this paper I propose a teleological account of epistemic reasons. In recent years, the main challenge for any such account has been to explicate a sense in which epistemic reasons depend on the value of epistemic properties. I argue that while epistemic reasons do not directly depend on the value of epistemic properties, they depend on a different class of reasons which are value based in a direct sense, namely reasons to form (...) beliefs about certain propositions or subject matters. In short, S has an epistemic reason to believe that p if and only if S is such that if S has reason to form a belief about p, then S ought to believe that p. I then propose a teleological explanation of this relationship. It is also shown how the proposal can avoid various subsidiary objections commonly thought to riddle the teleological account. (shrink)

The account of natural kinds as stable property clusters is premised on the possibility of separating the epistemic value of natural kinds from their underlying metaphysics. On that account, the co-instantiation of any sub-cluster of the properties associated with a given natural kind raises the probability of the co-instantiation of the rest, and this clustering of property instantiation is invariant under all relevant counterfactual perturbations. We argue that it is not possible to evaluate the stability of a cluster (...) of properties without taking stock of the metaphysical picture used to account for that stability. Thus, even on the stable property cluster account, the epistemic value of natural kinds remains partly grounded in their metaphysical status. (shrink)

The epistemic virtues and vices are typically defined in terms of effects or motivations related to the epistemic states of their possessors. However, philosophers have recently begun to consider _other-regarding_ epistemic virtues, traits oriented toward the epistemic flourishing of others. In a similar vein, this paper discusses _outward-facing_ epistemic vices, properties oriented toward the epistemic languishing of others. I argue for the existence of both reliabilist and responsibilist outward-facing vices, and illustrate how such (...) vices negatively bear on the epistemic prospects of others. I pay special attention to how outward-facing epistemic vices may manifest in online activities that promote the epistemic languishing of others by negatively influencing the online epistemic environment. (shrink)

In "The Epistemic Significance of Perceptual Learning," Elijah Chudnoff (this issue) argues that cases from perceptual learning show that perception not only generates reasons for beliefs but also preserves those reasons over time in perceptual learning cases. In this paper, we dispute the idea that perceptual learning enables the preservation of perceptual reasons. We then argue for an alternative view, viz. the view that perceptual learning is epistemically significant insofar as it modifies our perceptual system in such a way (...) as to make us capable of perceiving subtle low-level properties (e.g. lightness) and high-level properties (e.g. chess configurations). Acquiring the capacity to perceive these properties is what enables us to achieve expertise in a variety of subject matters (e.g. chicken sexing, chess playing, language fluency). Along the way, we argue against two main points in Chudnoff’s paper. The first is that, pace Chudnoff, perceptual learning does not result in the acquisition of new facts. It only results in the acquisition of a new perceptual capacity. The second is that experiences resulting from perceptual learning can always serve as immediate justifiers of beliefs and hence do not need supporting background information in order to serve as reasons. (shrink)

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

I propose the notion of ‘epistemic sanity’, a property of parsimony between the holding of true but not false beliefs and the consideration of our cognitive limitations. Where ‘alethic value’ is the epistemic value of holding true but not false beliefs, the ‘alethic potential’ of an agent is the amount of extra alethic value that she is expected to achieve, given her current environment, beliefs, and reasoning skills. Epistemic sanity would be related to the holding of (true (...) or false) beliefs that increase the agent's alethic potential (relevant beliefs) but not of beliefs that decrease it (this is related to cognitive parsimony). Suspension of judgment, forgetting, and clutter avoidance are the main contributors to an agent's epistemic sanity, where this paper focuses on suspension. I argue that rational suspension favors the holding of true and relevant beliefs, which is not the case for the extremes of opinionation (no suspension) and skepticism (general suspension). In the absence of evidence, opinionated agents are often forced to rely on principles such as the principle of indifference, but suspension dominates indifference in terms of alethic value in some conditions. A rational agent would only find it beneficial to adopt skepticism if she considers herself to be an anti-expert about her entire agenda, but then ‘flipping’ beliefs maximizes expected alethic value in relation to skepticism. The study of epistemic sanity results in an ‘impure’ veritism, which can deal with some limitations of veritism (e.g., explaining the existence of false but relevant beliefs). (shrink)

On a view implicitly endorsed by many, a concept is epistemically better than another if and because it does a better job at ‘carving at the joints', or if the property corresponding to it is ‘more natural' than the one corresponding to another. This chapter offers an argument against this seemingly plausible thought, starting from three key observations about the way we use and evaluate concepts from en epistemic perspective: that we look for concepts that play a role in (...) explanations of things that cry out for explanation; that we evaluate not only ‘empirical' concepts, but also mathematical and perhaps moral concepts from an epistemic perspective; and that there is much more complexity to the concept/property relation than the natural thought seems to presuppose. These observations, it is argued, rule out giving a theory of conceptual evaluation that is a corollary of a metaphysical ranking of the relevant properties. -/- conceptual ethics, explanation, naturalness, epistemic value, concept/property, semantic internalism. (shrink)

This chapter explores properties that bind individuals, knowledge, and communities, together. Section ‎‎1 introduces Hardwig’s argument from trust in others’ testimonies as entailing that trust is the glue ‎that binds individuals into communities. Section 2 asks “what grounds trust?” by exploring assessment ‎of collaborators’ explanatory responsiveness, formal indicators such as affiliation and credibility, ‎appreciation of peers’ tacit knowledge, game-theoretical considerations, and the role moral character ‎of peers, social biases, and social values play in grounding trust. Section 3 deals with (...) establishing ‎reliability standards for formation and breaching of trust. Different epistemic considerations and their ‎underpinning of inductive risks are examined through various communication routes within a ‎discipline, between disciplines, and to the public. Section 4 examines whether a collective entity can ‎be trusted over and above trust that is given to its individual members. Section 5 deals with the roles ‎technological artifacts play in distributed research and collective knowledge. It presents the common ‎view in which genuine trust cannot, in principle, be accorded to artifacts, so as an opposite view. We ‎show that what counts as a genuine object of trust is relevant to debates about the boundaries of ‎collective agency and as a criterion for extended cognitive systems.‎. (shrink)

in a nervous system of a given species. This chapter provides a critical perspective on the role of connectomes in neuroscientific practice and asks how the connectomic approach fits into a larger context in which network thinking permeates technology, infrastructure, social life, and the economy. In the first part of this chapter, we argue that, seen from the perspective of ongoing research, the notion of connectomes as “complete descriptions” is misguided. Our argument combines Rachel Ankeny’s analysis of neuroanatomical wiring diagrams (...) as “descriptive models” with Hans-Joerg Rheinberger’s notion of “epistemic objects,” i.e., targets of research that are still partially unknown. Combining these aspects we conclude that connectomes are constitutively epistemic objects: there just is no way to turn them into permanent and complete technical standards because the possibilities to map connection properties under different modeling assumptions are potentially inexhaustible. In the second part of the chapter, we use this understanding of connectomes as constitutively epistemic objects in order to critically assess the historical and political dimensions of current neuroscientific research. We argue that connectomics shows how the notion of the “brain as a network” has become the dominant metaphor of contemporary brain research. We further point out that this metaphor shares (potentially problematic) affinities to the form of contemporary “network societies.” We close by pointing out how the relation between connectomes and networks in society could be used in a more fruitful manner. (shrink)

Could groups ever be an understanding subject (an epistemic agent ascribed with understanding) or should we keep our focus exclusively on the individuals that make up the group? The way this paper will shape an answer to this question is by starting from a case we are most willing to accept as group understanding, then mark out the crucial differences with an unconvincing case, and, ultimately, explain why these differences matter. In order to concoct the cases, however, we need (...) to elucidate what it means to be attributed with understanding and what makes up an epistemic agent. I shall argue that it is abilities, above all, that guide our attributions of understanding. While it is true that understanding must go beyond single acts, this is not going beyond as in going behind them (to private occurrences which are impossible to discern and don’t themselves contribute anything of value), but beyond as in considering what people could and would do: their discernable and valuable abilities. To conceptualize whom the abilities belong to, I will specify what it means to be an epistemic agent. I shall argue that it is being a successful target of the epistemic stance. The epistemic stance (heavily inspired by Dennett’s intentional stance) forms an instrumental abstraction by attributing epistemic properties (i.e., beliefs, epistemic aims, problem-solving tactics) to an entity to explain or predict its behavior. Macro-systematicity (a higher-level pattern which a theory can exploit) is what makes the epistemic stance’s abstraction an explanatory powerful one (regardless of how that macro-systematicity is realized) and emergence (the lack of a straightforward mapping-relation between the micro and the macro) is what makes its power unique to a particular level of explanation. To end, I suggest two kinds of mapping-relations and walk through the shift from reducibility to emergence. (shrink)

Recent experimental evidence from developmental psychology and cognitive neuroscience indicates that humans are equipped with unlearned elementary mathematical skills. However, formal mathematics has properties that cannot be reduced to these elementary cognitive capacities. The question then arises how human beings cognitively deal with more advanced mathematical ideas. This paper draws on the extended mind thesis to suggest that mathematical symbols enable us to delegate some mathematical operations to the external environment. In this view, mathematical symbols are not only used (...) to express mathematical concepts—they are constitutive of the mathematical concepts themselves. Mathematical symbols are epistemic actions, because they enable us to represent concepts that are literally unthinkable with our bare brains. Using case-studies from the history of mathematics and from educational psychology, we argue for an intimate relationship between mathematical symbols and mathematical cognition. (shrink)

Expressivists about epistemic modals deny that ‘Jane might be late’ canonically serves to express the speaker’s acceptance of a certain propositional content. Instead, they hold that it expresses a lack of acceptance. Prominent expressivists embrace pragmatic expressivism: the doxastic property expressed by a declarative is not helpfully identified with that sentence’s compositional semantic value. Against this, we defend semantic expressivism about epistemic modals: the semantic value of a declarative from this domain is the property of doxastic attitudes it (...) canonically serves to express. In support, we synthesize data from the critical literature on expressivism—largely reflecting interactions between modals and disjunctions—and present a semantic expressivism that readily predicts the data. This contrasts with salient competitors, including: pragmatic expressivism based on domain semantics or dynamic semantics; semantic expressivism à la Moss [2015]; and the bounded relational semantics of Mandelkern [2019]. (shrink)

Epistemic instrumentalists think that epistemic normativity is just a special kind of instrumental normativity. According to them, you have epistemic reason to believe a proposition insofar as doing so is conducive to certain epistemic goals or aims—say, to believe what is true and avoid believing what is false. Perhaps the most prominent challenge for instrumentalists in recent years has been to explain, or explain away, why one’s epistemic reasons often do not seem to depend on (...) one’s aims. This challenge can arguably be met. But a different challenge looms: instrumental reasons in the practical domain have various properties that epistemic reasons do not seem to share. In this chapter, we offer a way for epistemic instrumentalists to overcome this challenge. Our main thesis takes the form of a conditional: if we accept an independently plausible transmission principle of instrumental normativity, we can maintain that epistemic reasons in fact do share the relevant properties of practical instrumental reasons. In addition, we can explain why epistemic reasons seem to lack these properties in the first place: some properties of epistemic reasons are elusive, or easy to overlook, because we tend to think and talk about epistemic reasons in an ‘elliptical’ manner. (shrink)

According to Realism about Epistemic Value, there is such a thing as epistemic value and it is appropriate to evaluate things—e.g., beliefs—for epistemic value because there is such a thing as epistemic value. Allan Hazlett's A Luxury of the Understanding is a sustained critique of Realism. Hazlett challenges proponent of Realism to answer explanatory questions while not justifiably violating certain constraints, including two proposed naturalistic constraints. Hazlett argues they cannot. Here I defend Realism. I argue that (...) it is easy for proponents of Realism to answer Hazlett's explanatory questions. The interesting issue is whether those answers violate Hazlett's naturalistic constraints. My own view is that epistemic value is irreducible to natural properties; it thus violates Hazlett's proposed constraints. I argue that this is justifiable because Hazlett fails to convincingly motivate his naturalistic constraints and there is reason for thinking epistemic value is irreducible to natural properties anyway. (shrink)

When one has both epistemic and practical reasons for or against some belief, how do these reasons combine into an all-things-considered reason for or against that belief? The question might seem to presuppose the existence of practical reasons for belief. But we can rid the question of this presupposition. Once we do, a highly general ‘Combinatorial Problem’ emerges. The problem has been thought to be intractable due to certain differences in the combinatorial properties of epistemic and practical (...) reasons. Here we bring good news: if we accept an independently motivated version of epistemic instrumentalism—the view that epistemic reasons are a species of instrumental reasons—we can reduce The Combinatorial Problem to the relatively benign problem of how to weigh different instrumental reasons against each other. As an added benefit, the instrumentalist account can explain the apparent intractability of The Combinatorial Problem in terms of a common tendency to think and talk about epistemic reasons in an elliptical manner. (shrink)

In this chapter, I propose a new framework for extended epistemology, based on a second-wave approach to extended cognition. The framework is inclusive, in that it takes into account the complex interplay between the diverse embodiments of extended knowers and the salient properties of technological artifacts, as well as the environment in which they are embedded. Thus it both emphasizes and exploits the complementary roles played by these different elements. Finally, I motivate and explain this framework by applying it (...) to a case of interaction with contemporary technologies. (shrink)

Mainstream analytic epistemology regards knowledge as the property of individuals, rather ‎than groups. Drawing on insights from the reality of knowledge production and dissemination ‎in the sciences, I argue, from within the analytic framework, that this view is wrong. I defend ‎the thesis of ‘knowledge-level justification communalism’, which states that at least some ‎knowledge, typically knowledge obtained from expert testimony, is the property of a ‎community and possibly none of its individual members, in that only the community or some ‎members (...) of it collectively possesses knowledge-level justification for its individual members’ ‎beliefs. I address several objections that individuals, qua individuals, have or are able to ‎acquire knowledge-level justification for all the beliefs they obtain from expert testimony. I ‎argue that the problem I identify with individualism is invariant under any specific account of ‎justification, internalist or externalist. ‎. (shrink)

This paper aims to present a novel reading of Kantian idealism. In want of a better name, I call my interpretation “one-object-plus-epistemic phenomenalism.” I partially endorse Allison’s celebrated position, namely his rejection of metaphysical world-dualism. Yet, I reject Allison’s deflationary two-aspect view. I argue that Kantian idealism is also metaphysically committed to an ontological noumenalism (one-object), namely the claim that the ultimate nature of reality is made up of unknown things in themselves (substantia noumena). Natural sciences can only reveal (...) the relational/structural properties of things as they appear rather than the intrinsic properties of substantia noumena in the negative sense. My anti-deflationary reading is similar to Allais’s, and my agnostic monism to Hanna’s. However, against both, I hold that appearances are not the accusative objects of our sensible representations but rather, as Kant repeatedly states: “mere representations.” The accusative objects of our senses are substantia noumena in the negative sense. Moreover, my view is also similar to Langton’s. Again, against Langton, I hold that appearances are not merely relational properties of substantia noumena but the way that such substantia noumena exist inside our mind as “mere representations.” In this regard, I also partially endorse Guyer’s and Van Cleve’s phenomenalist reading because these substantia noumena in the negative sense can only be cognized mind-dependently, namely as appearances. However, against Guyer and Van Cleve, I hold that the phenomenalist side of Kantian idealism is purely epistemological rather than ontological: what Kant calls the necessary unity of representations according to categories is not a logical construction of objects out of representations, that is, an ontological reduction of noumena to appearances, but rather the way we sense-independently cognize mind-independent noumena. (shrink)

This essay aims to vindicate the thesis that cognitive computational properties are abstract objects implemented in physical systems. I avail of Voevodsky's Univalence Axiom and function type equivalence in Homotopy Type Theory, in order to specify an abstraction principle for epistemic (hyper-)intensions. The homotopic abstraction principle for epistemic (hyper-)intensions provides an epistemic conduit for our knowledge of (hyper-)intensions as abstract objects. Higher observational type theory might be one way to make first-order abstraction principles defined via inference (...) rules, although not higher-order abstraction principles, computable. The truth of my first-order abstraction principle for hyperintensions is grounded in its being possibly recursively enumerable i.e. Turing computable and the Turing machine being physically implementable. Epistemic modality and hyperintensionality can thus be shown to be both a compelling and a materially adequate candidate for the fundamental structure of mental representational states, comprising a fragment of the language of thought. (shrink)

A combinatorial analysis of intrinsicality takes intrinsic properties to be independent of accompaniment: a property is intrinsic only if it is possible for a lonely or an accompanied thing to have it or lack it (I). Cameron argues that the combinatorial analysis in Langton & Lewis (1998) faces an epistemic circularity, which makes (I) suspicious. In this paper, I examine two approaches to free the combinatorial analyses from the circularity and find them all fail. Then I provide an (...) outline of an argument for (I) by appealing to the grounding analyses of intrinsicality, which shows an advantage of the grounding analyses over the combinatorial ones. (shrink)

An attractive picture of the world is that some features are metaphysically fundamental and others are derivative, with the derivative features grounded in the fundamental features. But how do we have justified beliefs about which features are fundamental? What is the epistemology of fundamentality? I sketch a response in this paper. The guiding idea is that the same properties cause the same experiences. I argue that a probabilistic connection between epistemic fundamentality and metaphysical fundamentality is sufficient for justified (...) beliefs about the metaphysically fundamental. (shrink)

In this paper I critically evaluate the value neutrality thesis regarding technology, and find it wanting. I then introduce the various ways in which artifacts can come to influence moral value, and our evaluation of moral situations and actions. Here, following van de Poel and Kroes, I introduce the idea of value sensitive design. Specifically, I show how by virtue of their designed properties, artifacts may come to embody values. Such accounts, however, have several shortcomings. In agreement with Michael (...) Klenk, I raise epistemic and metaphysical issues with respect to designed properties embodying value. The concept of an affordance, borrowed from ecological psychology, provides a more philosophically fruitful grounding to the potential way(s) in which artifacts might embody values. This is due to the way in which it incorporates key insights from perception more generally, and how we go about determining possibilities for action in our environment specifically. The affordance account as it is presented by Klenk, however, is insufficient. I therefore argue that we understand affordances based on whether they are meaningful, and, secondly, that we grade them based on their force. (shrink)

This dissertation asks the question of how ownership over property in museums is decided. It concludes that for a range of candidate concepts of property, none of them oblige museums to repatriate artefacts unless we weaken Young’s theory to repatriate through how much artefacts are valued by a culture. However, this dissertation rejects the Ownership Argument as a defence for repatriation. To do this, it will be considering three options of how we understand ‘property’ through three scholars: Locke, Young and (...) Thompson. This dissertation will discuss the difference between cultural internationalism and cultural nationalism to flip the question, and attempt to defend a view that museums should retain the artefacts under their possession. To do this dissertation justice, this work has been interdisciplinary, exploring museums, law, applied philosophy, applied ethics, epistemic and metaphysical concepts, to discuss the ways in which repatriation is defended through property. It must be noted that property theories are in vast abundance, however, to keep the project manageable, it does not include prominent philosophers such as Nozick, Hobbes, and Rosseau. Although, given that the three concepts this dissertation discusses do not work, it seems unlikely that a different version would due to similar objections. (shrink)

This work examines and critically evaluates the proposal that phenomenal properties, or the subjective qualities of experience, present a formidable challenge for the mind-body identity theory. Physicalism per se is construed as being ontically committed only to phenomena which can be made epistemically and cognitively available in the third person; observed and understood from within an objective frame of reference. Further, the identity relation between the mental and the physical is taken to be strict identity; the mental phenomena in (...) question just are the physical phenomena on which, ex hypothesi, they supervene. The problem of phenomenal properties has two basic strands. The first is the problem of how they are causally related to the physical; if they are not physical phenomena, by what causal mechanism might they be related to physical phenomena? One of the motivating considerations which led to the identity thesis was that it appeared to remove this problem. Our interest, however, is in evaluating the arguments which purport to establish that phenomenal properties are, indeed, distinct from the physical. (shrink)

Traditional epistemology of knowledge and belief can be succinctly characterized as JTB-epistemology, i.e., it is characterized by the thesis that knowledge is justified true belief. Since Gettier’s trail-blazing paper of 1963 this account has become under heavy attack. The aim of is paper is to study the Gettier problem and related issues in the framework of topological epistemic logic. It is shown that in the framework of topological epistemic logic Gettier situations necessarily occur for most topological models of (...) knowledge and belief. On the other hand, there exists a special class of topological models (based on so called nodec spaces) for which traditional JTB-epistemology is valid. Further, it is shown that for each topological model of Stalnaker’s combined logic KB of knowledge and belief a canonical JTB-model (its JTB-doppelganger) can be constructed that shares many structural properties with the original model but is free of Gettier situations. The topological model and its JTB-doppelganger both share the same justified belief operator and have very similar knowledge operators. Seen from a somewhat different perspective, the JTB-account of epistemology amounts to a simplification of a more general epistemological account of knowledge and belief that assumes that these two concepts may differ in some cases. The JTB-account of knowledge and belief assumes that the epistemic agent’s cognitive powers are rather large. Thereby in the JTB-epistemology Gettier cases do not occur. Eventually, it is shown that for all topological models of Stalnaker’s KB- logic Gettier situations are topologically characterized as nowhere dense situations. This entails that Gettier situations are epistemologically invisible in the sense that they can neither be known nor believed with justification with respect to the knowledge operator and the belief operator of the models involved. Keywords. Stalnaker’s logic KB of knowledge and belief; Topological epistemology; Epistemic Invisibility; Doxastic invisibility; Gettier cases; . (shrink)

I argue for the unexceptionality of evidence about what rationality requires. Specifically, I argue that, as for other topics, one’s total evidence can sometimes support false beliefs about this. Despite being prima facie innocuous, a number of philosophers have recently denied this. Some have argued that the facts about what rationality requires are highly dependent on the agent’s situation and change depending on what that situation is like. (Bradley 2019). Others have argued that a particular subset of normative truths, those (...) concerning what epistemic rationality requires, have the special property of being ‘fixed points’—it is impossible to have total evidence that supports false belief about them. (Smithies 2012; Titelbaum 2015). Each of these kinds of exceptionality permits a solution to downstream theoretical problems that arise from the possibility of evidence supporting false belief about requirements of rationality. However, as I argue here, they incur heavy explanatory burdens that we should avoid. (shrink)

In this essay I shall argue that the crucial assumptions of Kripke's argument, i.e. the collapse of the appearance/reality distinction in the case of phenomenal states and the idea of a qualitatively identical epistemic situation, imply an objective principle of identity for mental-state types. This principle, I shall argue, rather than being at odds with physicalism, is actually compatible with both the type-identity theory of the mind and Kripke's semantics and metaphysics. Finally, I shall sketch a version of the (...) type-identity theory. (shrink)

What is involved in having a singular thought about an ordinary object? On the leading epistemic view, one has this capacity if and only if one has belief-forming dispositions which would reliably enable one to get its properties right (Dickie, 2015). I first argue that Dickie’s official view entails surprising and unpalatable claims about either rationality or singular thought, before offering a precisification. Once we have reached that level of abstraction, it becomes difficult to see what is distinctively (...) epistemic about the framework. If we are to tease out the delicate connection between singular thought and knowledge, we should suspend the assumption that there is a homogeneous core, present in all cases of such thought, and that it is from there that its (univocal) epistemic character derives. (shrink)

After the Event Horizon Telescope Collaboration released in April 2019 the first empirical images of a black hole, an astrophysical object previously thought “unseeable,” much of the public discourse has approached these images as straightforward visual depictions of a black hole. This article challenges this view by showing that the first images of a black hole went beyond merely making an invisible cosmic object visible and that the images published in April 2019 were just the first in a series of (...) black hole images the researchers continue producing. Drawing primarily on Sybille Krämer’s concept of the cartographic impulse, the article demonstrates that the Event Horizon Telescope images are, first and foremost, epistemic tools. These epistemic tools enable researchers to actively explore various physical aspects and dynamic properties of a black hole’s immediate environment and test theoretical predictions about it, thus making this elusive environment empirically knowable. To demonstrate this, the article analyses the mapping operations that combined automated algorithmic procedures with expert human judgment and through which these images were produced, read, and interpreted. It also examines how the different Event Horizon Telescope images relate to one another, which particular epistemic functions they fulfil in the research context, under which conditions, and with which limitations, thus tracing how these images facilitate the production of new scientific knowledge about black holes. (shrink)

This chapter is guided by the hypothesis that the point and purpose of using the concept of justification in epistemic evaluation is tied to its role in the practice of critical reflection. In section one, I propose an analysis of justification as the epistemic property in virtue of which a belief has the potential to survive ideal critical reflection. In section two, I use this analysis in arguing for a form of access internalism on which one has justification (...) to believe a proposition if and only if one has higher-order justification to believe that one has justification to believe that proposition. In section three, I distinguish between propositional and doxastic versions of access internalism and argue that the propositional version avoids familiar objections to the doxastic version. In section four, I argue that the propositional version of access internalism also explains and vindicates internalist intuitions about cases. In section five, I conclude with some reflections on the relationship between critical reflection, responsibility and personhood. (shrink)

The Swamping Argument – highlighted by Kvanvig (2003; 2010) – purports to show that the epistemic value of truth will always swamp the epistemic value of any non-factive epistemic properties (e.g. justification) so that these properties can never add any epistemic value to an already-true belief. Consequently (and counter-intuitively), knowledge is never more epistemically valuable than mere true belief. We show that the Swamping Argument fails. Parity of reasoning yields the disastrous conclusion that nonfactive (...) epistemic properties – mostly saliently justification – are never epistemically valuable properties of a belief. We close by diagnosing why philosophers have been mistakenly attracted to the argument. (shrink)

According to reductive intellectualism, knowledge-how just is a kind of propositional knowledge (e.g., Stanley & Williamson 2001; Stanley 2011a, 2011b; Brogaard, 2008a, 2008b, 2009, 2011, 2009, 2011). This proposal has proved controversial because knowledge-how and propositional knowledge do not seem to share the same epistemic properties, particularly with regard to epistemic luck. Here we aim to move the argument forward by offering a positive account of knowledge-how. In particular, we propose a new kind of anti-intellectualism. Unlike neo-Rylean (...) anti-intellectualist views, according to which the possession of knowledge-how is just a matter of possessing certain abilities, we submit that knowledge-how is a particular kind of cognitive achievement attained just when cognitive ability is connected in the right way with successful performance. (shrink)

The epistemology of risk examines how risks bear on epistemic properties. A common framework for examining the epistemology of risk holds that strength of evidential support is best modelled as numerical probability given the available evidence. In this essay I develop and motivate a rival ‘relevant alternatives’ framework for theorising about the epistemology of risk. I describe three loci for thinking about the epistemology of risk. The first locus concerns consequences of relying on a belief for action, where (...) those consequences are significant if the belief is false. The second locus concerns whether beliefs themselves—regardless of action—can be risky, costly, or harmful. The third locus concerns epistemic risks we confront as social epistemic agents. I aim to motivate the relevant alternatives framework as a fruitful approach to the epistemology of risk. I first articulate a ‘relevant alternatives’ model of the relationship between stakes, evidence, and action. I then employ the relevant alternatives framework to undermine the motivation for moral encroachment. Finally, I argue the relevant alternatives framework illuminates epistemic phenomena such as gaslighting, conspiracy theories, and crying wolf, and I draw on the framework to diagnose the undue skepticism endemic to rape accusations. (shrink)

Facts about justification are not brute facts. They are epistemic facts that depend upon more fundamental non-epistemic facts. Internalists about justification often argue for mentalism, which claims that facts about justification supervene upon one’s non-factive mental states, using Lehrer and Cohen’s :191–207, 1983) New Evil Demon Problem. The New Evil Demon Problem tells you to imagine yourself the victim of a Cartesian demon who deceives you about what the external world is like, and then asks whether you nevertheless (...) have justification for your beliefs about the external world. Internalists and externalists agree that there is something that is epistemically good or valuable about both your actual beliefs and your beliefs in the demon scenario. Internalists claim that the epistemic property which these sets of beliefs share most intuitively should be thought of as sameness of justification. Externalists, on the other hand, reject this claim, usually either by challenging the internalist intuition directly, or by arguing that there is a more plausible way to think about the epistemic property in question. Recently, both kinds of externalist objection have been raised against the argument from the New Evil Demon Problem for mentalism. The goal of this paper is to defend the argument against three prominent objections—a pair of which is offered by Littlejohn :399–434, 2009) and one by Williamson Rationality and the good: critical essays on the ethics and epistemology of Robert Audi, Oxford University Press, Oxford, 2007; in: Dutant J, Dohrn D The new evil demon, Oxford University Press, Oxford, 2016). (shrink)

This paper articulates in formal terms a crucial distinction concerning future contingents, the distinction between what is true about the future and what is reasonable to believe about the future. Its key idea is that the branching structures that have been used so far to model truth can be employed to define an epistemic property, credibility, which we take to be closely related to knowledge and assertibility, and which is ultimately reducible to probability. As a result, two kinds of (...) claims about future contingents—one concerning truth, the other concerning credibility—can be smoothly handled within a single semantic framework. (shrink)

The rule account of self-conscious thought holds that a thought is self-conscious if and only if it contains a token of a concept-type that is governed by a reflexive rule. An account along these lines was discussed in the late 70s. Nevertheless, very few philosophers endorse it nowadays. I shall argue that this summary dismissal is partly unjustified. There is one version of the rule account that can explain a key epistemic property of self-conscious thoughts: Guarantee. Along the way, (...) I will rebut a number of objections and introduce two constraints on how the reflexive rule is implemented. (shrink)