Beall’s (e.g., 2009, 2021) transparency theory of truth is recognized as a prominent, deflationist solution to the liar paradox. However, it has been neglected by truth theorists who have attempted to show that a deflationist theory of truth can (or cannot) account for truth dependence, i.e., the claim that the truth of a proposition depends on how things described by the proposition are, but how these things are does not depend on the truth of the proposition. Truth theorists interested in (...) truth dependence have, instead, been focused on Horwich’s Minimalism (e.g., 1998). The goal of this paper is twofold. First, I construct what versions of the transparency theory would say about truth dependence. Second, I argue that even the best version of transparent truth ultimately fails to account for truth dependence. On the assumption that accounting for truth dependence is an adequacy condition on any theory of truth, the paper rejects transparency theory as an adequate theory of truth. (shrink)

Truth pluralism is the view that there is more than one truth property. The strong version of it (i.e. strong pluralism) further contends that no truth property is shared by all true propositions. In this paper, I help strong pluralism solve two pressing problems concerning mixed discourse: the problem of mixed inferences (PI) and the problem of mixed compounds (PC). According to PI, strong pluralism is incompatible with the truth- preservation notion of validity; according to PC, strong pluralists cannot find (...) any appropriate truth property for mixed compound propositions, whose atomic constituents are from different domains of discourse (e.g., <sky is blue and chocolate is tasty>). I argue that the strong pluralist is motivated to take the truth predicate in truth-involving universal statements to be deflationary to avoid the two pressing problems. Such a move entails that the truth predicate in the platitude of validity (V) for any argument, it is valid if and only if necessarily its conclusion is true when its premises are all true does not denote any substantive truth property. Instead, it is merely an expressive device to help people generalize instances of (V) to (V). Analogous stories hold for the truth predicate in the platitudes of compound (e.g., conjunction). The upshot is that, the strong pluralist can solve PI and PC by further conceding that mixed compounds are true/false in a deflationary way. (shrink)

John Cook Wilson (1849–1915) was Wykeham Professor of Logic at New College, Oxford and the founder of ‘Oxford Realism’, a philosophical movement that flourished at Oxford during the first decades of the 20th century. Although trained as a classicist and a mathematician, his most important contribution was to the theory of knowledge, where he argued that knowledge is factive and not definable in terms of belief, and he criticized ‘hybrid’ and ‘externalist’ accounts. He also argued for direct realism in perception, (...) criticizing both empiricism and idealism, and argued for a moderate nominalist view of universals as being in rebus and only ‘apprehended’ by their particulars. His influence helped swaying Oxford away from idealism and, through figures such as H. A. Prichard, Gilbert Ryle, or J. L. Austin, his ideas were also to some extent at the origin of ‘moral intuitionism’ and ‘ordinary language philosophy’ which defined much of Oxford philosophy until the second half of the twentieth-century. Nevertheless, his name and legacy were all but forgotten for generations after World War II. Still, his views on knowledge are with us today, being in part at work in the writings of philosophers as diverse as John McDowell, Charles Travis, and Timothy Williamson. (shrink)

The problem of the status of metaphysics -- what it is and what it is for, what use it is - has been with us for millennia, at least since Plato took issue with the Sophists, and continues to the present day. Here I attempt an intervention in this perennial dispute, with the aim of providing some kind of rapprochement between the factions. This intervention is based on how Charles Sanders Peirce (1839-1914) understood metaphysics and the position presented here is (...) thus called `Peircean realism'. The basic idea is that everyone has a metaphysics and has to have one, just to get by in everyday life, and this is no different for scientific inquirers in their professional work. The subject matter of metaphysics is thus presuppositions, whether it is what we rely on to go shopping or to discover the Higgs boson. We rely on these in our activities and expect them to have an effect on outcomes, so when our expectations are frustrated, doubt may be thrown on our presuppositions. We would thus like the ability to inquire into our presuppositions so as not to repeat mistakes, but our instinctive, evolved capacity for reasoning may not be up the job, since it is entwined with what we take for granted. Instead, Peirce develops a science of good reasoning that includes a theory of inquiry, which would allow us to scrutinise our presuppositions, to perform metaphysical inquiry. The starting point for this science of good reasoning is basic principles of combination and organisation, because these are involved in all activity, and these are Peirce's categories of Firstness, Secondness and Thirdness. This is also where I start in the exposition of and argument for Peircean realism as a scientific -- that is, truth-directed -- metaphysics that provides the best possible general presuppositions to the natural and human sciences, the special sciences that deal with matters in their particularity; that Peircean realism is a viable metaphysics for those sciences. This exposition and argument comprises the first part of this thesis. In the second part, the case for Peircean realism is further bolstered by turning a critical eye on positions that are deficient from the Peircean point of view, in that they lack one or other category and thus starve the special sciences of the resources they need, or that they try to ignore metaphysics entirely. All this is meant to demonstrate that metaphysics is unavoidable, that we need all three of Peirce's categories for a viable metaphysics for the special sciences, and that Peircean realism is just such a metaphysics. (shrink)

ABSTRACT Certain features of our conceptual scheme seem necessary for subjects with our basic nature: we cannot imagine humans accomplishing their basic projects without having a conceptual scheme with these features. Other aspects of our conceptual scheme seem more contingent: we can imagine communities effectively using a somewhat different conceptual scheme. Conceptual cartography is the project of investigating the necessity and contingency of the various features of conceptual schemes. The project of conceptual cartography has not received much explicit methodological attention. (...) But in this paper, I argue that conceptual cartography has important implications for the study of conceptual engineering. I also provide a general framework for thinking about conceptual cartography. (shrink)

A. J. Ayer’s Language, Truth, and Logic had been responsible for introducing the Vienna Circle’s ideas, developed within a Germanophone framework, to an Anglophone readership. Inevitably, this migration from one context to another resulted in the alteration of some of the concepts being transmitted. Such alterations have served to facilitate a number of false impressions of Logical Empiricism from which recent scholarship still tries to recover. In this paper, I will attempt to point to the ways in which LTL has (...) helped to foster the various mistaken stereotypes about Logical Empiricism which were combined into the received view. I will begin by examining Ayer’s all too brief presentation of an Anglocentric lineage for his ideas. This lineage, as we shall see, simply omits the major 19th century Germanophone influences on the rise of analytic philosophy. The Germanophone ideas he presents are selectively introduced into an Anglophone context, and directed towards various concerns that arose within that context. I will focus on the differences between Carnap’s version of the overcoming of metaphysics, and Ayer’s reconfiguration into what he calls the elimination of metaphysics. Having discussed the above, I will very briefly outline the consequences that Ayer’s radicalisation of the Vienna Circle’s doctrines had on the subsequent Anglophone reception of Logical Empiricism. (shrink)

A strength of liberal political institutions is their ability to accommodate pluralism, both allowing divergent comprehensive doctrines as well as constructing the common ground necessary for diverse people to live together. A pressing question is how far such pluralism extends. Which comprehensive doctrines are simply beyond the pale and need not be accommodated by a political consensus? Rawls attempted to keep the boundaries of reasonable disagreement quite broad by infamously denying that political liberalism need make reference to the concept of (...) truth, a claim that has been criticized by Joseph Raz, Joshua Cohen, and David Estlund. In this paper, we argue that these criticisms fail due to the fact that political liberalism can remain non-committal on the nature of truth, leaving the concept of truth in the domain of comprehensive doctrines while still avoiding the issues raised by Raz, Cohen, and Estlund. Further substantiating this point is the fact that Rawls would, and should, include parties in the overlapping consensus whose views on truth may be incoherent. Once it is seen that political liberalism allows such incoherence to reasonable parties, it is clear that the inclusion of truth and the requirement of coherence urged by Raz, Cohen, and Estlund requires more of reasonable people than is necessary for a political consensus. (shrink)

This paper explores the relationship between Hume's Prinicple and Basic Law V, investigating the question whether we really do need to suppose that, already in Die Grundlagen, Frege intended that HP should be justified by its derivation from Law V.

This paper argues that NPs with case as head noun stand for situations in their role as truthmakers within a sentential or epistemic case space. The paper develops a unified semantic analysis of case-constructions of the various sorts within a truthmaker-based version of alternative semantics.

Neutralism is the broad view that philosophical progress can take place when (and sometimes only when) a thoroughly neutral, non-specific theory, treatment, or methodology is adopted. The broad goal here is to articulate a distinct, specific kind of sorites paradox (The Observational Sorites Paradox) and show that it can be effectively treated via Neutralism.

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)

This paper argues that truth predicates in natural language and their variants, predicates of correctness, satisfaction and validity, do not apply to propositions (not even with 'that'-clauses), but rather to a range of attitudinal and modal objects. As such natural language reflects a notion of truth that is primarily a normative notion of correctness constitutive of representational objects. The paper moreover argues that 'true' is part of a larger class of satisfaction predicates whose semantic differences are best accounted for in (...) terms of a truthmaker theory along the lines of Fine's recent truthmaker semantics. (shrink)

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

Quasi-realist expressivists have developed a growing liking for minimalism about truth. It has gone almost unnoticed, though, that minimalism also drives an anti-Archimedean movement which launches a direct attack on expressivists’ non-moral self-image by proclaiming that all metaethical positions are built on moral grounds. This interplay between expressivism, minimalism and anti-Archimedeanism makes for an intriguing metaethical encounter. As such, the first part of this dissertation examines expressivism’s marriage to minimalism and defends it against its critics. The second part then turns (...) to the anti-Archimedean challenge to expressivism and shows how to ward off this challenge by securing expressivism’s non-moral, metaethical status without having to abandon minimalism about truth. (shrink)

Truthmaker theorists hold that there is a metaphysically explanatory relation that holds between true claims and what exists. While some critics try to provide counterexamples to truthmaker theory, that response quickly leads to a dialectical standoff. The aim of this paper is to move beyond that standoff by attempting to undermine some standard arguments for truthmaker theory. Using realism about truth and a more pragmatic account of explanation, I show how some of those arguments can be undermined.

This essay attempts to recover the ancient Egyptian category of "maat" as a valuable resource for contemporary metaethics and particular attention is given to its affinity with versions of modern non-cognitivism.

Common-sense allows that talk about moral truths makes perfect sense. If you object to the United States’ Declaration of Independence’s assertion that it is a truth that ‘all men’ are ‘endowed by their Creator with certain unalienable Rights’, you are more likely to object that these rights are not unalienable or that they are not endowed by the Creator, or even that its wording ignores the fact that women have rights too, than that this is not the sort of thing (...) which could be a truth. Whether it is a truth or not seems beside the point, anyway; the writers of the Declaration could just have well written, ‘We hold it to be self-evident that all men are created equal, and also that it is self-evident that all men are endowed by their Creator with certain unalienable Rights,’ save only that its cadence would lack some of the poetic resonance of the version which garnered Hancock’s signature. Yet famously, ethical noncognitivists have proclaimed that moral sentences can’t be true or false – that, like ‘Hooray!’ or ‘dammit!’, they are not even the kinds of things to be true or false. Noncognitivism is sometimes even defined as the view that this is so, but even philosophers who define ‘noncognitivism’ more broadly, as consistent with the idea that moral sentences may be true or false, have believed that they needed to do important philosophical spadework in order to make sense of how moral sentences could be true or false. In this article we’ll look at the puzzle about moral truth as it is faced by early noncognitivists and by metaethical expressivists, the early noncognitivists’ contemporary cousins. We’ll look at what it would take for expressivists to ‘earn the right’ to talk about moral truths at all, and in particular at what it would take for them to earn the right to claim that moral truths behave in the ways that we should expect – including that meaningful moral sentences which lack presuppositions are true or false, and that classically valid arguments are truth-preserving.. (shrink)

In nearly forty years’ of work, Simon Blackburn has done more than anyone to expand our imaginations about the aspirations for broadly projectivist/expressivist theorizing in all areas of philosophy. I know that I am far from alone in that his work has often been a source of both inspiration and provocation for my own work. It might be tempting, in a volume of critical essays such as this, to pay tribute to Blackburn’s special talent for destructive polemic, by seeking to (...) take down that by which I’ve been most provoked over the years. But Blackburn’s biting wit has both more wit and more bite than I could hope to emulate. So instead I’ll try to emulate here what I’ve admired the most about Blackburn – the constructive vein of much of his work. (shrink)

This takes a closer look at the actual semantic behavior of apparent truth predicates in English and re-evaluates the way they could motivate particular philosophical views regarding the formal status of 'truth predicates' and their semantics. The paper distinguishes two types of 'truth predicates' and proposes semantic analyses that better reflect the linguistic facts. These analyses match particular independently motivated philosophical views.

§§3-4 of the Begriffsschrift present Frege’s objections to a dominant if murky nineteenth-century semantic picture. I sketch a minimalist variant of the pre-Fregean picture which escapes Frege’s criticisms by positing a thin notion of semantic content which then interacts with a multiplicity of kinds of truth to account for phenomena such as modality. After exploring several ways in which we can understand the existence of multiple truth properties, I discuss the roles of pointwise and setwise truth properties in modal logic. (...) I argue that thinking of supertruth and determinate truth as setwise truth properties allows an understanding of supervaluationist approaches to vagueness which escapes both Williamson’s objections to and a needless metalinguistic orientation of traditional supervaluationism. (shrink)

If someone disagrees with my moral views, or more generally if I’m in a group of n people who all disagree with each other, but I don’t have any special evidence or basis for my epistemic superiority, then it’s at best a 1-in-n chance that my views are correct. The skeptical threat from disagreement is thus a kind of moral lottery, to adapt a similar metaphor from Sharon Street. Her own genealogical debunking argument, as I discuss, relies on a premise (...) of such disagreement among evolutionary counterparts. -/- In this paper, I resist the threat from disagreement by showing that, on some of the most influential and most attractive theories of content determination, the premise of moral disagreement cannot serve any skeptical or revisionary purposes. I examine and criticize attempts, made by Gilbert Harman and Sharon Street, to argue from disagreement to relativism by relying on a theory of content determination that involves a principle that, within certain constraints, maximizes the attribution to us of true beliefs. And I examine and criticize Robert Williams’s attempt to show there is moral disagreement by relying on a theory of content determination that involves a principle that instead maximizes the attribution to us of rationality. My overall aim is to defend commonsense moral realism via a careful look at the theory of content and concepts. (shrink)

We present an overview of typed and untyped disquotational truth theories with the emphasis on their (non)conservativity over the base theory of syntax. Two types of conservativity are discussed: syntactic and semantic. We observe in particular that TB—one of the most basic disquotational theories—is not semantically conservative over its base; we show also that an untyped disquotational theory PTB is a syntactically conservative extension of Peano Arithmetic.

This volume includes a target paper, taking up the challenge to revive, within a modern (formal) framework, a medieval solution to the Liar Paradox which did ...

A raft of new philosophical problems concerning truth have recently been discovered by several theorists. These problems concern the question of how ascriptions of truth are to be grounded. Most previous commentators have taken the problems to shed light on the theory of ground. In this paper, I argue that they also shed light on the theory of truth. In particular, I argue that the notion of ground can be deployed to clearly articulate one strand of deflationary thinking about truth, (...) according to which truth is “metaphysically lightweight.” I offer a ground-theoretic explication of the lightness of truth and show how it yields a novel solution to the problems concerning how truth is grounded. So, the theory of truth and the theory of ground interact fruitfully: we can apply the notion of ground to offer a clear explication of the deflationist claim that truth is “metaphysically lightweight” that both captures the motivations for that claim and solves the problems. (shrink)

The paper starts by highlighting that virtually nobody would object to claims such as “to regard an assertion or a belief or a thought as true or false is to regard it as being right or wrong”—a claim that shows that truth is intrinsically normative. It is well known that alethic deflationists deny this. Paul Horwich, for instance, maintains that nothing shows that TRUTH is a normative concept in the way that OUGHT is. By relying on a distinction among dimensions (...) of normativity I will try to pinpoint the weakness of Horwich’s argument in the fact that he works with a strong, uncalled-for, interpretation of normativity, whereas a weaker interpretation is more than enough. However, the impression might persist that a different understanding of the normativity of truth on the part of deflationists could eventually show the compatibility between alethic deflationism and normativity. The remaining part of the paper is devoted to contend that this is a wrong impression. Accordingly, it is stated that the normativity exerted by truth is ascribable in the final analysis to the world, and the provocative claim is defended that alethic deflationism lacks the conceptual resources to account for the relation between language and the world. (shrink)

Proof-theoretic reflection principles are schemas which attempt to express the soundness of arithmetical theories within their own language, e.g., ${\mathtt{{Prov}_{\mathsf {PA}} \rightarrow \varphi }}$ can be understood to assert that any statement provable in Peano arithmetic is true. It has been repeatedly suggested that justification for such principles follows directly from acceptance of an arithmetical theory $\mathsf {T}$ or indirectly in virtue of their derivability in certain truth-theoretic extensions thereof. This paper challenges this consensus by exploring relationships between reflection principles (...) and principles of mathematical and transfinite induction as well as the status of the latter with respect to various foundational characterizations of number theory. (shrink)

I want to discuss, in some detail, a short section from Quine’s Philosophy of Logic. It runs from pages 10 to 13 of the second, revised edition of the book and carries the subheading ‘Truth and semantic ascent’.1 In these two and a half pages, Quine presents his well-known account of truth as a device of disquotation, employing what I call Quine’s Ladder. The section merits scrutiny, for it has become the central document for contemporary deflationary views about truth.

Many contemporary philosophers rate error theories poorly. We identify the arguments these philosophers invoke, and expose their deficiencies. We thereby show that the prospects for error theory have been systematically underestimated. By undermining general arguments against all error theories, we leave it open whether any more particular arguments against particular error theories are more successful. The merits of error theories need to be settled on a case-by-case basis: there is no good general argument against error theories.

This paper distinguishes revolutionary fictionalism from other forms of fictionalism and also from other philosophical views. The paper takes fictionalism about mathematical objects and fictionalism about scientific unobservables as illustrations. The paper evaluates arguments that purport to show that this form of fictionalism is incoherent on the grounds that there is no tenable distinction between believing a sentence and taking the fictionalist's distinctive attitude to that sentence. The argument that fictionalism about mathematics is ‘comically immodest’ is also evaluated. In place (...) of those arguments, an argument against fictionalism about abstract objects of any kind is presented in the last section. This argument takes the form of a trilemma against the fictionalist. (shrink)

Analytic philosophy is sometimes said to have particularly close connections to logic and to science, and no particularly interesting or close relation to its own history. It is argued here that although the connections to logic and science have been important in the development of analytic philosophy, these connections do not come close to characterizing the nature of analytic philosophy, either as a body of doctrines or as a philosophical method. We will do better to understand analytic philosophy—and its relationship (...) to continental philosophy—if we see it as a historically constructed collection of texts, which define its key problems and concerns. It is true, however, that analytic philosophy has paid little attention to the history of the subject. This is both its strength—since it allows for a distinctive kind of creativity—and its weakness—since ignoring history can encourage a philosophical variety of “normal science.”. (shrink)

What is the role of a notion of truth in our form of life? What is it to possess a notion of truth? How different would we be, if we did not possess a notion of truth? Gulliver’s description of three peoples encountered during his fifth travel will help me to answer. One might say that the basic anti-realist tenet is that we should explain the notion of truth by connecting it with our practice of assertion. In this sense the (...) outcome of my commentary of the fifth part of Gulliver’s Travels will amount to a non-reductive anti-realist conception of truth. It can be called a dialectical conception of truth because it focuses on a particular way of resolving disagreements: an epistemically virtuous practice of verbal exchange that cares for truth. The main thesis is that an implicit awareness of the epistemically virtuous practice is a necessary condition for being in full possession of the notion of truth. The commentary will also involve an argument against deflationism and a critique of some claims made by Huw Price. (shrink)

Philosophers disagree. A lot. Pervasive disagreement is part of the territory; consensus is hard to find. Some think this should lead us to embrace philosophical skepticism: skepticism about the extent to which we can know, or justifiably believe, the philosophical views we defend and advance. Most philosophers in the literature fall into one camp or the other: philosophical skepticism or philosophical anti-skepticism. Drawing on the insights of hinge epistemology, this paper proposes another way forward, an intermediate position that appeals both (...) to skeptical and anti-skeptical intuitions concerning the possibility and scope of philosophical knowledge. The main advantage of our account is that it’s able to recover some philosophical knowledge while also being compatible with philosophical skepticism. (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)

In the final chapter of his recent book, <it>The Construction of Social Reality</it> (1995), John Searle denies that the minimalist theory, as elaborated for example by Paul Horwich 1990, gives the entire content of the truth predicate, and vigorously defends the correspondence theory against it. He stigmatises minimalism as "wildly counterintuitive' and believes it is unsustainable. Although he agrees that, when a statement S means that P, S corresponds to the facts iff P, and that once we have established that (...) P we have thereby established that S corresponds to the fact that P, he maintains that the truth predicate is not redundant, even with the qualifications incorported in the minimalist account. We shall see that his argument fails. (shrink)

Conservativeness has been proposed as an important requirement for deflationary truth theories. This in turn gave rise to the so-called ‘conservativeness argument’ against deflationism: a theory of truth which is conservative over its base theory S cannot be adequate, because it cannot prove that all theorems of S are true. In this paper we show that the problems confronting the deflationist are in fact more basic: even the observation that logic is true is beyond his reach. This seems to conflict (...) with the deflationary characterization of the role of the truth predicate in proving generalizations. However, in the final section we propose a way out for the deflationist — a solution that permits him to accept a strong theory, having important truth-theoretical generalizations as its theorems. (shrink)

Disquotational theories of truth are often criticised for being too weak to prove interesting generalisations about truth. In this paper we will propose a certain formal theory to serve as a framework for a solution of the generalisation problem. In contrast with Horwich’s original proposal, our framework will eschew psychological notions altogether, replacing them with the epistemic notion of believability. The aim will be to explain why someone who accepts a given disquotational truth theory Th, should also accept various generalisations (...) not provable in Th. The strategy will consist of the development of an axiomatic theory of believability, one permitting us to show how to derive the believability of generalisations from basic axioms that characterise the believability predicate, together with the information that Th is a theory of truth that we accept. (shrink)

By a classical result of Kotlarski, Krajewski and Lachlan, pathological satisfaction classes can be constructed for countable, recursively saturated models of Peano arithmetic. In this paper we consider the question of whether the pathology can be eliminated; we ask in effect what generalities involving the notion of truth can be obtained in a deflationary truth theory (a theory of truth which is conservative over its base). It is shown that the answer depends on the notion of pathology we adopt. It (...) turns out in particular that a certain natural closure condition imposed on a satisfaction class—namely, closure of truth under sentential proofs—generates a nonconservative extension of a syntactic base theory (Peano arithmetic). (shrink)

Formal theories, as in logic and mathematics, are sets of sentences closed under logical consequence. Philosophical theories, like scientific theories, are often far less formal. There are many axiomatic theories of the truth predicate for certain formal languages; on analogy with these, some philosophers (most notably Paul Horwich) have proposed axiomatic theories of the property of truth. Though in many ways similar to logical theories, axiomatic theories of truth must be different in several nontrivial ways. I explore what an axiomatic (...) theory of truth would look like. Because Horwich’s is the most prominent, I examine his theory and argue that it fails as a theory of truth. Such a theory is adequate if, given a suitable base theory, every fact about truth is a consequence of the axioms of the theory. I show, using an argument analogous to Gödel’s incompleteness proofs, that no axiomatic theory of truth could ever be adequate. I also argue that a certain class of generalizations cannot be consequences of the theory. (shrink)

I propose that an adequate name for a proposition will be (1) rigid, in Kripke’s sense of referring to the same thing in every world in which it exists, and (2) transparent, which means that it would be possible, if one knows the name, to know which object the name refers. I then argue that the Standard Way of naming propositions—prefixing the word ‘that’ to a declarative sentence—does not allow for transparent names of every proposition, and that no alternative naming (...) convention does better. I explore the implications of this failure for deflationism about truth, arguing that any theory that requires the T biconditional to be a priori cannot succeed. (shrink)

This paper addresses the “creeping minimalism” challenge to quasi-realist forms of expressivism by arguing that the solution suggested by Dreier doesn’t work and proposing an alternative solution based on the different inferential roles of ethical and descriptive judgments.

In the contemporary metaethical debate, expressivist (Blackburn, Gibbard) and constructivist (Korsgaard, Street) views can be viewed as inspired by irrealist ideas from Hume and Kant respectively. One realist response to these contemporary irrealist views is to argue that they are inconsistent with obvious surface-level appearances of ordinary ethical thought and discourse, especially the fact that we talk and act as if there is ethical knowledge . In this paper, I explore some constructivist and expressivist options for responding to this objection. (...) My conclusion is that, although both constructivists and expressivists can capture other surface-level features of ethical thought and discourse, the possibility of ethical knowledge causes special problems for these versions of irrealism. I end with some comments about where I think irrealists should begin to look for a response to these special problems, which points, somewhat surprisingly, towards an alternative inferentialist form of irrealism about epistemic and ethical thought and discourse, which is inspired by Sellars. (shrink)

Metaphilosophy, Volume 53, Issue 2-3, Page 221-237, April 2022.

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)