The identity theory of truth takes on different forms depending on whether it is combined with a dual relation or a multiple relation theory of judgment. This paper argues that there are two significant problems for the dual relation identity theorist regarding thought’s answerability to reality, neither of which takes a grip on the multiple relation identity theory.

This book argues that correspondence theories of truth fail because the relation that holds between a true thought and a fact is that of identity, not correspondence. Facts are not complexes of worldly entities which make thoughts true they are merely true thoughts. According to Julian Dodd, the resulting modest identity theory, while not defining truth, correctly diagnoses the failure of correspondence theories, and thereby prepares the ground for a defensible deflation of the concept of (...) truth. (shrink)

Book Information An Identity Theory of Truth. By Dodd Julian. Macmillan. Basingstoke. 2000. Pp. ix + 199. Hardback, £42.50.

is true, there is a truth-maker (e.g., a fact) with which it is identical and the truth of the former consists in its identity with the latter. The theory is best understood as a reaction to the correspondence theory, according to which the relation of truth-bearer to truth-maker is correspondence. A correspondence theory is vulnerable to the nagging suspicion that if the best we can do is make statements that merely correspond to (...) the truth, then we inevitably fail to capture the reality they are about and thus fall short of the truth we aim at. An identity theory is designed to overcome this suspicion. (shrink)

The paper is concerned with the idea that the world is the totality of facts, not of things – with what is involved in thinking of the world in that way, and why one might do so. It approaches this issue through a comparison between Wittgenstein’s Tractatus and the identity theory of truth proposed by Hornsby and McDowell.The paper’s positive conclusion is that there is a genuine affinity between these two. A negative contention is that the modern (...) identity theory is vulnerable to a complaint of idealism that the Tractatus can deflect. (shrink)

The main thesis of this paper is that John McDowell (in his Mind and World) tries to occupy a position that is not coherently statable; namely, that facts have objects and properties as constituents and are yet identical with true (Fregean) Thoughts. This position is contrasted with two other identity theories of truth: the robust theory, in which true propositions are identified with facts (which are understood to have objects and properties as constituents); and the modest (...) class='Hi'>theory, in which facts are identified with true Fregean Thoughts. I argue that the modest theory is to be preferred. (shrink)

Julian Dodd; Discussions: Hornsby on the Identity Theory of Truth, Proceedings of the Aristotelian Society, Volume 99, Issue 1, 1 June 1999, Pages 225–232, http.

In a recent article, Hofweber presents a new, and surprising, argument for idealism. His argument is surprising because it starts with an apparently innocent premiss from the philosophy of language: that ‘that’-clauses do not refer. I do not think that Hofweber's argument works, and my first aim in this paper is to explain why. However, I agree with Hofweber that what we say about ‘that’-clauses has important metaphysical consequences. My second aim is to argue that, far from leading us into (...) idealism, denying that ‘that’-clauses refer is the first step toward a kind of direct realism about belief. (shrink)

The identity theory of truth, according to which true thoughts are identical with facts, is very hard to formulate. It oscillates between substantive versions, which are implausible, and a merely truistic version, which is difficult to distinguish from deflationism about truth. This tension is present in the form of identity theory that one can attribute to McDowell from his views on perception, and in the conception defended by Hornsby under that name.

According to the so-called identity theory of truth. A proposition is true if the given proposition is identical to some fact. But with which fact must a proposition be identical if it is to be true? This question, according to some philosophers (notably Stewart Candlish), raises serious problems for the identity theory of truth. The worry is that the identity must specify the "right fact" if it is to be an acceptable theory. (...) The current paper aims to help the identity theory by dissolving the alleged problem of specifying the "right fact".-correspondence to: bealluconn.edu. (shrink)

1. The conclusion of Stewart Candlish’s pithy survey of identity theories of truth is that he is not yet convinced that any instance is more than an “historical curiosity”. Candlish in effect presents the would-be identity theorist with a dilemma: identity theories are either substantial, yet intrinsically implausible ); or else they are trivial.

Recently we have seen the disinterring, inspection, attribution to various philosophers including Bradley, and eventually recommendation of a forgotten theory of truth, the identity theory. But have we yet been given compelling reason to regard this theory, in any of its so far recognized variants, as anything other than a mere historical curiosity? In this paper I shall query some of the attributions, and try to answer this question.

In ‘On McDowell's identity conception of truth’ , we suggested that McDowell's Identity Theory, according to which a proposition is true if and only if it is identical with a fact, is only fully understood when we realize that there are two identity claims involved. The first is that, when one thinks truly, the content of a whole thought is identical with a Tractarian Tatsachen – a complex fact constituted by simple Sachverhalte – and the (...) second is that these simple Sachverhalte are in turn identical with simple Fregean senses. 1As an example, we suggested that the complex content/proposition/Fregean sense is identical with the Tractarian Tatsachen constituted by the two Sachverhalte: the object's being a tiger and the object's being undernourished, both of which can be seen, as the second identity with simple Fregean senses requires, to present an object in a certain way – as being, in turn, a tiger and undernourished.In his response to our article, Julian Dodd raises three internal criticisms concerning the coherence of the view as a whole, as well as the interpretative criticism that, regardless of the internal coherence of the view, it is not McDowell's. We think that Dodd fails to appreciate the view we have developed in our article, so much so that he believes that his own proffered view of McDowell, articulated in the final section of his response, is an alternative to our own position when in fact it is simply a restatement of that position. Because this point is so fundamental, we begin below by spelling out exactly where Dodd's understanding of our view goes wrong and so why his interpretative criticism misses its target before addressing the internal criticisms concerning the coherence of the view as a …. (shrink)

This is a response to Jennifer Hornsby's Presidential Address to the Aristotelian Society in 1996 (published 1997) and to Julian Dodd's defences of an identity theory. Both authors explain their versions of the theory through its rejection of a correspondence theory and its insistence on the indefinability of truth. I ask what more there is to the identity theory to justify its title and argue that the investigation of this matter reveals difficulties which (...) neither author resolves. (shrink)

The aim of this paper is to criticize Thomas Baldwin's claim, that in developing an identity theory of truth, F H Bradley was following Hegel. It is argued that Baldwin has incorrectly understood certain passages from Hegel which he cites in defense of this view, and that Hegel's conception of truth was primarily material, not propositional.

È possibile connettere la concezione hegeliana della verità con alcune teorie filosofiche a noi contemporanee? Il presente lavoro esplora gli aspetti più rilevanti della concezione hegeliana della verità attraverso la ‘lente’ del confronto con quella che oggi viene chiamata identity theory of truth. Tale confronto si articola intorno ad alcune nozioni chiave: ‘pensiero’, ‘contenuto di pensiero’, ‘giudizio’, ‘contenuto del giudizio’, ‘realtà’ e ‘identità’. Lo scopo che viene perseguito non è una traduzione della filosofia di Hegel dentro schemi, (...) categorie e linguaggi caratteristici del pensiero contemporaneo. L’analisi mostra, piuttosto, come il potenziale teorico della riflessione hegeliana sulla verità sia ancora in grado di mettere in discussione e stimolare le nostre elaborazioni sul tema. (shrink)

Most recent discussions of truth ignore the fact that a few philosophers, past and present, have flirted with and sometimes openly subscribed to an identity theory, according to which a proposition's being true consists in its identity with the reality it is supposedly about. This neglect is probably due to the theory's counter-intuitiveness: it faces obvious and fundamental objections. The aim of this paper is to consider these objections and decide if there is a version (...) of the theory which can escape them, thereby becoming an at least initially plausible candidate for an account of truth. In this way the metaphysical price exacted by commitment to an identity theory can be assessed. (shrink)

Previously unpublished passages from the Cairns Nachlass are assembled and commented on to present the identity theory in contrast with the traditional coherence and correspondence theories, and then seven more detailed analyses of related aspects are also edited.To say that a syntactical object is true or is a fact, is to say that the act of intending it as having a perhaps indistinct structure and a perhaps obscure material content may unite in a positive synthesis of identification with (...) an act wherein “the same” syntactical object is distinctly and clearly evident as having “the same” structure and content. The fulfilling act is eo ipso a grasping of the still grasped syntactical object as having been produced by a syntactical activity founded in original explication of the subject-matter. The realization of such a synthesis is a verification of the truth of the syntactical object, a verification of the “existence” of the fact.Se reúnen y comentan pasajes inéditos del Nachlass de Cairns para presentar la teoría de la identidad en contraste con las tradicionales de la coherencia y la correspondencia, también se editan luego siete análisis más detallados de aspectos relacionados.Decir que un objeto sintáctico es cierto o es un hecho, es decir que el acto de mentarlo como teniendo una estructura tal vez confusa y un contenido material tal vez os-curo, puede unir en una síntesis positiva de identificación con un acto en el que "el mismo" objeto sintáctico es clara y evidentemente teniendo "la misma" estructura y contenido. El acto de cumplimiento es eo ipso un captación del objeto sintáctico todavía captado como habiendo sido producido por una actividad sintáctica fundada en explicación original de la materia. La realización de tal síntesis es una verificación de la verdad del objeto sintáctico, una verificación de la "existencia" del hecho. (shrink)

The identity conception of truth holds that a thinkable is true just in case it is a fact. As such, it sets itself against correspondence theories of truth, while respecting the substantive role played by truth in respect of enquiry. In this article, I motivate and develop that view, and, in so doing, promote a particular conception of sense. This allows me to defend the view from two substantial criticisms. First, that the identity conception of (...) truth is incoherent in respect of its treatment of objects in the realm of reference, and, second, that it is committed to a view of the world in which ordinary objects have no place. (shrink)

Ever since the works of Alfred Tarski and Frank Ramsey, two views on truth have seemed very attractive to many people. On the one hand, the correspondence theory of truth seemed to be quite promising, mostly, perhaps, for its ability to accomodate a realistic attitude towards truth. On the other hand, a minimalist conception seemed appropriate since it made things so simple and unmysterious. So even though there are many more theories of truth around - (...) the identity theory, the prosentential theory, etc. -, it is fair to say that these two views have acquired the status of the main contenders in the field. Most recently, John Searle and David Lewis have taken sides on the issue. Searle defends a new version of the correspondence theory which takes facts to be the correspondents of true statements, whereas Lewis wants to hold on to a minimalist conception of truth - allowing for an appendix of purely ontological claims that he extracts from the correspondence theory. What is new is that both have tried to see the correspondence theory not as a rival to the minimalist conception, but rather as essentially compatible with it. Still, in the end, Searle arrives at his version of the correspondence theory, and Lewis votes for minimalism. Both philosophers have sympathy with the spirit of the correspondence theory, to say the least. So one wonders why it is that they come to so different conclusions. Both start from the spirit of the correspondence theory, and both see it as essentially compatible with the heart of the minimalist conceptions, and still is there no agreement on what theory is to be accepted in the end. (shrink)

The 1964 Congress of the Australasian Association of Philosophy was the occasion for the delivery of the five major papers in this volume. Comments by J. J. C. Smart on four of the papers are included, since, not surprisingly, discussion of the identity theory was centered almost exclusively around Smart's formulation of it. Of the four papers upon which Smart commented, three are very critical of the identity theory while the fourth is sympathetic but uncommitted. The (...) fifth paper, "Ryle and the Mechanical Hypothesis," is a greatly expanded version of the paper Brian Medlin read to the Congress. Medlin's paper is largely an ad hoc defense of central state materialism against objections which might be raised by a Rylean. Rollins and Herbst have added replies to Medlin's paper; Herbst's comments are, in particular, quite acute in the way in which they bring out the ideological undersurface of the identity theory. In the critical papers, Gunner argues that Smart has not sufficiently clarified the notion of identity so as to make the thesis meaningful; Rollins argues that Smart has failed to notice the context-dependency of an explanation, i.e., an explanation is an explanation for some--but not necessarily all--purposes; Herbst suggests that Smart has given no intelligible account of how the identity theory could be verified without begging the question. In his "Comments" Smart reaffirms his faith in physicalism and announces his recent conversion to a Feyerabendian contextual account of a truth. This conversion solves all the difficulties of the theory. The effects are inconclusive, when not evasive.--E. A. R. (shrink)

IN discussions of the identity theory of mind, there is constant recourse to two related types of argument, from ordinary language usage, to the effect that the theory in question is either false or meaningless. We can refer to the two arguments under discussion as the category argument and the meaninglessness argument. If either one of these arguments were well founded we could decide a priori without waiting for further research in the relevant sciences, whether or not (...) the mind could be identified with processes of the central nervous system. The answer would be in the negative. It is proposed to examine these two arguments here, and to question the persuasive simplicity with which they have been frequently put forward. If they do not bear up well under closer scrutiny we may not, of course, conclude to the truth of the identity theory; we will conclude only that it has not been a priori eliminated, by these arguments, as a contender for the solution of the mind-body problem. (shrink)

In 'On the nature of truth and falsehood' Russell offers both a multiple relation theory of judgment and a correspondence theory of truth. It has been a prevailing understanding of the Tractatus that Wittgenstein rejects Russell’s multiple relation idea but endorses the correspondence theory. Ramsey took the opposite view. In his 'Facts and Propositions', Ramsey endorses Russell’s multiple relation idea, rejects the correspondence theory, and then asserts that these moves are both due to Wittgenstein. (...) This chapter will argue that Ramsey’s ascriptions are both correct. The extent of the agreement between Ramsey and Wittgenstein will be argued, moreover, to count definitively against standard understandings of Ramsey as a redundancy theorist of truth. Wittgenstein is no correspondence theorist and Ramsey is no redundancy theorist; rather, both philosophers offer identity theories of truth. (shrink)

Jennifer Hornsby’s 1997 paper, ‘Truth: The Identity Theory’, has been highly influential in making the identity theory of truth a viable option in contemporary philosophy. In this introduction and commentary I focus on what distinguishes her theory and its methodology from the correspondence theory and the ‘substantivist’ methodology, and on other issues that have not been widely discussed in earlier commentaries yet are central to the current debate on truth.

I identify an inconsistency in Jago’s theory of truth. I show that Jago is committed to the identity of the proposition that the proposition that A is true and the proposition that A. I show that Jago is committed to the proposition that A being true because A if the proposition that A is true. I show that these two commitments, given the rest of Jago’s theory, entail a contradiction. I show that while the latter commitment (...) follows from Jago’s theory of truth, even by Jago’s own lights he should not be committed to the identity of the proposition that the proposition that A is true and the proposition that A. (shrink)

The truthmaker theory rests on the thesis that the link between a true judgment and that in the world to which it corresponds is not a one-to-one but rather a one-to-many relation. An analogous thesis in relation to the link between a singular term and that in the world to which it refers is already widely accepted. This is the thesis to the effect that singular reference is marked by vagueness of a sort that is best understood in supervaluationist (...) terms. In what follows we show that the supervaluationist approach to singular reference, when wedded to the truthmaker idea, yields a framework of surprising power, which offers a uniform set of solutions to a range of problems regarding identity, reference and knowledge, problems which have hitherto been dealt with on an ad hoc basis. (shrink)

It is often said that there are two varieties of identity theory. Type-identity theorists interpret physicalism as the claim that every property is identical to a physical property, while token-identity theorists interpret it as the claim that every particular is identical to a physical particular. The aim of this paper is to undermine the distinction between the two. Drawing on recent work connecting generalized identity to truth-maker semantics, I demonstrate that these interpretations are logically (...) equivalent. I then argue that each has the resources to resolve problems facing the other. (shrink)

Robert Trueman (2022) sets out and defends an ‘immodest’ identity theory of truth: that is, an identity theory in which the facts with which true propositions are identical are things whose totality is the world: i.e. obtaining states of affairs. This brief reply argues that Truman’s theory falls foul of a perennial objection to such immodest identity theories: namely, that it cannot explain how a candidate proposition’s putative elements can be unified into a (...) proposition proper without this proposition being true. (shrink)

I want to promote what I shall call ‘the identity theory of truth’. I suggest that other accounts put forward as theories of truth are genuine rivals to it, but are unacceptable. A certain conception of thinkables belongs with the identity theory’s conception of truth. I introduce these conceptions in Part I, by reference to John McDowell’s Mind and World; and I show why they have a place in an identity theory, (...) which I introduce by reference to Frege. In Part II, I elaborate on the conception of thinkables, with a view to demonstrating that the identity theory’s conception of truth is defensible. Part III is concerned with the theory’s relation to some recent work on the concept of truth: I hope to show that the identity theorist not only has a defensible conception of truth, but also, in the present state of play, has appropriate ambitions. (shrink)

The aim of this dissertation is to present a systematic account of F. H. Bradley's philosophy in so far as it is relevant to an understanding of his conception of the nature and criterion of truth. I argue that, for Bradley, the nature of truth is the identity of thought with reality given in immediate experience. There is no absolute separation between thought and its object. Bradley therefore rejects both the correspondence theory and epistemological realism. Thought (...) is not just a mirror which reflects an independently existing reality. ;Concerning the criterion of truth, I argue that his criterion for our ordinary and scientific beliefs is practice, and the criterion for philosophical positions is a kind of coherence based on the doctrine of relative truth. For Bradley, some positions are truer than others, and the best philosophy is a comprehensive system which contains the truth of all different positions. ;Bradley does not accept the coherence theory of justification as it is understood today, since it is based on the standard account of negation and the doctrine of absolute truth. Bradley has a different approach to negation and inconsistency, according to which there are no absolutely inconsistent beliefs. Further, he insists that truth is not absolute but "relative," a matter of degree. All philosophical positions contain some truth, and none is completely false. The truth in philosophy is a position which accounts for the whole of reality and includes all apparently inconsistent positions within it. ;I explain Bradley's place in the history of philosophy and show his connections with the British empiricist tradition. I believe one of Bradley's central concerns is to explain the nature and criterion of truth in philosophy within the constraints of empiricism. I also contrast Bradley's positions on important issues with those of philosophers in the Anglo-American analytic tradition, such as Russell, Moore, Ayer, Tarski, Quine, Churchland, Lehrer and Campbell. I argue that most recent commentators on Bradley overlook the importance of understanding his philosophy as a system constructed according to the doctrine of relative truth. (shrink)

There are many religions in the human world, and people manifest their religiousness in many different ways. The main problem this paper addresses concerns the possibility of sorting out this complex world of human religiousness by showing that it can be phenomenologically reduced to a few very basic existential attitudes. These attitudes express the main types of ways in which a human being relates to his or herself and the world, independently of the worldview or religion professed by the individual. (...) I use Kierkegaard’s theories of the stages of existence and subjective truth as a model. The theory of the stages of existence provides five basic existential attitudes on the basis of which religious attitudes can develop: spiritlessness, the aesthetic, the ethical, religiousness A, and religiousness B. The theory of subjective truth shows how the concept of truth functions in an ethical and existential sense as the personal truth of an individual engaged in building their religious identity. In turn, I discuss the problem of the relation of Kierkegaard’s philosophy to phenomenology, briefly introduce his concept of subjective truth and the stages of existence, and show how existential attitudes can be transformed into religious ones. I also consider the problem of the demonic as the inverted order of this anthropological and existential model. Finally, I argue that the model developed herein may be useful for further research into the phenomenology of religious attitudes. (shrink)

Jurgen Habermas, particularly in his master work Theory of Communicative Action (1981), takes us several of the basic insights of the philosophical tradition of reflection initiated by Kant, and sets it on a new and highly original emancipative path. He claims that reflection not only can determine the limits of reasoning about thought and action, but also can grasp the limits that human agents face in freeing themselves form unjust social and economic structures. Human agents can engage in constructive (...) and emancipative communication with others by determining the limits not of their own consciousness, but of the intersubjective structures shared in everyday communication. Reflection Revisited examines Habermas’ own two-stage development of this theory of emancipative reflection and explicates how he applies reflection specifically to the problems of personal identity development and ethics. (shrink)

This essay explores Edmund Husserl's significance for contemporary truth theory. Focusing on his Logical Investigations, it argues that early Husserl's conception of truth unsettles a common polarity between epistemic and nonepistemic approaches. Unlike contemporary epistemic conceptions of truth, he gives full weight to “truth makers” that have their own being: objective identity, perceptible objects, and states of affairs. Yet, unlike contemporary nonepistemic conceptions, he also insists on the intentional givenness of such truth makers (...) and on the complexity of the experiences within which propositional truth claims arise. To develop this argument, the essay explains how early Husserl's conception of truth builds on his phenomenology of intentional experience and knowledge. By emphasizing an objective identity between what is signitively meant and intuitively given, Husserl's approach provides a way to resituate propositional truth within a broader and more dynamic conception of truth. (shrink)

I discuss donald davidson's argument for the psycho-Physical identity theory and contend that it fails: it relies on an implausible account of mental and physical events. Davidson proposes a linguistic test for determining whether a given event is mental or physical. I argue that the assumptions that are necessary for employing such a criterion of the mental are either false or presuppose the truth of the identity theory.

In this paper I argue, contrary to Chad Hansen’s view , that pre-Han 漢 Chinese philosophy has the semantic concept of truth. Hansen argues that, first, pre-Han Chinese thinkers do not have motivations to introduce the concept of truth in their philosophy due to their peculiar theory of language; second, the concept does not fit well with philosophical texts at that time, and in particular, the Mozi 墨子 text about the three standards of doctrine. However, I argue (...) that Chinese thinkers indeed have reasons to introduce the concept of truth. Hansen’s reading of the three standards of doctrine takes the standards as standards of correct word use, thus attributing to the authors of the Mozi an understanding of yan 言 as something without complete propositional content. However, I argue, a reading that sees the three standards as standards for something with complete propositional content explains better the passages in which the authors apply the standards to various issues. Finally I argue that the term ran 然 is sometimes used as a truth predicate in classical Chinese texts, because it has several important features identical to that of the truth predicate “is true” in English. (shrink)

The analysis of identity as coreference is strongly associated with Frege ; it is the view in Begriffsschrift, and, some have argued, henceforth throughout his work. This thesis is incorrect: Frege never held that identity is coreference. The case is made not by interpretation of “proof-quotes”, but rather by exploring how Frege actually deploys the concept. Two cases are considered. The first, from Grundgesetze, are the definitions of the core concepts, zero and truth; the second, from Begriffsschrift, (...) is the validity of Leibniz's Law. In both cases, if identity is coreference, results ensue that would be unacceptable to Frege. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:REID' S CRITICISM OF HUME'S THEORY OF PERSONAL IDENTITY One of the most interesting philosophical controversies is that between Reid and Hume, considered as representatives of two different sorts of empiricism. Hume, for these purposes, represents 'radical' empiricism, and the attempt to base knowledge solely on experience and what can be validly inferred from it, regardless of how far this leads one from everyday notions and beliefs. (...) Reid, in contrast, represents 'common sense' empiricism, and the view that the. results of experience and deduction must conform to a number of 'first principles or intuitive judgments' (Essays on the intellectual powers of man, VI, 4), which aie unprovable, but which no one can avoid accepting. It is important to be clear about the status of Reid' s 'intuitive judgments', or 'principles of common sense'. They are not merely the general beliefs of a particular culture, which could be 'vulgar errors or preJUdICeS''. Nor are they merely beliefs generally held by people uncorrupted by philosophy. They are assumptions which have to be made if theoretical or practical activity is to be possible at all, principles which are always accepted in practice even by those who deny them in theory. For example, although the uniformity of nature is not a logically necessary truth, everybody always thinks and acts in ways that presuppose that it is true: 'Nature is governed by fixed laws, and if it were not so, there could be no such thing as prudence in human conduct.... the whole fabric of natural philosophy is built upon this principle.' (Essays, VI, 5) Again, everyone, even a theoretical determinist, makes moral judgments and deliberates what to do; and these activities presuppose a belief in human free will. (Essays, ibid.) Hume himself, as Reid was aware, accepted the validity of some principles of this sort, notably of the 42. uniformity of nature. But Reid was dissatisfied with Hume's account, partly because he thought Hume had rejected far too much, and partly because of the grounds Hume gives for accepting, for example, the validity of induction, and the existence of the external physical world. Hume regards these beliefs as non-rational, and deriving from our psychological make-up; it is nature and not reason which causes the belief in an ordered physical reality. In Hume's eyes this is a sufficient justification: if our nature compels us to believe something, this is as good a ground for believing it as any other. Reid, on the other hand, believed, first, that there were many more principles of this sort than Hume had acknowledged, and secondly, that the justification of them was rational, and not merely psychologically determined, since it was based on the impossibility of thinking and acting coherently without them. Hence, even though Hume builds up with one hand what he pulls 'down with the other, and destroys the rational basis for belief only to replace it by one based on human nature and psychology, Reid continues to treat him as the archsceptic. In constructing his list of first principles in Essays, VI, 5, Reid explicitly or implicitly attacks Hume's 'scepticism' on five points - the existence of the mind; the existence of the physical world and the reliability of our senses; the reliability of memory; the reliability of reason; and the uniformity of nature. Against this scepticism he deploys three types of argument. The first is the argument from the universal beliefs of mankind, particular!/ as displayed in the structural features supposedly common to all languages. The second is the argument that the position of the sceptic is, when its consequences are worked out, either self-contradictory or incoherent. And the third is the argument already mentioned, that this position is inconsistent with other beliefs which the sceptic inevitably holds, since he thinks and acts in ways which are 43. inconsistent with their falsity, and cannot avoid doing so. To assess the force of Reid' s attacks, we have to consider both the strength of arguments of this sort in general and whether they apply in all these five cases. In this article, I want to concentrate on the first issue of the five, that of personal identity. Apart from displaying Reid... (shrink)

This essay argues for a 'relationist' treatment of intentional identity sentences like (1) "Hob believes that a witch blighted Bob's mare and Nob believes that she killed Cob's sow" (Geach 1967). According to relationism, facts of the form "a believes that p and b believes that q" are not in general reducible to facts of the form "c believes that r". We first argue that extant, non-relationist treatments of intentional identity are unsatisfactory, and then go on to motivate (...) and explore a relationist alternative in some detail. We show that the general thesis of relationism can be directly motivated via cases already discussed in the literature, and then develop a particular version of relationism couched in the possible worlds framework. The resulting theory avoids the problems facing its non-relationist rivals, and yields a natural account of the truth-conditions of (1), truth-conditions which can be generated in a compositional manner by a version of dynamic semantics. The theory also helps us to cleanly separate semantic questions about intentional identity from metasemantic ones. (shrink)

Leibniz propôs que demonstrações fossem reformuladas como deduções a partir de identidades, e que proposições do tipo A = A fossem a fonte única de verdade. Neste artigo, procuro explicar essa teoria da prova (e do conhecimento), assim como seus conceitos elementares, ou seja, os conceitos de identidade, verdade (ou possibilidade) e proposição (inclusive a teoria leibniziana da redutibilidade a proposições sujeito-predicado). Leibniz proposed that demonstrations be reformulated as deductions from identities, and that propositions of the type A = A (...) be the only source of truth. In this article, I aim to explain this theory of proof (and knowledge), as well as its elementary concepts, such as identity, truth (or possibility) and proposition (including Leibniz's theory of reducibility of propositions to subject-predicate form). (shrink)

I challenge the assumption that the pragmatist-, coherence-, identity- and deflationary theories of truth are essentially incompatible and rival views to the correspondence theory, without endorsing pluralism. With the exception of some versions of the identity theory, the alternative theories only appear to genuinely contradict the correspondence theory, either when they are wedded to a rejection of an objective reality, or when it is assumed that a ‘theory of truth’ is a (...) class='Hi'>theory of the function of the truth-predicate. I argue that the correspondence theory should not be understood as a theory about the function of the truth-predicate, and that the core ideas of the alternative views, once separated from any anti-realist convictions, are best understood as complementary views about different aspects of a fairly complex phenomenon, notably of how our beliefs relate to their subject matter and how we reason and talk about that relation. (shrink)

Künne outlines Bolzano’s attempt to give a definition of the concept of truth and asks whether Frege succeeded in showing that all such endeavours are doomed to failure. Bolzano and Frege are agreed that the schema ‘That p is true if, and only if, p’ captures an important feature of the concept of truth, and in different ways both went beyond this observation: Frege maintained that the two halves of such biconditionals express the same proposition, and Bolzano supplemented (...) the equivalence schema with ‘If it is true that p then it is true because p’. Künne locates this true-because principle in Bolzano’s general theory of grounding and explores whether Frege’s Identity Thesis can be refuted by appealing to it. (shrink)

We study the structure of the partial order induced by the definability relation on definitions of truth for the language of arithmetic. Formally, a definition of truth is any sentence $$\alpha $$ which extends a weak arithmetical theory (which we take to be $${{\,\mathrm{I\Delta _{0}+\exp }\,}}$$ ) such that for some formula $$\Theta $$ and any arithmetical sentence $$\varphi $$, $$\Theta (\ulcorner \varphi \urcorner )\equiv \varphi $$ is provable in $$\alpha $$. We say that a sentence $$\beta (...) $$ is definable in a sentence $$\alpha $$, if there exists an unrelativized translation from the language of $$\beta $$ to the language of $$\alpha $$ which is identity on the arithmetical symbols and such that the translation of $$\beta $$ is provable in $$\alpha $$. Our main result is that the structure consisting of truth definitions which are conservative over the basic arithmetical theory forms a countable universal distributive lattice. Additionally, we generalize the result of Pakhomov and Visser showing that the set of (Gödel codes of) definitions of truth is not $$\Sigma _2$$ -definable in the standard model of arithmetic. We conclude by remarking that no $$\Sigma _2$$ -sentence, satisfying certain further natural conditions, can be a definition of truth for the language of arithmetic. (shrink)