Classical philosophical analyses seek to explain knowledge as deriving from more basic notions. The influential “knowledge first” program in epistemology reverses this tradition, taking knowledge as its starting point. From the perspective of epistemic logic, however, this is not so much a reversal as it is the default—the field arguably begins with the specialization of “necessity” to “epistemic necessity”—that is, it begins with knowledge. In this context, putting knowledge second would be the reversal. This article motivates, develops, and explores such (...) a “knowledge second” approach in epistemic logic, founded on distinguishing what a body of evidence actually entails from what it is (merely) believed to entail. We import a logical framework that captures exactly this distinction, use it to define formal notions of (internal and external) justification and knowledge, and investigate applications to the KK principle, the “strong belief” postulate, and the regress problem. (shrink)

Standard Analytic Epistemology (SAE) names a contingently clustered class of methods and theses that have dominated English-speaking epistemology for about the past half-century. The major contemporary theories of SAE include versions of foundationalism, coherentism, reliabilism, and contextualism. While proponents of SAE don’t agree about how to define naturalized epistemology, most agree that a thoroughgoing naturalism in epistemology can’t work. For the purposes of this paper, we will suppose that a naturalistic theory of epistemology takes as its core, as its starting-point, (...) an empirical theory. The standard argument against naturalistic approaches to epistemology is that empirical theories are essentially descriptive, while epistemology is essentially prescriptive, and a descriptive theory cannot yield normative, evaluative prescriptions. In short, naturalistic theories cannot overcome the is-ought divide. Our main goal in this paper is to show that the standard argument against naturalized epistemology has it almost exactly backwards. (shrink)

The idea that professional practices such as education should be based upon or at least be informed by evidence continues to capture the imagination of many politicians, policy makers, practitioners and researchers. There is growing evidence of the influence of this line of thought. At the same time there is a growing body of work that has raised fundamental questions about the feasibility of the idea of evidence-based or evidence-informed practice. In this paper I make a further contribution to this (...) discussion through an analysis of a number of assumptions that inform the discussion. I focus on the epistemological, ontological and praxeological dimensions of the discussion and in each domain identify a deficit. In the epistemological domain there is a knowledge deficit, in the ontological domain an effectiveness or efficacy deficit and in the practice domain an application deficit. Taken together these deficits not only raise some important questions about the very idea of evidence-based practice but also highlight the role of normativity, power and values. Against this background I outline the case for the idea of value-based education as an alternative for evidence-based education. As I am generally concerned about the expectations policy makers hold about what evidence can and should achieve in professional practices such as education, my contribution is primarily meant to provide educators and other professionals with arguments that can help them to resist unwarranted expectations about the role of evidence in their practices and even more so of unwarranted interventions in their practices. (shrink)

This paper investigates an important aspect of mathematical practice: that proof is required for a finished piece of mathematics. If follows that non-deductive arguments — however convincing — are never sufficient. I explore four aspects of mathematical research that have facilitated the impressive success of the discipline. These I call the Practical Virtues: Permanence, Reliability, Autonomy, and Consensus. I then argue that permitting results to become established on the basis of non-deductive evidence alone would lead to their deterioration. This furnishes (...) us with a partial rational justification for mathematicians strict insistence on proof. (shrink)

This paper argues that for someone to know proposition p inferentially it is not enough that his belief in p and his justification for believing p covary with the truth of p through a sphere of possibilities. A further condition on inferential knowledge is that p's truth-maker is identical with, or causally related to, the state of affairs the justification is grounded in. This position is dubbed ‘identificationism.’.

The paper makes two points. First, any theory of knowledge must explain the difference between cases of knowledge from falsehood and Gettier cases where the subject relies on reasoning from falsehood. Second, the closeness-to-the-truth approach to explaining the difference between knowledge-yielding and knowledge-suppressing falsehoods does not hold up to scrutiny.

The paper proposes a novel account of justified evidence resistance. When S inquires as to whether p is the case, S resists available counterevidence e if S either fails to countenance e or is insensitive to e’s probative force. S is justified in resisting available counterevidence e if and only if e is irrelevant.

Internalists and externalists in epistemology continue to disagree about how best to understand epistemic concepts such as justification or warrant or knowledge. But there has been some movement towards agreement. Two of the most prominent rationales for the internalist position have been subjected to severe criticism by externalists: the idea that justification should be understood deontologically and the thought that justification consists in having a reason in the form of another belief. It would not be accurate to say that all (...) internalists have responded to such criticism by distancing themselves from these rationales for their position. Nevertheless some have. But despite the growing disenchantment with these two motivations for internalism, internalists continue to find the externalist position extremely unattractive. One main reason for this persistent resistance to externalism is a third rationale that is, perhaps, the most influential of the driving forces behind internalism. (shrink)

Internalists and externalists in epistemology continue to disagree about how best to understand epistemic concepts such as justification or warrant or knowledge. But there has been some movement towards agreement. Two of the most prominent rationales for the internalist position have been subjected to severe criticism by externalists: the idea that justification should be understood deontologically and the thought that justification consists in having a reason in the form of another belief. It would not be accurate to say that all (...) internalists have responded to such criticism by distancing themselves from these rationales for their position. Nevertheless some have. But despite the growing disenchantment with these two motivations for internalism, internalists continue to find the externalist position extremely unattractive. One main reason for this persistent resistance to externalism is a third rationale that is, perhaps, the most influential of the driving forces behind internalism. (shrink)

This paper aims at elucidating the connection between explanatory considerations and epistemic justification stipulated by explanationism which take epistemic justification to be definable in terms of best explanations. By relying on the notion of truthlikeness, this paper argues that it is rational for a subject to expect the best explanation she has for her evidence to be more truthlike than any of the other potential explanations available to her by virtue of containing a class of propositions that, given her evidence, (...) she is justified in believing. Based on this elucidation of the connection between explanatory considerations and epistemic justification, an explanationist account of the evidential support relation is then offered. (shrink)

Debates concerning digital automation are mostly focused on the question of the availability of jobs in the short and long term. To counteract the possible negative effects of automation, it is often suggested that those at risk of technological unemployment should have access to retraining and reskilling opportunities. What is often missing in these debates are implications that all of this may have for individual autonomy understood as the ability to make and develop long-term plans. In this paper, I argue (...) that if digital automation becomes rapid, it will significantly undermine the legitimate expectation of stability and consequently, the ability to make and pursue long-term plans in the sphere of work. I focus on what is often taken to be one of the main long-term plans, i.e. the choice of profession, and I argue that this choice may be undermined by the pressure to continuously acquire new skills while at the same time facing a diminishing range of professions that one can choose from. Given that the choice of profession is significant for not-work related spheres of life, its undermining can greatly affect individual autonomy in these other spheres too. I argue that such undermining of individual planning agency constitutes a distinctive form of harm that necessitates a proactive institutional response. (shrink)

We report experimental results showing that participants are more likely to attribute knowledge in familiar Gettier cases when the would-be knowers are performing actions that are negative in some way (e.g. harmful, blameworthy, norm-violating) than when they are performing positive or neutral actions. Our experiments bring together important elements from the Gettier case literature in epistemology and the Knobe effect literature in experimental philosophy and reveal new insights into folk patterns of knowledge attribution.

This essay defends a novel form of virtue epistemology: Modal Virtue Epistemology. It borrows from traditional virtue epistemology the idea that knowledge is a type of skillful performance. But it goes on to understand skillfulness in purely modal terms — that is, in terms of success across a range of counterfactual scenarios. We argue that this approach offers a promising way of synthesizing virtue epistemology with a modal account of knowledge, according to which knowledge is safe belief. In particular, we (...) argue that the modal elements of the view offer important advantages over traditional virtue epistemology, which assigns a central explanatory role to aptness. At the same time, the virtue epistemological elements of the theory reveal new avenues for overcoming obstacles to traditional modal accounts of knowledge. Finally, we highlight the advantages of Modal Virtue Epistemology over alternative syntheses, such as Pritchard's (2012) hybrid approach. (shrink)

Philip Kitcher recently argued for a reconstruction in philosophy. According to him, the contemporary mainstream of philosophy has deteriorated into something that is of relevance only to a few specialists who communicate with each other in a language nobody else understands. Kitcher proposes to reconstruct philosophy along two axes: a knowledge axis and a value axis. The present article discusses Kitcher's diagnosis as well as his proposal of a therapy. It argues that there are problems with both, and it ends (...) with an alternative view of what some core problems of the profession currently are. (shrink)

This article discusses Keith DeRose’s treatment of the lottery problem in Chapter 5 of his recent The Appearance of Ignorance. I agree with a lot of it but also raise some critical points and questions and make some friendly proposals. I discuss different ways to set up the problem, go into the difference between knowing and ending inquiry, propose to distinguish between two different kinds of lotteries, add to the defense of the idea that one can know lottery propositions, give (...) a critical discussion of DeRose’s contextualist solution to the problem, and support his defense against an absurdity objection with additional arguments. (shrink)

We often think or say that someone was wrong about something but almost right about it or close to the truth. This can mean more than one thing. Here, I propose an analysis of the idea of being epistemically close to the truth. This idea plays an important role in our practice of epistemic evaluation and therefore deserves some detailed attention. I start with an exposition of the idea of getting things right by looking at the main forms of reliabilism (...) about true belief and belief acquisition. The focus on reliabilism is justified because everyone is a reliabilist in a basic sense. Section 2 develops a notion of closeness to the truth in two steps. Section 3 mentions some ways in which this notion is useful, one having to do with the Gettier problem. (shrink)

A typical guiding principle of an account of truth is: “truth is objective,” or, to be clear, judging whether an assertion is true or false depends upon how things are in the world rather than how someone or some community believes it to be. Accordingly, whenever a claim is objectively true, its truth conditions ought not depend upon the context in which it is uttered or the utterer making the claim. Part of our ongoing empirical studies surveying people’s responses to (...) questions about truth involved prompts on objectivity. Our studies suggest the following: overall, individuals tend to endorse claims that are consistent with the objectivity of truth; not all conceptions of objectivity are equal, even people who endorse the objectivity of truth sometimes assent to one form of truth’s objectivity over other forms; philosophers and non-philosophers both endorse the objectivity of truth, but the apparent commitment of philosophers is stronger. (shrink)

The article presents information on the capabilities of Dretske-style analysis of knowing (DAK) and of several competing analyses with respect to accounting for the apparent facts. It informs that the DAK can ground plausible verdicts about knowledge and ignorance in cases involving lotteries. It further informs that the knowledge-efficacy donor imply the implausible thesis.

A platitude in epistemology is that an individual’s belief does not qualify as knowledge if it is true by luck. Individuals, however, are not the only bearers of knowledge. Many epistemologists agree that groups can also possess knowledge in a way that is genuinely collective. If groups can know, it is natural to think that, just as true individual beliefs fall short of knowledge due to individual epistemic luck, true collective beliefs may fall short of knowledge because of collective epistemic (...) luck. This paper argues, first, that the dominant view of epistemic luck in the literature, the modal view, does not yield a satisfactory account of lucky collective beliefs. Second, it argues that collective epistemic luck is better explained in terms of groups lacking forms of control over collective belief formation that are specific to the different procedures for forming collective beliefs. One of the main implications of this, we will argue, is that groups whose beliefs are formed via internal deliberation are more vulnerable to knowledge-undermining collective luck than groups that form their beliefs via non-deliberative methods, such as non-deliberative anonymous voting. The bottom line is that the greater exposure to knowledge-undermining luck that deliberation gives rise to provides a reason for thinking that non-deliberative methods of group belief formation have greater epistemic value. (shrink)

This paper proposes a solution to David Miller's Minnesotan-Arizonan demonstration of the language dependence of truthlikeness (Miller 1974), along with Miller's first-order demonstration of the same (Miller 1978). It is assumed, with Peter Urbach, that the implication of these demonstrations is that the very notion of truthlikeness is intrinsically language dependent and thus non-objective. As such, truthlikeness cannot supply a basis for an objective account of scientific progress. I argue that, while Miller is correct in arguing that the number of (...) true atomic sentences of a false theory is language dependent, the number of known sentences (under certain straightforward assumptions) is conserved by translation; degree of knowledge, unlike truthlikeness, is thus a linguistically invariant notion. It is concluded that the objectivity of scientific progress must be grounded on the fact (noted in Cohen 1980) that knowledge, not mere truth, is the aim of science. (shrink)

Sometimes Blumenthal-Barby et al. (2022) discuss the philosopher’s contribution to bioethics as a largely theoretical or apriori one that arrives from out of the blue—like Parfit’s identity theory—...

We present a complete, decidable logic for reasoning about a notion of completely trustworthy evidence and its relations to justifiable belief and knowledge, as well as to their explicit justifications. This logic makes use of a number of evidence-related notions such as availability, admissibility, and “goodness” of a piece of evidence, and is based on an innovative modification of the Fitting semantics for Artemovʼs Justification Logic designed to preempt Gettier-type counterexamples. We combine this with ideas from belief revision and awareness (...) logics to provide an account for explicitly justified knowledge based on conclusive evidence that addresses the problem of omniscience. (shrink)

In this article, I offer a new analysis of knowledge: knowledge, I claim, is normal belief. I begin with what I take to be the conceptual truth that knowledge is epistemically justified, or permissible, belief. I then argue that this in turn is simply doxastically normal belief, first clarifying what is meant by this claim, and then providing reasons to think that normal belief, so understood, must be true and safe from error, making it a good candidate for knowledge.

Some epistemologists hold that exploration and elaboration of the nature of luck will allow us to better understand knowledge. I argue this is a mistake.

Stalnaker, 169–199 2006) introduced a combined epistemic-doxastic logic that can formally express a strong concept of belief, a concept of belief as ‘subjective certainty’. In this paper, we provide a topological semantics for belief, in particular, for Stalnaker’s notion of belief defined as ‘epistemic possibility of knowledge’, in terms of the closure of the interior operator on extremally disconnected spaces. This semantics extends the standard topological interpretation of knowledge with a new topological semantics for belief. We prove that the belief (...) logic KD45 is sound and complete with respect to the class of extremally disconnected spaces and we compare our approach to a different topological setting in which belief is interpreted in terms of the derived set operator. We also study belief revision as well as belief dynamics by providing a topological semantics for conditional belief and belief update modalities, respectively. Our setting based on extremally disconnected spaces, however, encounters problems when extended with dynamic updates. We then propose a solution consisting in interpreting belief in a similar way based on hereditarily extremally disconnected spaces, and axiomatize the belief logic of hereditarily extremally disconnected spaces. Finally, we provide a complete axiomatization of the logic of conditional belief and knowledge, as well as a complete axiomatization of the corresponding dynamic logic. (shrink)

Formal learning theory formalizes the process of inferring a general result from examples, as in the case of inferring grammars from sentences when learning a language. In this work, we develop a general framework—the supervised learning game—to investigate the interaction between Teacher and Learner. In particular, our proposal highlights several interesting features of the agents: on the one hand, Learner may make mistakes in the learning process, and she may also ignore the potential relation between different hypotheses; on the other (...) hand, Teacher is able to correct Learner’s mistakes, eliminate potential mistakes and point out the facts ignored by Learner. To reason about strategies in this game, we develop a modal logic of supervised learning and study its properties. Broadly, this work takes a small step towards studying the interaction between graph games, logics and formal learning theory. (shrink)

Two common theses in contemporary epistemology are that ‘knowledge excludes luck’ and that knowledge depends on ‘purely epistemic’ factors. In this essay, I shall argue as follows: given some plausible assumptions, ‘anti-luck epistemology,’ which is committed to the fi rst thesis, implies the falsity of the second thesis. That is, I will argue that anti-luck epistemology leads to what has been called ‘pragmatic encroachment’ on knowledge. Anti-luck epistemologists hoping to resist encroachment must accept a controversial thesis about true belief or (...) a dubious claim about luck and value and interests. (shrink)

What role, if any, should centered possible worlds play in characterizing the attitudes? Lewis :513–543, 1979) argued that, in order to account for the phenomena of self-location :474–497, 1977, Noûs 13:3–21, 1979), the contents of the attitudes should be taken to be centered propositions. Stalnaker Assertion: New philosophical essays, Oxford University Press, Oxford, 2011, Context, Oxford University Press, Oxford, 2014), however, has argued that while centered worlds are needed to characterize e.g. belief states, the contents of such states should be (...) understood as ordinary, uncentered propositions. But Stalnaker does not, as is common, provide a semantics of attitude ascriptions based on the models he develops of the attitudinal states themselves. This paper begins to explore the prospects for doing so. It argues that a simple but well-motivated approach does not yield the principles of knowledge and belief Stalnaker endorses; and that a modification which does brings with it worries of its own surrounding communication and learnability. A technical appendix contains novel and pertinent results in doxastic/epistemic logic. (shrink)

Epistemic externalism is a view about what it takes for a belief to be epistemically justified or to be an item of knowledge. Externalism has grown considerably in popularity over the past few decades and this development has spilled over into the philosophy of religion, where we find externalist theories of justification and knowledge being employed to make the case for the positive epistemic status of religious beliefs. In §1, I offer an overview of epistemic externalism and its rival, internalism. (...) In §2, I outline some of the most significant applications of externalism to the philosophy of religion. In §3, I consider whether externalist theories are really required to secure various desiderata that externalist religious epistemologists take to be important. In §4, I explore an objection according to which the facts of religious diversity indicate that religious beliefs do not meet externalist requirements for justification or knowledge. Finally, in §5, I consider a worry about whether externalist accounts can really be used to evaluate the epistemic standing of religious beliefs. (shrink)

According to the standard and largely traditional interpretation, Aristotle’s conception of nous, at least as it occurs in the Posterior Analytics, is geared against a certain set of skeptical worries about the possibility of scientific knowledge, and ultimately of the knowledge of Aristotelian first principles. On this view, Aristotle introduces nous as an intuitive faculty that grasps the first principles once and for all as true in such a way that it does not leave any room for the skeptic to (...) press his skeptical point any further. Thus the tradi- tional interpretation views Aristotelian nous as having an internalist justificatory role in Aristotelian epistemology. In contrast, a minority (empiricist) view that has emerged recently holds the same internalist justificatory view of nous but rejects its internally certifiable infallibility by stressing the connection between nous and Aristotelian induction. I argue that both approaches are flawed in that Aristotle’s project in the Posterior Analytics is not to answer the skeptic on internalist justificatory grounds, but rather lay out a largely externalist explication of scientific knowledge, i.e. what scientific knowledge consists in, without worrying as to whether we can ever show the skeptic to his satisfaction that we do ever possess knowledge so defined. (shrink)

This essay extends my side of a discussion begun earlier with Duncan Pritchard, the recent author of Epistemic Luck. Pritchard’s work contributes significantly to improving the “diagnostic appeal” of a neo-Moorean philosophical response to radical scepticism. While agreeing with Pritchard in many respects, the paper questions the need for his concession to the sceptic that the neo-Moorean is capable at best of recovering “‘brute’ externalist knowledge”. The paper discusses and directly responds to a dilemma that Pritchard poses for virtue epistemologies (...) (VE). It also takes issue with Pritchard’s “merely safety-based” alternative. Ultimately, however, the criticisms made here of Pritchard’s dilemma and its underlying contrast of “anti-luck” and “virtue” epistemologies are intended to help realize his own aspirations for a better diagnosis of radical scepticism to inform a still better neo-Moorean response. (shrink)

Luck threatens in similar ways our conceptions of both moral and epistemic evaluation. This essay examines the problem of luck as a metaphilosophical problem spanning the division between subfields in philosophy. I first explore the analogies between ethical and epistemic luck by comparing influential attempts to expunge luck from our conceptions of agency in these two subfields. I then focus upon Duncan Pritchard's challenge to the motivations underlying virtue epistemology, based specifically on its handling of the problem of epistemic luck. (...) I argue that (1) consideration of the multifold nature of the problem of epistemic luck to an adequate account of human knowledge drives us to a mixed externalist epistemology; and (2) the virtue-theoretical approach presents a particularly advantageous way of framing and developing a mixed externalist epistemology. [ABSTRACT FROM AUTHOR] Copyright of Metaphilosophy is the property of Blackwell Publishing Limited and its content may not be copied or emailed to multiple sites or posted to a listserv without the copyright holder's express written permission. However, users may print, download, or email articles for individual use. This abstract may be abridged. No warranty is given about the accuracy of the copy. Users should refer to the original published version of the material for the full abstract. (Copyright applies to all Abstracts). (shrink)

The definition of knowledge as justified true belief is the best we presently have. However, the canonical tripartite analysis of knowledge does not do justice to it due to a Platonic conception of a priori truth that puts the cart before the horse. Within a pragmatic approach, I argue that by doing away with a priori truth, namely by submitting truth to justification, and by accordingly altering the canonical analysis of knowledge, this is a fruitful definition. So fruitful indeed that (...) it renders the Gettier counterexamples vacuous, allowing positive work in epistemology and related disciplines. (shrink)

We present a novel approach to theory construction that involves maximizing the Shannon entropy of measurements on physical systems under a vanishing phase constraint. Selecting different groups for the vanishing phase yields quantum mechanics (U(1)-valued phase), relativistic quantum mechanics (Spin^c(3,1)-valued phase), and quantum gravity (SL(4,R)-valued phase). In relativistic quantum mechanics and quantum gravity, multivector amplitudes along with a multilinear probability form emerge, with the spacetime interval promoted to an observable constructing the metric tensor. The Schrödinger equation now generates metric tensor (...) diffeomorphisms and SO(3,1) transformations. The SU(3)xSU(2)xU(1) gauge symmetries arise naturally from the multilinear form. The quantized Einstein Field Equations are provably non-perturbatively finite. Remarkably, the solution is consistent only with 3+1 spacetime dimensions because it encounters obstructions is all other dimensional configurations. This framework integrates statistical mechanics, quantum mechanics, relativistic quantum mechanics, quantum gravity, spacetime dimensionality, and particle physics gauge symmetries from a simple entropy maximization principle regarding vanishing phases in probability measures. (shrink)

Paying attention to the inner workings of mathematicians has led to a proliferation of new themes in the philosophy of mathematics. Several of these have to do with epistemology. Philosophers of mathematical practice, however, have not (yet) systematically engaged with general (analytic) epistemology. To be sure, there are some exceptions, but they are few and far between. In this chapter, I offer an explanation of why this might be the case and show how the situation could be remedied. I contend (...) that it is only by conceiving the knowing subject(s) as embodied, fallible, and embedded in a specific context (along the lines of what has been done within social and feminist epistemology) that we can pursue an epistemology of mathematics sensitive to actual mathematical practice. I further suggest that this reconception of the knowing subject(s) does not force us to abandon the traditional framework of epistemology in which knowledge requires justified true belief. It does, however, lead to a fallible conception of mathematical justification that, among other things, makes Gettier cases possible. This shows that topics considered to be far removed from the interests of philosophers of mathematical practice might reveal to be relevant to them. (shrink)

En el artículo se defiende que si se acepta la superación entre fundacionismo y coherentismo que plantea Ernest Sosa y se sostiene una teoría de la justificación epistémica basada en el ejercicio de virtudes intelectuales, esta no es condición suficiente para usar el razonamiento analógico en la investigación arqueológica. Por ende, aunque se puede sostener su necesidad para utilizar la analogía, no es suficiente a menos que se recurra a la virtud de la responsabilidad (Code) como eje de la justificación (...) epistémica. Finalmente se discute su viabilidad e importancia para el caso de la arqueología en México. (shrink)

Judgment subjectivism is the view that x is good for S if and only if, because, and to the extent that S believes, under the proper conditions, that x is good for S. In this paper, I offer three related arguments against the theory. The arguments are about what judgment subjectivism implies about the well-being of welfare nihilists, people who believe there are no welfare properties, or at least that none are instantiated. I maintain that welfare nihilists can be benefited (...) and harmed. Judgment subjectivism is implausible because it implies otherwise. (shrink)

Contemporary accounts of luck, though differing in pretty much everything, all agree that the concept of luck is descriptive as opposed to normative. This widespread agreement forms part of the framework in which debates in ethics and epistemology, where the concept of luck plays a central role, are carried out. The hypothesis put forward in the present paper is that luck attributions are sensitive to normative considerations. I report five experiments suggesting that luck attributions are influenced by the normative features (...) of the case, and not merely by descriptive notions like agential control or modal fragility. I discuss the implications of this effect for theories of luck and debates in ethics and epistemology. (shrink)

If we accept certain Peircean commitments, Gettier’s two cases are not cases of justified true belief because the beliefs are not true. On the Peircean view, propositions are sign substitutes, or “representamens.” In typical cases of thought about the world, propositions represent facts. In each of Gettier’s examples, we have a case in which a person S believes some proposition p, there is some fact F* such that were p to represent F* to S then p would be true, and (...) yet p does not represent F* to S but some other fact F of which p is false. Since truth is a property of propositions with respect to their representational function, it follows that the belief is not true. Although an examination of Gettier’s two cases, this essay is not a defense of the justified true belief analysis of knowledge, for there are objections to the JTB analysis other than Gettier’s two cases. Rather, Gettier’s two cases are of particular interest for the light they shed on the nature of truth and representation. (shrink)

The orthodox view in contemporary epistemology is that Edmund Gettier refuted the JTB analysis of knowledge, according to which knowledge is justified true belief. In a recent paper Moti Mizrahi questions the orthodox view. According to Mizrahi, the cases that Gettier advanced against the JTB analysis are misleading. In this paper I defend the orthodox view.

We introduce a bimodal epistemic logic intended to capture knowledge as truth in all epistemically alternative states and belief as a generalised ‘majority’ quantifier, interpreted as truth in most of the epistemically alternative states. This doxastic interpretation is of interest in knowledge-representation applications and it also holds an independent philosophical and technical appeal. The logic comprises an epistemic modal operator, a doxastic modal operator of consistent and complete belief and ‘bridge’ axioms which relate knowledge to belief. To capture the notion (...) of a ‘majority’ we use the ‘large sets’ introduced independently by K. Schlechta and V. Jauregui, augmented with a requirement of completeness, which furnishes a ‘weak ultrafilter’ concept. We provide semantics in the form of possible-worlds frames, properly blending relational semantics with a version of general Scott–Montague frames and we obtain soundness and completeness results. We examine the validity of certain epistemic principles discussed in the literature, in particular some of the ‘bridge’ axioms discussed by W. Lenzen and R. Stalnaker, as well as the ‘paradox of the perfect believer’, which is not a theorem of. (shrink)

A common account of the distinction between analytic and synthetic truths is that while the former are true solely in virtue of meaning, the latter are true also in virtue of the way of the world. Quine famously disputed this characterization, and his skepticism over the analytic/synthetic distinction has cast a long shadow. Against this skepticism, I argue that the common account comes close to the truth, and that truthmaker theory in particular offers the resources for providing a compelling account (...) of the distinction that preserves the basic ideas behind it, and avoids the standard criticisms facing the distinction. In particular, I argue that analytic truths are truths that ontologically depend in no way whatsoever upon what exists. (shrink)

Kit Fine, the leading proponent of the metaphysical project of grounding theory, has offered a number of potentially devastating objections to truthmaker theory, the branch of metaphysics dedicated to exploring the ontological grounds for truths. In this paper I show what presuppositions about truthmaker theory Fine’s objections are based upon, and why they are false. I discuss four objections that Fine raises, and demonstrate how truthmaker theorists may respond to them. I then showcase the positive contribution that truthmaker theory can (...) make to metaphysics, including its ability to speak to a core metaphysical topic (the ontological grounds for truths) that Fine’s approach to grounding must ultimately remain silent on. I conclude by exploring what I take to be the best option when it comes to understanding how truthmaking and grounding fit together. (shrink)

The theory of truthmaking has long aroused skepticism from philosophers who believe it to be tangled up in contentious ontological commitments and unnecessary theoretical baggage. I argue in A Theory of Truthmaking that this suspicion is unfounded. Philosophers across the spectrum can take advantage of truthmaking, and use it to better understand the ontological implications of topics that arise all over the philosophical landscape. Challenging the current orthodoxy that truthmaking's fundamental purpose is to be a tool for explaining why truths (...) are true, the book revives the conception of truthmaking as fundamentally an exercise in ontology: a means for coordinating one's beliefs about what is true and one's ontological commitments. I go on to show how truthmaking connects to analyticity, truth, and realism, and how it contributes to debates over nominalism, presentism, mathematical objects, and fictional characters. (shrink)