This paper examines two puzzles of indeterminacy. The first puzzle concerns the hypothesis that there is a unified phenomenon of indeterminacy. How are we to reconcile this with the apparent diversity of reactions that indeterminacy prompts? The second puzzle focuses narrowly on borderline cases of vague predicates. How are we to account for the lack of theoretical consensus about what the proper reaction to borderline cases is? I suggest (building on work by Maudlin) that the characteristic feature of indeterminacy is (...) alethic normative silence, and use this to explain both plurality and lack of consensus. (shrink)

The present paper argues that there are at least two equally plausible yet mutually incompatible answers to the question of what is of non-instrumental epistemic value. The hypothesis invoked to explain how this can be so—moderate epistemic expressivism—holds that (a) claims about epistemic value express nothing but commitments to particular goals of inquiry, and (b) there are at least two viable conceptions of those goals. It is shown that such expressivism survives recent arguments against a more radical form of epistemic (...) expressivism, as well as two further arguments, framed in terms of the two most promising attempts to ground claims about epistemic value in something other than commitments to particular conceptions of inquiry. While this does not establish that moderate epistemic expressivism is true, its ability to explain a significant but puzzling axiological datum, as well as withstand strong counterarguments, makes clear that it is a theory to be reckoned with. (shrink)

Expressivist views of an area of discourse encourage us to ask not about the nature of the relevant kinds of values but rather about the nature of the relevant kind of evaluations. Their answer to the latter question typically claims some interesting disanalogy between those kinds of evaluations and descriptions of the world. It does so in hope of providing traction against naturalism-inspired ontological and epistemological worries threatening more ‘realist’ positions. This is a familiar position regarding ethical discourse; however, some (...) authors have recently defended a similar view regarding epistemic discourse. Others have argued that epistemic expressivism faces special problems, not necessarily attaching to expressivism about other areas. Their arguments differ in interesting ways, but the common strategy is an attempt to show that the very sort of meta-epistemological theorizing needed to articulate and establish epistemic expressivism involves the epistemic expressivist in some sort of internal incoherence or self-defeat. That is, they think that articulating or defending the position requires implicit commitment to the negation of one of the positions core tenets. This paper responds to those arguments on behalf of epistemic expressivism, suggesting that they each misunderstand what is crucial to epistemic expressivism. By responding to these arguments, we hope to achieve more clarity about what epistemic expressivism is and why one might want to endorse it in a meta-epistemology. (shrink)

It is our contention that an ontological commitment to propositions faces a number of problems; so many, in fact, that an attitude of realism towards propositions—understood the usual “platonistic” way, as a kind of mind- and language-independent abstract entity—is ultimately untenable. The particular worries about propositions that marshal parallel problems that Paul Benacerraf has raised for mathematical platonists. At the same time, the utility of “proposition-talk”—indeed, the apparent linguistic commitment evident in our use of 'that'-clauses (in offering explanations and making (...) predictions)—is also in need of explanation. We account for this with a fictionalist analysis of our use of 'that'-clauses. Our account avoids certain problems that arise for the usual error-theoretic versions of fictionalism because we apply the notion of semantic pretense to develop an alternative, pretense-involving, non-error-theoretic, fictionalist account of proposition-talk. (shrink)

*This work has turned into a bigger project, and some of it is published in "Lewis on reference".* Some things, argues Lewis, are just better candidates to be referents than others. Even at the cost of attributing false beliefs, we interpret people as referring to the most interesting kinds in their vicinity. How should this be accounted for? In section 1, I look at Lewis’s interpretationism, and the reference magnetism it builds in (not just for ‘perfectly natural’ properties, but for (...) certain kinds of auxiliary apparatus). In section 2, I draw on (Field, 1975) to argue that what properties are reference magnetic may be an ultimately conventional matter—though in the Lewisian setting, there may be an objectively best conventional choice to make. But Lewis’s own account has implausible commitments, so in section 3 I consider variations and alternatives, all of which have problems. In section 4, I look in more detail at eligibility-based interpretationism that do not appeal to naturalness, arguing that there are credible metasemantic theories of this form. (shrink)

*These notes were folded into the published paper "Probability and nonclassical logic*. Revising semantics and logic has consequences for the theory of mind. Standard formal treatments of rational belief and desire make classical assumptions. If we are to challenge the presuppositions, we indicate what is kind of theory is going to take their place. Consider probability theory interpreted as an account of ideal partial belief. But if some propositions are neither true nor false, or are half true, or whatever—then it’s (...) far from clear that our degrees of belief in it and its negation should sum to 1, as classical probability theory requires (?, cf.). There are extant proposals in the literature for generalizing (categorical) probability theory to a non-classical setting, and we will use these below. But subjective probabilities themselves stand in functional relations to other mental states, and we need to trace the knock-on consequences of revisionism for this interrelationship (arguably, degrees of belief only count as kinds of belief in virtue of standing in these functional relationships). (shrink)

Might it be that world itself, independently of what we know about it or how we represent it, is metaphysically indeterminate? This article tackles in turn a series of questions: In what sorts of cases might we posit metaphysical indeterminacy? What is it for a given case of indefiniteness to be 'metaphysical'? How does the phenomenon relate to 'ontic vagueness', the existence of 'vague objects', 'de re indeterminacy' and the like? How might the logic work? Are there reasons for postulating (...) this distinctive sort of indefiniteness? Conversely, are there reasons for denying that there is indefiniteness of this sort? (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 develops 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} is 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)

The metaphysics of representation poses questions such as: in virtue of what does a sentence, picture, or mental state represent that the world is a certain way? In the first instance, I have focused on the semantic properties of language: for example, what is it for a name such as ‘London’ to refer to something? Interpretationism concerning what it is for linguistic expressions to have meaning, says that constitutively, semantic facts are fixed by best semantic theory. As here developed, it (...) promises to give a reductive, universal and non-revisionary account of the nature of linguistic representation. -/- Interpretationism in general, however, is threatened by severe internal tension, due to arguments for radical inscrutability. These contend that, given the interpretationist setting, there can be no fact of the matter what object an individual word refers to: for example, that there is no fact of the matter as to whether “London” refers to London or to Sydney. -/- A series of challenges emerge, forming the basis for this thesis. 1. What sort of properties is the interpretationist trying to reduce, and what kind of reductive story is she offering? 2. How are inscrutability theses best formulated? Are arguments for inscrutability effective in their own terms? What kinds of inscrutability arise? 3. Is endorsing radical inscrutability a stable position? 4. Are there theoretical virtues—such as simplicity—that can be appealed to in discrediting the rival (empirically equivalent) theories that underpin inscrutability arguments? -/- In addressing these questions, I concentrate on diagnosing the source of inscrutability, mapping the space of ways of resisting the arguments for radical inscrutability, and examining the challenges faced in developing a principled account of linguistic content that avoids radical inscrutability. -/- The effect is not to close down the original puzzles, but rather to sharpen them into a set of new and deeper challenges. (shrink)

Minimalists, such as Paul Horwich, claim that the notions of truth, reference and satisfaction are exhausted by some very simple schemes. Unfortunately, there are subtle difficulties with treating these as schemes, in the ordinary sense. So instead, minimalists regard them as illustrating one-place functions, into which we can input propositions (when considering truth) or propositional constituents (when considering reference and satisfaction). However, Bertrand Russell's Gray's Elegy argument teaches us some important lessons about propositions and propositional constituents. When applied to minimalism, (...) these lessons show us why we should abandon it. (shrink)

In the recent literature on all things metaontological, discussion of a notorious Meinongian doctrine—the thesis that some objects have no kind of being at all—has been conspicuous by its absence. And this is despite the fact that this thesis is the central element of the noneist metaphysics of Richard Routley (1980) and Graham Priest (2005). In this paper, we therefore examine the metaontological foundations of noneism, with a view to seeing exactly how the noneist's approach to ontological inquiry differs from (...) the orthodox Quinean one. We proceed by arguing that the core anti-Quinean element in noneism has routinely been misidentified: rather than concerning Quine's thesis that to be is to be the value of a variable, the real difference is that the noneist rejects what we identify as Quine's “translate-and-deflate” methodology. In rejecting this aspect of Quinean orthodoxy, the noneist is in good company: many of those who think that questions of fundamentality should be the proper focus of ontological inquiry can be read as rejecting it too. Accordingly, we then examine the differences between the noneist's conception of ontology and that offered by the fundamentalist. We argue that these two anti-Quinean approaches differ in terms of their respective conceptions of the theoretical role associated with the notion of being. And the contrast that emerges between them is, in the end, an explanatory one. (shrink)

Consider the following 'principles':2(Norm of Belief Schema) Necessarily, a belief of is correct (relative to some scenario) if and only if p (at that scenario) — where 'p' has the aforementioned content .(Generalized Norm of Belief) Necessarily, for all propositions , a belief of is correct (relative to some scenario) if and only if is true (at that scenario).Both 'principles' appear to capture the aim(s) of belief. (NBS) particularizes the aims to beliefs of distinct content-types. (GNB) generalizes these aims of (...) beliefs as truth. Properly understood, the instances of (NBS) appear to be at least approximately true as does (GNB). Of course, one might harbor concerns about whether these are mere .. (shrink)

This thesis comprises three main chapters—each comprising one relatively standalone paper. The unifying theme is fragmentalism about truth, which is the view that the predicate “true” either expresses distinct concepts or expresses distinct properties. -/- In Chapter 1, I provide a formal development of alethic pluralism. Pluralism is the view that there are distinct truth properties associated with distinct domains of subject matter, where a truth property satisfies certain truth-characterizing principles. On behalf of pluralists, I propose an account of logic (...) and semantics that shows how they can answer central conceptual and logical challenges for their view. -/- In Chapter 2, I motivate and develop a modal account of propositions on the basis of an iterative conception of propositions, where the modality is logico-mathematical. The modal account of propositions takes the conception to motivate an inherently potential hierarchy of propositions. I show that the account helps provide satisfying solutions to the intensional paradoxes of Russell-Myhill, Kaplan, and Prior. -/- In Chapter 3, I propose that “true” is polysemous. I suggest that “true” is initially polysemous between correspondence truth and disquotational truth, and further polysemous between the meanings corresponding to the subconcepts of the concept truth generated by the indefinite extensibility of that concept. I show that the proposal provides satisfying solutions to the semantic paradoxes. (shrink)

What is the cognitive value of the concept of truth? What epistemic difference does the concept of truth make to those who grasp it? This paper employs a new perspective for thinking about the concept of truth and recent debates concerning it, organized around the question of the cognitive value of the concept of truth. The paper aims to defend a substantively correct and dialectically optimal account of the cognitive value of the concept of truth. This perspective is employed in (...) understanding the critical discussion around what Hartry Field has called “the incorporation model” for extending a deflationary view of truth to foreign sentences. Field's original intentions in discussing the incorporation model were to defend the deflationary view from some counterintuitive consequences concerning the understanding of truth attributions to foreign sentences. However, more recently, philosophers unencumbered by deflationary commitments have taken over the incorporation model for their own inflationary purposes. In particular, and in my terms, these philosophers can be understood as making what I argue is the ultimately too radical suggestion that the cognitive value of the concept of truth is to allow the incorporation not only of the linguistically foreign, but also of the conceptually alien. I clarify this dialectic en route to explaining and arguing for the cognitive inflationary view, according to which the cognitive value of the concept of truth is is to make possible the proprietary kind and quality of knowledge allowed by reflective clarity over the concepts and thoughts that one already has. (shrink)

In spite of his tragically short life, Ramsey made extensive contributions in the fields of mathematics, logic, economics and philosophy. In this article we focus on Ramsey's investigations into the notions of belief and judgement, their truth conditions and probability theory. We show that the central role given by Ramsey to belief and action together with his pragmatism allows for a new interpretation of the theories of truth and probability, paving the way for a modern decision theory.

This is a critical notice of Mark Wilson's Wandering Significance.