In this paper, I will develop a set of boulesic-doxastic tableau systems and prove that they are sound and complete. Boulesic-doxastic logic consists of two main parts: a boulesic part and a doxastic part. By ‘boulesic logic’ I mean ‘the logic of the will’, and by ‘doxastic logic’ I mean ‘the logic of belief’. The first part deals with ‘boulesic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of boulesic expression: ‘individual x wants it to be (...) the case that’ and ‘individual x accepts that it is the case that’. The second part deals with ‘doxastic’ concepts, expressions, sentences, arguments and theorems. I will concentrate on two types of doxastic expression: ‘individual x believes that’ and ‘it is imaginable to individual x that’. Boulesic-doxastic logic investigates how these concepts are related to each other. Boulesic logic is a new kind of logic. Doxastic logic has been around for a while, but the approach to this branch of logic in this paper is new. Each system is combined with modal logic with two kinds of modal operators for historical and absolute necessity and predicate logic with necessary identity and ‘possibilist’ quantifiers. I use a kind of possible world semantics to describe the systems semantically. I also sketch out how our basic language can be extended with propositional quantifiers. All the systems developed in this paper are new. (shrink)

Deflationists claim that the truth predicate was introduced into our language merely to full a certain logico-linguistic function. Oddly enough, the question what this function exactly consists in has received little attention. We argue that the best way of understanding the function of the truth predicate is as enabling us to mimic higher-order quantification in a first-order framework. Indeed, one can show that the full simple theory of types is reducible to disquotational principles of truth. Our analysis has important consequences (...) for our understanding of truth. In this paper, we can only touch on one of them: we will argue that the insubstantiality of truth does not imply a conservativity requirement on our best theories of truth. (shrink)

According to some philosophers, the Liar paradox arises because of a mistaken theory of truth. Its lesson is that we must reject some instances of the naive propositional truth-schema \It is true that \ if and only if \\. In this paper, I construct a novel semantic paradox in which no principle even analogous to the truth-schema plays any role. I argue that this undermines the claim that we ought to respond to the Liar by revising our theory of truth.

Renewed worries about the unity of the proposition have been taken as a crucial stumbling block for any traditional conception of propositions. These worries are often framed in terms of how entities independent of mind and language can have truth conditions: why is the proposition that Desdemona loves Cassio true if and only if she loves him? I argue that the best understanding of these worries shows that they should be solved by our theory of truth and not our theory (...) of content. Specifically, I propose a version of the redundancy theory according to which ‘it is true that Desdemona loves Cassio’ expresses the same proposition as ‘Desdemona loves Cassio’. Surprisingly, this variant of the redundancy theory treats ‘is true’ as an ordinary predicate of the language, thereby defusing many standard criticisms of the redundancy theory. (shrink)

Bradwardine’s account from Buridan’s [5, 6]. What are we to make of this? If the argument fails, what distinguishes problematic truth-tellers (such as a sentence that explicitly says of itself that it is true) from benign truth tellers? It is my task in this paper to explain this distinction, and to clarify the behaviour of truth-tellers, given my the contemporary formal treatment of Bradwardine’s account of signification.

Although higher-order metaphysics seems prima facie to be a promising new approach to metaphysics, it is nonetheless based on a mistake. This mistake is tied to a misuse of formal languages in metaphysics in general, not just to the use of higher-order rather than lower-order languages. I hope to highlight the mistake by discussing a popular recent example of higher- order metaphysics: the argument that reality is not structured using reasoning inspired by the Russell-Myhill paradox. A key issue will be (...) the relationship between higher-order quantification in formal languages and quantification in English, in particular the questions whether such quantifiers are already to be found in English, and whether they could simply be added to English if not in order to gain expressive strength. I will conclude that little of metaphysical significance follows from this Russell-Myhill inspired argument against structure. The reason why the results of higher-order logic show little of metaphysical significance generalizes to other uses of higher-order logic in metaphysical theorizing, and with it supports that higher-order metaphysics is a flawed research program. I end with some reflections on what positive role formal tools like higher-order logic can have in metaphysics, and what the fundamental mistake is on which higher-order metaphysics is based. (shrink)

ABSTRACT According to a prominent objection, deflationist theories of truth can’t account for the explanatory connection between true belief and successful action [Putnam 1978]. Canonical responses to the objection show how to reformulate truth-involving explanations of particular successful actions, so as to omit any mention of truth [Horwich 1998]. According to recent critics, though, the canonical strategy misses the point. The deflated paraphrases lack the generality or explanatory robustness of the original explanatory appeals to truth [Kitcher 2002; Lynch 2009; Gamester (...) 2018]. This article diagnoses the canonical response’s failure and shows how deflationists can make sense of appeals to truth in explaining practical success, in all of their generality and robustness, without construing truth as a substantial property. (shrink)

A response to certain parts of Rumfitt : I defend Davidson's project in semantics, suggest that Rumfitt's use of sentential quantification renders his definition of truth needlessly elaborate, and pose a question for Rumfitt's handling of the strengthened Liar.

Alethic pluralists often claim that accommodating certain alethic platitudes motivates rejecting deflationism in favour of a pluralist inflationism about truth. Deflationists claim that the logical role of the truth predicate, viz providing something equivalent to variables for sentence-in-use positions and quantifiers governing them, is sufficient to account for the appeal to truth in the alethic platitudes. Surprisingly, however, most deflationists face an insufficiently acknowledged problem with respect to explaining how this mode of generalizing works. The standard substitutional or higher-order interpretations (...) of sentential quantifiers and variables do not meet two desiderata that we claim any adequate account of them must satisfy. To address this issue, we review and extend A. N. Prior's adverbial understanding of sentential quantification, explain how it satisfies the desiderata, and respond to some objections. This shows that deflationists can accommodate and account for the alethic platitudes by applying this non-nominal understanding of generalizing on sentence positions. (shrink)

We consider extending the modal logic KD45, commonly taken as the baseline system for belief, with propositional quantifiers that can be used to formalize natural language sentences such as “everything I believe is true” or “there is something that I neither believe nor disbelieve.” Our main results are axiomatizations of the logics with propositional quantifiers of natural classes of complete Boolean algebras with an operator validating KD45. Among them is the class of complete, atomic, and completely multiplicative BAOs validating KD45. (...) Hence, by duality, we also cover the usual method of adding propositional quantifiers to normal modal logics by considering their classes of Kripke frames. In addition, we obtain decidability for all the concrete logics we discuss. (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)

Stephen Read (2002, 2006) has recently discussed Bradwardine's theory of truth and defended it as an appropriate way to treat paradoxes such as the liar. In this paper, I discuss Read's formalisation of Bradwardine's theory of truth and provide a class of models for this theory. The models facilitate comparison of Bradwardine's theory with contemporary theories of truth.

The main question addressed by this article is this: How should one understand the role of the sentences of the Tractatus, given Wittgenstein’s statement that they are nonsensical? I begin with a presentation of three general principles of interpretation in order to avoid answering the question in an inappropriate way. I then move on to a short presentation and commentary on a selection of readings – namely, the ineffabilist, resolute and elucidatory ones – and elaborate the answers given by advocates (...) of these to the question explored here. I agree on many points with resolute and elucidatory readings: the Tractatus presents an austere conception of nonsense, and is not a book that seeks to present ontological or semantic theories. I point out, however, that these readings cannot fully explain the nature of Tractarian elucidations. Then I discuss those parts of the Tractatus which refer to the sentences of the book itself. The main proposal of my own approach is this: Tractarian elucidations should be construed as rules of translation, in that they show how to substitute certain expressions for others. They enable us to construct a notation in which everything that is expressible in ordinary language can be said perspicuously. (shrink)