The epistemic basing relation is the relation occurring between a belief and a reason when the reason is the reason for which the belief is held. It marks the distinction between a belief's being justifiable for a person, and the person's being justified in holding the belief. As such, it is an essential component of any complete theory of epistemic justification. ;I survey and evaluate all theories of the basing relation that I am aware of published (...) between 1965 and 1995. These include causal theories, , theories involving pseudo-overdetermination relations , theories involving what a person would appeal to in defense of her beliefs , and doxastic theories , involving an appeal to meta-beliefs. My discussion of these theories includes a detailed analysis of variations of Lehrer's case of the gypsy lawyer which, I show, can be reformulated to pose a decisive objection to causal theories, if not causal analyses, of the basing relation. ;Rejecting all published theories, I present a new kind of causal analysis of the basing relation which I call the causal-doxastic theory. This theory states that a belief is based on a reason if the reason bears an appropriate causal relation to the belief, or, it does not bear such a causal relation, but an appropriate meta-belief is present. A causal analysis of which meta-beliefs are appropriate is given, so as to count as inappropriate rationalizations, mistaken meta-beliefs, etc. In developing the causal-doxastic theory, I present a solution to the problem of deviant causal chains, a discussion of the causal sustaining of beliefs, an account of rejecting reasons, and a partial analysis of showing that one is justified. I then discuss implications of my theory regarding foundationalism, inference, basic and non-basic belief, holistic and linear coherentism, process reliabilism, internalism and externalism, and various closure principles. (shrink)

This article is about the epistemic basing relation, which is the relation that obtains between beliefs and the reasons for which they are held. We need an adequate account of the basing relation if we want to have a satisfactory account of doxastic justification, which we should want to have. To that end, this article aims to achieve two goals. The first is to show that a plausible account of the basing relation must invoke counterfactual concepts. (...) The second is to set out two related analyses of the basing relation, each of which seems quite plausible. (shrink)

There is a difference between having reasons for believing and believing for reasons. This difference is often fleshed out via an epistemic basing relation, where an epistemic basing relation obtains between beliefs and the actual reasons for which those beliefs are held. The precise nature of the basing relation is subject to much controversy, and one such underdeveloped issue is whether beliefs can be based on brain processing. In this paper I answer in the negative, (...) providing reasons that the basing relation must be a specific psychological level relation between mental states, rather than being a brain process. (shrink)

Epistemological theories of knowledge and justification draw a crucial distinction between one's simply havinggood reasons for some belief, and one's actually basingone's belief on good reasons. While the most natural kind of account of basing is causal in nature--a belief is based on a reason if and only if the belief is properly caused by the reason--there is hardly any widely-accepted, counterexample-free account of the basing relation among contemporary epistemologists. Further inquiry into the nature of the basing (...) relation is therefore of paramount importance for epistemology. Without an acceptable account of the basing relation, epistemological theories remain both crucially incomplete and vulnerable to errors that can arise when authors assume an implausible view of what it takes for beliefs to be held on the basis of reasons. Well-Founded Beliefbrings together seventeen essays written by leading epistemologists to explore this important topic in greater detail. The collection is divided thematically to cover a wide range of issues related to the epistemic basic relation. The first section of essays covers the nature of the basing relation and attempts to articulate defensible accounts of what it takes to believe on the basis of a reason. Section II explores the kind of things that can be reasons on the basis of which we hold beliefs. Finally, the last section addresses the basing relation as it bears on particular problems in epistemology, such as skepticism, the analysis of knowledge, and the contingencies of our epistemic upbringing. (shrink)

Interpretations of human nature driven by scientific analyses of the origin and development of the human species often assume metaphysical naturalism. This generates restrictive and distortive accounts of key facets of human life and ethics. It fails to make sense of human altruism, and it operates within a wider philosophical framework that lacks explanatory power. The accounts of theistic evolution that seek to redress this, however, too easily fail to take sufficient account of the unique contribution of interpretations from a (...) specifically Christian epistemic base. The latter involve a Christological and, hence, eschatological approach which is intrinsic to the interpretation of human nature in light of the purpose and intentionality of the Creator. Phenomenological approaches to the nature of humanity lack the categories to distinguish between human nature as the object of divine intentionality and its present dysfunctional and, ultimately, subhuman state. (shrink)

In Relying on others [Goldberg, S. 2010a. Relying on others: An essay in epistemology. Oxford: Oxford University Press], I argued that, from the perspective of an interest in epistemic assessment, the testimonial belief-forming process should be regarded as interpersonally extended. At the same time, I explicitly rejected the extendedness model for beliefs formed through reliance on a mere mechanism, such as a clock. In this paper, I try to bolster my defense of this asymmetric treatment. I argue that a (...) crucial assumption lying behind the argument I used to establish interpersonal extendedness in testimony cases does not apply to beliefs formed through reliance on instruments. In this respect, at least, there appears to be something epistemically distinctive about relying on another epistemic agent. (shrink)

The thesis concerns itself with the selection constraints governing the basic distributional patterns of five complement constructions in English--the bare clause, the that-clause, the interrogative, the concealed question construction and the exclamative complement--across a wide array of knowledge, belief and communication predicates. The relevant distributional phenomena--which predicates are capable of embedding which complement types--have traditionally been captured by stipulative grammatical markings such as subcategorization frames, semantic selection frames and case-theoretic lexical markings. These theoretical tools, even to the extent that they (...) successfully reduplicate the observed phenomena, are of no explanatory value, as they do not derive the different behavioral patterns from some independently established properties of the embedding predicates or their complements. In the thesis, I present an epistemically-based theory, which attempts to derive the relevant distributional phenomena, including those traditionally assumed to reflect hard-core syntactic idiosyncrasies, from a linguistic-epistemic theory of knowledge, belief and communication. ;The theory is based on a lexical-semantic analysis of the embedding predicates, according to which they denote ternary relations between agents, objects of attitude and objects of representation. Thus, to give an example, the predicate think denotes a ternary relation between a thinker, a thought mentally represented by the thinker, and a proposition expressed by the thought and believed by the thinker to be true. This analysis, developed on linguistic grounds for linguistic purposes, echoes some of the recent insights in the philosophy of mind, especially Crimmins . Coupled with a theory of the meanings of the different complement types--partially based on the formal semantic insights of Karttunen , Groenedijk and Stokhof and Ginzburg --this account derives the distributional patterns from simple considerations of semantic compatibility: those predicates which are capable of embedding a certain complement type are exactly those whose lexical semantics is compatible with the semantics of the complement. ;Some of the distributional patterns discussed in the thesis, especially the one involving concealed questions, have traditionally been taken to provide empirical support for the hypothesis of the autonomy of syntactic representations . The analysis presented in this thesis reveals the dramatic extent to which the semantics and the syntax of lexical selection are transparent to each other, and thus implies, at least with respect to the core domain of lexical selection, that the autonomy hypothesis is empirically unjustified. (shrink)

Sometimes it is epistemically beneficial to form a belief on authority. When you do, what happens to other reasons you have for that belief? Linda Zagzebski’s total-preemption view says that these reasons are “preempted”: you still have them, but you do not use them to support your belief. I argue that this situation is problematic, because having reasons for a belief while not using them forfeits you doxastic justification. I present an alternative account of belief on authority, the proper-basing (...) view, which enables the agent to base her belief on as many reasons as she has. A salient result is that the notion of a preemptive reason, useful though it may be in accounting for acting on authority, does not have any place in an account of believing on authority or in epistemology more generally. (shrink)

The logical omniscience problem, whereby standard models of epistemic logic treat an agent as believing all consequences of its beliefs and knowing whatever follows from what else it knows, has received plenty of attention in the literature. But many attempted solutions focus on a fairly narrow specification of the problem: avoiding the closure of belief or knowledge, rather than showing how the proposed logic is of philosophical interest or of use in computer science or artificial intelligence. Sentential epistemic (...) logics, as opposed to traditional possible worlds approaches, do not suffer from the problems of logical omniscience but are often thought to lack interesting epistemic properties. In this paper, I focus on the case of rule-based agents, which play a key role in contemporary AI research but have been neglected in the logical literature. I develop a framework for modelling monotonic, nonmonotonic and introspective rule-based reasoners which have limited cognitive resources and prove that the resulting models have a number of interesting properties. An axiomatization of the resulting logic is given, together with completeness, decidability and complexity results. (shrink)

Temporal epistemic logics are known, from results of Halpern and Vardi, to have a wide range of complexities of the satisfiability problem: from PSPACE, through non-elementary, to highly undecidable. These complexities depend on the choice of some key parameters specifying, inter alia, possible interactions between time and knowledge, such as synchrony and agents' abilities for learning and recall. In this work we develop practically implementable tableau-based decision procedures for deciding satisfiability in single-agent synchronous temporal-epistemic logics with interactions between (...) time and knowledge. We discuss some complications that occur, even in the single-agent case, when interactions between time and knowledge are assumed and show how the method of incremental tableaux can be adapted to work in EXPSPACE, respectively 2EXPTIME, for these logics, thereby also matching the upper bounds obtained for them by Halpern and Vardi. (shrink)

The paper is an opinionated tour of the literature on the reasons for which we hold beliefs and other doxastic attitudes, which I call ‘operative epistemic reasons’. After drawing some distinctions in §1, I begin in §2 by discussing the ontology of operative epistemic reasons, assessing arguments for and against the view that they are mental states. I recommend a pluralist non-mentalist view that takes seriously the variety of operative epistemic reasons ascriptions and allows these reasons to (...) be both propositions and truth-making facts. In §3, I turn to consider what it takes for a consideration to be an operative epistemic reason, examining three conditions – the representational, treating, and explanatory conditions – that have been proposed. I offer a novel view about the explanatory condition. In §4, I discuss the special case of inferential operative reasons and examine attempts to understand them in terms of rule-following, sketching a competence-based spinoff of dispositionalism. Finally, in §5, I consider whether there are non-inferential operative reasons, observing that one needn't countenance them to be a foundationalist but then developing a view about what they are and how they do and don't differ from inferential reasons. (shrink)

Causal claims in biomedical contexts are ubiquitous albeit they are not always made explicit. This paper addresses the question of what causal claims mean in the context of disease. It is argued that in medical contexts causality ought to be interpreted according to the epistemic theory. The epistemic theory offers an alternative to traditional accounts that cash out causation either in terms of “difference-making” relations or in terms of mechanisms. According to the epistemic approach, causal claims tell (...) us about which inferences (e.g., diagnoses and prognoses) are appropriate, rather than about the presence of some physical causal relation analogous to distance or gravitational attraction. It is shown that the epistemic theory has important consequences for medical practice, in particular with regard to evidence-based causal assessment. (shrink)

Syntactic logics do not suffer from the problems of logical omniscience but are often thought to lack interesting properties relating to epistemic notions. By focusing on the case of rule-based agents, I develop a framework for modelling resource-bounded agents and show that the resulting models have a number of interesting properties.

It is often claimed that democratic voters have epistemic responsibilities. However, it is not often specified why voters have such epistemic responsibilities. In this paper, I contend that voters have epistemic responsibilities because voting is best understood as an act that bears assertoric force. More precisely, voters perform what I call an act of political advocacy whereby, like an asserter who states or affirms that something is the case, they state or affirm that a certain course of (...) political action is the one that should be followed or enacted. Consequently, the performance of acts of political advocacy such as voting should be understood as bounded by epistemic norms mirroring those binding the act of assertion and yield epistemic responsibilities mirroring the ones required to satisfy these norms. (shrink)

What is the source of epistemic normativity? In virtue of what do epistemic norms have categorical normative authority? According to epistemic teleologism, epistemic normativity comes from value. Epistemic norms have categorical authority because conforming to them is necessarily good in some relevant sense. In this article, I argue that epistemic teleologism should be rejected. The problem, I argue, is that there is no relevant sense in which it is always good to believe in accordance (...) with epistemic norms, including in cases where the matter at hand is completely trivial. Therefore, if epistemology is normative, its normativity won't come from value. (shrink)

Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be (...) either true or rather false, and otherwise they are doubtful. Therefore, truth cannot be separated from being proved and we cannot hold anymore the principle of excluded middle, as it is with formal semantics of metaphysical realism. In distinction, the intuitionistic logic is based on subjective intellectual feeling of correctness in constructing proofs, and thus it is epistemologically encapsulated in the metaphysical subject. However, epistemic logic is our basic science which enable us to prove the truth of our cognitions, including the epistemic logic itself. (shrink)

When one wants to use citizen input to inform policy, what should the standards of informedness on the part of the citizens be? While there are moral reasons to allow every citizen to participate and have a voice on every issue, regardless of education and involvement, designers of participatory assessments have to make decisions about how to structure deliberations as well as how much background information and deliberation time to provide to participants. After assessing different frameworks for the relationship between (...) science and society, we use Philip Kitcher's framework of Well-Ordered Science to propose an epistemic standard on how citizen deliberations should be structured. We explore what potential standards follow from this epistemic framework focusing on significance versus scientific and engineering expertise. We argue that citizens should be tutored on the historical context of why scientific questions became significant and deemed scientifically and socially valuable, and if citizens report that they are capable of weighing in on an issue then they should be able to do so. We explore what this standard can mean by looking at actual citizen deliberations tied to the 2014 NASA ECAST Asteroid Initiative Citizen forums. We code different vignettes of citizens debating alternative approaches for Mars exploration based upon what level of information seemed to be sufficient for them to feel comfortable in making a policy position. The analysis provides recommendations on how to design and assess future citizen assessments grounded in properly conveying the historical value context surrounding a scientific issue and trusting citizens to seek out sufficient information to deliberate. (shrink)

Acceding to the demand that public policy should be based on “the best available evidence” can come at significant moral cost. Important policy questions cannot be addressed using “the best available evidence” as defined by the evidence-based policy paradigm; the paradigm can change the meaning of questions so that they can be addressed using the preferred kind of evidence; and important evidence that does not meet the standard defined by the paradigm can get ignored. We illustrate these problems in three (...) contexts of evidence-based policy. (shrink)

We develop a conceptually clear, intuitive, and feasible decision procedure for testing satisfiability in the full multi\-agent epistemic logic \CMAELCD\ with operators for common and distributed knowledge for all coalitions of agents mentioned in the language. To that end, we introduce Hintikka structures for \CMAELCD\ and prove that satisfiability in such structures is equivalent to satisfiability in standard models. Using that result, we design an incremental tableau-building procedure that eventually constructs a satisfying Hintikka structure for every satisfiable input set (...) of formulae of \CMAELCD\ and closes for every unsatisfiable input set of formulae. (shrink)

This paper aims to assess current theoretical findings on the origin of coordination by salience and suggests a way to clarify the existing framework. The main concern is to reveal how different coordination mechanisms rely on specific epistemic aspects of reasoning. The paper highlights the fact that basic epistemic assumptions of theories diverge in a way that makes them essentially distinctive. Consequently, recommendations and predictions of the traditional views of coordination by salience are, in principle, based on the (...) processes related to the agent’s presumptions regarding the cognitive abilities of a co-player. This finding implies that we should consider these theories as complementary, and not competitive, explanations of the same phenomenon. -/- . (shrink)

Epistemic utility theory seeks to establish epistemic norms by combining principles from decision theory and social choice theory with ways of determining the epistemic utility of agents’ attitudes. Recently, Moss, 1053–69, 2011) has applied this strategy to the problem of finding epistemic compromises between disagreeing agents. She shows that the norm “form compromises by maximizing average expected epistemic utility”, when applied to agents who share the same proper epistemic utility function, yields the result that (...) agents must form compromises by splitting the difference between their credence functions. However, this “split the difference” norm is in conflict with conditionalization, since applications of the two norms don’t commute. A common response in the literature seems to be to abandon the procedure of splitting the difference in favor of compromise strategies that avoid non-commutativity. This would also entail abandoning Moss’ norm. I explore whether a different response is feasible. If agents can use epistemic utility-based considerations to agree on an order in which they will apply the two norms, they might be able to avoid diachronic incoherence. I show that this response can’t save Moss’ norm, because the agreements concerning the order of compromising and updating it generates are not stable over time, and hence cannot avoid diachronic incoherence. I also show that a variant of Moss’ norm, which requires that the weights given to each agent’s epistemic utility change in a way that ensures commutativity, cannot be justified on epistemological grounds. (shrink)

Weisberg and Muldoon’s epistemic landscape model (ELM) has been one of the most significant contributions to the use of agent-based models in philosophy. The model provides an innovative approach to establishing the optimal distribution of cognitive labor in scientific communities, using an epistemic landscape. In the paper, we provide a critical examination of ELM. First, we show that the computing mechanism for ELM is correct insofar as we are able to replicate the results using another programming language. Second, (...) we show that small changes in the rules that determine the behavior of individual agents can lead to important changes in simulation results. Accordingly, we claim that ELM results are robust with respect to the computing mechanism, but not necessarily across parameter space. We conclude by reflecting on the possible lessons to be gained from ELM as a class of simulations or cluster of models. (shrink)

“Epistemic Dexterity: A Ramseyian Account of Epistemic Virtue” by Abrol Fairweather & Carlos Montemayor: A modification of F.P. Ramsey’s success semantics supports a naturalized theory of epistemic virtue that includes motivational components and can potentially explain both epistemic reliability and responsibility with a single normative-explanatory principle. An “epistemic Ramsey success” will also provide a better account of the “because of” condition central to virtue-reliabilist accounts of knowledge from Greco, Sosa and Pritchard. Ramsey said that the (...) truth condition of a belief is the condition that guarantees the success of desires based on that belief. Taken as a theory of epistemic achievements, the truth condition for the attribution of an epistemic achievement is the condition that guarantees the success of epistemic desires and is also a success based on abilities attributable to the agent. One of its major advantages is that it may be the best way to achieve a naturalistic version of the etiologcal requirement on knowledge in virtue epistemology while also supporting important responsibilist desiderata. The account defended is robustly agent-centered in the straightforward sense that individual desires are partly constitutive of epistemic successes like having a rational belief, justified belief, and even of knowledge once we see the both the reliabilist and repsonsibilist desiderata are met. Another important aspect of the paper is that it provides a plausible psychology for virtue epistemology that is grounded in important empirical findings on agency, and thus constitutes a form of naturalized virtue epistemology. (shrink)

In this paper we argue for a naturalistic solution to some of the methodological controversies in regulatory science, on the basis of two case studies: toxicology and health claim regulation. We analyze the debates related to the scientific evidence that is considered necessary for regulatory decision making in each of those two fields, with a particular attention to the interactions between scientific and regulatory aspects. This analysis allows us to identify two general stances in the debate: a) one that argues (...) for more permissive standards of evidence and for methodological pluralism, and b) an opposing one that not only defends strict evidence requirements but also stipulates the use of one particular scientific methodologies for data generation. We argue that the real-world outcomes produced by alternative regulatory options are a vital piece of information that allows for the empirical assessment of these two stances. In particular, this information on outcomes makes it possible to analyze which standards of evidence and scientific methods generate the most useful knowledge as input for regulatory decision making. Our conclusion is that instead of an a priori selection of methodologies and standards, such decisions ought to be based on empirical evidence related to real-world outcomes. (shrink)

In this article we present a new class of multiple contraction functionswhich are a generalization of the epistemic entrenchment-based contractions (Grdenfors & Makinson, 1988) to the case of contractions by (possibly nonsingleton) sets of sentences and provide an axiomatic characterization for that class of functions. Moreover, we show that the class of epistemic entrenchment-based multiple contractions coincides with the class of system of spheres-based multiple contractions introduced in Fermé & Reis (2012).

Proponents of evidence-based policy (EBP) call for public policy to be informed by high-quality evidence from randomized controlled trials. This methodological preference aims to promote several epistemic values, e.g. rigor, unbiasedness, precision, and the ability to obtain causal conclusions. I argue that there is a trade-off between these epistemic values and several non-epistemic, moral and political values. This is because the evidence afforded by preferred EBP methods is differentially useful for pursuing different moral and political values. I (...) expand on how this challenges ideals of value-freedom and -neutrality in EBP, and offer suggestions for how EBP methodology might be revised. (shrink)

The aim of this paper is to investigate the consequences of the bibliometrics-based evaluation system of scientific production on the contents and methods of sciences. The research has been conducted by means of in-depth interviews to a multi-disciplinary panel of Italian researchers. We discuss the implications of bibliometrics-based evaluation on the choice of the research topic, on the experimental practices, on the dissemination habits. We observe that the validation of the bibliometrics-based evaluation practices relies on the acceptance and diffusion within (...) the scientific community, and that these practices are self-sustained through their wide application. We discuss possible evolving scenarios, also considering the recent development of digital archives. (shrink)

In this paper we examine the epistemic value of highly idealized agent-based models of social aspects of scientific inquiry. On the one hand, we argue that taking the results of such simulations as informative of actual scientific inquiry is unwarranted, at least for the class of models proposed in recent literature. Moreover, we argue that a weaker approach, which takes these models as providing only “how-possibly” explanations, does not help to improve their epistemic value. On the other hand, (...) we suggest that if ABMs of science underwent two types of robustness analysis, they could indeed have a clear epistemic function, namely by providing evidence for philosophical and historical hypotheses. In this sense, ABMs can obtain evidential and explanatory properties and thus be a useful tool for integrated history and philosophy of science. We illustrate our point with an example of a model—building on the work by Kevin Zollman—which we apply to a concrete historical case study. (shrink)

The rapid development in healthcare technologies in recent years has resulted in the need for health services, whether publicly funded or insurance based, to identify means to maximise the benefits and provide equitable distribution of limited resources. This has resulted in the need for rationing decisions, and there has been considerable debate regarding the substantive and procedural ethical principles that promote distributive justice when making such decisions. In this paper, I argue that while the scientifically rigorous approaches of evidence-based healthcare (...) are claimed as aspects of procedural justice that legitimise such guidance, there are biases and distortions in all aspects of the process that may lead to epistemic injustices. Regardless of adherence to principles of distributive justice in the decision-making process, evidential failings may undermine the fairness and legitimacy of such decisions. In particular, I identify epistemic exclusion that denies certain patient and professional groups the opportunity to contribute to the epistemic endeavour. This occurs at all stages of the process, from the generation, analysis and reporting of the underlying evidence, through the interpretation of such evidence, to the decision-making that determines access to healthcare resources. I further argue that this is compounded by processes which confer unwarranted epistemic privilege on experts in relation to explicit or implicit value judgements, which are not within their remit. I suggest a number of areas in which changes to the processes for developing, regulating, reporting and evaluating evidence may improve the legitimacy of such processes. (shrink)

In this paper it is argued that, in order to solve the problem of iterated belief change, both the belief state and its input should be represented as epistemic entrenchment (EE) relations. A belief revision operation is constructed that updates a given EE relation to a new one in light of an evidential EE relation. It is shown that the operation in question satisfies generalized versions of the Gärdenfors revision postulates. The account offered is motivated by Spohn's ordinal conditionalization (...) functions, and can be seen as the Jeffrization of a proposal considered by Rott. (shrink)

According to a widely held view, epistemic reasons are normative reasons for belief – much like prudential or moral reasons are normative reasons for action. In recent years, however, an increasing number of authors have questioned the assumption that epistemic reasons are normative. In this article, I discuss an important challenge for anti-normativism about epistemic reasons and present a number of arguments in support of normativism. The challenge for anti-normativism is to say what kind of reasons (...) class='Hi'>epistemic reasons are if they are not normative reasons. I discuss various answers to this challenge and find them all wanting. The arguments for normativism each stress a certain analogy between epistemic reasons and normative reasons for action. Just like normative reasons for action, epistemic reasons provide partial justification; they provide premises for correct reasoning; they constitute good bases for the responses they are reasons for; and they are reasons for which agents can show these responses without committing a mistake. In each case, I argue that the relevant condition is plausibly sufficient for the normativity of a reason, and that normativism is in any case in a much better position to explain the analogy than anti-normativism. (shrink)

Rumors, for better or worse, are an important element of public discourse. The present paper focuses on rumors as an epistemic phenomenon rather than as a social or political problem. In particular, it investigates the relation between the mode of transmission and the reliability, if any, of rumors as a source of knowledge. It does so by comparing rumor with two forms of epistemic dependence that have recently received attention in the philosophical literature: our dependence on the testimony (...) of others, and our dependence on what has been called the ‘coverage-reliability’ of our social environment (Goldberg 2010). According to the latter, an environment is ‘coverage-reliable’ if, across a wide range of beliefs and given certain conditions, it supports the following conditional: If ~p were true I would have heard about it by now. However, in information-deprived social environments with little coverage-reliability, rumors may transmit information that could not otherwise be had. This suggests that a trade-off exists between levels of trust in the coverage-reliability of official sources and (warranted) trust in rumor as a source of information. (shrink)

We define a class of formal systems inspired by Prawitz’s theory of grounds. The latter is a semantics that aims at accounting for epistemic grounding, namely, at explaining why and how deductively valid inferences have the power to epistemically compel to accept the conclusion. Validity is defined in terms of typed objects, called grounds, that reify evidence for given judgments. An inference is valid when a function exists from grounds for the premises to grounds for the conclusion. Grounds are (...) described by formal terms, either directly when the terms are in canonical form, or indirectly when they are in non-canonical form. Non-canonical terms must reduce to canonical form, and two terms may be said to be equal when they converge towards equivalent grounds. In our systems these properties can be proved through rules distinguished according to whether they concern types or logic. Type rules involve type introduction and elimination, equality for application of operational symbols, and re-writing equations for non-canonical terms. The logic amounts to a sort of intuitionistic system in a Gentzen format. To conclude, we show that each system of our class enjoys a normalization property. (shrink)

A naturalistic impulse has taken speculative analytic metaphysics in its critical sights. Importantly, the claim that it is desirable or requisite to give metaphysics scientific moorings rests on underlying epistemological assumptions or principles. If the naturalistic impulse toward metaphysics is to be well-founded and its prescriptions to have normative force, those assumptions or principles should be spelled out and justified. In short, advocates of naturalized or scientific metaphysics require epistemic infrastructure. This paper begins to supply it. The author first (...) sketches her conception of suitably naturalized or scientific metaphysics. She then lays out a number of candidate epistemic principles centring around the notion of theoretical constraint. The author offers several arguments for the principles, based on statistical likeliness, agreement, falsity avoidance, and methodological efficiency and inefficiency. Finally, she shows how scientific metaphysics satisfies the epistemic principles and is therefore preferable to its traditional rivals. (shrink)

I develop a dynamic logic for reasoning about "interrogative belief revision", a new branch of belief revision theory that has been developed in a small number of papers, beginning with E. J. Olsson and D. Westlund's paper "On the role of the research agenda in epistemic change" [12]. In interrogative belief revision, epistemic states are taken to include a research agenda, consisting of questions the agent seeks to answer. I present a logic for revision of such epistemic (...) states based on the notion of an epistemic strategy, a stable plan of action that determines changes in the agent's research agenda. This idea is a further development of an idea put forward in [6], that changes in the research agenda of an agent should be determined by stable, "long term" research interests. I provide complete axioms and a decidability result for the logic. (shrink)

One of the recent attempts to explore epistemic dimensions of forced displacement focuses on the institution of gender-based asylum and hopes to detect forms of epistemic injustice within assessments of gender related asylum applications. Following this attempt, I aim in this paper to demonstrate how the institution of gender-based asylum is structured to produce epistemic injustice at least in the forms of testimonial injustice and contributory injustice. This structural limit becomes visible when we realize how the institution (...) of asylum is formed to provide legitimacy to the institutional comfort the respective migration courts and boards enjoy. This institutional comfort afforded to migration boards and courts by the existing asylum regimes in the current order of nation-states leads to a systemic prioritization of state actors’ epistemic resources rather than that of applicants, which, in turn, results in epistemic injustice and impacts the determination of applicants’ refugee status. (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)

This paper deals with the problem of verification of game-like structures by means of symbolic model checking. Alternating-time Temporal Epistemic Logic (ATEL) is used for expressing properties of multi-agent systems represented by alternating epistemic temporal systems as well as concurrent epistemic game structures. Unbounded model checking (a SAT based technique) is applied for the first time to verification of ATEL. An example is given to show an application of the technique.

This article is concerned with a puzzle that arises from three initially plausible assumptions that form an inconsistent triad: (1) Epistemic reasons are normative reasons (normativism); (2) reasons are normative only if conformity with them is good (the reasons/value-link); (3) conformity with epistemic reasons need not be good (the nihilist assumption). I start by defending the reasons/value-link, arguing that normativists need to reject the nihilist assumption. I then argue that the most familiar view that denies the nihilist assumption (...) – epistemic teleology – is untenable. Finally, I consider two alternative ways of accounting for the goodness of conformity with epistemic reasons: it may be good because it accords with the virtue of reasons-responsiveness, and it may be good because it is good to conform with normative reasons as such. I argue that both of these conceptions avoid the problems of epistemic teleology and merit serious consideration as potential solutions to the puzzle. (shrink)

Humans are prone to producing morally suboptimal and even disastrous outcomes out of ignorance. Ignorance is generally thought to excuse agents from wrongdoing, but little attention has been paid to group-based ignorance as the reason for some of our collective failings. I distinguish between different types of first-order and higher order group-based ignorance and examine how these can variously lead to problematic inaction. I will make two suggestions regarding our epistemic obligations vis-a-vis collective (in)action problems: (1) that our (...) class='Hi'>epistemic obligations concern not just our own knowledge and beliefs but those of others, too and (2) that our epistemic obligations can be held collectively where the epistemic tasks cannot be performed by individuals acting in isolation, for example, when we are required to produce joint epistemic goods. (shrink)