Functionalists about truth employ Ramsification to produce an implicit definition of the theoretical term _true_, but doing so requires determining that the theory introducing that term is itself true. A variety of putative dissolutions to this problem of epistemic circularity are shown to be unsatisfactory. One solution is offered on functionalists' behalf, though it has the upshot that they must tread on their anti-pluralist commitments.

Traditional inflationary approaches that specify the nature of truth are attractive in certain ways; yet, while many of these theories successfully explain why propositions in certain domains of discourse are true, they fail to adequately specify the nature of truth because they run up against counterexamples when attempting to generalize across all domains. One popular consequence is skepticism about the efficaciousness of inflationary approaches altogether. Yet, by recognizing that the failure to explain the truth of disparate propositions often stems from (...) inflationary approaches' allegiance to alethic monism, pluralist approaches are able to avoid this explanatory inadequacy and the resulting skepticism, though at the cost of inviting other conceptual difficulties. A novel approach, alethic functionalism, attempts to circumvent the problems faced by pluralist approaches while preserving their main insights. Unfortunately, it too generates additional problems---namely, with its suspect appropriation of the multiple realizability paradigm and its platitude-based strategy---that need to be dissolved before it can constitute an adequate inflationary approach to the nature of truth. (shrink)

This chapter reviews the major contributions of Donald Davidson to philosophy in the 20th century.

Minimalism about truth is one of the main contenders for our best theory of truth, but minimalists face the charge of being unable to properly state their theory. Donald Davidson incisively pointed out that minimalists must generalize over occurrences of the same expression placed in two different contexts, which is futile. In order to meet the challenge, Paul Horwich argues that one can nevertheless characterize the axioms of the minimalist theory. Sten Lindström and Tim Button have independently argued that Horwich’s (...) attempt to formulate minimalism remains unsuccessful. We show how to properly state Horwich’s axioms by appealing to propositional functions that are given by definite descriptions. Both Lindström and Button discuss proposals similar to ours and conclude that they are unsuccessful. Our new suggestion avoids these objections. (shrink)

John MacFarlane explores how we might make sense of the idea that truth is relative. He provides new, satisfying accounts of parts of our thought and talk that have resisted traditional methods of analysis, including what we mean when we talk about what is tasty, what we know, what will happen, what might be the case, and what we ought to do.

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)

Se sostiene, con Rorty, que la verdad no es ninguna propiedad y, contra Rorty, que esta posición no implica eliminar el concepto de verdad del discurso teórico. Con una estrategia pragmatista, se analizan las prácticas de los hablantes, para mostrar que no se adquieren los mismos compromisos cuando se atribuye verdad y cuando se atribuye justificación. Se evidencia el sentido en que es socialmente útil la distinción filosófica entre verdad y justificación, para finalizar mostrando cómo esa distinción no entraña ninguna (...) metafísica misteriosa. (shrink)

Se sostiene, con Rorty, que la verdad no es ninguna propiedad y, contra Rorty, que esta posición no implica eliminar el concepto de verdad del discurso teórico. Con una estrategia pragmatista, se analizan las prácticas de los hablantes, para mostrar que no se adquieren los mismos compromisos cuando se atribuye verdad y cuando se atribuye justificación. Se evidencia el sentido en que es socialmente útil la distinción filosófica entre verdad y justificación, para finalizar mostrando cómo esa distinción no entraña ninguna (...) metafísica misteriosa. We affirm, with Rorty, that truth is not a property, and, against Rorty, that this position does not imply eliminating the concept of truth from theoretical discourse. The practices of speakers are analyzed using a pragmatist strategy, in order to show that one does not acquire the same commitments when attributing truth or attributing justification. The article discusses the sense in which the philosophical distinction between truth and justification is socially useful and, finally, shows that said distinction does not entail a mysterious metaphysics. (shrink)

The question how to turn the principles implicitly governing the concept of truth into an explicit definition of the concept hence coalesced with the question how to get a finite grip on the infinity of T-sentences. Tarski's famous and ingenious move was to introduce a new concept, satisfaction, which could be, on the one hand, recursively defined, and which, on the other hand, straightforwardly yielded an explication of truth. A surprising 'by-product' of Tarski's effort to bring truth under control was (...) the breathtaking finding that truth is in a precisely defined sense ineffable, that no non trivial language can contain a truth-predicate which would be adequate for the very 4 language. This implied that truth proved itself to be strangely 'language-dependent': we can have a concept of truth-in-L for any language L, but we cannot have a concept of truth applicable to every language. In a sense, this means, as Quine put it, that truth belongs to "transcendental metaphysics", and Tarski's 'scientific' investigations seem to lead us back towards a surprising proximity of some more traditional philosophical views on truth. 3. TARSKI'S THEORY AS A PARADIGM So far Tarski himself. Subsequent philosophers then had to find out what his considerations of the concept of truth really mean and what are their consequences; and this now seems to be an almost interminable task. (shrink)

This book attempts to explicate and expand upon Frank Ramsey's notion of the realistic spirit. In so doing, it provides a systematic reading of his work, and demonstrates the extent of Ramsey's genius as evinced by both his responses to the Tractatus Logico-Philosophicus , and the impact he had on Wittgenstein's later philosophical insights.

The correspondence theory of truth holds that each true sentence corresponds to a discrete fact. Donald Davidson and others have argued (using an argument that has come to be known as the slingshot) that this theory is mistaken, since all true sentences correspond to the same “Great Fact.” The argument is designed to show that by substituting logically equivalent sentences and coreferring terms for each other in the context of sentences of the form ‘P corresponds to the fact that P’ (...) every true sentence can be shown to correspond to the same facts as every other true sentence. The claim is that all substitution of logically equivalent sentences and coreferring terms takes place salva veritate. I argue that the substitution of coreferring terms in this context need not preserve truth. The slingshot fails to refute the correspondence theory. (shrink)

Radical interpretation is used by Davison in his linguistic theory not only as an interesting thought experiment but also a general pattern that is believed to be able to give an essential and general account of linguistic interpretation. If the principle of charity is absolutely necessary to radical interpretation, it becomes, in this sense, a general methodological principle. However, radical interpretation is a local pattern that is proper only for exploring certain interpretation in a specific case, and consequently the principle (...) of charity is an applicable principle in the limited scope. It is neither the case that every linguistic interpretation is in nature radical nor that the principle of charity is the primary and fundamental principle for all linguistic interpretation as Davidson believes. (shrink)

Kant claims that the nominal definition of truth is: “Truth is the agreement of cognition with its object”. In this paper, I analyse the relevant features of Kant's theory of definition in order to explain the meaning of that claim and its consequences for the vexed question of whether Kant endorses or rejects a correspondence theory of truth. I conclude that Kant's claim implies neither that he holds, nor that he rejects, a correspondence theory of truth. Kant's claim is not (...) a generic way of setting aside a correspondence definition of truth, or of considering it uninformative. Being the nominal definition of truth, the formula “truth is the agreement of cognition with its object” illustrates the meaning of the predicate “is true” and people's ordinary conception of truth. True judgements correspond to the objects they are about. However, there could be more to the property of truth than correspondence. (shrink)

A common objection against deflationism is that it cannot account for the fact that truth depends on reality. Consider the question ‘On what does the truth of the proposition that snow is white depend?’ An obvious answer is that it depends on whether snow is white. Now, consider what answer, if any, a deflationist can offer. The problem is as follows. A typical deflationary analysis of truth consists of biconditionals of the form ‘The proposition that p is true iff p’. (...) Such biconditionals tell us nothing about what the truth of the proposition that p might depend on. Therefore, it seems that a typical deflationist cannot give an answer. Since we know that an answer is available, this throws doubt over the adequacy of deflationism as an account of truth. Articulated here is a defence of deflationism against this objection. It is argued that although biconditionals of the sort mentioned do not explicitly state a dependency between truth and reality, they nevertheless convey one. The reason is that, given the context in which a deflationist invokes the biconditionals, such a dependency is implicated. A potential problem with this defence is that it leaves the deflationist still unable to give an account of what it is for truth to depend on reality. One might think that a deflationist can offer such an account by appealing to truthmaker theory but, it is argued below, truthmaker theory is unavailable to a deflationist. Instead, the deflationist should question the assumption that an account is available. (shrink)

In On What Matters, Derek Parfit defends a new metaethical theory, which he calls non-realist cognitivism. It claims that normative judgments are beliefs; that some normative beliefs are true; that the normative concepts that are a part of the propositions that are the contents of normative beliefs are irreducible, unanalysable and of their own unique kind; and that neither the natural features of the reality nor any additional normative features of the reality make the relevant normative beliefs true. The aim (...) of this article is to argue that Parfit’s theory is problematic because its defenders have no resources to make sense of the nature of normative truth, which is an essential element of their view. I do this by showing how the traditional theories of truth are not available for the non-realist cognitivists. (shrink)

In this paper, I raise some interconnected concerns for Paul Horwich’s minimal theory of truth, framed by these three questions: How should the minimal theory be formulated? How does the minimal theory address the liar paradox? What is the explanatory role of the concept of truth? I conclude that we cannot be linguistic or conceptual deflationists about truth.

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief (...) outlook on the "family" of theories of truth generated by the new methodology. (shrink)

The article defends a modern version of the correspondence theory of truth, one which explains the truth of a statement in terms of referential relations between its parts and aspects of the world. Davidson's views on truth are discussed in detail and, in particular, a critical eye is cast over his degradation of the concept of reference which, if successful, would preclude the possibility of developing a full-blooded correspondence theory.

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)

In the middle of the 20th century, it was a common Wittgenstein-inspired idea in philosophy that for a linguistic expression to have a meaning is for it to be governed by a rule of use. In other words, it was widely believed that meanings are to be identified with use-conditions. However, as things stand, this idea is widely taken to be vague and mysterious, inconsistent with “truth-conditional semantics”, and subject to the Frege-Geach problem. In this paper I reinvigorate the ideas (...) that meaningfulness is a matter of being governed by rules of use and that meanings are best thought of in terms of use-conditions. I will do this by sketching the Rule-Governance view of the nature of linguistic meaningfulness, showing that the view isn’t by itself subject to the two problems, and explain why the idea has had a lasting appeal to philosophers from Strawson to Kaplan and why we should find it continually attractive. (shrink)

Argumentation involves offering and/or exchanging reasons – either reasons for adopting various attitudes towards specific propositional contents or else reasons for acting in various ways. This paper develops the idea that the force of reasons is through and through a normative force because what good reasons accomplish is precisely to give one a certain sort of entitlement to do what they are reasons for. The paper attempts to shed light on what it is to have a reason, how the sort (...) of entitlement arising from reasons differs from other species of entitlement and how the norms by which such entitlement is assessed obtain their status as norms. (shrink)

This is a discussion of different ways of working out the idea that the semantic paradoxes show that natural languages are somehow “inconsistent”. I take the workable form of the idea to be that there are expressions such that a necessary condition of understanding them is that one be inclined to accept inconsistent claims (an conception also suggested by Matti Eklund). I then distinguish “simple” from “complex” forms of such views. On a simple theory, such expressions are meaningless, while on (...) a complex theory they are not. I argue that complex theories are incompatible with truth conditional semantics and that simple theories are only coherent when the inconsistent claims are metalingusitic attributions of meaning. I close with a discussion of the version of the simple metalinguistic theory I have defended in “Understanding the Liar” and other papers. (shrink)

Epistemic Logic is our basic universal science, the method of our cognitive confrontation in reality to prove the truth of our basic cognitions and theories. Hence, by proving their true representation of reality we can self-control ourselves in it, and thus refuting the Berkeleyian solipsism and Kantian a priorism. The conception of epistemic logic is that only by proving our true representation of reality we achieve our knowledge of it, and thus we can prove our cognitions to be either true (...) or rather false, and otherwise they are doubtful. Therefore, truth cannot be separated from being proved and we cannot hold anymore the principle of excluded middle, as it is with formal semantics of metaphysical realism. In distinction, the intuitionistic logic is based on subjective intellectual feeling of correctness in constructing proofs, and thus it is epistemologically encapsulated in the metaphysical subject. However, epistemic logic is our basic science which enable us to prove the truth of our cognitions, including the epistemic logic itself. (shrink)

This paper examines a passage in the Theaetetus where Plato distinguishes knowledge from true belief by appealing to the example of a jury hearing a case. While the jurors may have true belief, Socrates puts forward two reasons why they cannot achieve knowledge. The reasons for this nescience have typically been taken to be in tension with each other . This paper proposes a solution to the putative difficulty by arguing that what links the two cases of nescience is that (...) in neither case do the jurors act from an epistemic virtue and that doing so is a necessary condition of knowledge. Appreciating that it is a necessary condition of knowledge that it be the result of an epistemic agent's agency in a distinctive way provides a satisfying solution to the difficulty Burnyeat detected and also does justice to an otherwise neglected aspect of Plato's epistemology: his talk of cognitive capacities and virtues and his focus on what it is that is active and passive in epistemic processes. (shrink)

The word ‘true’ shows some evidence of gradability. For instance, there are cases where truth-bearers are described as ‘slightly true’, ‘completely true’ or ‘very true’. Expressions that accept these types of modifiers are analysed in terms of properties that can be possessed to a greater or lesser degree. If ‘true’ is genuinely gradable, then it would follow that there are degrees of truth. It might also follow that ‘true’ is context-sensitive, like other gradable expressions. Such conclusions are difficult to reconcile (...) with most existing theories: deflationists and inflationists alike tend to reject the thesis that one true truth-bearer can have more or less truth than another. Based on work in natural language, I argue that ‘true’ is not a genuinely gradable expression. I also provide an explanation of the apparent evidence for gradability. Hence there is no reason to think that there is a truth property that comes in degrees. (shrink)

The goal of this paper is to make sense of relativism about truth. There are two key ideas. (1) To be a relativist about truth is to allow that a sentence or proposition might be assessment-sensitive: that is, its truth value might vary with the context of assessment as well as the context of use. (2) Making sense of relativism is a matter of understanding what it would be to commit oneself to the truth of an assessment-sensitive sentence or proposition.

Whether or not deflationism is compatible with truth-conditional theories of meaning has often been discussed in very broad terms. This paper only focuses on Davidsonian semantics and Brandom's anaphoric deflationism and defends the claim that these are perfectly compatible. Critics of this view have voiced several objections, the most prominent of which claims that it involves an unacceptable form of circularity. The paper discusses how this general objection applies to the case of anaphoric deflationism and Davidsonian semantics and evaluates different (...) ways of responding to it (Williams 1999, Horisk 2008 and Lance 1997). Then, three further objections to the compatibility of these theories are assessed and eventually dismissed (Horisk 2007, Patterson 2005 and Collins 2002). It is shown how these considerations shed light on core issues of the debate. (shrink)

I apply recent research on the links between belief, truth and pragmatism based on Williams statement that “beliefs aim at truth,” to the phenomenon of pluralistic ignorance, in which agents act contrary to their private beliefs because they believe that other agents believe the contrary. I consider three positions; an epistemic position, a pragmatic position, and a third position coordinating the first two. I apply them to pluralistic ignorance while considering the recent study of Bjerring, Hansend and Pedersen. I conclude (...) that a purely epistemic approach is better for understanding pluralistic ignorance. (shrink)

Functionalism about truth is the view that truth is an explanatorily significant but multiply-realizable property. According to this view the properties that realize truth vary from domain to domain, but the property of truth is a single, higher-order, domain insensitive property. We argue that this view faces a challenge similar to the one that Jaegwon Kim laid out for the multiple realization thesis. The challenge is that the higher-order property of truth is equivalent to an explanatorily idle disjunction of its (...) realization bases. This consequence undermines the alethic functionalists’ non-deflationary ambitions. A plausible response to Kim’s argument fails to carry over to alethic functionalism on account of significant differences between alethic functionalism and psychological functionalism. Lynch’s revised view in his book Truth as One and Many ( 2009 ) fails to answer our challenge. The upshot is that, while mental functionalism may survive Kim’s argument, it mortally wounds functionalism about truth. (shrink)

According to Field’s influential incompleteness objection, Tarski’s semantic theory of truth is unsatisfactory since the definition that forms its basis is incomplete in two distinct senses: (1) it is physicalistically inadequate, and for this reason, (2) it is conceptually deficient. In this paper, I defend the semantic theory of truth against the incompleteness objection by conceding (1) but rejecting (2). After arguing that Davidson and McDowell’s reply to the incompleteness objection fails to pass muster, I argue that, within the constraints (...) of a non-reductive physicalism and a holism concerning the concepts of truth, reference and meaning, conceding Field’s physicalistic inadequacy conclusion while rejecting his conceptual deficiency conclusion is a promising reply to the incompleteness objection. (shrink)

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too coarse to be (...) acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (shrink)

While P.F. Strawson’s essay ‘Freedom and Resentment’ has had many commentators, discussions of it can be roughly divided into two categories. A first group has dealt with the essay as something that stands by itself in order to analyse Strawson’s main arguments and to expose its weaknesses. A second group of commentators has looked beyond ‘Freedom and Resentment’ by emphasizing its Humean, Kantian or Wittgensteinian elements. Although both approaches have their own merits, it is too often forgotten that Strawson was (...) an original thinker with his own views on the nature of philosophical problems and how to appropriately deal with them. The aim of this article is to remedy this forgetfulness and to make sense of ‘Freedom and Resentment’ from a Strawsonian perspective, by looking at Strawson’s own views on philosophical methodology. (shrink)

This paper pursues two goals. The first is to show that Horwich's anti-primitivist version of minimalism must be rejected because, already for formal reasons, the truth-schema does not achieve a positive explication of any property of propositions. The second goal is to develop a more moderate primitivist version of minimalism according to which the truth-schema is admittedly powerless to underpin truth with something more basic but it still succeeds in giving a complete account of the necessary and sufficient conditions for (...) a proposition to be true. (shrink)

Greimann-Dirk_A-typology-of-conceptual-explications.

We discuss the interplay between the axiomatic and the semantic approach to truth. Often, semantic constructions have guided the development of axiomatic theories and certain axiomatic theories have been claimed to capture a semantic construction. We ask under which conditions an axiomatic theory captures a semantic construction. After discussing some potential criteria, we focus on the criterion of ℕ-categoricity and discuss its usefulness and limits.

Tarski's theory of truth brings out the question of whether he intended his theory to be a correspondence theory of truth and whether, whatever his intentions, his theory is in fact a correspondence theory. The aim of this paper is to answer both questions. The answer to the first question depends on Tarski's relevant assertions on semantics and his conception of truth. In order to answer the second question Popper's and Davidson's interpretations of Tarski's truth theory are examined; to this (...) end both Tarski's definition of truth in terms of satisfaction and the T-sentences are taken into account. (shrink)

The Polish logicians' propositional calculi, which consist in a distinct synthesis of the Fregean and Boolean approaches to logic, influenced W. V. Quine's early work in formal logic. This early formal work of Quine's, in turn, can be shown to serve as one of the sources of his holistic conception of natural language.

One of the many ways that ‘deflationary’ and ‘inflationary’ theories of truth are said to differ is in their attitude towards truth qua property. This difference used to be very easy to delineate, with deflationists denying, and inflationists asserting, that truth is a property, but more recently the debate has become a lot more complicated, owing primarily to the fact that many contemporary deflationists often do allow for truth to be considered a property. Anxious to avoid inflation, however, these deflationists (...) are at pains to point out that the truth property, on their view, is not a property of any significant interest. Correspondingly, inflationists have seen this as an opportunity to refine what kind of property they think truth is, which—according to them—moves their views beyond deflationism. The upshot of this is that there are number of different accounts in the literature of what distinguishes an inflationary truth property from a deflationary one, or—as it is sometimes put—what distinguishes a ‘substantive’ property from an ‘insubstantive’ one. This has made it hard to pin down exactly what is at issue at the metaphysical level between deflationists and inflationists, which makes it increasingly hard to see how debates between them are properly phrased. Given that these positions represent the two central attitudes towards truth in contemporary debates, this makes for a serious obstacle for the project of discerning the correct theory of truth. The aim of this paper is to discern the best way to distinguish between substantive and insubstantive properties, and thus to restore some focus to these debates. I argue that the three central distinctions in the literature fail, and offer what I take to be a more promising distinction in terms of a graded distinction between abundant and sparse properties. (shrink)

In this paper I investigate the claim that truth is a relational property. What does this claim really mean? What is its import?—Is it a basic feature of the concept of truth; or a distinctive feature of the correspondence theory of truth; or even both? After introducing some general ideas about truth, I begin by highlighting an ambiguity in current uses of the term ‘relational property’ in the truth debate, and show that we need to distinguish two separate ideas: that (...) truth is a relational property, and that truth is an extrinsic property. I go on to examine what both of these ideas are in more detail, and consider what would need to hold for truth to be in either of these categories. I then discern where all the main competitors in the truth debate stand on these issues. In doing so we learn more about these views and what they entail, and build a general picture of what stances different theories of truth take on whether truth is extrinsic or relational. Moreover, in doing this we will be able to answer one of the questions with which we began: whether truth’s being extrinsic or relational is something that, if accepted, lends support to the correspondence theory of truth. We will see that this is not so, and discern some interesting variations between various theories of truth on the issues of whether truth is extrinsic or relational. Following this we will be in a better position to judge whether the notions of extrinsicality or relationality are basic features of the concept of truth. In the final part of the paper I argue that, even if we are not in a position to conclude that they are basic features, they are features that any prospective theory of truth needs to take seriously. (shrink)

In the first two sections I present and motivate a formal semantics program that is modeled after the application of numbers in measurement (e.g., of length). Then, in the main part of the paper, I use the suggested framework to give an account of the semantics of necessity and possibility: (i) I show thatthe measurement theoretic framework is consistent with a robust (non-Quinean) view of modal logic, (ii) I give an account of the semantics of the modal notions within this (...) framework, and (iii) I defend the suggested account against various objections. (shrink)

Theories of personal identity purport to specify truth conditions for sentences of the form 'x-at-ti is the same person as y-at-tj. Most philosophers nowadays agree that such truth conditions are to be stated in terms of psychological continuity. However; opinions vary as to how the notion of psychological continuity is to be understood. In a recent contribution to this journal, Slors offers an account in which psychological continuity is spelled out in terms of narrative connectedness between mental states.The present paper (...) argues that Slors' theory either is no theory of personal identity at all or is too weak.Towards the end of the paper, it is indicated how the problem uncovered for Slors' theory may be avoided. (shrink)

To save antirealism from Fitch's Paradox, Tennant has proposed to restrict the scope of the antirealist principle that all truths are knowable to truths that can be consistently assumed to be known. Although the proposal solves the paradox, it has been accused of doing so in an ad hoc manner. This paper argues that, first, for all Tennant has shown, the accusation is just; second, a restriction of the antirealist principle apparently weaker than Tennat's yields a non-ad hoc solution to (...) Fitch's Paradox; and third, the alternative is only apparently weaker than, and even provably equivalent to, Tennant's. It is thereby shown that the latter is not ad hoc after all. (shrink)

Two features of Paul Horwich's minimalist conception of truth (1990) make it stand out from the deflationary crowd. First, Horwich takes propositions to be the primary vehicles of truth (1990: 17-18, Ch. 6). Second, he claims that an explicit definition of truth applicable to propositions cannot be given (1990: 26-31), and hence that the meaning of 'true' can only be determined by our disposition to assent to the infinitely many (non-paradoxical) instances of the following schema: (E) The proposition that p (...) is true if and only if p (1990:38). In a recent article Donald Davidson (1996) provides an objection to the effect that these two features of Horwich's minimalism conspire to ruin it. In this brief note I aim to show that a convincing reply is available to the minimalist. (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)