This paper argues that, insofar as we doubt the bivalence of the Continuum Hypothesis or the truth of the Axiom of Choice, we should also doubt the consistency of third-order arithmetic, both the classical and intuitionistic versions. -/- Underlying this argument is the following philosophical view. Mathematical belief springs from certain intuitions, each of which can be either accepted or doubted in its entirety, but not half-accepted. Therefore, our beliefs about reality, bivalence, choice and consistency should all be aligned.

ABSTRACT John MacFarlane’s truth relativism makes use of two notions of propositional truth: a monadic assessment sensitive one taken to be our ordinary truth notion, and a non-monadic one that is meant to account for the assessment sensitivity of the former notion. Some authors contend that any theory introducing a technical non-monadic truth notion has to make sense of it by defining or characterizing it in terms of ordinary monadic truth. First, I give some reasons why the relativist should not (...) discard this approach to make sense of the notion of truth relative to a context of assessment. Second, I argue that an illuminating characterization of this notion must provide an answer to a dilemma Paul Boghossian poses to the relativist. Third, I single out the characterization that can answer this dilemma. Finally, I contend that the relativist still needs to show that this solution works for each case subject to a relativist treatment. (shrink)

The determination argument is supposed to show that a sentence's meaning is at least a truth‐condition. This argument is supposed to rest on innocent premises that even a deflationist about truth can accept. The argument comes in two versions: one is metaphysical and the other is epistemological. In this paper we will focus on the epistemological version. We will argue that the apparently innocent first premise of that version of the argument is not as innocent as it seems. If the (...) premise is understood in the sense required for the argument to go through then it should be rejected by a deflationist. (shrink)

There is an incompatibility between the deflationist approach to truth, which makes truth transparent on the basis of an antecedent grasp of meaning, and the traditional endeavour, exemplified by Davidson, to explicate meaning through of truth. I suggest that both parties are in the explanatory red: deflationist lack a non-truth-involving theory of meaning and Davidsonians lack a non-deflationary account of truth. My focus is on the attempts of the latter party to resolve their problem. I look in detail at Davidson's (...) more recent work and suggest that it seeks to articulate a primitive notion of truth that may balance between a notion that collapses into deflationism and one that is wholly subsumed under a general theory of interpretation. I conclude that this tightrope walk is ultimately unsuccessful. Equally, however, some reasons are provided for thinking that deflationism might be equally unsuccessful with its problem. 'Truth or meaning?' remains an open question. (shrink)

The determination argument is supposed to show that a sentence's meaning is at least a truth-condition. This argument is supposed to rest on innocent premises that even a deflationist about truth can accept. The argument comes in two versions: one is metaphysical and the other is epistemological. In this paper we will focus on the epistemological version. We will argue that the apparently innocent first premise of that version of the argument is not as innocent as it seems. If the (...) premise is understood in the sense required for the argument to go through then it should be rejected by a deflationist. (shrink)

Since Peirce defined the first operators for three-valued logic, it is usually assumed that he rejected the principle of bivalence. However, I argue that, because bivalence is a principle, the strategy used by Peirce to defend logical principles can be used to defend bivalence. Construing logic as the study of substitutions of equivalent representations, Peirce showed that some patterns of substitution get realized in the very act of questioning them. While I recognize that we can devise non-classical notations, I argue (...) that, when we make claims about those notations, we inevitably get saddled with bivalent commitments. I present several simple inferences to show this. The argument that results from those examples is ‘pragmatic’, because the inevitability of the principle is revealed in use (not mention); and it is ‘semiotic’, because this revelation happens in the use of signs. (shrink)

One of the deepest ideological divides in contemporary epistemology concerns the relative importance of belief versus credence. A prominent consideration in favor of credence-based epistemology is the ease with which it appears to account for rational action. In contrast, cases with risky payoff structures threaten to break the link between rational belief and rational action. This threat poses a challenge to traditional epistemology, which maintains the theoretical prominence of belief. The core problem, we suggest, is that belief may not be (...) enough to register all aspects of a subject’s epistemic position with respect to any given proposition. We claim this problem can be solved by introducing other doxastic attitudes—genuine representations—that differ in strength from belief. The resulting alternative picture, a kind of doxastic states pluralism, retains the central features of traditional epistemology—most saliently, an emphasis on truth as a kind of objective accuracy—while adequately accounting for rational action. (shrink)

Many philosophers think that moral objectivism is supported by stable features of moral discourse and thinking. When engaged in moral reasoning and discourse, people behave ‘as if’ objectivism were correct, and the seemingly most straightforward way of making sense of this is to assume that objectivism is correct; this is how we think that such behavior is explained in paradigmatically objectivist domains. By comparison, relativist, error-theoretic or non-cognitivist accounts of this behavior seem contrived and ad hoc. After explaining why this (...) argument should be taken seriously (recent arguments notwithstanding), I argue that it is nevertheless undermined by considerations of moral disagreement. Even if the metaphysical, epistemic and semantic commitments of objectivism provide little or no evidence against it, and even if the alternative explanations of ‘objectivist’ traits of moral discourse and thinking are speculative or contrived, objectivism is itself incapable of making straightforward sense of these traits. Deep and widespread moral disagreement or, rather, the mere appearance of such disagreement, strongly suggests that the explanations operative in paradigmatically objective discourse fail to carry over to the moral case. Since objectivism, no less than relativism, non-cognitivism and error-theories, needs non-trivial explanations of why we behave ‘as if’ objectivism were correct, such behavior does not presently provide reason to accept objectivism. (shrink)

The study of truth is often seen as running on two separate paths: the nature path and the logic path. The former concerns metaphysical questions about the ‘nature’, if any, of truth. The latter concerns itself largely with logic, particularly logical issues arising from the truth-theoretic paradoxes. Where, if at all, do these two paths meet? It may seem, and it is all too often assumed, that they do not meet, or at best touch in only incidental ways. It is (...) often assumed that work on the metaphysics of truth need not pay much attention to issues of paradox and logic; and it is likewise assumed that work on paradox is independent of the larger issues of metaphysics. Philosophical work on truth often includes a footnote anticipating some resolution of the paradox, but otherwise tends to take no note of it. Likewise, logical work on truth tends to have little to say about metaphysical presuppositions, and simply articulates formal theories, whose strength may be measured, and whose properties may be discussed. In practice, the paths go their own ways. Our aim in this paper is somewhat modest. We seek to illustrate one point of intersection between the paths. Even so, our aim is not completely modest, as the point of intersection is a notable one that often goes unnoticed. We argue that the ‘nature’ path impacts the logic path in a fairly direct way. What one can and must say about the logic of truth is influenced, or even in some cases determined, by what one says about the metaphysical nature of truth. In particular, when it comes to saying what the well-known Liar paradox teaches us about truth, background conceptions — views on ‘nature’ — play a significant role in constraining what can be said. This paper, in rough outline, first sets out some representative ‘nature’ views, followed by the ‘logic’ issues (viz., paradox), and turns to responses to the Liar paradox. What we hope to illustrate is the fairly direct way in which the background ‘nature’ views constrain — if not dictate — responses to the main problem on the ‘logic’ path.. (shrink)

Psychological research on people’s understanding of natural language connectives has traditionally used truth table tasks, in which participants evaluate the truth or falsity of a compound sentence given the truth or falsity of its components in the framework of propositional logic. One perplexing result concerned the indicative conditional if A then C which was often evaluated as true when A and C are true, false when A is true and C is false but irrelevant“ (devoid of value) when A is (...) false (whatever the value of C). This was called the “psychological defective table of the conditional.” Here we show that far from being anomalous the “defective” table pattern reveals a coherent semantics for the basic connectives of natural language in a trivalent framework. This was done by establishing participants’ truth tables for negation, conjunction, disjunction, conditional, and biconditional, when they were presented with statements that could be certainly true, certainly false, or neither. We review systems of three-valued tables from logic, linguistics, foundations of quantum mechanics, philosophical logic, and artificial intelligence, to see whether one of these systems adequately describes people’s interpretations of natural language connectives. We find that de Finetti’s (1936/1995) three-valued system is the best approximation to participants’ truth tables. (shrink)

§0. Alonzo Church's contributions to philosophy and to that most philosophical part of logic, intensional logic, are impressive indeed. He wrote relatively few papers actually devoted to specifically philosophical issues, as distinguished from related technical work in logic. Many of his contributions appear in reviews for The Journal of Symbolic Logic, and it can hardly be maintained that one finds there a “philosophical system”. But there occur a clearly articulated and powerful methodology, terse arguments, often of “crushing cogency”, and philosophical (...) observations of the first importance.Many of the less formal philosophical contributions center around questions concerning meaning, but there are important clarifications and insights into matters of the epistemology and ontology of the sciences, especially the formal sciences.1.1. The logistic method. Church's writings on philosophical matters exhibit an unwavering commitment to what he called the “logistic method”. The term did not catch on and now one would just speak of “formalization”. The use of these ideas is now so common and familiar among logicians and logically-oriented philosophers that they are simply taken for granted. But they deserve to be celebrated and re-emphasized, for there are philosophers who seriously underestimate and even consciously reject these techniques. (shrink)

Many formulations of scientific realism (SR) include some commitment to metaphysical realism (MR). On the other hand, authors like Schlick, Carnap and Putnam held forms of scientific realism coupled with metaphysical antirealism (and this has analogies in Kant). So we might ask: do scientific realists really need MR? or is MR already implied by SR, so that SR is actually incompatible with metaphysical antirealism? And if MR must really be added to SR, why is that so? And which additional arguments (...) scientific realists need to support it? After reviewing and classifying a number of different kinds of realisms, metaphysical and not, I answer that SR and MR are logically independent of each other, so that there is no logical inconsistency in holding SR while rejecting MR. However, I argue that the “no miracle” argument (NMA) not only is the “ultimate” argument for SR, but by the same token it also supports MR. Therefore one cannot effectively defend SR without also subscribing to MR, but this can be done at no additional argumentative cost. I show this by discussing not only the standard version of the NMA, but also three more versions which are not usually considered as such in the literature. (shrink)

We introduce a framework that can be used to model both mathematics and human reasoning about mathematics. This framework involves stochastic mathematical systems (SMSs), which are stochastic processes that generate pairs of questions and associated answers (with no explicit referents). We use the SMS framework to define normative conditions for mathematical reasoning, by defining a “calibration” relation between a pair of SMSs. The first SMS is the human reasoner, and the second is an “oracle” SMS that can be interpreted as (...) deciding whether the question–answer pairs of the reasoner SMS are valid. To ground thinking, we understand the answers to questions given by this oracle to be the answers that would be given by an SMS representing the entire mathematical community in the infinite long run of the process of asking and answering questions. We then introduce a slight extension of SMSs to allow us to model both the physical universe and human reasoning about the physical universe. We then define a slightly different calibration relation appropriate for the case of scientific reasoning. In this case the first SMS represents a human scientist predicting the outcome of future experiments, while the second SMS represents the physical universe in which the scientist is embedded, with the question–answer pairs of that SMS being specifications of the experiments that will occur and the outcome of those experiments, respectively. Next we derive conditions justifying two important patterns of inference in both mathematical and scientific reasoning: (i) the practice of increasing one’s degree of belief in a claim as one observes increasingly many lines of evidence for that claim, and (ii) abduction, the practice of inferring a claim’s probability of being correct from its explanatory power with respect to some other claim that is already taken to hold for independent reasons. (shrink)

According to some Philosophy for Children theorists, the pedagogy of the Community of Inquiry hinges upon the acceptance of a pragmatist epistemology. The underlying idea is that it is possible to participate, and to justify participation, in a community of inquiry only if some pragmatist view of truth and knowledge is true and accepted by the participants engaged in dialogue. In this article we argue that this claim is false. In this way, we want to free the pedagogy of the (...) Community of Inquiry from some epistemological assumptions that we regard as unwarranted. To support our contention, we shall highlight two distinctions that are important in order to appreciate the connection between epistemology and education: first, the distinction between the disposition of intellectual humility and the belief in fallibilism; second, the belief in the existence of Cartesian certainties and the attitude of psychological certainty. Finally, we also argue that to vindicate dialogic inquiry it is neither necessary to adopt a pragmatist theory of truth, nor is it necessary to regard warranted judgement as the primary aim of inquiry. In contrast, we argue that truth is the aim of inquiry, and so is the aim of children when they participate in a dialogic inquiry. In this way we also suggest a justification of philosophy with children that does not instrumentalize it. (shrink)

This paper argues that we can acknowledge the existence of moral truths and moral progress without being committed to moral realism. Rather than defending this claim through the more familiar route of the attempted analysis of the ontological commitments of moral claims, I show how moral belief change for the better shares certain features with theoretical progress in the natural sciences. Proponents of the better theory are able to convince their peers that it is formally and empirically superior to its (...) rivals, and the better theory may be promoted to the status of the truth. Yet there is no 'decision-procedure' for ethics any more than there is for molecular biology. The betterness of true theories can be grasped through what I term 'undirectional narratives' of progress. And while there are true moral claims and perhaps numerous moral truths yet to be discovered, we should reject currently popular forms of moral realism with bivalence. Some moral claims lend themselves to the construction of fully reversible, bi-directional narratives and are likely neither true nor false. (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)

The paper offers a critical examination of a prominent, “quasi-deflationist” argument advanced in the contemporary debate on the semantic paradoxes against non-naive and non-transparent theories of truth. The argument claims that truth unrestrictedly fulfils certain expressive functions, and that its so doing requires the unrestricted validity of naivety and transparency principles. The paper criticises the quasi-deflationist argument by considering some kinds of cases in which transparency and naivety arguably fail. In some such cases truth still fulfils the relevant expressive functions (...) without being transparent or naive; in some other such cases, truth does not fulfil the relevant expressive functions and other conceptual resources must be called upon. Thus, in different ways, all such cases belie the quasi-deflationist argument’s insistence that naivety and transparency should be unrestrictedly valid for truth unrestrictedly to fulfil the relevant expressive functions. There might however be other reasons for solving the semantic paradoxes by revising classical logic, and the paper in effect closes by offering versions of the liar paradox that rely on compelling but opacity-friendly truth-theoretic principles. (shrink)

Every student of English-speaking analytical metaphysics is taught that the early twentieth century philosophical debate about truth confronted the correspondence theory, supported by Russell, Moore, the early Wittgenstein and, later, J.L. Austin, with the coherence theory advocated by the British Idealists. Sometimes the pragmatist conception of truth deriving from Dewey, William James, and C.S. Peirce is regarded as a third player. And as befits a debate at the dawn of analytical philosophy, the matter in dispute is normally taken to have (...) been the proper analysis of the concept.No doubt this conception nicely explains some of the characteristic turns taken in the debate. Analysis, as traditionally conceived, has to consist in the provision of illuminating conceptual equivalences; and illumination will depend, according to the standard rules of play, on the analysans’ utilizing only concepts which, in the best case, are in some way prior to and independent of the notion being analyzed — or, if that's too much to ask, then concepts which at least permit of some form of explication which does not in turn take one straight back to that notion. (shrink)

According to a common objection to epistemological naturalism, no empirical, scientific theory of knowledge can be normative in the way epistemological theories need to be. In response, such naturalists as W.V. Quine have claimed naturalized epistemology can be normative by emulating engineering disciplines and addressing the relations of causal efficacy between our cognitive means and ends. This paper evaluates that "engineering reply" and finds it a mixed success. Based on consideration of what it might mean to call a theory "normative," (...) seven versions of the normativity objection to epistemological naturalism are formulated. The engineering reply alone is sufficient to answer only the four least sophisticated versions. To answer the others, naturalists must draw on more resources than their engineering reply alone provides. (shrink)

In this paper I argue that there can be genuine (as opposed to merely verbal) disputes about whether a sentence form is logically true or an argument form is valid. I call such disputes ?cases of deviance?, of which I distinguish a weak and a strong form. Weak deviance holds if one disputant is right and the other wrong, but the available evidence is insufficient to determine which is which. Strong deviance holds if there is no fact of the matter. (...) In section 2 I argue that weak deviance need not be trivial and may even be interesting. Section 3 considers what it could mean to say that logic is determined by a theory, especially a theory of meaning, an idea that arises in section 2. In section 4 I discuss the dispute between classical and relevance logicians over entailment and argue that it is a case of strong deviance. Finally, in section 5 I show that the result of the previous section is not absolute but relative to the background logic used in reaching it. (shrink)

The view that truth is the norm of assertion has fallen out of fashion. The recent trend has been to think that knowledge is the norm of assertion. Objections to the knowledge view proceed almost exclusively by appeal to alleged counterexamples. While it no doubt has a role to play, such a strategy relies on intuitions concerning hypothetical cases, intuitions which might not be shared and which might shift depending on how the relevant cases are fleshed out. In this paper, (...) I reject the knowledge view on principled grounds. More specifically, by appeal to a principle which is motivated independently of the debate over the norms of assertion and which is already accepted by many proponents of the knowledge view, I show the knowledge view to be false while simultaneously accounting for why it might seem to be true. In doing so, I provide a novel defence of the unfashionable truth view. (shrink)

Belief is said to be essentially subject to a norm of truth. This view has been challenged on the ground that the truth norm cannot provide guidance on an intuitive inferentialist model of guidance and thus cannot be genuinely normative. One response to the No Guidance argument is to show how the truth norm can guide belief-formation on the inferentialist model of guidance. In this paper, I argue that this response is inadequate in light of emerging empirical evidence about our (...) system of belief-formation. I will then motivate an alternative response and present, in rough outline, a viable, reason-responsive model of epistemic guidance on which the truth norm can guide. (shrink)

Imperatives cannot be true or false, so they are shunned by logicians. And yet imperatives can be combined by logical connectives: "kiss me and hug me" is the conjunction of "kiss me" with "hug me". This example may suggest that declarative and imperative logic are isomorphic: just as the conjunction of two declaratives is true exactly if both conjuncts are true, the conjunction of two imperatives is satisfied exactly if both conjuncts are satisfied—what more is there to say? Much more, (...) I argue. "If you love me, kiss me", a conditional imperative, mixes a declarative antecedent ("you love me") with an imperative consequent ("kiss me"); it is satisfied if you love and kiss me, violated if you love but don't kiss me, and avoided if you don't love me. So we need a logic of three -valued imperatives which mixes declaratives with imperatives. I develop such a logic. (shrink)

Discussions of “indeterminacy” customarily distinguish two putative types: semantic indeterminacy (SI)—indeterminacy that’s somehow the product of the semantics of our words/concepts—and metaphysical indeterminacy (MI)—indeterminacy that exists as a mind/language-independent feature of reality itself. A popular and influential thought among philosophers is that all indeterminacy must be SI. In this paper we challenge this thought. Our challenge is guided by the question: What, exactly, does it take for a case of indeterminacy to count as SI? We argue that the only satisfactory (...) answer to this question must take SI to be grounded in a more basic type of MI. We conclude that SI cannot be made sense of without implicating MI. If there’s any indeterminacy, there must be indeterminacy in the world itself. (shrink)

Compared to the extensive amount of literature on various themes of W.V.O. Quine’s philosophy, his immanent concept of truth remains a relatively unexplored topic. This relative lack of research contributes to a persistent confusion on the deflationary and inflationary details of Quine’s truth. According to a popular reading, Quine’s disquotational definition of the truth predicate exhausts the content of truth, thus amounting to a deflationary view. Others promote opposing interpretations. I argue that by relying on Tarski’s semantic conception of truth, (...) Quine’s disquotational account inherits a commitment to classical correspondence intuitions. Based on this, Quine posits a firm constitution for truth as an intermediary between language and the world. From this constitution claim follows that the disquotational account proves incompatible with both the general deflationary thesis and, more specifically, the minimalist account, which deny any constitution for truth past what is given by the preferred deflationary schema. This reading is significant for refuting the widespread misrepresentations of Quine as a prominent deflationist. (shrink)

According to truth pluralism, sentences from different areas of discourse can be true in different ways. This view has been challenged to make sense of logical validity, understood as necessary truth preservation, when inferences involving different areas are considered. To solve this problem, a natural temptation is that of replicating the standard practice in many-valued logic by appealing to the notion of designated values. Such a simple approach, however, is usually considered a non-starter for strong versions of truth pluralism, since (...) designation seems to embody nothing but a notion of generic truth. In this paper, I explore the analogy with many-valued logic by comparing the problem of mixed inferences with Suszko’s thesis, and argue that the strong pluralist has room to resist the commitment to a generic property of truth by undermining the semantic significance of Suszko’s reduction. (shrink)

SummarySurely, we think, in some cases it is determinate which rules we follow . But what in the world could determine a rule for us in any case? First 1 consider five common, perfectly natural, but utterly inadequate sorts of answer to this question. Then I consider an account which would avoid the usual inadequacies but would leave rules radically indeterminate, a position which is utterly counter‐intuitive. Thus painted into a corner, I then step out with a prima facie queer, (...) but adequate and ultimately not terribly counter‐intuitive, solution to the puzzle: a sort of picture‐theory of understanding rules . Finally 1 show that the picture‐theory undermines the sorts of anti‐realism which would, if they were valid, undermine the picture‐theory.RésuméNous pensons que, dans certains cas, les règies que nous suivons sont sûrement déterminées. Mais qu'est‐ce au monde qui pourrait déterminer pour nous une règie dans tous les cas? Je considère d'abord cinq réponses communes à cette question, réponses très naturelles, mais absolument inadéquates. Ensuite, j'examine une réponse qui serait plus adéquate, mais laisserait les règies radicalement indéterminées, ce qui est très contraire a l'intuition. Je propose alors une solution qui paraît au premier abord saugrenue, mais qui est adéquate et pas tellement contraire à l'intuition: une sorte de theorie des images pour comprendre les régies . Finalement, je montre que cette théorie des images désarme les types d'antiréalisme qui, s'ils étaient valables, s'opposeraient à cette théorie des images.ZusammenfassungWir denken, dass in einigen Fällen bestimmt ist, wetche Regeln wir befolgen . Was aber in der Welt könnte eine Regel in einem beliebigen Fall bestimmen? Ich betrachte zunächst fünf gewöhnliche durch‐aus natürliche, aber völlig inadäquate Arten von Antworten auf diese Frage. Dann betrachte ich eine Behandlung , die die üblichen Mängel vermeidet, die jedoch Regeln radikal unbestimmt lässt, was unserer Intuition zuwiderläuft. So in die Enge getrieben suche ich einen Ausweg in einer Lösung, die prima facie zwar befremdlich erscheinen mag, die aber adäquat ist und nicht stark gegen die Intuition verstösst: eine Art von Bildtheorie des Verstehens von Regeln . Schliesslich weise ich nach, dass die Bildtheorie die Arten von Antirealismus unterminiert, die die Bildtheorie zerstören würden, wenn sie güitig waren. (shrink)

I argue for an account of semantic paradox that requires minimal logical revision. I first consider a phenomenon that is common to the paradoxes of definability, Russell’s paradox and the Liar. The phenomenon—which I call Repetition—is this: given a paradoxical expression, we can go on to produce a semantically unproblematic expression composed of the very same words. I argue that Kripke’s and Field’s theories of truth make heavy weather of Repetition, and suggest a simpler contextual account. I go on to (...) outline a ‘singularity’ theory of semantical predicates in the spirit of remarks of Gödel. According to this theory, ‘denotes’, ‘extension’ and ‘true’ are context-sensitive expression that apply almost everywhere on a given occasion of use, except for certain singular points. I then turn to revenge paradoxes, and argue that even the dialetheist is subject to revenge. I then examine how the singularity theory responds to revenge. (shrink)

Discusses how to develop the idea that the normative truth is perspective-dependent with a broadly constructivist approach to metaethics - arguing in favor of developing this idea in terms of the idea that the normative truth is dependent upon the perspective of the assessor.

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the claim that future contingents are (...) truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

According to an influential line of thought, from the assumption that indeterminism makes future contingents neither true nor false, one can conclude that assertions of future contingents are never permissible. This conclusion, however, fails to recognize that we ordinarily assert future contingents even when we take the future to be unsettled. Several attempts have been made to solve this puzzle, either by arguing that, albeit truth-valueless, future contingents can be correctly assertable, or by rejecting the claim that future contingents are (...) truth-valueless. The paper examines three of most representative accounts in line with the first attempt, and concludes that none of them succeed in providing a persuasive answer as to why we felicitously assert future contingents. (shrink)

Anaphoric deflationism is a prosententialist account of the use of “true.” Prosentences are, for sentences, the equivalent of what pronouns are for nouns: as pronouns refer to previously introduced nouns, so prosentences like “that’s true” inherit their content from previously introduced sentences. This kind of deflationism concerning the use of “true” (especially in Brandom’s version) is an explanation in terms of anaphora; the prosentence depends anaphorically on the sentence providing its content. A relevant implication of this theory is that “true” (...) is not understood as a predicate and that truth is not a property. Primitivism, defended by Frege, Moore, and Davidson, is associated with two ideas: (1) that truth is a primitive and central trait of our conceptual system and (2) that truth, as such, cannot be defined. This second claim can be called “negative primitivism,” and it especially points out the facts about the “indefinability” of truth generally advocated by primitivists. In what follows, a connection is established between the deflationist’s rejection of the predicate and of the property and facts (and primitivist ideas) about the indefinability of truth. This connection establishes a common framework to lend further explanatory power to both options. According to the resulting view, this indefinability can explain the appeal and soundness of a deflationist dismissal of predicates and properties dealing with truth. (shrink)

On Bernard Suits’s celebrated analysis, to play a game is to engage in a ‘voluntary attempt to overcome unnecessary obstacles’. Voluntariness is understood in terms of the players having the ‘lusory attitude’ of accepting the constitutive rules of the game just because they make possible playing it. In this paper I suggest that the players in Netflix’s hit show Squid Game play the ‘squid games’, but they do not do so voluntarily; they are forced to play. I argue that this (...) means that we should rethink Suits’s analysis by claiming that all that is needed for players to play is that someone has put the rules in force for them for the reason that it makes playing the game possible. I then illustrate the virtues of the revised analysis by showing how it helps us to defuse Hurka’s recent counterexamples to Suits’s view. (shrink)

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is really a dispute in (...) the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

Intuitionism’s disagreement with classical logic is standardly based on its specific understanding of truth. But different intuitionists have actually explicated the notion of truth in fundamentally different ways. These are considered systematically and separately, and evaluated critically. It is argued that each account faces difficult problems. They all either have implausible consequences or are viciously circular.

In the literature seeking to explain concepts in terms of their point, talk of ‘the point’ of concepts remains under-theorised. I propose a typology of points which distinguishes practical, evaluative, animating, and inferential points. This allows us to resolve tensions such as that between the ambition of explanations in terms of the points of concepts to be informative and the claim that mastering concepts requires grasping their point; and it allows us to exploit connections between types of points to understand (...) why they come apart, and whether they do so for problematic ideological reasons or for benignly functional reasons. (shrink)

This paper discusses the relation between Crispin Wright’s alethic pluralism and my global expressivism. I argue that on many topics Wright’s own view counts as expressivism in my sense, but that truth itself is a striking exception. Unlike me, Wright never seems to countenance an expressivist account of truth, though the materials needed are available to him in his approaches to other topics.

How can expressivists make sense of the practice of communication? If communication is not a joint enterprise aimed at sharing information about the world, why do we engage in communication the way we do? Call this *the problem of communication*. Starting from basic assumptions about the rationality of speakers and the nature of assertion, we argue that speakers engaging in conversation about normative matters must presuppose that there is a unique normative standard on which the attitudes of conversational participants ought (...) to converge. This gives the beginning of a solution to the problem of communication on behalf of expressivists. (shrink)

The standard inferentialist approaches to modal logic tend to suffer from not being able to uniquely characterize the modal operators, require that introduction and elimination rules be interdefined, or rely on the introduction of possible-world like indexes into the object language itself. In this paper I introduce a hypersequent calculus that is flexible enough to capture many of the standard modal logics and does not suffer from the above problems. It is therefore an ideal candidate to underwrite an inferentialist theory (...) of meaning for modal operators. Here I treat specifically the modal logics K, D, T, S4, B, and S5. I show that the calculi are adequate for each set of models, and show that they meet a large set of criteria that are generally thought necessary for a calculus to underwrite a theory of meaning. (shrink)

Many philosophers suppose that sometimes we think we are saying or thinking something meaningful when in fact we’re not saying or thinking anything at all: we are producing nonsense. But what is nonsense? An account of nonsense must, I argue, meet two constraints. The first constraint requires that nonsense can be rationally engaged with, not just mentioned. In particular, we can reason with nonsense and use it within that-clauses. An account which fails to meet this constraint cannot explain why nonsense (...) appears meaningful. The second constraint requires that nonsense does not express thoughts. An account which fails to meet this constraint undercuts the critical force of the concept of nonsense. I offer an account which meets both constraints. The central idea is that to be under the illusion that some nonsense makes sense is to enter a pretence that the nonsense is meaningful. (shrink)

According to alethic functionalism, truth is a generic alethic property related to lower level alethic properties through the manifestation relation. The manifestation relation is reflexive; thus, a proposition’s truth-manifesting property may be a lower level property or truth itself, depending on the subject matter properties of the proposition. A true proposition whose truth-manifesting property is truth itself, rather than a lower level alethic property, is plainly true. Alethic functionalism relies on plain truth to account for the truth of propositions with (...) challenging subject matter properties, such as logically complex propositions and truth attributions. In this paper, it is argued that plain truth leads to a number of serious problems for alethic functionalism. First: Shapiro argues that plain truth threatens alethic functionalism with collapse to strong alethic monism; it is argued here that collapse is not merely threatened, but that, on pain of contradiction, collapse is immediate. Second, alethic functionalism’s commitment to alethic pluralism requires lower level alethic properties to be ways of being truth, where one property’s being a way of being the other property is irreflexive; thus, alethic functionalism is incoherent due to the conflicting commitments to a manifestation relation which is both reflexive and irreflexive. Third, it is argued that a reflexive manifestation relation leads to the contradiction that a lower level alethic property which manifests truth is both identical to and distinct from truth itself. Fourth, careful examination of the notion of a core truism shows that Objectivity and the correspondence intuition are the only core truisms. Finally, it is argued that the first and fourth problems jointly entail a collapse of alethic functionalism to strong correspondence monism. (shrink)

Beall and Murzi :143–165, 2013) introduce an object-linguistic predicate for naïve validity, governed by intuitive principles that are inconsistent with the classical structural rules. As a consequence, they suggest that revisionary approaches to semantic paradox must be substructural. In response to Beall and Murzi, Field :1–19, 2017) has argued that naïve validity principles do not admit of a coherent reading and that, for this reason, a non-classical solution to the semantic paradoxes need not be substructural. The aim of this paper (...) is to respond to Field’s objections and to point to a coherent notion of validity which underwrites a coherent reading of Beall and Murzi’s principles: grounded validity. The notion, first introduced by Nicolai and Rossi, is a generalisation of Kripke’s notion of grounded truth, and yields an irreflexive logic. While we do not advocate the adoption of a substructural logic, we take the notion of naïve validity to be a legitimate semantic notion that points to genuine expressive limitations of fully structural revisionary approaches. (shrink)

I argue that the standard anti-realist argument from manifestability to intuitionistic logic is either unsound or invalid. Strong interpretations of the manifestability of understanding are falsified by the existence of blindspots for knowledge. Weaker interpretations are either too weak, or gerrymandered and ad hoc. Either way, they present no threat to classical logic.

We cast doubts on the suggestion, recently made by Graham Priest, that glut theorists may express disagreement with the assertion of A by denying A. We show that, if denial is to serve as a means to express disagreement, it must be exclusive, in the sense of being correct only if what is denied is false only. Hence, it can’t be expressed in the glut theorist’s language, essentially for the same reasons why Boolean negation can’t be expressed in such a (...) language either. We then turn to an alternative proposal, recently defended by Beall (in Analysis 73(3):438–445, 2013; Rev Symb Log, 2014), for expressing truth and falsity only, and hence disagreement. According to this, the exclusive semantic status of A, that A is either true or false only, can be conveyed by adding to one’s theory a shrieking rule of the form A & ~A |- \bot, where \bot entails triviality. We argue, however, that the proposal doesn’t work either. The upshot is that glut theorists face a dilemma: they can either express denial, or disagreement, but not both. Along the way, we offer a bilateral logic of exclusive denial for glut theorists—an extension of the logic commonly called LP. (shrink)