After briefly expositing some fundamental issues in current debates about apriority, I go on to critically examine meaning-based explanations of how we acquire apriori justification.

In the 1960s and 1970s, Hilary Putnam articulated a notion of relativized apriority that was motivated to address the problem of scientific change. This paper examines Putnam’s account in its historical context and in relation to contemporary views. I begin by locating Putnam’s analysis in the historical context of Quine’s rejection of apriority, presenting Putnam as a sympathetic commentator on Quine. Subsequently, I explicate Putnam’s positive account of apriority, focusing on his analysis of the history of physics (...) and geometry. In the remainder of the paper, I explore connections between Putnam’s account of relativized a priori principles and contemporary views. In particular, I situate Putnam’s account in relation to analyses advanced by Michael Friedman, David Stump, and William Wimsatt. From this comparison, I address issues concerning whether a priori scientific principles are appropriately characterized as “constitutive” or “entrenched”. I argue that these two features need to be clearly distinguished, and that only the constitutive function is essential to apriority. By way of conclusion, I explore the relationship between the constitutive function of a priori principles and entrenchment. (shrink)

One of the more visible recent developments in philosophical methodology is the experimental philosophy movement. On its surface, the experimentalist challenge looks like a dramatic threat to the apriority of philosophy; ‘experimentalist’ is nearly antonymic with ‘aprioristic’. This appearance, I suggest, is misleading; the experimentalist critique is entirely unrelated to questions about the apriority of philosophical investigation. There are many reasons to resist the skeptical conclusions of negative experimental philosophers; but even if they are granted—even if the experimentalists (...) are right to claim that we must do much more careful laboratory work in order legitimately to be confident in our philosophical judgments— the apriority of philosophy is unimpugned. The kinds of scientific investigation that experimental philosophers argue to be necessary involve merely enabling sensory experiences. Although they are not enabling in the sense of permitting concept acquisition, they are enabling in another epistemically significant way that is also consistent with the apriority of philosophy. (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)

This paper is concerned with a propositional modal logic with operators for necessity, actuality and apriority. The logic is characterized by a class of relational structures defined according to ideas of epistemic two-dimensional semantics, and can therefore be seen as formalizing the relations between necessity, actuality and apriority according to epistemic two-dimensional semantics. We can ask whether this logic is correct, in the sense that its theorems are all and only the informally valid formulas. This paper gives outlines (...) of two arguments that jointly show that this is the case. The first is intended to show that the logic is informally sound, in the sense that all of its theorems are informally valid. The second is intended to show that it is informally complete, in the sense that all informal validities are among its theorems. In order to give these arguments, a number of independently interesting results concerning the logic are proven. In particular, the soundness and completeness of two proof systems with respect to the semantics is proven (Theorems 2.11 and 2.15), as well as a normal form theorem (Theorem 3.2), an elimination theorem for the actuality operator (Corollary 3.6), and the decidability of the logic (Corollary 3.7). It turns out that the logic invalidates a plausible principle concerning the interaction of apriority and necessity; consequently, a variant semantics is briefly explored on which this principle is valid. The paper concludes by assessing the implications of these results for epistemic two-dimensional semantics. (shrink)

There is an important and fairly straightforward link between necessity and apriority which can shed light on our knowledge of the former, but initially plausible attempts to spell out what it is fall victim to counterexamples. Casullo discusses one such proposal, argues—following Anderson :1–20, )—that it fails, and suggests an alternative. In this paper, I argue that Casullo’s alternative also fails, before making a suggestion for which I can find no counterexamples and which, notably, handles some recent examples due (...) to Kipper and Strohminger and Yli-Vakkuri. (shrink)

Is imagination a source of knowledge? Timothy Williamson has recently argued that our imaginative capacities can yield knowledge of a variety of matters, spanning from everyday practical matters to logic and set theory. Furthermore, imagination for Williamson plays a similar epistemic role in cognitive processes that we would traditionally classify as either a priori or a posteriori, which he takes to indicate that the distinction itself is shallow and epistemologically fruitless. In this chapter, I aim to defend the a priori-a (...) posteriori distinction from Williamson’s challenge by questioning his account of imagination. I distinguish two notions of imagination at play in Williamson’s account – sensory vs. belief-like imagination – and show that both face empirical and normative issues. Sensory imagination seems neither necessary nor sufficient for knowledge. Whereas, belief-like imagination isn’t adequately disentangled from inference. Additionally, Williamson’s examples are ad hoc and don’t generalize. I conclude that Williamson’s case against the a priori-a posteriori distinction is unconvincing, and so is the thesis that imagination is an epistemic source. (shrink)

This paper raises a dilemma for Skorupski’s meta-normative outlook in The Domain of Reasons and explores some escape routes, recommending a more thoroughgoing Kantianism as the best option. §1 argues that we cannot plausibly combine Skorupski’s spontaneity-based epistemology of normativity with his cognition-independent view of normative truth. §§2–4 consider whether we should keep the epistemology and revise the metaphysics, opting for constructivism. While Skorupski’s negative case for his spontaneity-based epistemology is found wanting, it is suggested that a better argument for (...) keeping the epistemology and switching to Kantian constructivism can be given from a thesis he finds appealing—viz., ‘cognitive internalism’. While this premise is not, it is argued, obviously true, the view it supports does provide a good way to undergird Skorupski’s most interesting rationale for his reasons-first approach. (shrink)

Marcus Willaschek and I have argued against the widespread assumption that Kant claims the Moral Law—the supreme principle of morality—is (or must be regarded as) ‘self-legislated’. We argue that Kant instead describes the Moral Law as an _a priori_ principle of the will. We also argue that his conception of autonomy concerns not the Moral Law but substantive moral laws such as the law that requires promoting the happiness of others. In the present essay, I respond to the commentary by (...) Alyssa Bernstein and Christoph Hanisch. In response to Bernstein, I clarify the relation between our interpretation of Kant and those proposed by John Rawls and Allen Wood. In response to Hanisch, I argue, among other things, that Kant’s defense of the thesis that the Moral Law is an a priori principle of pure practical reason does not mean that practical reasoning and reasons-based action are impossible without it. It means rather that _morally good_ and _morally evil_ reasons-based action are impossible without it. (shrink)

Foucault found the starting point of modern European philosophy to be the construction of “man” as both an empirical fact and a transcendental operator. The aim is to show how this construction was made possible by an underlying strategical handling of the concept of matter. Some restrictions imposed on the materiality of knowledge-contents became key in explaining how actual men could gain access to transcendental knowledge. The paper focuses on Husserl and Kant as meaningful turning points of this transcendental discourse. (...) However, the relevance of their dematerializing strategies will be shown to lay beyond their historic-cultural meaning, since they can also provide a way of dealing with knowledge experiences that can be critical even towards modernity’s characteristic anthropocentrism. (shrink)

In my 1991 paper, AAnti-Individualism and Privileged Access,@ I argued that externalism in the philosophy of mind is incompatible with the thesis that we have privileged , nonempirical access to the contents of our own thoughts.¹ One of the most interesting responses to my argument has been that of Martin Davies (1998, 2000, and Chapter _ above) and Crispin Wright (2000 and Chapter _ above), who describe several types of cases to show that warrant for a premise does not always (...) transmit to a known deductive consequence of that premise, and who contend that this fact under-mines my argument for incompatibilism. I will try to show here that the Davies/Wright point about transmission of warrant does not adversely affect my argument. (shrink)

This paper concerns the three great modal dichotomies: (i) the necessary/contingent dichotomy; (ii) the a priori/empirical dichotomy; and (iii) the analytic/synthetic dichotomy. These can be combined to produce a tri-dichotomy of eight modal categories. The question as to which of the eight categories house statements and which do not is a pivotal battleground in the history of analytic philosophy, with key protagonists including Descartes, Hume, Kant, Kripke, Putnam and Kaplan. All parties to the debate have accepted that some categories are (...) void. This paper defends the contrary view that all eight categories house statements—a position I dub ‘octopropositionalism’. Examples of statements belonging to all eight categories are given. (shrink)

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

I present an approach to our conceiving absolute impossibilities—things which obtain at no possible world—in terms of ceteris paribus intentional operators: variably restricted quantifiers on possible and impossible worlds based on world similarity. The explicit content of a representation plays a role similar in some respects to the one of a ceteris paribus conditional antecedent. I discuss how such operators invalidate logical closure for conceivability, and how similarity works when impossible worlds are around. Unlike what happens with ceteris paribus counterfactual (...) conditionals, the closest worlds are relevantly closest belief-worlds: closest to how things are believed to be, rather than to how they are. Also, closeness takes into account apriority and the opacity of intentional contexts. (shrink)

David Chalmers argued against the claim that for all p, or even for all entertainable p, it is knowable a priori that p iff actually p. Instead of criticizing Chalmers’s argument, I suggest that it can be generalized, in a sense, and in interesting ways, concerning other principles about contingent a priori truths. In particular, I will argue that the puzzle presented by Chalmers runs parallel to others that do not turn on ‘actually’. Furthermore, stronger arguments can be presented that (...) do not turn on apriority either, though they do entail the conclusion of Chalmers’s argument. All such puzzles involve interactions between rigidifying sentence-forming devices with factive operators. (shrink)

Kant’s Metaphysical Deduction of the Categories justifies their apriority, i.e. that their contents originate in the understanding itself, while the Transcendental Deduction justifies their objectivity, both in that they purport to represent objects of experience and that they do so successfully. The apriority of the categories, as explained in terms of acts of synthesis required for having sensible intuitions of objects, is justified by establishing their generic identity with logical functions of judgment, i.e. acts of judgment required for (...) referring concepts to objects. The objective purport of the categories is justified by establishing that sensible intuitions fall under them. To finally justify that the categories represent successfully, i.e. that the objects of our intuitions fall under them, it is established that the representations of space and time do, namely by showing that the features addressed in their Metaphysical Expositions, too, are to be explained in terms of acts of synthesis. (shrink)

In this chapter, it is suggested that our epistemic access to metaphysical modality generally involves rationalist, a priori elements. However, these a priori elements are much more subtle than ‘traditional’ modal rationalism assumes. In fact, some might even question the ‘apriority’ of these elements, but I should stress that I consider a priori and a posteriori elements especially in our modal inquiry to be so deeply intertwined that it is not easy to tell them apart. Supposed metaphysically necessary identity (...) statements involving natural kind terms are a good example: the fact that empirical input is crucial in establishing their necessity has clouded the role and content of the a priori input, as I have previously argued. For instance, the supposed metaphysically necessary identity statement involving water and its microstructure can only be established with the help of a controversial a priori principle concerning the determination of chemical properties by microstructure. The Kripke-Putnam framework of modal epistemology fails precisely because it is unclear whether the required a priori element is present. My positive proposal builds on E. J. Lowe’s work. Lowe holds that our knowledge of metaphysical modality is based on our knowledge of essence. Lowe’s account strives to offer a uniform picture of modal epistemology: essence is the basis of all our modal knowledge. This is the basis of Lowe’s modal rationalism. I believe that Lowe’s proposal is on the right lines in the case of abstract objects, but I doubt that it can be successfully applied to the case of natural kinds. Accordingly, the case of natural kinds will be my main focus and I will suggest that modal rationalism, at least as it is traditionally understood, falls short of explaining modal knowledge concerning natural kinds. Yet, I think that Lowe has identified something of crucial importance for modal epistemology, namely the essentialist, a priori elements present in our modal inquiry. The upshot is that rather than moving all the way from modal rationalism to modal empiricism, a type of hybrid approach, ‘empirically-informed modal rationalism ’, can be developed. (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)

The distinction between a priori and a posteriori knowledge has been the subject of an enormous amount of discussion, but the literature is biased against recognizing the intimate relationship between these forms of knowledge. For instance, it seems to be almost impossible to find a sample of pure a priori or a posteriori knowledge. In this paper, it will be suggested that distinguishing between a priori and a posteriori is more problematic than is often suggested, and that a priori and (...) a posteriori resources are in fact used in parallel. We will define this relationship between a priori and a posteriori knowledge as the bootstrapping relationship. As we will see, this relationship gives us reasons to seek for an altogether novel definition of a priori and a posteriori knowledge. Specifically, we will have to analyse the relationship between a priori knowledge and a priori reasoning , and it will be suggested that the latter serves as a more promising starting point for the analysis of aprioricity. We will also analyse a number of examples from the natural sciences and consider the role of a priori reasoning in these examples. The focus of this paper is the analysis of the concepts of a priori and a posteriori knowledge rather than the epistemic domain of a posteriori and a priori justification. (shrink)

We present a sound and complete Fitch-style natural deduction system for an S5 modal logic containing an actuality operator, a diagonal necessity operator, and a diagonal possibility operator. The logic is two-dimensional, where we evaluate sentences with respect to both an actual world (first dimension) and a world of evaluation (second dimension). The diagonal necessity operator behaves as a quantifier over every point on the diagonal between actual worlds and worlds of evaluation, while the diagonal possibility quantifies over some point (...) on the diagonal. Thus, they are just like the epistemic operators for apriority and its dual. We take this extension of Fitch’s familiar derivation system to be a very natural one, since the new rules and labeled lines hereby introduced preserve the structure of Fitch’s own rules for the modal case. (shrink)

Information can be public among a group. Whether or not information is public matters, for example, for accounts of interdependent rational choice, of communication, and of joint intention. A standard analysis of public information identifies it with (some variant of) common belief. The latter notion is stipulatively defined as an infinite conjunction: for p to be commonly believed is for it to believed by all members of a group, for all members to believe that all members believe it, and so (...) forth. This analysis is often presupposed without much argument in philosophy. Theoretical entrenchment or intuitions about cases might give some traction on the question, but give little insight about why the identification holds, if it does. The strategy of this paper is to characterize a practical-normative role for information being public, and show that the only things that play that role are (variants of) common belief as stipulatively characterized. In more detail: a functional role for “taking a proposition for granted” in non-isolated decision making is characterized. I then present some minimal conditions under which such an attitude is correctly held. The key assumption links this attitude to beliefs about what is public. From minimal a priori principles, we can argue that a proposition being public among a group entails common commitment to believe among that group. Later sections explore partial converses to this result, the factivity of publicity and publicity from the perspective of outsiders to the group, and objections to the aprioricity of the result deriving from a posteriori existential presuppositions. (shrink)

Kripke’s examples of allegedly contingent a priori sentences include ‘Stick S is exactly one meter long’, where the reference of ‘meter’ is fixed by the description ‘the length of stick S’. In response to skepticism concerning apriority Kripke replaced the meter sentence with a more sophisticated variant, arguing that the modified example is more immune to such skepticism. The case for apriority is examined. A distinction is drawn between apriority and a broader notion, “qua-priority,” of a truth (...) whose epistemic justification is dependent on no experience other than that required to justify belief of the deliverances of pure semantics. It is argued that Kripke’s examples are neither a priori nor qua-priori. (shrink)

Modal knowledge accounts like sensitivity or safety face a problem when it comes to knowing propositions that are necessarily true because the modal condition is always fulfilled no matter how random the belief forming method is. Pritchard models the anti-luck condition for knowledge in terms of the modal principle safety. Thus, his anti-luck epistemology faces the same problem when it comes to logical necessities. Any belief in a proposition that is necessarily true fulfills the anti-luck condition and, therefore, qualifies as (...) knowledge. Miščević shares Pritchard’s take on epistemic luck and acknowledges the resulting problem. In his intriguing article “Armchair Luck: Apriority, Intellection and Epistemic Luck” Miščević suggests solving the problem by supplementing safety with a virtue theoretic condition-“agent stability”-which he also spells out in modal terms. I will argue that Miščević is on the right track when he suggests adding a virtue-theoretic component to the safety condition. However, it should not be specified modally but rather in terms of performances that manifest competences. (shrink)

According to Quine, Charles Parsons, Mark Steiner, and others, Russell’s logicist project is important because, if successful, it would show that mathematical theorems possess desirable epistemic properties often attributed to logical theorems, such as aprioricity, necessity, and certainty. Unfortunately, Russell never attributed such importance to logicism, and such a thesis contradicts Russell’s explicitly stated views on the relationship between logic and mathematics. This raises the question: what did Russell understand to be the philosophical importance of logicism? Building on recent work (...) by Andrew Irvine and Martin Godwyn, I argue that Russell thought a systematic reduction of mathematics increases the certainty of known mathematical theorems (even basic arithmetical facts) by showing mathematical knowledge to be coherently organized. The paper outlines Russell’s theory of coherence, and discusses its relevance to logicism and the certainty attributed to mathematics. (shrink)

Most of Kant's examples for synthetic sentences known apriori have been repudiated by modern physics. Is there a way to modify Kantian anti-empiricist epistemology so that it no longer contradicts the results of modern science? Michael Friedman proposes to relativize Kant's notion of the apriori and thus to explain away the apparent contradiction. But how do we have to understand the relative apriori? I define a sentence to be known apriori relative to a given theory if the sentence makes it (...) possible to test objective knowledge claims that belong within the frame of that theory. Are there sentences that can be known apriori relative to every possible theory, i.e., are there any examples for absolute aprioricity? My answer is to the positive. By weakening Kant's original examples (e.g., the principle of causality) we arrive at sentences that must be true if objective empirical knowledge is to be possible at all. The sentence "Not every change is due to pure chance" is an absolute example for synthetic apriori knowledge. (shrink)

Starting from certain metalogical results, I argue that first-order logical truths of classical logic are a priori and necessary. Afterwards, I formulate two arguments for the idea that first-order logical truths are also analytic, namely, I first argue that there is a conceptual connection between aprioricity, necessity, and analyticity, such that aprioricity together with necessity entails analyticity; then, I argue that the structure of natural deduction systems for FOL displays the analyticity of its truths. Consequently, each philosophical approach to these (...) truths should account for this evidence, i.e., that first-order logical truths are a priori, necessary, and analytic, and it is my contention that the semantic account is a better candidate. (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)

The historical consensus is that logical evidence is special. Whereas empirical evidence is used to support theories within both the natural and social sciences, logic answers solely to a priori evidence. Further, unlike other areas of research that rely upon a priori evidence, such as mathematics, logical evidence is basic. While we can assume the validity of certain inferences in order to establish truths within mathematics and test scientifi c theories, logicians cannot use results from mathematics or the empirical sciences (...) without seemingly begging the question. Appeals to rational intuition and analyticity in order to account for logical knowledge are symptomatic of these commitments to the apriority and basicness of logical evidence. This chapter argues that these historically prevalent accounts of logical evidence are mistaken, and that if we take logical practice seriously we fi nd that logical evidence is rather unexceptional, sharing many similarities to the types of evidence appealed to within other research areas. (shrink)

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

Some central epistemological notions are expressed by sentential operators O that entail the possibility of knowledge in the sense that 'Op' entails 'It is possible to know that p'. We call these modal-epistemological notions. Using apriority and being in a position to know as case studies, we argue that the logics of modal epistemological notions are extremely weak. In particular, their logics are not normal and do not include any closure principles.

I argue that Quinean naturalists’ holism-based arguments against analyticity and apriority are more difficult to resist than is generally supposed, for two reasons. First, although opponents of naturalism sometimes dismiss these arguments on the grounds that the holistic premises on which they depend are unacceptably radical, it turns out that the sort of holism required by these arguments is actually quite minimal. And second, although it’s true, as Grice and Strawson pointed out long ago, that these arguments can succeed (...) only if there isn’t any principled criterion for meaning change, such a criterion turns out to be hard to come by. David Chalmers has recently argued that such a criterion must exist, since the norms governing belief revision are subject to obvious exceptions that can be explained only by appeal to meaning change. But this, I argue, is incorrect: if choices about how to use language are themselves rationally assessable, then there are no such exceptions to be explained. To show that this is so, I formulate a new kind of coherence norm that may be useful for reasoning formally about the relationship between meaning and evidence. (shrink)

This article begins with an overview of the fourfold epistemological framework that arises out of Kant’s distinctions between analyticity and syntheticity and between apriority and aposteriority. I challenge Kant’s claim that the fourth classification, analytic aposteriority, is empty. In reviewing three articles written during the third quarter of the twentieth century that also defend analytic aposteriority, I identify promising insights suggested by Benardete (1958). I then present overviews of two 1987 articles wherein I defend analytic aposteriority, first as a (...) classification highlighting the epistemological status of several crucial (and easily misunderstood) features of Kant’s own philosophy, and second as a way of expressing some of Kripke’s claims about naming in more authentically Kantian terminology. The paper concludes with suggestions of several other important philosophical developments that also make advances precisely insofar as they expound the nature and implications of the epistemological classification that Kant assumed to be empty. (shrink)

David Chalmers’ two-dimensionalism is an ambitious philosophical program that aims to “ground” or “construct” Fregean meanings and restore “the golden triangle” of apriority, necessity, and meaning that Kripke seemingly broke. This paper aims to examine critically what Chalmers’ theory can in reality achieve. It is argued that the theory faces severe challenges. There are some gaps in the overall arguments, and the reasoning is in some places somewhat circular. Chalmers’ theory is effectively founded on certain strong philosophical assumptions. It (...) is concluded that it is unclear whether the theory can deliver all it promises. (shrink)

W. V. Quine's "Two Dogmas of Empiricism", first published in 1951, is one of the most influential articles in the history of analytic philosophy. It does not just question central semantic and epistemological views of logical positivism and early analytic philosophy, it also marks a momentous challenge to the ideas that conceptual analysis is a main task of philosophy and that philosophy is an a priori discipline which differs in principle from the empirical sciences. These ideas dominated early analytic philosophy, (...) but similar views are to be found in the Kantian tradition, in phenomenology and in philosophical hermeneutics. In questioning this consensus from the perspective of a radical empiricism, Quine's article has had a sustained and lasting impact across all these philosophical divisions. Quine himself moved from the abandonment of the analytic/synthetic distinction to a thoroughgoing naturalism, and many analytic philosophers have followed his lead. The current collection differs from other anthologies devoted to Quine in two respects. On the one hand, it focuses on his attack on analyticity, apriority and necessity; on the other, it considers implications of that attack that far transcend the limits of Quine scholarship, and lie at the heart of the current self-understanding of philosophy. The contributors include both opponents and proponents of the dichotomies attacked by Quine. Furthermore, they include both eminent figures such as Boghossian, Burge, and Davidson, and up and coming younger philosophers. (shrink)

_Nicolai Hartmann and Alexius Meinong on Apriority and Causality. Notes on the Correspondence_ The article offers a critical reading of the nine letters composing the correspondence exchanged by Alexius Meinong (1853-1920) and Nicolai Hartmann (1882-1950) in 1915 and 1918-1920. The author explores the main contents of the correspondence, through a chronological-thematic analysis. The letters of 1915 are eminently dedicated to a discussion of the gnoseology-ontology relationship. Here, the author focuses (1.1) on the relationship between reality and knowledge and (1.2) (...) on that between a priori and cognitive principles. The analysis (2) of the 1918-1920 correspondence concludes the article, engaging in the theme of the law of causality. Different in the philosophical background and argumentative style, the late Meinong and the young Hartmann find a field of dialogue that appears not lacking in consequences on the philosophical evolution of the latter. (shrink)

Intellectual property has become the apple of discord in today’s moral and political debates. Although it has been approached from many different perspectives, a final conclusion has not been reached. In this paper I will offer a new way of thinking about intellectual property rights (IPRs), from a left-libertarian perspective. My thesis is that IPRs are not (natural) original rights, aprioric rights, as it is usually argued. They are derived rights hence any claim for intellectual property is weaker than the (...) correlative duties attached to self-ownership and world-ownership rights, which are of crucial importance in any left-libertarian view. Moreover, IPRs lack priority in front of these two original rights and should be overridden by stronger claims of justice. Thus, as derived rights, IPRs should not benefit of strong enforcement like any original rights especially if it could be in the latters’ detriment. (shrink)

In recent work, William Blattner claims that Heidegger is an empirical realist, but not a transcendental idealist. Blattner argues that, unlike Kant, Heidegger holds that thinking beyond human life warrants no judgment about nature's existence. This poses two problems. One is interpretive: Blattner misreads Kant's conception of the beyond-life as yielding the judgment that nature does not exist, for Kant shares Heidegger's view that such a judgment must lack sense. Another is programmatic: Blattner overstates the gap between Kant's and Heidegger's (...) positions, for both are ontological, not ontic. I solve these problems by showing that Heidegger's analysis of Dasein contains the core of Kant's argument for transcendental idealism: the apriority of space and time. I conclude that Heidegger exemplifies Kant's view that empirical realism just is transcendental idealism. (shrink)

Philosophers are divided on whether the proof- or truth-theoretic approach to logic is more fruitful. The paper demonstrates the considerable explanatory power of a truth-based approach to logic by showing that and how it can provide (i) an explanatory characterization —both semantic and proof-theoretical—of logical inference, (ii) an explanatory criterion for logical constants and operators, (iii) an explanatory account of logic’s role (function) in knowledge, as well as explanations of (iv) the characteristic features of logic —formality, strong modal force, generality, (...) topic neutrality, basicness, and (quasi-)apriority, (v) the veridicality of logic and its applicability to science, (v) the normativity of logic, (vi) error, revision, and expansion in/of logic, and (vii) the relation between logic and mathematics. The high explanatory power of the truth-theoretic approach does not rule out an equal or even higher explanatory power of the proof-theoretic approach. But to the extent that the truth-theoretic approach is shown to be highly explanatory, it sets a standard for other approaches to logic, including the proof-theoretic approach. (shrink)

What I want to point out is the “meaning change” that Friedman ascribes to terms and principles, which he calls a priori, in the transition from the old framework to the new: -/- 'This captures the sense, in particular, in which there has indeed been a ”meaning change” in the transition from the old framework to the new: even if the same terms and principles reappear in the new framework they do not have the same meaning they had in the (...) old' (Friedman 2001, p. 99, ft. 37). -/- Following Friedman, we should admit that the same words possess different meanings in different frameworks. In fact, terms and principles that are empirical in an old framework may shift to constitutive status in the new framework, and vice- versa. If Friedman’s account seemed to entrust the prospective rationality of science to constitutive a priori principle, the notion of meaning change suggests instead that Friedman’s argument upholds the Kuhnian account of incommensurability, while we were expecting he aimed to mitigate it. As he clearly states in the passage to follow: -/- 'The later framework is not translatable into the earlier framework, of course, simply because the concepts used in formulating the later framework have not yet come into existence' (Friedman 2001, pp. 98-99). -/- Friedman’s account purports to emphasize that a transition from empirical laws to principles, and vice-versa, should imply a conceptual shift. But is “meaning change” the appropriate expression that may describe such a conceptual shift? What does the word “concept” mean for Friedman? How are concepts related to the meaning of terms? What does the “meaning” mean in Friedman’s view? What is the relation between terms and theories? Does theory change entail a meaning change of scientific terms, that is, do terms determine theory change (i.e. difference in theories is ipso facto difference in terms)? Recently, some specialists (Tsou 2010, for instance) have stressed Friedman’s notion of constitutive a priori principle in light of Putnam’s positive account of apriority. Friedman's and Putnam’s notions of relativized a priori are presented as similar insofar as they both affirm the existence of principles in science, which are revisable and relativized to a particular body of knowledge. However, the similarities do not take into account that Friedman ascribed a meaning change to coordinating principles that are constitutive of the new framework. Could Putnam subscribe such a meaning change? This paper aims to analyse Friedman’s notion of constitutive a priori principle in relation to the problem of meaning change by taking into account Putnam’s theory of meaning and his notion of framework principle. (shrink)

The mathematical developments of the 19th century seemed to undermine Kant’s philosophy. Non-Euclidean geometries challenged Kant’s view that there is a spatial intuition rich enough to yield the truth of Euclidean geometry. Similarly, advancements in algebra challenged the view that temporal intuition provides a foundation for both it and arithmetic. Mathematics seemed increasingly detached from experience as well as its form; moreover, with advances in symbolic logic, mathematical inference also seemed independent of intuition. This paper considers various philosophical responses to (...) these changes, focusing on the idea of modifying Kant’s conception of intuition in order to accommodate the increasing abstractness of mathematics. It is argued that far from clinging to an outdated paradigm, programs based on new conceptions of intuition should be seen as motivated by important philosophical desiderata, such as the truth, apriority, distinctiveness and autonomy of mathematics. (shrink)

I present the replies that Gottlob Frege, Henri Poincaré, Rudolf Carnap, and Saul Kripke made to the assumption that apriority and necessity are interchangeable synonyms, an assumption that I take, together with the assumptions that there is a split between analytic truths and synthetic truths and that there is a dichotomy between our conceptual schemes and empirical content, as a Kantian dogma.

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)

The purpose of this thesis is to demonstrate that metaphysics is a necessary discipline -- necessary in the sense that all areas of philosophy, all areas of science, and in fact any type of rational activity at all would be impossible without a metaphysical background or metaphysical presuppositions. Because of the extremely strong nature of this claim, it is not possible to put forward a very simple argument, although I will attempt to construct one. A crucial issue here is what (...) metaphysics in fact is -- the nature of metaphysics. The conception of metaphysics which I support could be called Aristotelian, as opposed to Kantian: metaphysics is the first philosophy and the basis of all other philosophical and scientific inquiry. I will argue that this is indeed the most plausible conception of metaphysics. (shrink)

This is a review of David Chalmers's /Constructing the World/. The short, short version: there are issues, but you should definitely read the book.