In some languages every statement must contain a specification of the type of evidence on which it is based: for example, whether the speaker saw it, or heard it, or inferred it from indirect evidence, or learnt it from someone else. This grammatical reference to information source is called 'evidentiality', and is one of the least described grammatical categories. Evidentiality systems differ in how complex they are: some distinguish just two terms (eyewitness and noneyewitness, or reported and everything else), (...) while others have six or even more terms. Evidentiality is a category in its own right, and not a subcategory of epistemic or some other modality, nor of tense-aspect. Every language has some way of referring to the source of information, but not every language has grammatical evidentiality. In English expressions such as I guess, they say, I hear that, the alleged are not obligatory and do not constitute a grammatical system. Similar expressions in other languages may provide historical sources for evidentials. True evidentials, by contrast, form a grammatical system. In the North Arawak language Tariana an expression such as "the dog bit the man" must be augmented by a grammatical suffix indicating whether the event was seen, or heard, or assumed, or reported. This book provides the first exhaustive cross-linguistic typological study of how languages deal with the marking of information source. Examples are drawn from over 500 languages from all over the world, several of them based on the author's original fieldwork. Professor Aikhenvald also considers the role evidentiality plays in human cognition, and the ways in which evidentiality influences human perception of the world.. This is an important book on an intriguing subject. It will interest anthropologists, cognitive psychologists and philosophers, as well as linguists. (shrink)

The paper is concerned with the epistemological status of testimony and the question of what may confer justification on true testimonial beliefs and enable us to call such beliefs knowledge. In particular, it addresses certain anti-reductionist arguments in the epistemology of testimony and their incompatibility with the grammatical categories of egophoricity (conjunct/disjunct marking) and evidentiality (information source marking) present in the architecture of natural languages. First, the tradition of epistemological individualism and its rationale are discussed, as well as certain (...) attempts within this tradition to include testimony-based beliefs in the body of legitimate and rational beliefs. The next section is concerned with the anti-reductionist approach to testimonial beliefs and some arguments supporting ‘the credulity principle’ grounded in Thomas Reid's philosophy of common sense. The last two sections show how the anti-reductionist argumentation is threatened with an insoluble dilemma when considered in the context of languages with the grammatical categories of egophoricity (conjunct/disjunct marking) and evidentiality (information source marking). Special attention is paid to the justificatory role of egophoric and evidential marking; how these grammatical categories may influence the process of belief formation, and consequently, how this bears upon the nature of justification for testimonial beliefs. The final conclusion of the paper is that the anti-reductionist claim concerning the directness and non-inferential nature of testimonial knowledge is bound to meet objections grounded in the structure of many natural languages. This leads to a paradox: in discussion with reductionism, anti-reductionists do seek support for their arguments in common sense beliefs reflected in everyday language, and, on the other hand, their claims are incompatible with the linguistic data found in a number of natural languages. (shrink)

In recent years, the category of evidentiality has also come into use for the description of Romance languages and of German. This has been contingent on a change in its interpretation from a typological category to a semantic-pragmatic category, which allows an application to languages lacking specialised morphemes for the expression of evidentiality. We consider evidentiality to be a structural dimension of grammar, the values of which are expressed by types of constructions that code the source of information which a (...) speaker imparts. If we look at the situation in Romance languages and in German, drawing a boundary between epistemic modality and evidentiality presents problems that are difficult to solve. Adding markers of the source of the speaker’s knowledge often limits the degree of responsibility of the speaker for the content of the utterance. Evidential adverbs are a frequently used means of marking the source of the speaker’s knowledge. The evidential meaning is generalised to marking any source of knowledge, what can be regarded as a result of a process of pragmaticalisation. The use of certain means which also carry out evidential markings can even contribute to the blurring of the different kinds of evidentiality. German also has modal verbs which in conjunction with the perfect tense of the verb have a predominantly evidential use. But even here the evidential marking is not without influence on the modality of the utterance. The Romance languages, however, do not have such specialised verbs for expressing evidentiality in certain contexts. To do this, they mark evidentiality – often context bound – by verb forms such as the conditional and the imperfect tense. This article shall contrast the different architectures used in expressing evidentiality in German and in the Romance languages. (shrink)

Human cognition affects the result of symbolic activity. Evidentiality is a linguistic concept which encodes the source of information and expresses the attitude and confidence of speaker. This paper collects 31 judgments from the Supreme People’s Court (SPC) and local people’s courts in the People’s Republic of China (P.R.C) as the research corpus, and analyzes the evidentiality in four aspects: information source, lingual form, evidential function and speaker’s attitude of the information. It is found in this study that: 1) (...) The information sources are divided into four types as cultural belief, sensory experience, verbal rumor and inferential hypothesis; 2) Lingual form consists of three categories: vocabulary, phrase and compound sentence; 3) Evidentiality in court judgments performs four functions: support with citation, induction with description, paraphrase with less responsibility and summarization with reasoning; 4) The reliability of evidentiality presents a two-tier structure based on different information sources. From the perspective of Peirce’s semiotics, the paper analyzes the judicial practice of court judgments with actual data and proposes some suggestions. (shrink)

This contribution aims at providing an argumentative method to account for epistemic modality and evidentiality. I claim that these two linguistic categories can work as semantic components of defeasible argumentative schemes based on classification processes. This kind of approximate reasoning is, in fact, frequently indicated by appearance verbs which signal that the inferred standpoint is conceived by the speaker as uncertain due to the deceiving nature of perceptual data. Drawing from an analysis at the semantic-argumentative interface, the way in (...) which prototype theory sheds light on the processes of meaning construction underlying defeasible arguments from definition is also shown. (shrink)

Knowledge can be expressed in language using a plethora of grammatical means. Four major groups of meanings related to knowledge are Evidentiality: grammatical expression of information source; Egophoricity: grammatical expression of access to knowledge; Mirativity: grammatical expression of expectation of knowledge; and Epistemic modality: grammatical expression of attitude to knowledge. The four groups of categories interact. Some develop overtones of the others. Evidentials stand apart from other means in many ways, including their correlations with speech genres and social environment. (...) This essay presents a framework which connects the expression of knowledge across the world's languages in a coherent way, showing their dependencies and complexities, and pathways of historical development in various scenarios, including language obsolescence. (shrink)

This work addresses the relation among the semantic-pragmatic categories of evidentiality, epistemicity and intensification based on a study of the discursive use of certain Spanish idiomatic phraseological units. The first part offers an introduction to some theoretical aspects, while the second part analyses the usage of the idiom a fe que. Two important theses that are defended in this article are as follows: evidentiality has played an important role in the process of lexicalisation and grammaticalisation of a number of (...) idiomatic phraseological units and some evidential expressions display the existence of close relationships among evidentiality, epistemicity and intensification. (shrink)

This article echoes concerns recently formulated regarding CDA’s lack of attention to cognitive science. From a cognitive pragmatic viewpoint, I argue that discourse analysis should undergo an epistemological change in order to seriously take into account what cognitive approaches have to offer, in particular as regards the automatic processing of utterances and the subsequent non-conscious evaluation of contents vis-a-vis previously held beliefs. I regard the epistemological tension in CDA as stemming from a wider tension of the same sort affecting social (...) science in general. Considering discourse as a process of interpretation and evaluation, I address briefly the influence of evidentiality as a pragmatic category in persuasive discourse and conclude that the uptake of new beliefs on the basis of discourse is oriented towards the maximization of relevance in the sense of Sperber and Wilson. (shrink)

Mirativity is a grammatical category or a linguistic strategy that makes explicit the surprising aspect of a piece of information. Different mirativity strategies appear in different languages. Evidentiality is a grammatical category that explicitly expresses the source of information, i.e. if something has been seen, heard or inferred. Whether mirativity forms part of evidentiality is an open question. An agent makes use of a mirativity marker when she or he expresses something about a surprising fact with respect to her or (...) his background knowledge. But there are different kinds of mirativity markers. Some of them are simple and direct and others, more complex, involve inferential processes. Here, we focus on complex mirativity and we compare it with inferred evidentials and deferred realizations. Our proposal goes beyond the purely linguistic analysis, since we try to interpret mirativity, and its role in interaction, as forming part of or involving a particular kind of inference, namely abduction. Mirativity can be used to express the surprising state that triggers an abductive reasoning but it can also encapsulate its result in such a way that it can be understood in relation to evidentiality. Thus, at least in some cases of complex mirativity, mirativity may convey indication about the source of information. Interesting for studies on dialogue is that they also indicate the degree of commitment of the speakers with the content of their own utterances. (shrink)

This paper describes two quotation strategies employed by speakers of Nanti, one involving grammaticalized quotatives and another involving complement-taking verbs of saying, and examines the consequences of the pragmatic differences between these strategies for two key questions in the study of evidentiality: first, the importance of degree of grammaticalization in delimiting ‘evidentials’; and second, the importance of the analytical distinction between epistemic modal and ‘source of information’ evidential meanings. Nanti use of the two quotation strategies is specifically analyzed in (...) the context of self-quotation practices in order to isolate specific aspects of their pragmatics. This analysis shows that the lexical quotative strategy expresses that the quoted party is not only the source of the content of the utterance, but is also an ‘illocutionary source’, who is committed to the interactional force of the utterance, while the grammaticalized quotative strategy does not indicate such a commitment. The functional difference between lexical and grammatical quotative strategies in Nanti is compared with differences between lexical and grammaticalized quotative and reportive strategies found in other languages, and the Nanti results are found to be consistent with cross-linguistic tendencies towards functional differentiation of lexical quotative and reportives, on the one hand, and their grammaticalized counterparts, on the other. These facts, it is argued, motivate a distinction on functional grounds between grammaticalized reportives and quotatives and their lexical counterparts, supporting the use of grammaticalization as a criterion for distinguishing evidentials proper from evidential strategies. The commitment-augmenting function of the lexical quotative construction in Nanti self-quotation is then examined in light of the commitment-diminishing function commonly attributed to quotatives and reportives. It is argued that both types of commitment-modulating effects emerge as implicatures from the basic information and illocutionary source semantics of Nanti lexical quotatives, and from pragmatic reasoning based on whether the quoted party is first person or third person. The fact that both commitment-modulating functions of Nanti lexical quotatives are derived from semantics of lexical quotatives elements is argued to show that the distinction between information source and epistemic modal meanings, often taken to be a pivotal notional distinction in defining evidentiality as a grammatical category, is also essential to the proper analysis of the pragmatics of evidential strategies in discourse. (shrink)

The present study focuses on a grammatical category called evidentiality. The primary meaning of evidentiality is concerned with information source. That is, it expresses whether something has been seen, heard or inferred. The aim here is to conduct a conceptual study of evidentiality in which use is made of formal tools. The fundamental intuition is that the distinction between ‘evidence’as ‘proof’and ‘evidentiality’as ‘to do with proof’is a crucial one. Evidentiality is a dynamic notion to be analysed through the use of (...) knowledge by the agents, a knowledge in action, which involves an in-coming state and an out-coming state that is typical of the transmission of information. We propose our own approach in which the dynamics of knowledge in action is grasped in the context of a dynamic epistemic logic. (shrink)

The deployment of the Albanian admirative as well as the evidential particles kinse ‘allegedly’ and gjoja ‘supposedly’ in Kosovar electronic news sources to render either dubitative or neutral reports — depending on both the source and the timing — contributed to the project of an independent Kosovo. The usages can be divided into three periods: 1994–1997, 1998–1999, and post-1999. During the first period, usage was exclusively dubitative and deployed for Serbian news sources. During the second period, which corresponded to (...) the intensification of the armed uprising, usage shifted to neutrality, and during the third period, after the NATO bombing campaign, it returned somewhat to dubitativity, this time aimed at UN and NATO sources. The discussion demonstrates how pragmatics and grammatical categories contribute to the construction of political narratives and argues that a socially informed linguistic analysis is crucial to understanding how politics is performed in the world. (shrink)

In this paper, I explore the strategy of circularity employed by Kant and Husserl in their treatment of categoriality. I focus on the relation between transcendental and metaphysical deductions in Kant’s Critique of Pure Reason, and on the problem of “epistemic foundationalism” and categoriality in Husserl’s Sixth Logical Investigation. I propose that the strategy of circularity is manifested through the peculiar self-enclosure of the categories of transcendental deduction vis-à-vis metaphysical deduction (Kant) and categorial intuition vis-à-vis sensuous intuition (Husserl). Although (...) it is usually regarded as a deficient and damaging occurrence in argumentation, circularity appears to be a crucial component in the analysis of both thinkers. The analytical realms recognized by both these thinkers, are acknowledged as continually dependent upon the self-evidential “contingency” of the realms they are supposed to hierarchically overarch. The strict separation between the transcendental and phenomenological realms and their addressees appears to be founded on mutual circularity, where the relation between investigator and investigated extends beyond their separation and reconciliation. Both Kant and Husserl, through the circular relationship with empiricism-rationalism and psychologism radically re-articulated the logic-ontology and founding-founded polarities. (shrink)

The book deals with martyrdom understood as a philosophical category. The main question pertains to the evidential value of the Christian witness through death. The author approaches an answer through a philosophical interpretation of the belief in the evidential role of martyrdom. Numerous historical documents confirm that ancient martyrdom might have been considered as a kind of proof also by people unaffiliated with the Church. The author observes the theology and the reality of martyrdom through the perspective of (...) the ancient philosophy of death and radical personal transformation. He believes that the Christian stance in the face of persecutions could have been understood as the realization of the unrealized ambitions of philosophy, thereby proving indirectly the veracity of the teaching revealed by Jesus Christ. (shrink)

Higher-order evidence is evidence about what is rational to think in light of your evidence. Many have argued that it is special – falling into its own evidential category, or leading to deviations from standard rational norms. But it is not. Given standard assumptions, almost all evidence is higher-order evidence.

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 \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. I also develop 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 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 $\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. 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 \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. 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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 \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. I also develop 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 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 $\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. 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 \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. 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 in the category of Set in category theory. Chapter \textbf{13} examines modal responses to the alethic paradoxes. I provide a counter-example to epistemic closure for reductio proofs. Chapter \textbf{14} examines, finally, the modal and hyperintensional semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

This book concerns the foundations of epistemic modality and hyperintensionality and their applications to the philosophy of mathematics. 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)

Sometimes inquirers may rationally pursue a theory even when the available evidence does not favor that theory over others. Features of a theory that favor pursuing it are known as considerations of promise or pursuitworthiness. Examples of such reasons include that a theory is testable, that it has a useful associated analogy, and that it suggests new research and experiments. These reasons need not be evidence in favor of the theory. This raises the question: what kinds of reasons are provided (...) by pursuitworthiness considerations? Are they epistemic reasons or practical reasons? I argue that pursuitworthiness considerations are a kind of non-evidential epistemic reason, which I call an inquisitive reason. In support of this, I first point out two important similarities between the traditional pursuitworthiness considerations discussed in philosophy of science, which I call promise reasons, and certain social epistemic reasons that I call social inquisitive reasons. Specifically, both kinds of reason (1) favor pursuing a theory in a non-evidential way, and (2) concern promoting successful inquiry. I then propose recognition of a new category of normative reason: inquisitive reasons. This category contains both promise and social inquisitive reasons. Finally, I argue that inquisitive reasons share three essential features with previously recognized epistemic reasons: a connection to epistemic aims, explanatory independence, and the presence of a specific right-kind/wrong-kind reasons distinction. Each of these features have been used to argue that evidence should be treated as part of a distinct, independent domain of epistemic normativity. Since inquisitive reasons share these features, they too should be considered part of this independent epistemic domain. Thus, inquisitive reasons, including pursuitworthiness considerations, are epistemic reasons. (shrink)

Idealization is a necessity. Stripping away levels of complexity makes questions tractable, focuses our attention, and lets us develop comprehensible, testable models. Applying such models, however, requires care and attention to how the idealizations incorporated into their development affect their predictions. In epistemology, we tend to focus on idealizations concerning individual agents' capacities, such as memory, mathematical ability, and so on, when addressing this concern. By contrast, this dissertation focuses on social idealizations, particularly those pertaining to salient social categories (...) like race, sex, and gender. In Chapter II, Privilege and Superiority, we begin with standpoint epistemology, one of the earliest efforts to grapple with the ways that social structures affect our epistemic lives. I argue that, if we interpret standpoint epistemologists' claims as hypotheses about the ways that our social positions affect access to evidence, we can fruitfully employ recent developments in evidence logic to study the consequences. I lay the groundwork for this project, developing a model based on neighborhood semantics for modal logic. Adapting this framework to standpoint epistemology helps to clarify the meaning of terms like "epistemic privilege" and "superior knowledge" and to elucidate the differences between various accounts of standpoint epistemology. I also address a longstanding criticism of these views: Longino's (1990) bias paradox, which suggests that there is no objective position from which to judge the goodness of a particular standpoint. Chapter III, Evidence in a Non-Ideal World, turns to the broader social context, looking at how ideology affects the availability of evidence. Throughout the chapter, I take the formation, justification, and maintenance of racist, sexist, and otherwise oppressive beliefs as a central case. I argue that these beliefs are, at least sometimes, formed as a result of evidential distortion, a structural feature of our epistemic contexts that skews readily available evidence in favor of dominant ideologies. Because they are formed this way, such beliefs will appear justified on prominent accounts of justification, both internalist and externalist. As a result, epistemic norms that fail to account for such non-ideal conditions will deliver verdicts that are not only counter-intuitive, but also morally unpalatable. This, I argue, reveals a kind of structural epistemic injustice, especially where oppressive ideology is involved and suggests the need for epistemic norms that are sensitive to agents' social contexts. Much of the discussion in Chapters II and III depends on social categories like race and gender, arguing that they have a distinctive influence on our epistemic lives. In Chapter IV, I Know You Are, But What Am I?, my co-author and I focus on social categories themselves, distinguishing between self-identity, social identity, and social role. We self-identify as gay or straight, men or women, couch-potatoes or gym rats. Sometimes, these identities affect our social roles---the way we are perceived and treated by others---and sometimes they do not. This relationship between our internal identities and our preferred public perceptions begs for explanation. On our account, this relationship is captured by what we refer to as 'social identity'---roughly, internal identities made available to others. We argue that this account of social identity plays an illuminating role in structural explanation of discrimination and individual behavior, dissolves puzzles surrounding the phenomenon of 'passing', and explains certain moral and political obligations toward individuals. (shrink)

In the first part of this paper I will characterize the specific nature of rational intuition. It will be claimed that rational intuition is an evidential state with modal content that has an a priori source. This claim will be defended against several objections. The second part of the paper deals with the so-called explanationist objection against rational intuition as a justifying source. According to the best reading of this objection, intuition cannot justify any judgment since there is no (...) metaphysical explanation of its reliability. It will be argued that in the case of intuition the very demand of such an explanation is based on a category mistake. (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)

The distinction between propositional and doxastic justification is normally applied to belief. The goal of this paper is to apply the distinction to faith and hope. Before doing so, I discuss the nature of faith and hope, and how they contrast with belief—belief has no essential conative component, whereas faith and hope essentially involve the conative. I discuss implications this has for evaluating faith and hope, and apply this to the propositional/doxastic distinction. There are two key upshots. One, bringing in (...) faith and hope makes salient additional normative categories, including the way the distinction between epistemic and practical justification interacts with the distinction between propositional and doxastic justification. Two, a paradigm example of propositional without doxastic justification is a belief that is evidentially supported but based on wishful thinking. Surprisingly, parallel cases of faith and hope may actually enjoy both propositional and doxastic justification. I conclude by exploring what it might look like for faith and hope to have propositional justification without doxastic justification. (shrink)

My dissertation examines prominent arguments for and against the use of intuition in philosophical theorizing. Many of the concerns I raise involve areas of oversimplification - particularly concerning the relationship between the reliability of our intuitions and their evidential status. Specifically, I argue that there are two primary barriers to framing the intuition debate as a simple question about whether intuitions are either unreliable and therefore wholly unsuitable for use in philosophy, or reliable and therefore always suitable for philosophical (...) use. The first of these barriers involves the widespread assumption that intuition forms a fairly cohesive, fairly natural mental kind which can be usefully evaluated for reliability. The second involves the assumption that anyone who questions the suitability of intuitions as evidence must deny that intuitions are reliable enough to constitute knowledge. A further theme of my dissertation involves the relationship between the categories delineated by our intuitive classifications and the categories which serve as the targets of philosophical investigation. I examine two major approaches to this relationship - the ‘mentalist’ view, according to which the targets of philosophical analysis are our own concepts, and the ‘extramentalist’ view, according to which the targets of philosophy are external phenomena ‘in the world’. I conclude that both projects are legitimate, but that only the former justifies the commonly held view that there exists a sort of ‘constitutive’ relationship between intuitions and truth. Ultimately, I advocate a position according to which use of intuition in philosophy should be restricted, but not eliminated. (shrink)

Hart offers a biologically based explanation for the use of an ‘epistemic positioning strategy’ aimed by speakers/writers at the legitimization of assertions, at persuading addressees of the veracity of the propositions, as a prior condition for the discursive legitimization of actions. This article focuses on various issues addressed in Hart’s article, among them the degree of commitment invoked in speakers/writers’ choice of epistemic stance expressions as legitimization strategies, as well as the expression of subjectivity/intersubjectivity in discourse and the degree to (...) which this involves responsibility and accountability for the speaker/writer. The article also provides an alternative proposal of the categories identified by Bednarek for the conceptual domain of evidentiality. (shrink)

There is currently an important debate about whether philosophical intuitions are intended as evidence for the theories philosophers promote. On one side are those who argue that philosophers do rely on intuitions as evidence; on the other side are those who deny any such role for philosophical intuitions. This paper argues that both sides of this debate are partially right and partially wrong. Intuitive judgments do not, as psychological states, function as evidence in most well-known philosophical thought experiments. Philosophers nevertheless (...) strongly depend upon these intuitive judgments. Where both sides go awry is in assuming that the importance of intuitive judgments rests solely upon their role as evidence. We need to distinguish between evidence, as such, from various nonevidential psychological states that are needed for something else to serve as evidence. The paper calls these latter conditions “evidence facilitators” and argues that intuitive judgments belong in this category. (shrink)

Although there once was a general consensus among race scholars that applying race categories to humans is biologically illegitimate, this consensus has been erased over the past decade. This is largely due to advances in population genetics that allow biologists to pick out genetic population clusters that approximate some of our common sense racial categories. In this paper, I argue that this new ability really ought not undermine our confidence in the biological illegitimacy of the human races. Unfortunately, (...) the claim that races are biologically legitimate is ambiguous—the sense I will be concerned with here holds that the human species can be divided into biological subspecies. Sesardic and Andreasen have both argued that the cluster results are evidence for subspecies within the human population. I show the cluster results are in fact evidentially inert relative to each author’s preferred subspecies concept. I then sketch the kinds of biological facts that could be used to adjudicate whether human subspecies have existed in the past. (shrink)

Surprise is treated as an affect in Aristotelian philosophy as well as in Cartesian philosophy. In experimental psychology, surprise is considered to be an emotion. In phenomenology, it is only addressed indirectly (Husserl, Heidegger, Levinas), with the important exception of Ricoeur and Maldiney; it is reduced to a break in cognition by cognitivists (Dennett). Only recently was it broached in linguistics, with a focus on lexico-syntactic categories. As for the expression of surprise, it has been studied in connection with (...) evidentiality in languages that encode surprise morphosyntactically. However, how surprise is encoded in languages that lack an evidential morphosyntactic system has been largely unexplored. This book provides new insights into the dynamics of surprise based on a heuristic hypothesis tested against the investigation of time, language and emotion. It is intended to arouse the interest of a multidisciplinary audience keen on crossing the disciplinary borders of phenomenology, cognitive sciences, and pragmatics. The theoretical approaches adopted in this collection of articles rely on experiments and corpus data. They advance knowledge by building on robust empirical results coming from psychology, microphenomenology, linguistics and physiology. (shrink)

In the first part of this paper I will characterize the specific nature of rational intuition. It will be claimed that rational intuition is an evidential state with modal content that has an a priori source. This claim will be defended against several objections. The second part of the paper deals with the so-called explanationist objection against rational intuition as a justifying source. According to the best reading of this objection, intuition cannot justify any judgment since there is no (...) metaphysical explanation of its reliability. It will be argued that in the case of intuition the very demand of such an explanation is based on a category mistake. (shrink)

Summary: demonstrative and determiner systems in the Pacific Northwest show areal similarities. The categories include two or three way deictic distinctions, visibility, modality (existent - non existent), and temporal contrasts. There are formal characteristics that are shared as well. The presentation will give a preliminary survey of the features across some languages of the area, with emphasis on Northern Wakashan. Then we will look at two especially interesting categories: `just gone' in Upper North Wakashan, which combines spatial and (...) temporal (or: spatiotemporal) concepts, `visible-invisible', which seems to be basically evidential and modal in some languages. (shrink)

This handbook offers an in depth and comprehensive state of the art survey of the linguistic domains of modality and mood. An international team of experts in the field examine the full range of methodological and theoretical approaches to the many facets of the phenomena involved. Following an opening section that provides an introduction and historical background to the topic, the volume is divided into five parts. Parts 1 and 2 present the basic linguistic facts about the systems of modality (...) and mood in the languages of the world, covering the semantics and the expression of different subtypes of modality and mood respectively. The authors also examine the interaction of modality and mood, mutually and with other semantic categories such as aspect, time, negation, and evidentiality. In Part 3, authors discuss the features of the modality and mood systems in five typologically different language groups, while chapters in Part 4 deal with wider perspectives on modality and mood: diachrony, areality, first language acquisition, and sign language. Finally, Part 5 looks at how modality and mood are handled in different theoretical approaches: formal syntax, functional linguistics, cognitive linguistics and construction grammar, and formal semantics. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:94. HUME'S EXPLANATION OF RELIGIOUS BELIEF1 In The Natural History of Religion, David Hume offers a not unsophisticated account of the fact that persons hold religious beliefs. In so doing, he produces an explanatory system analogous to that which occurs concerning causal belief, belief in 'external objects', and belief in an enduring self in the Treatise ¦ The explanation of the occurrence of religious belief is more detailed than (...) the explanation provided in the other cases just mentioned. In the Natural History, Hume devotes a short volume to explaining religious belief, while in the Treatise the causal, external object, and enduring self beliefs merit 2 but long sections. More important, however, than length of treatment is the fact that the pattern of explanation is identical in each instance. The Natural History could be embedded without categorial clash into the Treatise, perhaps as Book Four with"fifteen sections, and each formerly separate volume would shed light on the program and tactics of the other. My interest here is in the epistemic features of the explanatory system Hume developed in the Natural History. Hume forthrightly proclaims that The Natural History Of Religion is in fact an attempt to explain the occurrence of religious belief. He writes: What those principles are, which give rise to the original belief, and what those accidents and causes are, which direct its operation, is the subject of our present enquiry.4 (NHR21) Original belief here does duty for "original religious belief", and as he takes religious belief to be nearly but not altogether universal in scope and astonishingly diverse in object, he supposes the principle, or cause, of such belief to be secondary in the sense that its operation is (so to say) defeasible and its product diversified. Hume's powerful critique of the argument from design in Sections II 95. through VIII of the Dialogues is not the only reason for doubting that his occasional kind remarks concerning it should be taken as indicating that he supposed it sound and valid. The very fact that Hume wrote a book intended to explain the occurrence of religious belief by identifying as its cause a built-in principle and its eliciting stimuli should give us pause about Hume's apparent acceptance of something like the argument from design. For while in the Natural History he says that: The whole frame of nature bespeaks an intelligent author; and no ¦ rational enquirer can, after serious reflection, suspend his belief a moment with regard to the primary principles of genuine Theism and Religion. (NHR21) He speaks, not of a conclusion having been proved true, but of a belief having been rendered unsuspendable. Further, neither we nor Hume will ordinarily offer a causal account of the fact that a person has a belief unless there is doubt that the person has sufficient reason for holding it. He does not, for example, offer any such explanation of our acceptance of sincere present-tense first person psychological reports, concerning the truth (indeed, the incorrigibility ) of which he in the Treatise confidently affirms : For since all actions and sensations of the mind are known to us by consciousness, they must necessarily appear in every particular what they are, and be what they appear. Every thing that enters the mind, being in rea lity perception, 'tis impossible any thing should to feeling appear different. This were to suppose that even where we are most intimately conscious, we might be mistaken. (T190) Or, even more modestly, and without assuming a causal-account and a sufficient-reason-account of a belief to be competing (or even necessarily different) explanations, we may note that Hume proposes to explain the occurrence of religious belief by reference to principle and eliciting stimuli without making reference to reasons or arguments as items possessing epistemic function or 96. evidential force, but only as items capable of triggering a built-in response. That this is_ his tactic I have argued rather fully on another occasion; here I will focus only on the general pattern of Hume's explanation of religious belief. Hume endeavors to explain religious belief without supposing it (in any of its forms) to be true as well as without supposing it... (shrink)

In lieu of an abstract, here is a brief excerpt of the content:94. HUME'S EXPLANATION OF RELIGIOUS BELIEF1 In The Natural History of Religion, David Hume offers a not unsophisticated account of the fact that persons hold religious beliefs. In so doing, he produces an explanatory system analogous to that which occurs concerning causal belief, belief in 'external objects', and belief in an enduring self in the Treatise ¦ The explanation of the occurrence of religious belief is more detailed than (...) the explanation provided in the other cases just mentioned. In the Natural History, Hume devotes a short volume to explaining religious belief, while in the Treatise the causal, external object, and enduring self beliefs merit 2 but long sections. More important, however, than length of treatment is the fact that the pattern of explanation is identical in each instance. The Natural History could be embedded without categorial clash into the Treatise, perhaps as Book Four with"fifteen sections, and each formerly separate volume would shed light on the program and tactics of the other. My interest here is in the epistemic features of the explanatory system Hume developed in the Natural History. Hume forthrightly proclaims that The Natural History Of Religion is in fact an attempt to explain the occurrence of religious belief. He writes: What those principles are, which give rise to the original belief, and what those accidents and causes are, which direct its operation, is the subject of our present enquiry.4 (NHR21) Original belief here does duty for "original religious belief", and as he takes religious belief to be nearly but not altogether universal in scope and astonishingly diverse in object, he supposes the principle, or cause, of such belief to be secondary in the sense that its operation is (so to say) defeasible and its product diversified. Hume's powerful critique of the argument from design in Sections II 95. through VIII of the Dialogues is not the only reason for doubting that his occasional kind remarks concerning it should be taken as indicating that he supposed it sound and valid. The very fact that Hume wrote a book intended to explain the occurrence of religious belief by identifying as its cause a built-in principle and its eliciting stimuli should give us pause about Hume's apparent acceptance of something like the argument from design. For while in the Natural History he says that: The whole frame of nature bespeaks an intelligent author; and no ¦ rational enquirer can, after serious reflection, suspend his belief a moment with regard to the primary principles of genuine Theism and Religion. (NHR21) He speaks, not of a conclusion having been proved true, but of a belief having been rendered unsuspendable. Further, neither we nor Hume will ordinarily offer a causal account of the fact that a person has a belief unless there is doubt that the person has sufficient reason for holding it. He does not, for example, offer any such explanation of our acceptance of sincere present-tense first person psychological reports, concerning the truth (indeed, the incorrigibility ) of which he in the Treatise confidently affirms : For since all actions and sensations of the mind are known to us by consciousness, they must necessarily appear in every particular what they are, and be what they appear. Every thing that enters the mind, being in rea lity perception, 'tis impossible any thing should to feeling appear different. This were to suppose that even where we are most intimately conscious, we might be mistaken. (T190) Or, even more modestly, and without assuming a causal-account and a sufficient-reason-account of a belief to be competing (or even necessarily different) explanations, we may note that Hume proposes to explain the occurrence of religious belief by reference to principle and eliciting stimuli without making reference to reasons or arguments as items possessing epistemic function or 96. evidential force, but only as items capable of triggering a built-in response. That this is_ his tactic I have argued rather fully on another occasion; here I will focus only on the general pattern of Hume's explanation of religious belief. Hume endeavors to explain religious belief without supposing it (in any of its forms) to be true as well as without supposing it... (shrink)

This article explores and questions traditional legal scholarship's historical presentation of the role of the accused and the relationship between the individual and the state in English criminal justice that it expresses. This perceived relationship between the individual and the state is traced through a textual and historical analysis of rules relating to questioning and to confessions. The article focuses on the ‘development’ of these rules during the 19th century when the foundations of the modern English legal system were laid. (...) The author maintains that through the conceptual categories of ‘subject’, ‘citizen’ and ‘suspect’, established legal writers have constructed the role played by the accused within an historical framework of ‘progress’. Yet when examined in the light of case law and statute from the period, that framework appears more mythical than factual as it lacks the evidential foundation to support it. (shrink)

This paper argues that moral distress is a distinctive category of reactive attitudes that are taken to be part and parcel of the social dynamics for recognition. While moral distress does not demonstrate evidence of wrongdoing, it does emotionally articulate a demand for normative attention that is addressed to others as moral providers. The argument for this characterization of the deontic power of moral distress builds upon two examples in which the cognitive value of the victim’s emotional experience is controversial: (...) the case of micro-aggression, and the case of misplaced distress. In contrast to appraisal and perceptual models of distress, it is argued that its epistemic and normative value is dialogical rather than evidential, in that it presses claims that engage the audience in a normative discussion about the normative standing of the claimant, the proper grounds of the attitude, and the normative standards used to assess them. (shrink)

I contrast two modes of error-elimination relevant to evaluating evidence in accounts that emphasize frequentist reliability. The contrast corresponds to that between the use of of a reliable inference procedure and the critical scrutiny of a procedure with regard to its reliability, in light of what is and is not known about the setting in which the procedure is used. I propose a notion of security as a category of evidential assessment for the latter. In statistical settings, robustness theory (...) and misspecification testing exemplify two distinct strategies for securing statistical inferences. (shrink)

Crafted within a knowledge-first epistemological framework, Mona Simion’s engaging and wide-ranging work ensures that both the Knowledge Norm of Assertion (KNA) and Classical Invariantism (CI) can be part of a viable and productive research program.Dissatisfied with current strategies on offer in the literature, she successfully counters objections to the pair sourced in “shiftiness intuitions”—intuitions that seem to indicate that mere changes in practical context can impact the propriety of assertions and knowledge attributions. For example, in Keith DeRose’s famous pair of (...) low stakes versus high stakes bank cases, the consequences of Keith’s acting on The bank is open on Saturday if it were false change from trivial in low stakes to catastrophic in high stakes. We are to suppose that the proposition is true, and that Keith has access to the same quantity and quality of evidence for it in both cases. In low stakes, but not in high stakes, we are inclined to think that Keith can appropriately assert to his inquiring wife “The bank is open on Saturday.” In low stakes, Keith’s knowledge ascription “I know that the bank is open on Saturday” strikes us as aptly asserted and true. In high stakes only a knowledge denial on Keith’s part strikes us as aptly asserted and true.If we want to hang on to KNA, it looks like we will have to abandon CI and concede that ‘knows’ or knowledge is sensitive to changes in practical considerations. If we want to retain CI, we can try to say that, while Keith does still know that the bank is open on Saturday in high stakes, he does not have sufficient warrant to properly assert that it is. But such a move seems to run counter to KNA. We appear to be stuck in the Shiftiness Dilemma.Keen to get us out of the dilemma and to preserve the idea that epistemically good thinking and asserting are independent of practical concerns, Simion suggests a strategy that can also be used to protect other epistemic speech-act norms and notions from similar threats of practical shiftiness. She notes that having an impact on the degree of epistemic warrant required is not enough to make a norm an epistemic one. Fair enough. If I am given strong practical reason (a million dollars, or a gun to the head) not to adopt full belief until I have gathered more evidence, there is potentially some nonepistemic norm at work in the demand for further evidence. So it is a live possibility (indeed, a plausible one, as Simion would say) that our intuitions in the Shiftiness Dilemma are being misdescribed: they are tracking all-things-considered propriety of assertion, not epistemic propriety. In high stakes, practical norms override the epistemic norm KNA. Keith’s asserting “The bank is open on Saturday” would be epistemically proper but all-things-considered improper.Simion backs up her account with an etiological-function origin story and typology for the norms of assertion. Here is her characterization of etiological function for traits, artifacts, and actions. E-function.A token of type T has the e-function of type B of producing effect E in a system S iff (1) tokens of T produced E in the past, (2) producing E resulted in benefit of type B in S/S’s ancestors, and (3) producing E’s having B-benefited S’s ancestors contributes to the explanation of why T exists in S.In this schema, norms governing an action are typed by the functions or purposes of the action, which in turn are typed by the benefits the action delivers. The epistemic norm of assertion will be the one that characteristically and reliably enables participants in the practice of assertion to secure its primary epistemic good, which Simion identifies as knowledge (testimonial knowledge in hearers generated under normal conditions by the assertions of knowledgeable speakers). Moves in a practice either directly or indirectly aim at fulfilling the goal of the practice. Assertion is a move in the practice of inquiry, which has the generation of knowledge as its aim. Hence, Simion concludes, assertion aims at generating knowledge.This account helps to explain why, in cases like high stakes, Keith all-things-considered ought not to assert “The bank is open on Saturday,” even though he knows it is true. Prudential norms of assertion override the epistemic KNA, for when multiple functions come into conflict, the ones that are more important to the survival of the organism will generate weightier normative constraints.Simion then applies her account to the general category of constatives—for example, speech acts that express a speaker’s belief and the intention that the hearer form or continue to hold the like belief. Employing the taxonomy of Bach and Harnish, she argues that, as expressions of belief and hence varieties of assertion, constatives are subject to knowledge norms as well. Bach and Harnish identify fifteen different subcategories of constatives, each characterized in terms of the kind of belief and intention they express. The norms governing a species have to be at least as strong as the norms governing the corresponding type. As species of the type assertion, each subcategory, then, is subject to at least the necessary direction of KNA. Ultimately, we arrive at a knowledge norm for every speech act on the list, such as The Knowledge Norm of Conjecture (KNC):One’s conjecture that p is epistemically permissible only if one knows that there is reason, but not sufficient reason, to believe that p. Most of the proposed interpretations of various constatives are on the whole reasonable enough, though J. L. Austin would surely be unhappy to see so many different speech acts fashioned into varieties of assertion. Simion concludes with reflections on conjecturing, telling, and moral assertion.Construing the challenge of shiftiness intuitions in terms of the Shiftiness Dilemma allows Simion to declare success when the compatibility of KNA and CI with the relevant data of intuition is secured. Ensuring empirical adequacy for an explanatory framework is an important step, but pronouncements of victory by way of inference to the best explanation would be premature.Other candidates have been shown to match KNA’s familiar explanatory successes (involving lottery propositions, Moorean statements, etc.). Unlike KNA, alternatives that require only epistemically justified or rational belief or credence can allow that a subject is epistemically proper to assert what they believe when their belief is epistemically rational, even under conditions where there are defeating reasons that they are not in a position to be aware of. Furthermore, such norms seem better suited for philosophical or heated moral discussions where there is little consensus and individuals routinely fail to know that what they assert is true. Simion sounds the alarm that the Shiftiness Dilemma threatens to generalize “to epistemic normativity as a whole” (xi–xii), but norms concerning rational credence seem particularly immune.As Simion notes, the etiological-function model of norms that she proposes could be rebuilt with a different central epistemic aim at its core. Indeed, Millikan-inspired models along these lines are appealed to in other areas in philosophy where the concept of information takes center stage—a concept that may be more amenable to rigorous definition and use in dialogue with the sciences than knowledge. We can wonder, also, what special weight the etiological-function model accords to a knowledge-first perspective on epistemic normativity when the model is malleable in this way.The effectiveness of Simion’s strategy for shielding epistemically good thinking and assertion from practical shiftiness becomes less apparent when we try to apply it to Keith’s belief or judgment that the knowledge ascription/denial he asserts is true. It is unclear whether we are to suppose that, in high stakes, Keith epistemically ought to believe/judge that his asserted knowledge denial is false, but all-things-considered he ought to believe/judge that it is true. We do not have to accept that the knowledge-first, etiological function account of normativity for assertion carries over to belief, of course, but then what progress have we made in accounting for the shiftiness in Keith’s judgment that he knows the bank is open on Saturday in low stakes but not in high stakes?Furthermore, there are other ways to generate problems for fallibilist Classical Invariantists in low versus high stakes pairs of cases. Here is a simplified version of a puzzle from the debate over pragmatic encroachment. Consider low cases where you meet the invariant standards for knowing that p, but your justified confidence falls short of certainty. Among these cases, there must be some where you also meet the invariant standards for knowing that if p is true, then among your choices of action ϕ-ing results in the best overall outcome. Say, for instance, that you have a machine with a ϕ button, and your machine, which you know to be extremely reliable, tells you what the cost or benefit will be if you push the button and p is true versus if p is false. If you ϕ (push the ϕ button) and p is true, you win one hundred dollars; if you ϕ and p is false, you lose one hundred dollars. You face the choice: to ϕ or not to ϕ. Since you know that p, and you know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome, you rationally conclude that ϕ-ing results in the best overall outcome, and hence that you ought to ϕ. If you know which choice of action has the best overall outcome, that is what you all-things-considered should do. Now consider high, where the quantity and quality of your evidence for p is the same, and you still know that your machine is extremely reliable. This time, however, the machine tells you that if you push ϕ and p is true, you win one hundred dollars, but if you push ϕ and p is false, you lose $1 million. Your rational confidence in p is not high enough to justify pushing the button, so you rationally conclude that you ought not to ϕ. Since in high nothing evidentially relevant has changed (all that has changed is the machine informing you of a new, more serious cost of acting on p if p is false), the classical invariantist will have to say that you still know that ϕ, and you still know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome. So, according to CI, you should still be able to reason properly as follows: you know that p, and you know that if p is true, then among your choices of action ϕ-ing results in the best overall outcome, so you know that ϕ-ing results in the best overall outcome, hence you ought to ϕ. Classical invariantists owe us an explanation concerning how we can avoid the paradox here without conceding that knowledge is practically shifty. (shrink)

This book concerns the foundations of epistemic modality. 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 relates to the computational theory of mind; metaphysical modality; the types of mathematical modality; to the epistemic status of large cardinal axioms, undecidable propositions, and abstraction principles in the philosophy of mathematics; to the modal profile of rational intuition; and (...) to the types of intention, when the latter is interpreted as a modal 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. Chapter 3 provides an abstraction principle for epistemic intensions. Chapter 4 advances a 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 $\mu$-calculus in order to account for the iteration of epistemic states, by contrast to availing of modal axiom 4. 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 epistemic two-dimensional truthmaker semantics developed in chapter 4 is availed of in order for epistemic states to be a guide to metaphysical states in the hyperintensional setting. Chapter 8 examines the modal commitments of abstractionism, in particular necessitism, and epistemic modality and the epistemology of abstraction. Chapter 9 examines the modal profile of $\Omega$-logic in set theory. Chapter 10 examines the interaction between epistemic two-dimensional semantics and absolute decidability. Chapter 11 avails of modal coalgebraic automata to interpret the defining properties of indefinite extensibility, and avails of epistemic two-dimensional semantics in order to account for the interaction of the interpretational and objective modalities thereof. The hyperintensional, epistemic two-dimensional truthmaker semantics developed in chapter 4 is applied in chapters 8, 10, and 11. Chapter 12 provides a modal logic for rational intuition. Chapter 13 examines modal responses to the alethic paradoxes. Chapter 14 examines, finally, the modal semantics for the different types of intention and the relation of the latter to evidential decision theory. (shrink)

Policy-makers face an uncertain world. One way of getting a handle on decision-making in such an environment is to rely on evidence. Despite the recent increase in post-fact figures in politics, evidence-based policymaking takes centre stage in policy-setting institutions. Often, however, policy-makers face large volumes of evidence from different sources. Robustness analysis can, prima facie, handle this evidential diversity. Roughly, a hypothesis is supported by robust evidence if the different evidential sources are in agreement. In this thesis, I (...) strengthen the case for the use of robustness analysis in evidence-based policymaking by answering open research questions about this inference technique. First, I argue that existing taxonomies miss a fruitful category of robustness reasoning, that is predictive stability. Second, I claim that derivational robustness analysis – the investigation of whether the results of different models are in agreement – can yield interesting insights even if not the entire relevant model space is covered by available models or if the model results are only partially in agreement. Third, I claim that expert knowledge is necessary to address questions that arise when one applies measurement robustness analysis – the investigation into whether multiple means of measurement yield the same result. Finally, I argue that, in situations where evidence from different measurements is not in agreement, it can be advisable to no longer take all of the evidence into account. This can be done in a rationally defensible way by choosing the most adequate theory or model underlying parts of the evidence set. I discuss examples from climate, medical, and economic policy-making to establish my claims. (shrink)

In recent years, much attention has been given to the puzzling relationship between tense and evidence type found in languages where a single morpheme appears to encode both reference to time and to the evidential source for the assertion. In natural language, _tense_ has long been understood as serving to locate the time at which the proposition expressed by the sentence holds. The two main theories of _evidentials_ both agree that these morphemes serve to identify the type of evidence (...) the speaker has for their assertion. In languages with evidential-tense morphology, these two categories of meaning are intertwined in ways that are unexpected given our understanding of both phenomena. Specifically, these evidential-tense morphemes appear to encode reference to a time that is linked to the situation in which the speaker gains evidence for their assertion. Two competing approaches have emerged in the literature as to whether these evidential-tense morphemes make crucial reference to the _time_ evidence was acquired (Lee 2013 ; Smirnova 2013 ) or to the _time and place_ of the speaker with respect to the event (Faller 2004 ; Chung 2007 ). This paper examines the temporal and evidential properties of the Mvskoke (or Creek) _graded_ past tense system and finds novel support for the view in which evidential-tenses encode _Evidence Acquisition Time_ (EAT). Mvskoke is shown to have three evidential-tenses which form part of its graded tense system, comprising recent, middle, and distant past. The main proposal is a formalization of EAT as a moment of belief-state change, i.e., the moment the speaker comes to believe the proposition. It is shown that Mvskoke’s evidential-tenses are compatible with a range of evidence types, and this distribution is explained through interactions with viewpoint aspect. (shrink)