This document presents a Gentzen-style deductive calculus and proves that it is complete with respect to a 3-valued semantics for a language with quantifiers. The semantics resembles the strong Kleene semantics with respect to conjunction, disjunction and negation. The completeness proof for the sentential fragment fills in the details of a proof sketched in Arnon Avron (2003). The extension to quantifiers is original but uses standard techniques.

Some philosophers respond to Leibniz’s “shift” argument against absolute space by appealing to antihaecceitism about possible worlds, using David Lewis’s counterpart theory. But separated from Lewis’s distinctive system, it is difficult to understand what this doctrine amounts to or how it bears on the Leibnizian argument. In fact, the best way of making sense of the relevant kind of antihaecceitism concedes the main point of the Leibnizian argument, pressing us to consider alternative spatiotemporal metaphysics.

Empiricist philosophers like Carnap invoked analyticity in order to explain a priori knowledge and necessary truth. Analyticity was “truth purely in virtue of meaning”. The view had a deflationary motivation: in Carnap’s proposal, linguistic conventions alone determine the truth of analytic sentences, and thus there is no mystery in our knowing their truth a priori, or in their necessary truth; for they are, as it were, truths of our own making. Let us call this “Carnapian conventionalism”, conventionalismC and cognates for (...) short. This conventionalistC explication of the a priori has been the target of sound criticisms. Arguments like Quine’s in “Truth by Convention” are in our view decisive: the truth of conventionalismC requires that the class of logical truths and logical validities be reductively accounted for as conventionally established; however, no such reduction is forthcoming, because logic is needed to generate the entire class from any given set of conventions properly so-called. Granted that conventionalismC is untenable, we want to take issue with a different, usually made criticism. Although the argument uncovers some difficulties for the way conventionalist claims are defended by some of its advocates, we will try to show that it fails. The criticism thus stands in the way of a proper appreciation of why the Carnapian account of the a priori is not correct. We will try to illustrate this by showing that the criticism we will dispute would dispose of conventionalist claims not only regarding philosophically problematic cases – logical and mathematical truths –, but also regarding cases for which they have some prima facie plausibility. One such case is that of truths that follow from mere abbreviations, “nominal” definitions; ‘someone is a bachelor if and only if he is an unmarried adult male’ can serve at this point for illustration. We will try to articulate a clear sense in which the contents of assertion such as this can be truths by convention. We do not need to prove that a conventionalist claim is true in those cases; it is enough for us to show that it is intelligible, for the arguments we will confront question even this. (shrink)

David Lewis holds that a single possible world can provide more than one way things could be. But what are possible worlds good for if they come apart from ways things could be? We can make sense of this if we go in for a metaphysical understanding of what the world is. The world does not include everything that is the case—only the genuine facts. Understood this way, Lewis's “cheap haecceitism” amounts to a kind of metaphysical anti-haecceitism: it says there (...) aren't any genuine facts about individuals over and above their qualitative roles. (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)

Suppose one has a visual experience as of having hands, and then reasons as follows: I have hands, If I have hands an external world exists; An external world exists. Suppose one’s visual experience gives one defeasible perceptual warrant, or justification, to believe – that is, one’s experience makes it epistemically appropriate to believe . And suppose one comes to believe on the basis of this visual experience. The conditional premise is knowable a priori. And can be established by modus (...) ponens inference. If one reasons thus, say one’s engaged in -reasoning. What, if anything, is wrong with -reasoning? I consider two prominent responses to this question – the dogmatists’ and Crispin Wright’s. Each finds fault in -reasoning, but on different grounds. I argue Wright’s response faces a problem which is standardly only taken to be faced by dogmatists. (shrink)

From the popular view that the property of truth adds nothing not already inherent in its bearers it has been inferred that classical theories of truth are thereby refuted. Taking as representative a version of deflationism based on a certain way of interpreting the Tarskian schema convention T–and popularly called "disquotational"–I argue that the view is beset by fatal difficulties. These include: an unavoidable awkwardness in handling indexicals; an inability to accept anything more than a too anemic notion of a (...) truth condition, leaving it defenseless against clearly inadequate alternatives; and an incapacity to show that its characteristic biconditional can support any acceptable dependency claims (made evident by replacing the biconditional with 'because'). Finally, were there no predicate on the order of 'is true', this would not annihilate the property of being true or the current grounds for philosophical inquiries about it. This is an important clue to why deflationary approaches in general are dead ends. (shrink)

This paper offers a rejoinder to an argument by Schiffer against semantic accounts of vagueness (typically relying on supervaluationist techniques) based on indirect discourse. The argument, as far as I know original with Schiffer, occurs in “Two Issues of Vagueness” (Schiffer 1998). It is not addressed at supervaluationism as such, but at the philosophical account of vagueness which typically relies on it. Supervaluationism is not by itself a theory, but a logical technique with several applications. In one such application, supervaluationism (...) serves to alleviate a tension between, on the one hand, the rejection of bivalence for some utterances which characterizes what I take to be the correct view on vagueness (vagueness as semantic indecision – ‘VSI’ henceforth –, to put it in the terms of a well-known defender of the view, David Lewis), and, on the other, well-established facts about the semantics of logical expressions. I will address Schiffer’s argument by putting forward some considerations on the concept of de re thoughts which I take to undermine it. These considerations are not ad hoc, but highly germane to VSI; or so I will try to show. (shrink)

This book is an inquiry into the philosophical concern with truth as one joint subject in philosophy of language and metaphysics and presents a theory of truth, substantive perspectivism (SP). Emphasizing our basic pre-theoretic understanding of truth (i.e., what is captured by the axiomatic thesis of truth that the nature of truth consists in capturing the way things are), and in the deflationism vs. substantivism debate background, SP argues for the substantive nature of non-linguistic truth and its notion’s indispensable substantive (...) explanatory role, both of which are not only intrinsically beyond what the linguistic function of the truth predicate can tell but are fundamentally related to the raison d’être of the truth predicate. Taking a holistic approach, SP endeavors to do justice to various reasonable perspectives, which are somehow contained in many competing accounts of truth, through a coordinate system: SP interprets such perspectives as distinct but related perspective-elaboration principles that distinctively (regarding distinct dimensions of the truth concern and/or for the sake of distinct purposes) elaborate, but are also unified by, the truth axiom thesis. To look at the issue from a broader vision, the book also takes a cross-tradition approach exploring the relationship between Daoist thinking of truth and thinking about truth in analytic philosophy.This book will enhance our systematic understanding of the issue through its holistic approach, broaden our vision on the issue via its cross-tradition approach, and enrich the conceptual and explanatory resources in treating the issue. (shrink)

Disquotational theories of truth, that is, theories of truth based on the T-sentences or similar equivalences as axioms are often thought to be deductively weak. This view is correct if the truth predicate is allowed to apply only to sentences not containing the truth predicate. By taking a slightly more liberal approach toward the paradoxes, I obtain a disquotational theory of truth that is proof theoretically as strong as compositional theories such as the Kripket probe the compositional axioms.

Moral realism and antirealist-expressivism are of course incompatible positions. They disagree fundamentally about the nature of moral states of mind, the existence of moral states of affairs and properties, and the nature and role of moral discourse. The central realist view is that a person who has or expresses a moral thought is thereby in, or thereby expresses, a cognitive state of mind; she has or expresses a belief that represents a moral state of affairs in a way that might (...) be accurate or inaccurate. The view of antirealist-expressivism is that such a person is in, or expresses, a conative state of mind, one that consists in a certain kind of attitude or motivational stance toward something, such as an action or a person. Realism holds that moral thoughts have truth conditions and that in some cases these truth conditions are satisfied so that our moral thoughts are true. Antirealist-expressivism holds, to a first approximation, that the distinctive moral content of a moral thought does not have truth conditions. (shrink)

Ontology is the study of what there is, what kinds of things make up reality. Ontology seems to be a very difficult, rather speculative discipline. However, it is trivial to conclude that there are properties, propositions and numbers, starting from only necessarily true or analytic premises. This gives rise to a puzzle about how hard ontological questions are, and relates to a puzzle about how important they are. And it produces the ontologyobjectivity dilemma: either (certain) ontological questions can be trivially (...) answered using only uncontroversial premises, or the uncertainties of ontology are really a threat to the truth of basically everything we say or believe. The main aim of this dissertation is to resolve these puzzles and to shed some light on the discipline of ontology. I defend a view inspired by Carnap’s internal-external distinction about what there is, but one according to which both internal and external questions are fully factual and meaningful. In particular, I argue that the trivial arguments are valid, but they do not answer any ontological questions. Furthermore, I propose an account of the function of our talk about properties, propositions and natural numbers. According to this account our talk about them has no ontological presuppositions for its literal and objective truth. This avoids the ontology-objectivity dilemma, and solves the puzzles about ontology. To do this I look at quantification and noun phrases in general, and at their relation to ontology. I argue that quantifiers are semantically underspecified in a certain respect, and play two different roles in communication. I discuss the relation between syntactic form and information structure, the function of certain non-referential, non-quantificational noun phrases, the uses of bare number determiners, and how arithmetic truths are learned and taught. The more metaphysical issues discussed include: inexpressible properties, logicism about arithmetic, nominalism, Carnap’s view about ontology, the problem of universals, the relationship between ontology and objectivity, different projects within ontology, non-existent.... (shrink)

The paper outlines a view of normativity that combines elements of relativism and expressivism, and applies it to normative concepts in epistemology. The result is a kind of epistemological anti-realism, which denies that epistemic norms can be (in any straightforward sense) correct or incorrect; it does allow some to be better than others, but takes this to be goal-relative and is skeptical of the existence of best norms. It discusses the circularity that arises from the fact that we need to (...) use epistemic norms to gather the facts with which to evaluate epistemic norms; relatedly, it discusses how epistemic norms can rationally evolve. It concludes with some discussion of the impact of this view on "ground level" epistemology. (shrink)

According to the deflationary theory of truth, to assert that a statement is true is just to assert the statement itself. For example, to say that ‘snow is white’ is true, or that it is true that snow is white, is equivalent to saying simply that snow is white, and this, according to the deflationary theory, is all that can be said significantly about the truth of ‘snow is white’.

The purpose of this paper is to present a thought experiment and argument that spells trouble for “radical” deflationism concerning meaning and truth such as that advocated by the staunch nominalist Hartry Field. The thought experiment does not sit well with any view that limits a truth predicate to sentences understood by a given speaker or to sentences in (or translatable into) a given language, unless that language is universal. The scenario in question concerns sentences that are not understood but (...) are known to be logical consequences of known and understood sentences. Ultimately, the issue turns on the notion of logical consequence that is available to various versions of deflationism. (shrink)

If □ is conceived as an operator, i.e., an expression that gives applied to a formula another formula, the expressive power of the language is severely restricted when compared to a language where □ is conceived as a predicate, i.e., an expression that yields a formula if it is applied to a term. This consideration favours the predicate approach. The predicate view, however, is threatened mainly by two problems: Some obvious predicate systems are inconsistent, and possible-worlds semantics for predicates of (...) sentences has not been developed very far. By introducing possible-worlds semantics for the language of arithmetic plus the unary predicate □, we tackle both problems. Given a frame (W, R) consisting of a set W of worlds and a binary relation R on W, we investigate whether we can interpret □ at every world in such a way that □ $\ulcorner A \ulcorner$ holds at a world ᵆ ∊ W if and only if A holds at every world $\upsilon$ ∊ W such that ᵆR $\upsilon$ . The arithmetical vocabulary is interpreted by the standard model at every world. Several 'paradoxes' (like Montague's Theorem, Gödel's Second Incompleteness Theorem, McGee's Theorem on the ω-inconsistency of certain truth theories, etc.) show that many frames, e.g., reflexive frames, do not allow for such an interpretation. We present sufficient and necessary conditions for the existence of a suitable interpretation of □ at any world. Sound and complete semi-formal systems, corresponding to the modal systems K and K4, for the class of all possible-worlds models for predicates and all transitive possible-worlds models are presented. We apply our account also to nonstandard models of arithmetic and other languages than the language of arithmetic. (shrink)

Scientific realism says of our best scientific theories that (1) most of their important posits exist and (2) most of their central claims are approximately true. Antirealists sometimes offer the pessimistic induction in reply: since (1) and (2) are false about past successful theories, they are probably false about our own best theories too. The contemporary debate about this argument has turned (and become stuck) on the question, Do the central terms of successful scientific theories refer? For example, Larry Laudan (...) offers a list of successful theories that employed central terms that failed to refer, and Philip Kitcher replies with a view about reference in which the central terms of such theories did sometimes refer. This article attempts to break this stalemate by proposing a direct version of the pessimistic induction, one that makes no explicit appeal to a substantive notion or theory of reference. While it is premature to say that this argument succeeds in showing that realism is probably false, the direct pessimistic induction is not subject to any kind of reference-based objection that might cripple a weaker, indirect version of the argument. Any attempt to trounce the direct pessimistic induction with a theory of reference fails. (shrink)

A standard approach to indeterminacy treats ‘determinately’ and ‘indeterminately’ as modal operators. Determinacy behaves like necessity; indeterminacy like contingency. This raises two questions. What is the appropriate modal system for these operators? And how should we interpret that system? Ken Akiba has developed an account of ontic indeterminacy that interprets possible worlds as worldly precisifications. He argues that this account vindicates S4 as the logic of indeterminacy. In this paper I explore one significant and surprising consequence of this view. I (...) do this in two stages. First, I prove a technical result, which I call the Infinite Indeterminacy Theorem. Roughly put, this theorem states that, at any given precisification w, either every instance of indeterminacy admits of never-ending higher-order indeterminacy, or else there's indeterminacy in an infinite amount of distinct atomic formulas. In slogan form: either all indeterminacy is infinitely ascending or else there's infinitely wide indeterminacy. Second, I unpack the metaphysical consequences of this technical result (under its intended interpretation) and assess their plausibility. I conclude that these consequences commit Akiba's theory to highly contentious – and arguably untenable – views about the metaphysics of indeterminacy and related matters. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (e.g. names and concepts) are endowed (...) with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

We observe that Putnam’s model-theoretic argument against determinacy of the concept of second-order quantification or that of the set is harmless to the nominalist. It serves as a good motivation for the nominalist philosophy of mathematics. But in the end it can lead to a serious challenge to the nominalist account of mathematical objectivity if some minimal assumptions about the relation between mathematical objectivity and logical objectivity are made. We consider three strategies the nominalist might take to meet this challenge, (...) and we argue that all these strategies are untenable. (shrink)

The distinction between the a priori and the a posteriori is an old and influential one. But both the distinction itself and the crucial notion of a priori knowledge face powerful philosophical challenges. Many philosophers worry that accepting the a priori is tantamount to accepting epistemic magic. In contrast, this Element argues that the a priori can be formulated clearly, made respectable, and used to do important epistemological work. The author's conception of the a priori and its role falls short (...) of what some historical proponents of the notion may have hoped for, but it allows us to accept and use the notion without abandoning either naturalism or empiricism, broadly understood. This Element argues that we can accept and use the a priori without magic. (shrink)

Deflationism about truth, what is often simply called “deflationism”, is really not so much a theory of truth in the traditional sense, as it is a different, newer sort of approach to the topic. Traditional theories of truth are part of a philosophical debate about the nature of a supposed property of truth. Philosophers offering such theories often make suggestions like the following: truth consists in correspondence to the facts; truth consists in coherence with a set of beliefs or propositions; (...) truth is what is acceptable in the ideal limit of inquiry. According to deflationists, such suggestions are mistaken, and, moreover, they all share a common mistake. The common mistake is to assume that truth has a nature of the kind that philosophers might find out about and develop theories of. The main idea of the deflationary approach is (a) that all that can be significantly said about truth is exhausted by an account of the role of the expression ‘true’ or of the concept of truth in our talk and thought, and (b) that, by contrast with what traditional views assume, this role is neither metaphysically substantive nor explanatory. For example, according to deflationary accounts, to say that ‘snow is white’ is true, or that it is true that snow is white, is in some sense strongly equivalent to saying simply that snow is white, and this, according to the deflationary approach, is all that can be said significantly about the truth of ‘snow is white’. Philosophers looking for some underlying nature of some truth property that is attributed with the use of the expression ‘true’ are bound to be frustrated, the deflationist says, because they are looking for something that isn’t there. Deflationism comprises a variety of different versions, each of which have gone by different names, including at least the following: disquotationalism, minimalism, prosententialism, the redundancy theory, the disappearance theory, the no-truth theory. There has not always been terminological consensus in the literature about how to use these labels: sometimes they have been used interchangeably; sometimes they have been used to mark distinctions between different developments of the same general approach. The actual variety of deflationary views has not always been clear in discussions of this approach, especially in the earlier literature, where important differences are occasionally missed. To help clear this up, we will use ‘deflationism’ to denote the general approach we want to discuss and reserve other names for specific versions of that approach. (shrink)

In this work I defend moral realism, the thesis that there are objective moral truths, by defending “epistemic realism.” Epistemic realism is the thesis that epistemic judgments, e.g., judgments that some belief is epistemically reasonable, or justified, or known or should be held, are sometimes true and made true by stance-independent epistemic facts and properties. -/- One might think that epistemic realism needs no defense because it is obviously true and nearly universally accepted. But there are influential arguments against moral (...) realism, which is analogous to epistemic realism: moral realists think that moral judgments, e.g., that something is morally good, or ought to be done, are sometimes true because there are stance-independent moral facts and properties. Moral irrealists deny this for a variety of semantic, metaphysical, psychological and epistemological reasons. They argue that moral judgments are neither true nor false since they are non-cognitive expressions of emotion or commands, or are never true since they fail to refer, or that their truth is “relative.” -/- Drawing on the moral irrealisms of Ayer, Stevenson, Hare, Mackie, Harman, and more recent thinkers, I construct parallel arguments for epistemic irrealisms. On these views, epistemic judgments are also merely expressive, a kind of command, always false, or relativistic in truth conditions: even “epistemic platitudes” like “justified beliefs are better than unjustified beliefs” and “ideally, one’s beliefs ought to be consistent” are understood not as epistemic propositions that might be believed (much less believed truly), or as attempts to accurately represent epistemic facts, or as attributions of epistemic properties. -/- The implications of these claims are highly at odds with common epistemological assumptions, even those that moral irrealists tend to accept. I argue that these implications are rationally unacceptable and that, therefore, the premises that support them should be rejected. Since these premises are those given in defense of moral irrealisms, I thereby defend both moral and epistemic realism. Thus, I argue that “oughts,” “shoulds” and other evaluative judgments are equally legitimate in both ethics and epistemology. (shrink)

If, as expressivists maintain, the function of normative thought and talk is not to represent or describe the world, then how can normative judgements be correct or incorrect? In particular, how can I make sense of my own normative fallibility, the possibility that my own normative judgements might be mistaken? In this paper, I construct and defend a substantive but non-representational theory of normative (in)correctness for expressivists. Inspired by Blackburn’s (1998: 318) proposal that I make sense of my fallibility in (...) terms of the possibility that my judgements might be unstable through improvement, my account is designed in the first instance to vindicate the expressivist’s conception of the nature of normative inquiry. I then defend the proposal from the charge that it leaves insufficient room for my own fallibility, and in particular from Egan’s (2007) argument that it implies a “smug” asymmetry between myself and others. Critical to the response is the appeal to indeterminacy in cases of fundamental normative disagreement between reasonable normative outlooks. (shrink)

ABSTRACT Our ascriptions of content to past utterances assign to them a level of conceptual continuity and determinacy that extends beyond what could be grounded in the usage up to their time of utterance. If one accepts such ascriptions, one can argue either that future use must be added to the grounding base, or that such cases show that meaning is not, ultimately, grounded in use. The following will defend the first option as the more promising of the two, though (...) this ultimately requires understanding the relation between use and meaning as ‘normative’ in two important ways. The first way is that the function from use to meaning must be of a sort that allows us to maintain a robust distinction between actual and correct use. The second sort of normativity is unique to theories that extend the grounding base into the future. In particular, if meaning is partially a function of future use, we can see our commitment to the ‘determinacy’ of meaning as a practical commitment that structures our linguistic practices rather than a theoretical commitment that merely describes them. (shrink)

This thesis engages with three topics and the relationships between them: (i) the phenomenon of disagreement (paradigmatically, where one person makes a claim and another denies it); (ii) the normative character of disagreements (the issue of whether, and in what sense, one of the parties is “at fault” for believing something that’s untrue); (iii) the issue of which theory of what truth is can best accommodate the norms relating belief and truth. People disagree about all sorts of things: about whether (...) climate is changing, death penalty is wrong, sushi is delicious, or Louis C.K. is funny. However, even focusing on disagreements in the evaluative domain (e.g., taste, moral and comedic), where people have the intuition that there is ‘no fact of the matter’ about who is right, there are significant differences that require explanation. For instance, disagreement about taste is generally perceived as shallow. People accept to disagree and live comfortably with that fact. By contrast, moral disagreement is perceived as deep and sometimes hard to tolerate. Comedic disagreement is similar to taste. However, it may involve an element of ‘intellectual snobbery’ that is absent in taste disagreement. The immediate questions are whether these contrasts allow of precise characterization and what is responsible for them. I argue that, once a case is made for the truth-aptness of judgments in these areas, the contrast can be explained in terms of variable normative function of truth – as exerting a lightweight normative constraint in the domain of taste and a stricter constraint in the moral domain. In particular I claim that while truth in the moral domain exerts a sui generis deontic control, this normative feature of truth is silent in both the taste and the comedic domains. This leads me to investigate how to conceive of truth in the light of normative variability. I argue that an amended version of deflationism – minimally inflated deflationism – can account for the normative variability of truth. (shrink)

According to the plurivaluationist, our vague discourse doesn’t have a single meaning. Instead, it has many meanings, each of which is precise—and it is this plurality of meanings that is the source of vagueness. I believe plurivaluationist positions are underdeveloped and for this reason unpopular. This paper attempts to correct this situation by offering a particular development of plurivaluationism that I call supersententialism. The supersententialist leverages lessons from another area of research—the Problem of the Many—in service of the plurivaluationist position. (...) The Problem reveals theoretical reasons to accept that there are many cats where we thought there was one; the supersententialist claims that we are in a similar situation with respect to languages, propositions and sentences. I argue that the parallel suggested by the supersententialist reveals unappreciated advantages and lines of defense for plurivaluationism. (shrink)

Conditional excluded middle (CEM) is the following principe of counterfactual logic: either, if it were the case that φ, it would be the case that ψ, or, if it were the case that φ, it would be the case that not-ψ. I will first show that CEM entails the identity of indiscernibles, the falsity of physicalism, and the failure of the modal to supervene on the categorical and of the vague to supervene on the precise. I will then argue that (...) we should accept these startling conclusions, since CEM is valid. (shrink)

I examine three ‘anti-object’ metaphysical views: nihilism, generalism, and anti-quantificationalism. After setting aside nihilism, I argue that generalists should be anti-quantificationalists. Along the way, I attempt to articulate what a ‘metaphysically perspicuous’ language might even be.

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)

Suppose that all non-qualitative facts are grounded in qualitative facts. I argue that this view naturally comes with a picture in which trans-world identity is indeterminate. But this in turn leads to either pervasive indeterminacy in the non-qualitative, or else contingency in what facts about modality and possible worlds are determinate.

This commentary is devoted to offer a rejoinder to an argument by Schiffer against semantic accounts of vagueness (typically relying on supervaluationist techniques) based on indirect discourse. A short sketch of the argument can be found on pp. 246-48 of ‘Vagueness and Partial Belief’ ; a more elaborated presentation occurs in “TWOIs sues of Vagueness”.

The naive theory of vagueness holds that the vagueness of an expression consists in its failure to draw a sharp boundary between positive and negative cases. The naive theory is contrasted with the nowadays dominant approach to vagueness, holding that the vagueness of an expression consists in its presenting borderline cases of application. The two approaches are briefly compared in their respective explanations of a paramount phenomenon of vagueness: our ignorance of any sharp boundary between positive and negative cases. These (...) explanations clearly do not provide any ground for choosing the dominant approach against the naive theory. The decisive advantage of the former over the latter is rather supposed to consist in its immunity to any form of sorites paradox. But another paramount phenomenon of vagueness is higher-order vagueness: the expressions introduced in order to express in the object language the vagueness of the object language are themselves vague. Two highly plausible claims about higher-order vagueness are articulated and defended: the existence of “definitely ω ” positive and negative cases and the “radical” character of higher-order vagueness itself. Using very weak logical principles concerning vague expressions and the ‘definitely’-operator, it is then shown that, in the presence of higher-order vagueness as just described, the dominant approach is subject to higher-order sorites paradoxes analogous to the original ones besetting the naive theory, and therefore that, against the communis opinio, it does not fare substantially better with respect to immunity to any form of sorites paradox. (shrink)

Correspondence theories are frequently charged with being either implausible -- metaphysically troubling and overly general -- or trivial -- collapsing into deflationism's "'P' is true iff P." Philip Kitcher argues for a "modest" correspondence theory, on which reference relations are causal relations, but there is no general theory of denotation. In this paper, I start by showing that, understood this way, "modest" theories are open to charges of triviality. I then offer a refinement of modesty, and take the first steps (...) toward articulating a modest correspondence theory, giving a particular account of the relation between predicates, properties, and extensions. Finally, I argue that my account does not collapse into a deflationary one. (shrink)

I wish to present a proof that vagueness is impossible. Of course, vagueness is possible; and so there must be something wrong with the proof. But it is far from clear where the error lies and, indeed, all of the assumptions upon which the proof depends are ones that have commonly been accepted. This suggests that we may have to radically alter our current conception of vagueness if we are to make proper sense of what it is.

In this paper, I argue (a) that the predicate "true" is ambiguously used to express a deflationary and a substantial concept of truth and (b) that the two concepts are systematically related in that substantial truths are deflationary truths of a certain kind. Claim (a) allows one to accept the main insights of deflationism but still take seriously, and participate in, the traditional debate about the nature of truth. Claim (b) is a contribution to that debate. The overall position is (...) not new and it has previously been defended by supervaluationists about vagueness. However, the position is here motivated in a new, independent way, and an explanation is offered why some uses of "true" do not seem to require disambiguation. (shrink)

This paper provides a new argument for a position of Crispin Wright's: given that ethical statements can be embedded within all sorts of sentential operators and are subject to definite standards of warrantedness, they must have truth conditions. Allan Gibbard's normative logic' is the only noncognitivist logic that stands a chance of avoiding Geach's Fregean objection. But what, according to Gibbard, is the point of avoiding inconsistency in one's ethical statements? He must say that it is to ensure that one's (...) ethical statements have a property that has certain features. But the only property that has those features is truth. (shrink)

(Pacific Philosophical Quarterly 2007) > Another look at Bar-On, Horisk and Lycan’s criticism of deflationism. I claim that their argument turns on a simple confusion about definitions and thereby fails to establish that deflationism somehow requires meaning to be explained in terms of truth conditions.

Pluralism about truth is the view that there is more than one way for a proposition to be true. When taken to imply that there is more than one concept and property of truth, this position faces a number of troubling objections. I argue that we can overcome these objections, and yet retain pluralism's key insight, by taking truth to be a multiply realizable property of propositions.

The uniform reflection principle for the theory of uniform T-sentences is added to PA. The resulting system is justified on the basis of a disquotationalist theory of truth where the provability predicate is conceived as a special kind of analyticity. The system is equivalent to the system ACA of arithmetical comprehension. If the truth predicate is also allowed to occur in the sentences that are inserted in the T-sentences, yet not in the scope of negation, the system with the reflection (...) schema for these T-sentences assumes the strength of the Kripke-Feferman theory KF, and thus of ramified analysis up to go. (shrink)

Following Hartry Field in distinguishing disquotational truth from a conception that grounds truth conditions in a community's usage, it is argued that the notions are materially inequivalent (since the latter allows truth-value gaps) and that both are needed. In addition to allowing blanket endorsements ("Everything the Pope says is true"), disquotational truth facilitates mathematical discovery, as when we establish the Gödel sentence by noting that the theorems are all disquotationally true and the disquotational truths are consistent. We require a more (...) substantial notion, however, if we intend to use truth values and truth conditions in explaining communication by language. (shrink)

In §2-4, I survey three extant ways of making sense of indeterminate truth and find each of them wanting. All the later sections of the paper are concerned with showing that the most promising way of making sense of indeterminate truth is via either a theory of truthmaker gaps or via a theory of truthmaking gaps. The first intimations of a truthmaker–truthmaking gap theory of indeterminacy are to be found in Quine (1981). In §5, we see how Quine proposes to (...) solve Unger’s problem of the many via positing the possibility of groundless truth. In §6, I elaborate the truthmaker gap model of indeterminacy first sketched by Sorensen (2001, ch.11) and use it to give a reductive analysis of indeterminate truth. In §7, I briefly assess what kind of formal framework can best express the possibility of truthmaker gaps. In §8, I contrast what I dub ‘the ordinary conception of worldly indeterminacy’ with Williamson’s conception of worldly indeterminacy. In §9, I show how one can distinguish linguistic from worldly indeterminacy on a truthmaker gap conception. In §10, I briefly sketch the relationship between truthmaker gaps and ignorance. In §11, I assess whether a truthmaker gap conception of vagueness is really just a form of epistemicism. In §12, I propose that truthmaker gaps can yield a plausible model of (semantic) presupposition failure. In §13, in response to the worry that a truthmaker gap conception of indeterminacy is both parochial and controversial—since it commits us to an implausibly strong theory of truthmaking—I set forth a truthmaking gap conception of indeterminacy. In §14, I answer the worry that groundless truths, of whatever species, are just unacceptably queer. A key part of this answer is that a truthmaker–truthmaking gap model of indeterminacy turns out to be considerably less queer than any model of indeterminacy which gives up on Tarski’s T-schema for truth (and cognate schemas). (shrink)

Huw Price holds that a recognizable version of expressivism about normative and modal language can be “globalized” so as to apply to all areas of discourse. He focuses on globalizing the anti-representationalism of expressivist theories. By contrast, this paper’s topic is the seldom-discussed way Price seeks to globalize the expressivist view that “non-descriptive” discourse exhibits subjectivity. I argue that Price’s own argument against the possibility of a purely objective domain conflicts with his anti-representationalism and is self-undermining. I then defend a (...) different strategy for arguing that a kind of subjectivity can emerge even in domains traditional expressivists have regarded as purely objective. I do so by using an account of assertoric practice to offer a new solution to a puzzle concerning how to describe contingent histories in the use of natural kind terms. (shrink)

This article is about Avicenna’s account of syllogisms comprising opposite premises. We examine the applications and the truth conditions of these syllogisms. Finally, we discuss the relation between these syllogisms and the principle of non-contradiction.

Substantivism is a general philosophical methodology advocating a substantive approach to philosophical theorizing. In this article, I present an overview of this methodology with a special emphasis on the field of truth. I begin with a framework for understanding what is at stake in the substantivist–deflationist debate and describe the substantivist critique of deflationism. I then proceed to discuss contemporary substantivism as a positive methodology, present examples of recent substantivist theories of truth, delineate several principles of philosophical substantivism, and connect (...) it to contemporary thought about the nature and methods of philosophy. Due to limitations of space, I am unable to discuss all the forms contemporary substantivism has taken. But I try to give a clear sense of the central principles, challenges, and promise of this methodology. (shrink)