I argue that you can have a priori knowledge of propositions that neither are nor appear necessarily true. You can know a priori contingent propositions that you recognize as such. This overturns a standard view in contemporary epistemology and the traditional view of the a priori, which restrict a priori knowledge to necessary truths, or at least to truths that appear necessary.

This is a thesis in support of the conceptual yoking of analytic truth to a priori knowledge. My approach is a semantic one; the primary subject matter throughout the thesis is linguistic objects, such as propositions or sentences. I evaluate arguments, and also forward my own, about how such linguistic objects’ truth is determined, how their meaning is fixed and how we, respectively, know the conditions under which their truth and meaning are obtained. The strategy is (...) to make explicit what is distinctive about analytic truths. The objective is to show that truths, known a priori, are trivial in a highly circumscribed way. My arguments are premised on a language-relative account of analytic truth. The language relative account which underwrites much of what I do has two central tenets: 1. Conventionalism about truth and, 2. Non-factualism about meaning. I argue that one decisive way of establishing conventionalism and non-factualism is to prioritise epistemological questions. Once it is established that some truths are not known empirically an account of truth must follow which precludes factual truths being known non-empirically. The function of Part 1 is, chiefly, to render Carnap’s language-relative account of analytic truth. I do not offer arguments in support of Carnap at this stage, but throughout Parts 2 and 3, by looking at more current literature on a priori knowledge and analytic truth, it becomes quickly evident that I take Carnap to be correct, and why. In order to illustrate the extent to which Carnap’s account is conventionalist and non-factualist I pose his arguments against those of his predecessors, Kant and Frege. Part 1 is a lightly retrospective background to the concepts of ‘analytic’ and ‘a priori’. The strategy therein is more mercenary than exegetical: I select the parts from Kant and Frege most relevant to Carnap’s eventual reaction to them. Hereby I give the reasons why Carnap foregoes a factual and objective basis for logical truth. The upshot of this is an account of analytic truth (i.e. logical truth, to him) which ensures its trivial nature. In opposition to accounts of a priori knowledge, which describe it as knowledge gained from rational apprehension, I argue that it is either knowledge from logical deduction or knowledge of stipulations. I therefore reject, in Part 2, three epistemologies for knowing linguistic conventions (e.g. implicit definitions): 1. intuition, 2. inferential a priori knowledge and, 3. a posteriori knowledge. At base, all three epistemologies are rejected because they are incompatible with conventionalism and non-factualism. I argue this point by signalling that such accounts of knowledge yield unsubstantiated second-order claims and/or they render the relevant linguistic conventions epistemically arrogant. For a convention to be arrogant it must be stipulated to be true. The stipulation is then considered arrogant when its meaning cannot be fixed, and its truth cannot be determined without empirical ‘work’. Once a working explication of ‘a priori’ has been given, partially in Part 1 (as inferential) and then in Part 2 (as non-inferential) I look, in Part 3, at an apriorist account of analytic truth, which, I argue, renders analytic truth non-trivial. The particular subject matter here is the implicit definitions of logical terms. The opposition’s argument holds that logical truths are known a priori (this is part of their identification criteria) and that their meaning is factually based. From here it follows that analytic truth, being determined by factually based meaning, is also factual. I oppose these arguments by exposing the internal inconsistencies; that implicit definition is premised on the arbitrary stipulation of truth which is inconsistent with saying that there are facts which determine the same truth. In doing so, I endorse the standard irrealist position about implicit definition and analytic truth (along with the “early friends of implicit definition” such as Wittgenstein and Carnap). What is it that I am trying to get at by doing all of the abovementioned? Here is a very abstracted explanation. The unmitigated realism of the rationalists of old, e.g. Plato, Descartes, Kant, have stoically borne the brunt of the allegation of yielding ‘synthetic a priori’ claims. The anti-rationalist phase of this accusation I am most interested in is that forwarded by the semantically driven empiricism of the early 20th century. It is here that the charge of the ‘synthetic a priori’ really takes hold. Since then new methods and accusatory terms are employed by, chiefly, non-realist positions. I plan to give these proper attention in due course. However, it seems to me that the reframing of the debate in these new terms has also created the illusion that current philosophical realism, whether naturalistic realism, realism in science, realism in logic and mathematics, is somehow not guilty of the same epistemological and semantic charges levelled against Plato, Descartes and Kant. It is of interest to me that in, particularly, current analytic philosophy (given its rationale) realism in many areas seems to escape the accusation of yielding synthetic priori claims. Yet yielding synthetic a priori claims is something which realism so easily falls prey to. Perhaps this is a function of the fact that the phrase, ‘synthetic a priori’, used as an allegation, is now outmoded. This thesis is nothing other than an indictment of metaphysics, or speculative philosophy (this being the crime), brought against a specific selection of realist arguments. I, therefore, ask of my reader to see my explicit, and perhaps outmoded, charge of the ‘synthetic a priori’ levelled against respective theorists as an attempt to draw a direct comparison with the speculative metaphysics so many analytic philosophers now love to hate. I think the phrase ‘synthetic a priori’ still does a lot of work in this regard, precisely because so many current theorists wrongly think they are immune to this charge. Consequently, I shall say much about what is not permitted. Such is, I suppose, the nature of arguing ‘against’ something. I’ll argue that it is not permitted to be a factualist about logical principles and say that they are known a priori. I’ll argue that it is not permitted to say linguistic conventions are a posteriori, when there is a complete failure in locating such a posteriori conventions. Both such philosophical claims are candidates for the synthetic a priori, for unmitigated rationalism. But on the positive side, we now have these two assets: Firstly, I do not ask us to abandon any of the linguistic practises discussed; merely to adopt the correct attitude towards them. For instance, where we use the laws of logic, let us remember that there are no known/knowable facts about logic. These laws are therefore, to the best of our knowledge, conventions not dissimilar to the rules of a game. And, secondly, once we pass sentence on knowing, a priori, anything but trivial truths we shall have at our disposal the sharpest of philosophical tools. A tool which can only proffer a better brand of empiricism. (shrink)

This paper draws out and connects two neglected issues in Kant’s conception of a priori knowledge. Both concern topics that have been important to contemporary epistemology and to formal epistemology in particular: knowability and luminosity. Does Kant commit to some form of knowability principle according to which certain necessary truths are in principle knowable to beings like us? Does Kant commit to some form of luminosity principle according to which, if a subject knows a priori, then they can (...) know that they know a priori? I defend affirmative answers to both of these questions, and by considering the special kind of modality involved in Kant’s conceptions of possible experience and the essential completability of metaphysics, I argue that his combination of knowability and luminosity principles leads Kant into difficulty. (shrink)

The idea that the epistemology of modality is in some sense a priori is a popular one, but it has turned out to be difficult to precisify in a way that does not expose it to decisive counterexamples. The most common precisifications follow Kripke’s suggestion that cases of necessary a posteriori truth that can be known a priori to be necessary if true ‘may give a clue to a general characterization of a posteriori knowledge of necessary truths’. (...) The idea is that whether it is contingent whether p can be known a priori for at least some broad range of sentences ‘p’. Recently, Al Casullo and Jens Kipper have discussed restrictions of such principles to atomic sentences. We show that decisive counterexamples even to such dramatically restricted Kripke-style principles can be constructed using minimal logical resources. We then consider further restrictions, and show that the counterexamples to the original principles can be turned into counterexamples to the further restricted principles. We conclude that, if there are any true restrictions of Kripke-style principles, then they are so weak as to be of little epistemological interest. (shrink)

In his recent book Constructing the World, David Chalmers defends A Priori Scrutability, the thesis that there is a compact class of truths such that for any truth p, a Laplacian intellect could know a priori that if the truths in that class hold, then p. In this paper, I develop an objection to Chalmers’ thesis that focuses on his treatment of a so-called that’s-all truth. My objection draws on Theodore Sider’s discussion of border-sensitive properties, and (...) also on the causal phenomenon of double prevention. (shrink)

Epistemic two-dimensional semantics, advocated by Chalmers and Jackson, among others, aims to restore the link between necessity and a priority seemingly broken by Kripke, by showing how armchair access to semantic intensions provides a basis for knowledge of necessary a posteriori truths. The most compelling objections to E2D are that, for one or other reason, the requisite intensions are not accessible from the armchair. As we substantiate here, existing versions of E2D are indeed subject to such access-based objections. But, we (...) moreover argue, the difficulty lies not with E2D but with the typically presupposed conceiving-based epistemology of intensions. Freed from that epistemology, and given the right alternative—one where inference to the best explanation provides the operative guide to intensions—E2D can meet access-based objections, and fulfill its promise of restoring the desirable link between necessity and a priority. This result serves as a central application of Biggs and Wilson, according to which abduction is an a priori mode of inference. (shrink)

In Pantsar (2014), an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can (...) also explain the ... (shrink)

In Pantsar, an outline for an empirically feasible epistemological theory of arithmetic is presented. According to that theory, arithmetical knowledge is based on biological primitives but in the resulting empirical context develops an essentially a priori character. Such contextual a priori theory of arithmetical knowledge can explain two of the three characteristics that are usually associated with mathematical knowledge: that it appears to be a priori and objective. In this paper it is argued that it can also (...) explain the third one: why arithmetical knowledge appears to be necessary. A Kripkean analysis of necessity is used as an example to show that a proper analysis of the relevant possible worlds can explain arithmetical necessity in a sufficiently strong form. (shrink)

This paper provides a defense of two traditional theses: the Autonomy of Philosophy and the Authority of Philosophy. The first step is a defense of the evidential status of intuitions (intellectual seemings). Rival views (such as radical empiricism), which reject the evidential status of intuitions, are shown to be epistemically self-defeating. It is then argued that the only way to explain the evidential status of intuitions is to invoke modal reliabilism. This theory requires that intuitions have a certain qualified modal (...) tie to the truth. This result is then used as the basis of the defense of the Autonomy and Authority theses. The paper closes with a defense of the two theses against a potential threat from scientific essentialism. (shrink)

Sober [2011] argues that some causal statements are a priori true and that a priori causal truths are central to explanations in the theory of natural selection. Lange and Rosenberg [2011] criticize Sober's argument. They concede that there are a priori causal truths, but maintain that those truths are only ‘minimally causal’. They also argue that explanations that are built around a priori causal truths are not causal explanations, properly speaking. Here we criticize both of Lange (...) and Rosenberg's claims. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified, i.e., justified in a way that is truth-entailing. In this paper, I examine the second thesis of rationalist infallibilism, what might be called ‘synthetic a priori infallibilism’. Exploring the seemingly only potentially plausible species of synthetic a priori infallibility, I reject the infallible justification of so-called self-justifying propositions.

The topic of a priori knowledge is approached through the theory of evidence. A shortcoming in traditional formulations of moderate rationalism and moderate empiricism is that they fail to explain why rational intuition and phenomenal experience count as basic sources of evidence. This explanatory gap is filled by modal reliabilism -- the theory that there is a qualified modal tie between basic sources of evidence and the truth. This tie to the truth is then explained by the (...) theory of concept possession: this tie is a consequence of what, by definition, it is to possess (i.e., to understand) one’s concepts. A corollary of the overall account is that the a priori disciplines (logic, mathematics, philosophy) can be largely autonomous from the empirical sciences. (shrink)

I defend the claim that physicalism is not committed to the view that non-phenomenal macrophysical truths are a priori entailed by the conjunction of microphysical truths , basic indexical facts , and a 'that's all' claim . I do so by showing that Chalmers and Jackson's most popular and influential argument in support of the claim that PIT ⊃ M is a priori, where 'M' stands for any ordinary, non-phenomenal, macroscopic truth, falls short of establishing its conclusion. (...) My objection to Chalmers and Jackson's argument takes the form of a nested dilemma. Let 'Conceptual Competence Principle ' stand for the following claim: for any complete microphysical description D of a world w, a subject who is in possession of and competent with a macrophysical concept C is capable of determining a priori the extension of C. Either Jackson and Chalmers accept CCP or not. If the latter, then they cannot demonstrate that the conditional PIT ⊃ M is a priori. If the former, then they have a choice: they can either cite reasons that support the principle or argue that the principle should be taken for granted since it is entailed by the very notion of conceptual competence. But both alternatives are problematic. In regard to the first horn of this latter dilemma, I show not only that there are no good reasons to support the principle, but that there are also reasons to reject it. In regard to the second horn, I show that it cannot be the case that CCP is part of the very notion of conceptual competence. The conceptual capacity expressed by CCP requires that certain bridge principles or conditionals, which link the microphysical level to the macroscopic level, are either implicitly or explicitly given to the subject. But, as I argue, Chalmers and Jackson have no way of accounting for these bridge principles or conditionals in a manner that does not trivialize their position. (shrink)

This paper argues for and explores the implications of the following epistemological principle for knowability a priori (with 'Ka' abbreviating 'it is knowable a priori that'). -/- (AK) For all ϕ, ψ such that ϕ semantically presupposes ψ: if Ka(ϕ), Ka(ψ). -/- Well-known arguments for the contingent a priori and a priori knowledge of logical truth founder when the semantic presuppositions of the putative items of knowledge are made explicit. Likewise, certain kinds of analytic (...) class='Hi'>truth turn out to carry semantic presuppositions that make them ineligible as items of a priori knowledge. -/- On a happier note, I argue that (AK) offers an appealing, theory-neutral explanation of the a posteriori character of certain necessary identities, as well as an interesting rationalization for a commonplace linguistic maneuver in philosophical work on the a priori. (shrink)

On rationalist infallibilism, a wide range of both (i) analytic and (ii) synthetic a priori propositions can be infallibly justified (or absolutely warranted), i.e., justified to a degree that entails their truth and precludes their falsity. Though rationalist infallibilism is indisputably running its course, adherence to at least one of the two species of infallible a priori justification refuses to disappear from mainstream epistemology. Among others, Putnam (1978) still professes the a priori infallibility of some category (...) (i) propositions, while Burge (1986, 1988, 1996) and Lewis (1996) have recently affirmed the a priori infallibility of some category (ii) propositions. In this paper, I take aim at rationalist infallibilism by calling into question the a priori infallibility of both analytic and synthetic propositions. The upshot will be twofold: first, rationalist infallibilism unsurprisingly emerges as a defective epistemological doctrine, and second, more importantly, the case for the a priori infallibility of one or both categories of propositions turns out to lack cogency. (shrink)

I look at incompatibilist arguments aimed at showing that the conjunction of the thesis that a subject has privileged, a priori access to the contents of her own thoughts, on the one hand, and of semantic externalism, on the other, lead to a putatively absurd conclusion, namely, a priori knowledge of the external world. I focus on arguments involving a variety of externalism resulting from the singularity or object-dependence of certain terms such as the demonstrative ‘that’. McKinsey argues (...) that incompatibilist arguments employing such externalist theses are at their strongest, and conclusively show that privileged access must be rejected. While I agree on the truth of the relevant externalist theses, I show that all plausible versions of the incompatibilist reductio argument as applied to such theses are fundamentally flawed, for these versions of the argument must make assumptions that lead to putatively absurd knowledge of the external world independently of the thesis of privileged access. (shrink)

The topic of this article is the closure of a priori knowability under a priori knowable material implication: if a material conditional is a priori knowable and if the antecedent is a priori knowable, then the consequent is a priori knowable as well. This principle is arguably correct under certain conditions, but there is at least one counterexample when completely unrestricted. To deal with this, Anderson proposes to restrict the closure principle to necessary truths and (...) Horsten suggests to restrict it to formulas that belong to less expressive languages. In this article it is argued that Horsten’s restriction strategy fails, because one can deduce that knowable ignorance entails necessary ignorance from the closure principle and some modest background assumptions, even if the expressive resources do not go beyond those needed to formulate the closure principle itself. It is also argued that it is hard to find a justification for Anderson’s restricted closure principle, because one cannot deduce it even if one assumes very strong modal and epistemic background principles. In addition, there is an independently plausible alternative closure principle that avoids all the problems without the need for restriction. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a given (...) proposition is true—and so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)

According to rationalists about moral knowledge, some moral truths are knowable a priori. Rationalists often defend their position by claiming that some moral propositions are self-evidently true. Copp 2007 has recently challenged this rationalist strategy. Copp argues that even if some moral propositions are self-evident, this is not enough to secure rationalism about moral knowledge, since it turns out that such self-evident propositions are only knowable a posteriori. This paper considers the merits of Copp’s challenge. After clarifying the rationalists’ (...) appeal to self-evidence, I show why this rationalist strategy survives Copp’s challenges to it. (shrink)

Hillary Putnam has famously argued that we can know that we are not brains in a vat because the hypothesis that we are is self-refuting. While Putnam's argument has generated interest primarily as a novel response to skepticism, his original use of the brain in a vat scenario was meant to illustrate a point about the "mind/world relationship." In particular, he intended it to be part of an argument against the coherence of metaphysical realism, and thus to be part of (...) a defense of his conception of truth as idealized rational acceptability. Putnam's conclusions about the scenario are, however, actually out of line with central and plausible aspects of his own account of the relationship between our minds and the world. Reflections on semantics give us no compelling reason to suppose that claims like "I am a brain in a vat" could not turn out to be true. (shrink)

I look at incompatibilist arguments aimed at showing that the conjunction of the thesis that a subject has privileged, a priori access to the contents of her own thoughts, on the one hand, and of semantic externalism, on the other, lead to a putatively absurd conclusion, namely, a priori knowledge of the external world. I focus on arguments involving a variety of externalism resulting from the singularity or object‐dependence of certain terms such as the demonstrative ‘that’. McKinsey argues (...) that incompatibilist arguments employing such externalist theses are at their strongest, and conclusively show that privileged access must be rejected. While I agree on the truth of the relevant externalist theses, I show that all plausible versions of the incompatibilist reductio argument as applied to such theses are fundamentally flawed, for these versions of the argument must make assumptions that lead to putatively absurd knowledge of the external world independently of the thesis of privileged access. (shrink)

Recent work on the philosophy of modality has tended to pass over questions about iterated modalities in favour of constructing ambitious metaphysical theories of possibility and necessity, despite the central importance of iterated modalities to modal logic. Yet there are numerous unresolved but fundamental issues involving iterated modalities: Chandler and Salmon have provided forceful arguments against the widespread assumption that all necessary truths are necessarily necessary, for example. The current paper examines a range of ways in which one might seek (...) to identify limited regions within which some of the most well-known principles featuring iterated modalities may safely be assumed. (shrink)

How should we understand good philosophical inquiry? Ernest Sosa has argued that the key to answering this question lies with virtue-based epistemology. According to virtue-based epistemology, competences are prior to epistemic justification. More precisely, a subject is justified in having some type of belief only because she could have a belief of that type by exercising her competences. Virtue epistemology is well positioned to explain why, in forming false philosophical beliefs, agents are often less rational than it is possible to (...) be. False philosophical beliefs are often unjustified—and the agent is thereby less rational for having them—precisely because these beliefs could not be formed by exercising competences. But, virtue epistemology is not well positioned to explain why, in failing to form some true philosophical beliefs, agents are less rational than it is possible to be. In cases where agents fall short by failing to believe philosophical truths, the problem is not that they believe things they shouldn’t, but that they lack beliefs they ought to have. We argue that Timothy Williamson's recent critique of the a priori/a posteriori distinction falls prey to similar problem cases. Williamson fails to see that a type of belief might be a priori justified if and only if, even without any special confirming experiences, agents fall short by failing to have this type of belief. We conclude that there are types of beliefs that are deeply a priori justified for any agent regardless of what epistemic competences the agent has. However, we also point out that this view has a problem of its own: it appears to make the acquisition of a priori knowledge too easy. We end by suggesting that a move back towards virtue-based epistemology is necessary. But in order for this move to be effective, epistemic competences will have to be understood very differently than in the reliabilist tradition. (shrink)

Tyler Burge famously argues in his 1993 paper "Content Preservation" that it is not only a priori true that we enjoy a prima facie warrant to take what others assert as true, but also that there our warrant to believe what we are told in certain special cases is a priori. So just as our warrant for believing certain mathematical truths might be a priori, so too there are cases of belief through testimony that are a (...) class='Hi'>priori. Then in a 2013 Postscript to "Content Preservation" he took it all back. All of Burge's ideas and arguments for and against are interesting and important, and deepen our understanding of testimony, comprehension, warrant, and the a priori. But his ideas and arguments are hard to understand. This paper explains all of ideas and arguments, both for and against, in a clear and comprehensive way. Along the way, Anna-Sara Malmgren's interpretation and criticism of Burge's position is also expounded and criticized. (shrink)

ABSTRACT Wilfrid Sellars argued that Kant’s account of the conceptual structures involved in experience can be given a linguistic turn so as to provide an analytic account of the resources a language must have in order to be the bearer of empirical knowledge. In this paper I examine the methodological aspects of Kant’s transcendental philosophy that Sellars took to be fundamental to influential themes in his own philosophy. My first aim here is to clarify and argue for the plausibility of (...) what I claim is Sellars’ interpretation of Kant’s ‘analytic’ transcendental method in the first Critique, based ultimately on non-trivial analytic truths concerning the concept of an object of our possible experience. Kant’s ‘transcendental proofs’ thereby avoid a certain methodological trilemma confronting the candidate premises of any such proof, taken from Sellars’ 1970s undergraduate exam question on Kant. In part II of the essay I conclude by highlighting in general terms how Kant’s method, as interpreted in the analytic manner explained in part I, was adapted by Sellars to produce some of the more influential aspects of his own philosophy, expressed in terms of what he contends is their sustainable reformulation in light of the so-called linguistic turn in twentieth-century philosophy. (shrink)

Many philosophers still believe that metaphysically analytic sentences exist, where a sentence is understood to be metaphysically analytic if and only if it is true solely in virtue of its meaning. I provide two arguments against this claim and hence conclude that metaphysically analytic sentences do not exist. Still, some philosophers, however, hold out hope that epistemically analytic sentences exist, where a sentence is epistemically analytic if and only if an agent's understanding the sentence suffices for the agent to be (...) justified in believing that this sentence is true. One such philosopher is Paul Boghossian, whose so-called analytic theory of the a priori is intended to show how epistemically analytic sentences can explain our a priori knowledge of the truths about logic. His theory, however, relies on the dubious Argument by Implicit Definition. I provide an objection to this argument and hence conclude that Boghossian's analytic theory of the a priori fails to vindicate the notion of epistemic analyticity. Still, I concede that just because Boghossian's attempt to do so fails, it does not follow that the notion of epistemic analyticity cannot, in another way, be vindicated. (shrink)

In order to make sense of Scotus’s claim that rationality is perfected only by the will, a Scotistic doctrine of truth is developed in a speculative way. It is claimed that synthetic a priori truths are truths of the will, which are existential truths. This insight holds profound theological implications and is used on the one hand to criticize Kant's conception of existence, and on the other hand, to offer another explanation of the sense according to which the (...) existence of things is grasped. (shrink)

Laurence BonJour divides approaches to a priori justification into three kinds. Quine’s radical empiricism denies the existence of any special category of a priori justification; moderate empiricism attempts to explain a priori justification in terms of something like knowledge of meaning or grasp of concepts; and rationalism postulates an irreducible ‘rational insight’ into the nature of reality. The positions therefore form a familiar trio of eliminativism, reductionism and anti-reductionism concerning a priori justification. BonJour’s interesting and (in (...) the present philosophical climate) unusual project is to defend rationalism, the anti-reductionist position. Rationalism says that we have an ability to ‘directly or intuitively see or grasp or apprehend … a necessary fact about the nature or structure of reality’ (pp. 15-16). ‘An apparent rational insight,’ he says, ‘purports to be nothing less than a direct insight into the necessary character of reality’ (p. 107). Two clarifications will help to mark out the distinctive character of this view: first, that rational insight is fallible; and second, that although BonJour carefully distinguishes the concepts of necessity and apriority, he none the less claims that rational insight yields a priori knowledge of necessary truths only. On his view, the contingent a priori does not exist, although empirical necessities do... (shrink)

Traditionally, the investigation of truth has been anchored in a priori reasoning. Cognitive science deviates from this tradition by adding empirical data on how people understand and use concepts. Building on psychophysics and machine learning methods, we introduce conceptual scaling, an approach to map people's understanding of abstract concepts. This approach, allows computing participant-specific conceptual maps from obtained ordinal comparison data, thereby quantifying perceived similarities among abstract concepts. Using this approach, we investigated individual's alignment with philosophical theories on (...) truth and the predictive capacity of conceptual maps. The obtained results indicated that, while people's understanding of truth is multifaceted and encapsulates notions of coherence and authenticity, alignment is best for the correspondence theory of truth. Furthermore, conceptual maps allowed predicting individual outcomes with an accuracy of roughly 70%. This research demonstrates that conceptual scaling offers accurate descriptions of individual's understanding of abstract concepts, behavioral predictions, and quantification of alignment with theoretical perspectives. (shrink)

This paper attempts to show that Scott Soames has not given us an example of a contingent a priori truth. (What it probably shows is how confused I am on this topic.).

This chapter explores the cognitive and moral significance of the kind of imaginative experience poetry offers. It identifies two forms of imaginative experience that are especially important to poetry: ‘experiencing-as’ and ‘experience-taking’. Experiencing-as is ‘inherently first-personal, embodied, and phenomenologically characterized’ while in experience-taking one ‘takes the perspective of another, simulating some aspect or aspects of his psychology as if they were his own’. Through a sensitive and probing reading of Paul Celan’s Psalm, the chapter shows the role these two forms (...) of experience play in producing the unique form of ethical and epistemic value poetry can bear. The chapter’s argument for this has important implications for our understanding of the poetic imagination and nature of our experience of meaning in poetic contexts. (shrink)

Argues against several influential a priori arguments for individualism in the philosophy of mind that were influential in the 1980s.

This paper attempts to shed light on three sets of issues that bear directly on our understanding of Locke and Kant. The first is whether Kant believes Locke merely anticipates his distinction between analytic and synthetic judgments or also believes Locke anticipates his notion of synthetic a priori cognition. The second is what should we as readers of Kant and Locke should think about Kant’s view whatever it turns out to be, and the third is the nature of Kant’s (...) justification for the comparison he draws between his philosophy and Locke’s. I argue (1) that Kant believes Locke anticipates both the analytic-synthetic distinction and Kant’s notion of synthetic a priori cognition, (2) that the best justification for Kant’s claim draws on Locke’s distinction between trifling and instructive knowledge, (3) that the arguments against this claim developed by Carson, Allison, and Newman fail to undermine it, and (4) that Kant’s own justification for his claim is quite different from what many commentators have thought it was (or should have been). (shrink)

There is a line of thought, neglected in recent philosophy, according to which a priori knowable truths such as those of logic and mathematics have their special epistemic status in virtue of a certain tight connection between their meaning and their truth. Historical associations notwithstanding, this view does not mandate any kind of problematic deflationism about meaning, modality or essence. On the contrary, we should be upfront about it being a highly debatable metaphysical idea, while nonetheless insisting that (...) it be given due consideration. From this standpoint, I suggest that the Finean distinction between essence and modality allows us to refine the view. While liberal about meaning, modality and essence, the view is not without bite: it is reasonable to suppose that it is able to ward off philosophical confusions stemming from the undue assimilation of a priori to empirical knowledge. (shrink)

Semantic externalism in the style of McDowell and Evans faces a puzzle formulated by Pryor: to explain that a sentence such as 'Jack exists' is only a posteriori knowable, despite being logically entailed by the seemingly logical truth 'Jack is self-identical', and hence being itself a logical truth and therefore a priori knowable. Free logics can dissolve the puzzle. Moreover, Pryor has argued that the existentially hedged 'If Jack exists, then Jack is self-identical', when properly formalised, is (...) a logical truth in a system of neutral free logic and therefore a priori knowable, while it does not entail that Jack exists. The latter holds also for negative free logic. In response, Yeakel has argued that on any system of neutral free logic existence hedges will either entail some unwanted existence claims or they will not entail some wanted existence claims. The dilemma also holds for any non-positive free logic. It will be shown that the extension of one of the systems of neutral free logic with a truth operator escapes Yeakel's dilemma, whereas no other non-positive free logic when extended with the truth operator does the same (or it breaks quantifier exchangeability). (shrink)

Reichenbachian approaches to indexicality contend that indexicals are "token-reflexives": semantic rules associated with any given indexical-type determine the truth-conditional import of properly produced tokens of that type relative to certain relational properties of those tokens. Such a view may be understood as sharing the main tenets of Kaplan's well-known theory regarding content, or truth-conditions, but differs from it regarding the nature of the linguistic meaning of indexicals and also regarding the bearers of truth-conditional import and truth-conditions. (...) Kaplan has criticized these approaches on different counts, the most damaging of which is that they make impossible a "logic of demonstratives". The reason for this is that the token-reflexive approach entails that not two tokens of the same sentential type including indexicals are guaranteed to have the same truth-conditions. In this paper I rebut this and other criticisms of the Reichenbachian approach. Additionally, I point out that Kaplan's original theory of "true demonstratives" is empirically inadequate, and claim that any modification capable of accurately handling the linguistic data would have similar problems to those attributed to the Reichenbachian approach. This is intended to show that the difficulties, no matter how real, are not caused by idiosincracies of the "token-reflexive" view, but by deep facts about indexicality. (shrink)

Trenton Merricks argues for and defends a novel version of primitivism about truth : being true is a primitive monadic but non-intrinsic property. This examination consists of the following triad: a critical discussion of Merricks’ argument for his view, a rejection of his objection against Paul Horwich’s minimalist theory of truth, and a direct objection against his view on the grounds that it entails being true is a mysterious and suspicious property. The conclusion is that Merricks’ primitivism should (...) be rejected. (shrink)

Truthmaker monism is the view that the one and only truthmaker is the world. Despite its unpopularity, this view has recently received an admirable defence by Schaffer :307–324, 2010b). Its main defect, I argue, is that it omits partial truthmakers. If we omit partial truthmakers, we lose the intimate connection between a truth and its truthmaker. I further argue that the notion of a minimal truthmaker should be the key notion that plays the role of constraining ontology and that (...) truthmaker monism is not necessary for an appropriate solution to the problem of finding truthmakers for negative truths. I conclude that we should reject truthmaker monism once and for all. (shrink)

Three classic distinctions specify that truths can be necessary versus contingent,analytic versus synthetic, and a priori versus a posteriori. The philosopher reading this article knows very well both how useful and ordinary such distinctions are in our conceptual work and that they have been subject to many and detailed debates, especially the last two. In the following pages, I do not wish to discuss how far they may be tenable. I shall assume that, if they are reasonable and non (...) problematic in some ordinary cases, then they can be used in order to understand what kind of knowledge the maker’s knowledge is. By this I mean the sort of knowledge that Alice enjoys when she holds the information that Bob’s coffee is sweetened because she just put two spoons of sugar in it herself. The maker’s knowledge tradition is quite important but it is not mainstream in modern and analytic epistemology and lacks grounding in terms of exactly what sort of knowledge one is talking about. My suggestion is that this grounding can be provided by a minimalist approach, based on an information-theoretical analysis. In the article, I argue that we need to decouple a fourth distinction, namely informative versus uninformative, from the previous three and, in particular, from its implicit association with analytic versus synthetic and a priori versus a posteriori; such a decoupling facilitates, and is facilitated by, moving from a monoagent to a multiagent approach: the distinctions qualify a proposition, a message, or some information not just in themselves but relationally, with respect to an informational agent; the decoupling and the multiagent approach enable a re-mapping of currently available positions in epistemology on these four dichotomies; within such a re-mapping, two positions, capturing the nature of a witness’ knowledge and of a maker’s knowledge, can best be described as contingent, synthetic, a posteriori, and uninformative and as contingent, synthetic, weakly a priori, and uninformative respectively. In the conclusion, I indicate why the analysis of the maker’s knowledge has important consequences in all those cases in which the poietic intervention on a system determines the truth of the model of that system. (shrink)

According to Kierkegaard, truth is superimposed on the objective character that encompasses from a historical investigation to a speculative exercise, keeping a correspondence with subjectivity in a movement that implies the limit-condition of interiority. Focusing on such existential-hermeneutic principle, the article points out spirituality as an epistemic-existential experience involving truth as a paradox in Kierkegaard, that overlaps the logical-discursive mediation and implies a dialectical-subjective construction that transcends reason historical-objective (or finite). In this way, characterizing spirituality as an epistemic-existential (...) experience thatconverges to the borders that contain non-rational evidence as the only type of evidence, the article resorts to Rudolf Otto's phenomenological perspective, that emphasizes the sacred and its absolute distinction in relation to natural reality and its perceptible character in a construction that emphasizes the non-rational element and its supra-rational nature and implies the numinous, which escapes logical-rational processes and, emerging as a priori, converges to the apprehension of the rational and the non-rational in the notion of Divinity. Thus, if the relationship with God overlaps the borders that enclose subjectivity and objectivity, converging to overcome the aforementioned epistemic structural scheme, the article, based on Paul Tillich's theological-philosophical perspective, focuses on the concept of Spiritual Presence that, characterizing life without ambiguity, implies a transcendent unión, correlatingagape and gnosis as an epistemic-existential experience involving the relationship with the sacred as the presence of God through an ecstatic-religious movement that converges to self-manifestation, self-revelation and the self-communication of the Absolute and Transcendent as God. (shrink)

[A. W. Moore] Criteria of ineffability are presented which, it is claimed, preclude the possibility of truths that are ineffable, but not the possibility of other things that are ineffable—not even the possibility of other things that are non-trivially ineffable. Specifically, they do not preclude the possibility of states of understanding that are ineffable. This, it is argued, allows for a reappraisal of the dispute between those who adopt a traditional reading of Wittgenstein’s Tractatus and those who adopt the new (...) reading recently championed by Cora Diamond, James Conant, and others. By maintaining that what the nonsense in the Tractatus is supposed to convey is ineffable understanding, rather than ineffable truth, we can do considerable justice to each of these readings. We can also do considerable justice to the Tractatus. /// [Peter Sullivan] Moore proposes to cut between 'traditional' and 'new' approaches to the Tractatus, suggesting that Wittgenstein's intention is to convey, through the knowing use of nonsense, ineffable understanding. I argue, first, that there is indeed room for a proposal of Moore's general kind. Secondly, though, I question whether Moore's actual proposal is not more in tune with Wittgenstein's later thought than with the attitude of the Tractatus. (shrink)

Growing-Block theorists hold that past and present things are real, while future things do not yet exist. This generates a puzzle: how can Growing-Block theorists explain the fact that some sentences about the future appear to be true? Briggs and Forbes develop a modal ersatzist framework, on which the concrete actual world is associated with a branching-time structure of ersatz possible worlds. They then show how this branching structure might be used to determine the truth values of future contingents. (...) They point out three different ways of interpreting the logical connectives, which give rise to three different logics of the open future: one supervaluationist, one corresponding to Lukasiewicz's strong Kleene logic, and one intuitionist. (shrink)

Coherentists on epistemic justification claim that all justification is inferential, and that beliefs, when justified, get their justification together (not in isolation) as members of a coherent belief system. Some recent work in formal epistemology shows that “individual credibility” is needed for “witness agreement” to increase the probability of truth and generate a high probability of truth. It can seem that, from this result in formal epistemology, it follows that coherentist justification is not truth-conducive, that it is (...) not the case that, under the requisite conditions, coherentist justification increases the probability of truth and generates a high probability of truth. I argue that this does not follow. (shrink)

The standard representation theorem for expected utility theory tells us that if a subject’s preferences conform to certain axioms, then she can be represented as maximising her expected utility given a particular set of credences and utilities—and, moreover, that having those credences and utilities is the only way that she could be maximising her expected utility. However, the kinds of agents these theorems seem apt to tell us anything about are highly idealised, being always probabilistically coherent with infinitely precise degrees (...) of belief and full knowledge of all a priori truths. Ordinary subjects do not look very rational when compared to the kinds of agents usually talked about in decision theory. In this paper, I will develop an expected utility representation theorem aimed at the representation of those who are neither probabilistically coherent, logically omniscient, nor expected utility maximisers across the board—that is, agents who are frequently irrational. The agents in question may be deductively fallible, have incoherent credences, limited representational capacities, and fail to maximise expected utility for all but a limited class of gambles. (shrink)

I apply the notion of truthmaking to the topic of fundamentality by articulating a truthmaker theory of fundamentality according to which some truths are truth-grounded in certain entities while the ones that don't stand in a metaphysical-semantic relation to the truths that do. I motivate this view by critically discussing two problems with Ross Cameron's truthmaker theory of fundamentality. I then defend this view against Theodore Sider's objection that the truthmaking approach to fundamentality violates the purity constraint. Truthmaker theorists (...) can have a trouble-free theory of fundamentality. (shrink)

On an evidentialist position, it is epistemically rational for us to believe propositions that are (stably) supported by our total evidence. We are epistemically permitted to believe such propositions, and perhaps even ought to do so. Epistemic rationality is normative. One popular way to explain the normativity appeals to epistemic teleology. The primary aim of this paper is to argue that appeals to epistemic teleology do not support that we ought to believe what is rational to believe, only that we (...) are permitted to do so. In arguing for that, I defend an epistemic teleological position that is radical in nature. It involves no commitment to aiming at the truth. I conclude by dispelling some worries that have been raised about my position. (shrink)

It is argued that, although there are no ineffable truths, the concept of ineffability nevertheless does have application—to certain states of knowledge. Towards the end of the essay this idea is related to religion: it is argued that the language that results from attempting (unsuccessfully) to put ineffable knowledge into words is very often of a religious kind. An example of this is given at the very end of the essay. This example concerns the Euthyphro question: whether what is right (...) is right because God wills it, or whether God wills it because it is right. (shrink)

The paper offers a model of Kant's claim that unity of consciousness entails objectivity of experience. This claim has nothing especially to do with thought, language or the categories but is a general truth about arbitrary signaling systems of the sort modeled in the paper. In conclusion I draw some consequences for various forms of idealism.