Online research in philosophy

This work presents a version of the correspondence theory of truth based on Wittgenstein's Tractatus and Russell's theory of truth and discusses related metaphysical issues such as predication, facts, and propositions. Like Russell and one prominent interpretation of the Tractatus it assumes a realist view of universals. Part of the aim is to avoid Platonic propositions, and although sympathy with facts is maintained in the early chapters, the book argues that facts as real (...) entities are not needed. It includes discussion of contemporary philosophers such as David Armstrong, William Alston, and Paul Horwich, as well as those who write about propositions and facts, and a number of recent students of Bertrand Russell. It will interest teachers and advanced students of philosophy who are interested in the realistic conception of truth and in issues in metaphysics related to the correspondence theory of truth, and those interested in Russell and the Tractatus. (shrink)

Narrowly speaking, the correspondence theory of truth is the view that truth is correspondence to a fact -- a view that was advocated by Russell and Moore early in the 20 th century. But the label is usually applied much more broadly to any view explicitly embracing the idea that truth consists in a relation to reality, i.e., that truth is a relational property involving a characteristic relation (to be specified) to some portion (...) of reality (to be specified). During the last 2300 years this basic idea has been expressed in many ways, resulting in a rather extended family of views, theories, and theory sketches. The members of the family employ various concepts for the relevant relation (correspondence, conformity, congruence, agreement, accordance, copying, picturing, signification, representation, reference, satisfaction) and/or various concepts for the relevant portion of reality (facts, states of affairs, situations, events, objects, sequences of objects, sets, properties, tropes). The resulting multiplicity of versions and reformulations of the theory is due to a blend of substantive and terminological differences. (shrink)

Contra Lewis, it is argued that the correspondence theory is a genuine rival theory of truth: it goes beyond the redundancy theory; it competes with other theories of truth; it is aptly summarized by the slogan 'truth is correspondence to fact'; and it really is a theory of truth.

It is often thought that instances of the T-schema such as snow is white is true if and only if snow is white state correspondences between sentences andthe world, and that therefore such sentences play a crucial role in correspondence theories oftruth. I argue that this assumption trivializes the correspondence theory: even a disquotationaltheory of truth would be a correspondence theory on this conception. This discussionallows one to get clearer about what a correspondence (...) theory does claim, and toward the end of thepaper I discuss what a true correspondence theory of truth would involve. (shrink)

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)

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)

This paper investigates Brentano's criticism of the correspondence theory of truth within the context of a discussion of his ontological assumptions. Brentano's interpretation of the formula Veritas est adaequatio rei et intellectus and of the principle ens et verum convertuntur is shown to fit into the history of these principles and into modern interpretations like that of Tarski.

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)

Marian David defends the correspondence theory of truth against the disquotational theory of truth, its current major rival. The correspondence theory asserts that truth is a philosophically rich and profound notion in need of serious explanation. Disquotationalists offer a radically deflationary account inspired by Tarski and propagated by Quine and others. They reject the correspondence theory, insist truth is anemic, and advance an "anti-theory" of truth that is (...) essentially a collection of platitudes: "Snow is white" is true if and only if snow is white; "Grass is green" is true if and only if grass is green. According to disquotationalists the only profound insight about truth is that it lacks profundity. David contrasts the correspondence theory with disquotationalism and then develops the latter position in rich detail--more than has been available in previous literature--to show its faults. He demonstrates that disquotationalism is not a tenable theory of truth, as it has too many absurd consequences. (shrink)

Argument that Marx has a realist ontology and a correspondence theory of truth. His views are compared to both Hegel's and Kant's. This interpretation departs from more Hegelian, 'idealist' interpretations that often rely on misunderstanding some of the work of the early Marx. There is also a discussion and partial defence of Lenin's Materialism and Empirio-Criticism.

Ernst Cassirer claimed that Kant's notion of actual object presupposes the notion of truth. Therefore, Kant cannot define truth as the correspondence of a judgement with an actual object. In this paper, I discuss the relations between Kant's notions of truth, object, and actuality. I argue that's notion of actual object does not presuppose the notion of truth. I conclude that Kant can define truth as the correspondence of a judgement with an actual (...) object. (shrink)

Correspondence theories are frequently charged with being either implausible -- metaphysically troubling and overly general -- or trivial -- collapsing into deflationism's "'P' is true iff P." Philip Kitcher argues for a "modest" correspondence theory, on which reference relations are causal relations, but there is no general theory of denotation. In this paper, I start by showing that, understood this way, "modest" theories are open to charges of triviality. I then offer a refinement of modesty, and (...) take the first steps toward articulating a modest correspondence theory, giving a particular account of the relation between predicates, properties, and extensions. Finally, I argue that my account does not collapse into a deflationary one. (shrink)

The pragmatic theory of truth (PTT) seeks to illuminate the concept of truth by focusing on concepts like usefulness or adaptivity. However, contrary to common opinion, PTT does not merely face a narrow band of (perhaps) rather artificial counterexamples (as in a case of empirically unfounded but life-extending optimism in a cancer patient); instead, PTT is faced with a fast psychological research literature which suggests that inaccurate beliefs are both (1) pervasive in human beings and, nonetheless, (2) (...) fully adaptive in many cases. Call this the "pervasive adaptive illusions" (PAI) objection to PTT. According to PAI, the kind of connection drawn by PTT between the beliefs that we (intuitively or pretheoretically) regard as "true" and the beliefs we regard as useful is undercut by hard-nosed empirical work in psychology -- work that no empirically minded pragmatist can ignore. According to PAI, the connection drawn between truth and utility by PTT is subject to a simply overwhelming set of counterexamples (drawn from psychological research, and reviewed below). Thus, PTT is a theory any sensible theorist of truth must reject. (shrink)

It is argued that if there are truth-value gaps then the disquotational theory of truth is false. Secondly, it is argued that the same conclusion can be reached even without the assumption that there are truth-value gaps.

This book is a defense of realism about truth.

A line of argument, presented by David Lewis, to show that the correspondence theory of truth is not a real alternative to deflationism is developed. It is shown that truthmakers, construed as concrete events or states of affairs, are unsatisfactory entities, since we do not know how to individuate them or how to identify their essential qualities. Furthermore, the real work is usually done by supervenience relations, which have little to do with truth. It is argued (...) that the Equivalence Schema is quite sufficient to yield a unitary property of being true, and that this generates a weak, but non-trivial, version of the correspondence theory of truth. (shrink)

Linguistic Behaviorism (Place, 1996) is an attempt to reclaim for the behaviorist perspective two disciplines, linguistics and linguistic philosophy, most of whose practitioners have been persuaded by Chomsky's (1959) Review of B. F. Skinner's (1957) "Verbal Behavior" that behaviorism has nothing useful to contribute to the study of language. It takes as axiomatic (a) that the functional unit of language is the sentence, and (b) that sentences are seldom repeated word-for-word, but are constructed anew on each occasion of utterance out (...) of units, words, phrases and turns of phrase, that are repeated. On this view, the problem of discriminating the true from the false arises from the use of novel declarative sentences (statements) to depict or, to use Skinner's term, "specify" contingencies the like of which the listener need never have encountered and to which he would otherwise have no access. In such cases the listener needs to distinguish among the sentences he receives from other speakers between those where the situation depicted/specified corresponds to that which actually exists at the time and place specified in the sentence and are, therefore, true, and those to which no actual situation corresponds and which are, therefore, false. (shrink)

Prosentential theorists claim that sentences such as “That’s true” are prosentences that function analogously to their better known cousins–pronouns. For example, just as we might use the pronoun ‘he’ in place of ‘James’ to transform “James went to the supermarket” into “He went to the supermarket,” so we might use the prosentenceforming operator ‘is true’ to transform “Snow is white” into “‘Snow is white’ is true.” According to the prosentential theory of truth, whenever a referring expression (for example, (...) a definite description or a quote-name) is joined to the truth predicate, the resulting statement contains no more content than the sentence(s) picked out by the referring expression. To assert that a sentence is true is simply to assert or reassert that sentence; it is not to ascribe the property of truth to that sentence. The prosentential theory is one kind of deflationary theory of truth. Like all deflationary theories, it provides an alternative to explanations of truth that analyze truth in terms of reference, predicate satisfaction or a correspondence relation. (shrink)

A plausible line of thought runs as follows. If P is a semantically primitive predicate of a first order language L, then P requires its own clause in the definition of satisfaction integral to a definition of truth for L. Thus if L has infinitely many such P the satisfaction clause cannot be completed nor can a theory of truth for L. Robert Cummins takes issue with this line of argument. This paper takes issue with Cummins.

McGrath argues for an original theory truth that combines elements of two well-known philosophical theories--deflationism and correspondence.

Recent critics of the coherence theory of truth (notably Ralph Walker) have alleged that the theory is incoherent, since its defence presupposes the correctness of the contrary correspondence theory of truth. Coherentists must specify the system of propositions with which true propositons cohere (the specified system). Generally, coherentists claim that the specified system is a system composed of propositions believed by a community. Critics of coherentism maintain that the coherentist’s assertions about which system is (...) the specified system must be true, not because they cohere with a system of beliefs, but because of facts about what a community believes. I argue that coherentists can admit that there are facts about what systems of beliefs communities accept, without being committed to the claim that these facts are the truth conditions of sentences about what communities accept. (shrink)

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)

I argue that there is no metaphysically substantive property of truth. Although many take this thesis to be central to deflationism about truth, it is sometimes left unclear what a metaphysically substantive property of truth is supposed to be. I offer a precise account by relying on the distinction between the property and concept of truth. Metaphysical substantivism is the view that the property of truth is a sparse (non-abundant) property, regardless of how one understands (...) the nature of sparse properties (as universals, tropes, or natural classes). I then offer two new arguments against metaphysical substantivism that employ ideas involving recombination and truthmaking. First, I argue that there are no theoretically compelling reasons to posit the existence of a metaphysically substantive property of truth. Secondly, I argue that if we do posit the existence of such a property, then we end up with a view that is either contradictory or unmotivated. What we’re left with is a metaphysically deflationary account of the property of truth that fully respects the metaphysical ambitions of truthmaker theory, and that is consistent with both the view that truth is a deflated, explanatorily impotent concept and the view that truth is an explanatorily powerful (though primitive) concept. (shrink)

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 (...) class='Hi'>correspondence and concludes with a brief outlook on the “family” of theories of truth generated by the new methodology. (shrink)

Although its use is not universal, there is a map of the logical space of theories of truth that is widely applied. According to this map, the most foundational divide amongst theories of truth is that between deflationary and inflationary theories, where, roughly, the former hold that truth is an insubstantial, logical property of little philosophical interest and the latter that it is a substantial property suitable for philosophical attention. Amongst the inflationary theories, there are other fundamental (...) divisions. For example, on the one hand, correspondence theorists hold that the truth of a proposition is a matter of the proposition’s standing in a relation to something else which is not a proposition, such as a fact. On the other hand, coherence theorists hold that the truth of a proposition is a matter of its relations to other propositions. And again, pragmatists hold that the truth of a proposition is a matter of its being useful to believe. Throughout the twentieth century, philosophers used one or other version of this map to orient themselves and their students in the often complex and confusing debates about truth, even while acknowledging that the map may be incomplete in crucial respects (it does not include functionalist and pluralist views, for example). Our objection to the map is not that it is incomplete—although it obviously is—, but that it needs to be radically redrawn. In particular, the familiar division between coherence theories and correspondence theories needs to be rethought. The coherence theory is so often glibly dismissed as absurd that labelling someone as a coherence theorist is often seen as reason enough to ignore them.1 While none of the philosophers usually so labelled should be ignored, we shall argue (§3) that none of them actually held this view anyway. The difficulty—perhaps impossibility—of finding a genuine coherence theorist of truth strikes us as more than just an indication that this is a rare animal. Rather, it suggests the possibility of something significant, namely, that the only occupant of this position in historical space is a set of slogans; this would give us some reason to suppose that the logical space of theories is just as empty at this point.. (shrink)

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 correspondence theory of truth has often been attacked on the grounds that the notion of correspondence is too vague to do any serious philosophical work. More recently it has been attacked on the grounds that the sort of correspondence required by the theory does not exist.I argue, on the contrary, that there are no compelling reasons for believing that the requisite sort of correspondence does not exist and that the notion of (...) class='Hi'>correspondence can be made clear enough to yield an adequate theory of truth. After critically examining Tarkski’s theory of truth, Ishow how a correspondence theory which applies to the statements of any language can be constructed. Then Davidson’s claim that all true statements correspond to the same thing and Putnam’s claim that there is no fact of the matter concerning what the terms of a language correspond to are shown to be untenable. (shrink)

Franz Brentano took exception to the classic statement of the correspondence theory of truth, the thesis: veritas est adaequatio rei et intellectus. His reasons for objecting to it, and his proposed revision of the thesis, are interesting considered in themselves as well as for the light they shed on Brentano's view of the relation between the thinker and the world. With regard to the former, it is shown how Brentano analyzes the adaequatio thesis word by word in (...) order to demonstrate what he takes to be its fundamental incoherence. With regard to the latter, it becomes apparent, by contrast with the Thomistic understanding of the adaequatio thesis, that Brentano's revision of it in the direction of a phenomenological theory of truth also involves a revised understanding of the nature of the thinker or knower. (shrink)

Truthmaker theory begins with the idea that truth depends upon reality. When a truth-bearer is true, that is because something or other in the world makes it true. My dissertation offers a theory of truthmakers that shows how we should flesh out this thought while avoiding the contentious metaphysical commitments that are built into other truthmaker theories. Because of these commitments, many philosophers have come to view truthmaker theory as being essentially tied to correspondence (...) theories of truth, and to metaphysical realism. I argue that, quite to the contrary, truthmaker theory is distinct from correspondence theory, and that the former actually undermines the motivation for the latter. In fact, truthmaker theory can be used to argue for a particular kind of deflationism about truth. I also argue that debates about realism and anti-realism are best viewed through the lens of truthmaker theory, which is not—contrary to what many have thought—an essentially realist approach to metaphysics. Anti-realists of various stripes can also make use of truthmakers. The anti-realism of such views depends upon either the nature of the truthmakers they use, or the nature of the truthmaking relation itself. (shrink)

Thought and World has three main concerns.1 First, it presents and defends a deflationary theory of propositional truth—that is, a deflationary theory of the concept of truth that figures in claims like the proposition that snow is white is true. I have long admired the deflationary theory of truth that Paul Horwich developed in the eighties, but I have also had substantial misgivings about that theory.2 In writing TW I was concerned to formulate (...) an alternative view that enjoys the virtues of Horwich’s theory while lacking its defects. Second, the book presents deflationary accounts of our relational semantic con- cepts—for example, the concept of reference that figures in the proposition the concept of the Evening Star refers to the planet Venus, and the concept of expression that figures in the proposition the concept of a triangle expresses the property triangularity. Third, the book provides an account of our correspondence intuitions. As we all recognize, commonsense semantics includes a concept of semantic correspondence: we are all prepared to say, for example, that the proposition that snow is white corresponds semantically to the state of affairs snow’s being white, and that the proposition that the uni- verse is expanding corresponds semantically to a state of affairs that actually obtains. I wanted to explain the relationship between this concept and the concept of propositional truth, to identify the factors that make the concept useful, and, most importantly, to show that it is possible to extend deflation- ism so as to provide an analysis of the concept. (The concept of correspon- dence stands for a relation between propositions and states of affairs. What I maintain in the book is that this relation can be characterized in deflationary terms. I do not maintain that it is possible to give a deflationary account of.. (shrink)

New Waves in Truth offers eighteen new and original research papers on truth and other alethic phenomena by twenty of the most promising young scholars working on truth today. Contributions to the volume span truth ascriptions, deflationism, realism and the correspondence theory, the value of truth, and kinds of truth and truth-apt discourse. The research programs of the contributors are beginning to reset that agenda, and each is positioned to make new (...) waves throughout the subject. (shrink)

This paper elaborates on the following correspondence theorem (which has been defended and formally proved elsewhere): if theory T has been empirically successful in a domain of applications A, but was superseded later on by a different theory T* which was likewise successful in A, then under natural conditions T contains theoretical expressions which were responsible for T’s success and correspond (in A) to certain theoretical expressions of T*. I illustrate this theorem at hand of the phlogiston (...) versus oxygen theories of combustion, and the classical versus relativistic theories of mass. The ontological consequences of the theorem are worked out in terms of the indirect reference and partial truth. The final section explains how the correspondence theorem may justify a weak version of scientific realism without presupposing the no-miracles argument. (shrink)

Having entered into the problem structuring methods, system dynamics (SD) is an approach, among systems’ methodologies, which claims to recognize the main structures of socio-economic behaviors. However, the concern for building or discovering strong philosophical underpinnings of SD, undoubtedly playing an important role in the modeling process, is a long-standing issue, in a way that there is a considerable debate about the assumptions or the philosophical foundations of it. In this paper, with a new perspective, we have explored theory (...) of knowledge in SD models and found strange similarities between classic epistemological concepts such as justification and truth, and the mechanism of obtaining knowledge in SD models. In this regard, we have discussed related theories of epistemology and based on this analysis, have suggested some implications for moderating common problems in the modeling process of SD. Furthermore, this research could be considered a reword of system dynamics modeling principles in terms of theory of knowledge. (shrink)

In this paper the authors recapitulate, justify, and defend against criticism the extension of the redundancy theory of truth to cover a wide range of uses of ‘true’ and ‘false’. In this they are guided by the work of A. N. Prior. They argue Prior was right about the scope and limits of the redundancy theory and that the line he drew between those uses of ‘true’ which are and are not susceptible to treatment via redundancy serves (...) to distinguish two important and mutually irreducible types of truth: redundancy truth and predicative truth. Only the latter serves for semantic theorizing. (shrink)

Minimalism is currently the received deflationary theory of truth. On minimalism, truth is a transparent concept and a deflated property of truth bearers. In this paper, I situate minimalism within current deflationary debate about truth by contrasting it with its main alternative―the redundancy theory of truth (according to which truth is a transparent concept but not a property). I also outline three of the primary challenges facing minimalism, its formulation, explanatory adequacy and (...) stability, and draw some lessons for the soundness of its conception of truth. (shrink)

The fact that a group of axioms use the word 'true' does not guarantee that that group of axioms yields a theory of truth. For Davidson the derivability of certain biconditionals from the axioms is what guarantees this. We argue that the test does not work. In particular, we argue that if the object language has truth-value gaps, the result of applying Davidson''s definition of a theory of truth is that no correct theory of (...) truth for the language is possible. (shrink)

This paper is a critical exposition of Prior’s theory of truth as expressed by the following truth locutions: (1) ‘it is true that’ prefixed to sentences; (2) ‘true proposition’; (3) true belief’, ‘true assertion’, ‘true statement’, etc.; (4) ‘true sentence’.

In this book, Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence 'Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception (...) paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather than by a fixed extension. The main advantage of this revision process is its ability to explain why truth seems in many cases almost redundant, in others substantial, and yet in others paradoxical (as in the famous Liar). Yaub offers a comprehensive defense of the revision theory of truth by developing consistent and adequate formal semantics for languages in which all sorts of problematic sentences (Liar and company) can be constructed. Yaqub concludes by introducing a logic of truth that further demonstrates the adequacy of the revision theory. (shrink)

This article, after briefly discussing Alfred Tarski's influential theory of truth, turns to a more recent theory of truth, a deflationary, or minimalist, theory. One of the chief elements of a deflationary, or minimalist, theory of truth is that it replaces the question of what truth is with the question of what “true” does. After setting out the central features of the minimalist theory of truth, the article explains the motivation (...) for opting for such a position. In addition, it provides some reasons for thinking that such a theory of truth is “minimal” or “deflationary” in the way that contemporary truth theorists have claimed it to be. (shrink)

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to (...) be true in KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (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.

Gupta’s Rule of Revision theory of truth builds on insights to be found in Martin and Woodruff (1975) and Kripke (1975) (who in turn build on Tarski) in order to permanently deepen our understanding of truth, of paradox (and of the absence of it), and of how we work our language while our language is working us. His concept of a predicate deriving its meaning by way of a Rule of Revision ought to impact significantly on the (...) philosophy of language. Still, fortunately, he has left me something to.. (shrink)

In this paper I present three problems for Simmons singularity theory of truth as he presents it in Universality and the Liar. I begin with a brief overview of the theory and then present the three problems I see for it.The first problem shows that the singularity theory is in conflict with our ordinary notion of truth. I present a set of sentences that the singularity theory evaluates differently than does our pretheoretic concept of (...) truth. (shrink)

According to the deflationary theory of truth, to assert that a statement is true is just to assert the statement itself. For example, to say that ‘snow is white’ is true, or that it is true that snow is white, is equivalent to saying simply that snow is white, and this, according to the deflationary theory, is all that can be said significantly about the truth of ‘snow is white’.

We investigate axiomatizations of Kripke's theory of truth based on the Strong Kleene evaluation scheme for treating sentences lacking a truth value. Feferman's axiomatization KF formulated in classical logic is an indirect approach, because it is not sound with respect to Kripke's semantics in the straightforward sense: only the sentences that can be proved to be true in KF are valid in Kripke's partial models. Reinhardt proposed to focus just on the sentences that can be proved to (...) be true in KF and conjectured that the detour through classical logic in KF is dispensable. We refute Reinhardt's Conjecture, and provide a direct axiomatization PKF of Kripke's theory in partial logic. We argue that any natural axiomatization of Kripke's theory in Strong Kleene logic has the same proof-theoretic strength as PKF, namely the strength of the system RA< ωω ramified analysis or a system of Tarskian ramified truth up to ωω. Thus any such axiomatization is much weaker than Feferman's axiomatization KF in classical logic, which is equivalent to the system RA<ε₀ of ramified analysis up to ε₀. (shrink)

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

My aim in this article is to analyze and to discuss what I think are the two most important approaches to a theory of truth from a non-realist standpoint: the proposal of Crispin Wright and the proposal enounced by Putnam in Reason, Truth and History. Wright argues for a minimalist theory of truth according to which truth has to be a metaphysically neutral notion and admits several possible models. One of these possible models is (...) Putnam's notion of "rational acceptability under ideal epistemic circumstances"; the other one is Wright's own proposal of truth as "superassertibility". Both authors are seeking for a notion of truth that is both absolute and stable (in contrast with warranted assertibility). I will claim that neither of the proposals satisfies these requirements as long as we understand them as generalizations from the mathematical (proof-based) model. (shrink)

There is an important family of semantic notions that are applied to thoughts and to the conceptual constituents of thoughts--as when one says that the thought that the Universe is expanding is true. Christopher Hill presents a theory of the content of such notions. That theory is largely deflationary in spirit. It represents a broad range of semantic notions free from substantive metaphysical and empirical presuppositions. He also explains the relationship of mirroring or semantic correspondence linking thoughts (...) to reality. (shrink)

The truth-conditional theory of sense holds that a theory of truth for a natural language can serve as a theory of sense: if knowledge of a theory of truth for a language L is sufficient for understanding utterance of L-sentences, the T-sentences of the theory 'show' the sense of the uttered object-language sentences. In this paper I aim to show that indexicals create a serious problem for this prima facie attractive theoretical option. (...) The so-called 'instantiation problem' is that a truth-theory for indexical languages needs to contain universal statements that show how the reference of indexicals depends on features of the utterance context. Now one can deduce from such statements T-sentences that do not show the sense of an indexical sentence on an occasion of use. I survey proposed solutions to the instantiation problem by Evans and Sainsbury and, unfortunately, find them all wanting. Perhaps there is nothing like the sense-giving truth-condition for an indexical sentence. (shrink)

Abstract Jürgen Habermas has proposed a tripartite classification of analytic philosophy of language into formal semantics, intentionalistic semantics, and use?theories of meaning. Here, I focus on the relationship between formal semantics and Habermas? own account of meaning and truth. I argue against his early ?consensus theory of truth?, according to which truth is defined as idealized warranted assertibility and explained by the ?discursive redemption? of validity claims. A claim is discursively redeemed if it commands rationally motivated (...) consensus of all discursive partners. I argue that this is not so much a theory of truth as of justification. As an account of truth, it is unsatisfactory because warrants can be lost in light of new arguments, and because consensus is seen as criterial for truth only if it is in principle defeasible ? hence there remains a gap between truth and even idealized warranted assertibility. In The Theory of Communicative Action, Habermas? views undergo a shift. Following Dummett, he cashes out meaning in terms of assertibility conditions. While Habermas continues to insist on an epistemically conditioned notion of truth, he no longer explicitly defines truth as idealized warranted assertibility; nor does his meaning?theoretic framework require him to do so. I argue that truth is an irreducible and ineliminable regulative idea. In particular, it can be explicated in terms of justification only indirectly. Contrary to some commentators, I do not believe that the regulative function of truth is merely negative. Fallibilism does not exhaust the meaning of truth. For we do not make truth claims provisionally, that is, with the understanding that they may turn out to be wrong. Rather, we gamble that we will not turn out to be wrong. Therefore, the concept of truth has not only a critical, but also a positive function in our discourse. (shrink)

This paper primarily deals with the conceptual prospects for generalizing the aim of abduction from the standard one of explaining surprising or anomalous observations to that of empirical progress or even truth approximation. It turns out that the main abduction task then becomes the instrumentalist task of theory revision aiming at an empirically more successful theory, relative to the available data, but not necessarily compatible with them. The rest, that is, genuine empirical progress as well as observational, (...) referential and theoretical truth approximation, is a matter of evaluation and selection, and possibly new generation tasks for further improvement. The paper concludes with a survey of possible points of departure, in AI and logic, for computational treatment of the instrumentalist task guided by the ‘comparative evaluation matrix’. (shrink)

In this paper, we provide a new formulation of a coherence theory of truth using the resources of the partial structures approach -— in particular the notions of partial structure and quasi-truth. After developing this new formulation, we apply the resulting theory to the philosophy of mathematics, and argue that it can be used to develop a new account of nominalism in mathematics. This application illustrates the strength and usefulness of the proposed formulation of a coherence (...) theory of truth. (shrink)

This is not a research paper. It is just a handout that I prepared for a course some years ago. It is a presentation of Kripke's theory of truth that I intend to be understandable even to people who have had only a first course in logic. Although elementary, it is completely precise. All the terms are defined and all the proofs (except one trivial induction) are given in detail. I am putting this on the web because I (...) think there are probably a lot of people who want to think about truth and who recognize that they need to know something about Kripke's theory but who are not sure whether they have the necessary background to follow the precise presentations that have been published. (shrink)

Quine argues, in “On the Nature of Moral Values” that a coherence theory of truth is the “lot of ethics”. In this paper, I do a bit of work from within Quinean theory. Specifically, I explore precisely what a coherence theory of truth in ethics might look like and what it might imply for the study of normative value theory generally. The first section of the paper is dedicated to the exposition of a formally (...) correct coherence truth predicate, the possibility of which has been the subject of some skepticism. In the final two sections of the paper, I claim that a coherence theory in ethics does not reduce the practice of moral inquiry to absurdity, in practice as well as in principle. (shrink)

What is the simplest and most natural axiomatic replacement for the set-theoretic definition of the minimal fixed point on the Kleene scheme in Kripke’s theory of truth? What is the simplest and most natural set of axioms and rules for truth whose adoption by a subject who had never heard the word "true" before would give that subject an understanding of truth for which the minimal fixed point on the Kleene scheme would be a good model? (...) Several axiomatic systems, old and new, are examined and evaluated as candidate answers to these questions, with results of Harvey Friedman playing a significant role in the examination. (shrink)

In Logical Properties, Colin McGinn offers a new theory of truth, which he describes as “thick disquotationalism.” In keeping with wider theme of the book, truth emerges as conceptually primitive. Echoing Moore, it is simple and unanalyzable. Though truth cannot be analyzed, in the sense of giving a conceptual decomposition, McGinn argues that truth can be defined. A non-circular statement of its application conditions can be given. This makes truth a singularly remarkable property. Indeed, (...) by McGinn’s lights, it is the only property which enjoys being both unanalyzable and definable. (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)

Semantic information is usually supposed to satisfy the veridicality thesis: p qualifies as semantic information only if p is true. However, what it means for semantic information to be true is often left implicit, with correspondentist interpretations representing the most popular, default option. The article develops an alternative approach, namely a correctness theory of truth (CTT) for semantic information. This is meant as a contribution not only to the philosophy of information but also to the philosophical debate on (...) the nature of truth. After the introduction, in Sect. 2, semantic information is shown to be translatable into propositional semantic information (i). In Sect. 3, i is polarised into a query (Q) and a result (R), qualified by a specific context, a level of abstraction and a purpose. This polarization is normalised in Sect. 4, where [Q + R] is transformed into a Boolean question and its relative yes/no answer [Q + A]. This completes the reduction of the truth of i to the correctness of A. In Sects. 5 and 6, it is argued that (1) A is the correct answer to Q if and only if (2) A correctly saturates Q by verifying and validating it (in the computer science’s sense of verification and validation ); that (2) is the case if and only if (3) [Q + A] generates an adequate model (m) of the relevant system (s) identified by Q; that (3) is the case if and only if (4) m is a proxy of s (in the computer science’s sense of proxy ) and (5) proximal access to m commutes with the distal access to s (in the category theory’s sense of commutation ); and that (5) is the case if and only if (6) reading/writing (accessing, in the computer science’s technical sense of the term) m enables one to read/write (access) s. Sect. 7 provides some further clarifications about CTT, in the light of semantic paradoxes. Section 8 draws a general conclusion about the nature of CTT as a theory for systems designers not just systems users. In the course of the article all technical expressions from computer science are explained. (shrink)

I discuss a rarely mentioned correspondence between Einstein and Swann on the constructive approach to the special theory of relativity, in which Einstein points out that the attempts to construct a dynamical explanation of relativistic kinematical effects require postulating a fundamental length scale in the level of the dynamics. I use this correspondence to shed light on several issues under dispute in current philosophy of spacetime that were highlighted recently in Harvey Brown’s monograph Physical Relativity, namely, Einstein’s (...) view on the distinction between principle and constructive theories, and the consequences of pursuing the constructive approach in the context of spacetime theories. r 2008 Elsevier Ltd. All rights reserved. (shrink)

Focusing on Truth explores the question of what truth is, balancing historical with issue-orientated discussion. The book offers a comprehensive survey of all the major theories of truth. Lawrence Johnson investigates a number of closely related matters of truth in his inquiry, such as: What sorts of things are true or false? What is attributed to them when they are said to be true or false? What do facts have to do with truth? What can (...) we learn from previous theories? The book opens with an analysis of the coherence theory of truth and then the correspondence theory of truth, as developed by Moore, Russell and Wittgenstein. Through a study of the semantic conceptions of truth, the author reveals that an adequate theory of truth must take account of the pragmatics of person, purpose, and circumstance. A full understanding of facts and truth bearers is considered central to Johnson's criticism of the opposing truth theories of J. L. Austin and P. F. Strawson. Drawing on the merits of these theories and others, while identifying their deficiencies, Johnson presents a new account of truth, based on the correlation of referential foci and the use of linguistic conventions. This account is defended as being adequate to meet the legitimate demands made on a theory of truth. Johnson argues that the account leaves scope for statements of many different sorts to be true in their own widely varying ways, without the existence of a need to posit fundamentally different kinds of truth. (shrink)

The solution John Buridan offers for the Paradox of the Liar has not been correctly placed within the framework of his philosophy of language. More precisely, there are two important points of the Buridanian philosophy of language that are crucial to the correct understanding of his solution to the Liar paradox that are either misrepresented or ignored in some important accounts of his theory. The first point is that the Aristotelian formula, ` propositio est vera quia qualitercumque significat in (...) rebus significatis ita est ', once amended, is a correct way to talk about the truth of a sentence. The second one is that he has a double indexing theory of truth: a sentence is true in a time about a time, and such times should be distinguished in the account of the truth-conditions of sentences. These two claims are connected in an important way: the Aristotelian formula indicates the time about which a sentence is true. Some interpreters of the Buridanian solution to the paradox, following the lead of Herzberger, have missed these points and have been led to postulate truth-values gaps, or surrogates of truth-value gaps, when there is nothing of this sort in his theory. I argue against this tradition of interpretation of Buridan and propose an interpretation of his solution to the Liar. (shrink)

Quine rejects Peirce's theory of truth because, among other things, its notion of a limit of a sequence of theories is defective in that the notion of a limit depends on that of nearer than which is defined for numbers but not for theories. This paper shows that the missing definition of nearer than applied to theories can be supplied from within Quine's own epistemology. The upshot is that either Quine's epistemology must be rejected or Peirce's pragmatic (...) class='Hi'>theory of truth is partially vindicated. (shrink)

In his recent book Christian Hermeneutics, James Fodor observes that ‘although Christians have from the very beginning been interested in living truthful, obedient lives … they have not exhibited the same passion for developing their own distinctive theory of truth’.1 Yet ‘the task confronting contemporary theology … is that of the rehabilitation or recovery of a distinctively Christian vision of truth’.2 To his credit, Fodor has attempted to rectify this state of affairs: first, by critiquing some of (...) the more prominent theories of truth from a Christian point of view, and secondly, by sketching some of the essential elements of a uniquely Christian understanding or conception of truth. In this article, I present a detailed analysis of Fodor’s alethic musings, and argue that they are both logically and theologically unsound. (shrink)

The aim of this paper is to introduce a formal system STW of self-referential truth, which extends the classical first-order theory of pure combinators with a truth predicate and certain approximation axioms. STW naturally embodies the mechanisms of general predicate application/abstraction on a par with function application/abstraction; in addition, it allows non-trivial constructions, inspired by generalized recursion theory. As a consequence, STW provides a smooth inner model for Myhill's systems with levels of implication.

In this book Yaqub describes a simple conception of truth and shows that it yields a semantical theory that accommodates the whole range of our seemingly conflicting intuitions about truth. This conception takes the Tarskian biconditionals (such as "The sentence `Johannes loved Clara' is true if and only if Johannes loved Clara") as correctly and completely defining the notion of truth. The semantical theory, which is called the revision theory, that emerges from this conception (...) paints a metaphysical picture of truth as a property whose applicability is given by a revision process rather than by a fixed extension. The main advantage of this revision process is its ability to explain why truth seems in many cases almost redundant, in others substantial, and yet in others paradoxical (as in the famous Liar). Yaqub offers a comprehensive defense of the revision theory of truth by developing consistent and adequate formal semantics for languages in which all sorts of problematic sentences (Liar and company) can be constructed. He also offers a detailed critical exposition of the proposals of Herzberger, Gupta, and Belnap. Yaqub concludes by introducing a logic of truth that further demonstrates the adequacy of the revision theory. -/- The book starts with a basic and intuitive understanding of the notion of truth and ends with a complex logic of truth. This book will interest students of logic, truth theory, formal semantics, and philosophy of language. (shrink)

We give a decision procedure for the ∀∃-theory of the weak truth-table (wtt) degrees of the recursively enumerable sets. The key to this decision procedure is a characterization of the finite lattices which can be embedded into the r.e. wtt-degrees by a map which preserves the least and greatest elements: a finite lattice has such an embedding if and only if it is distributive and the ideal generated by its cappable elements and the filter generated by its cuppable (...) elements are disjoint. We formulate general criteria that allow one to conclude that a distributive upper semi-lattice has a decidable two-quantifier theory. These criteria are applied not only to the weak truth-table degrees of the recursively enumerable sets but also to various substructures of the polynomial many-one (pm) degrees of the recursive sets. These applications to the pm degrees require no new complexity-theoretic results. The fact that the pm-degrees of the recursive sets have a decidable two-quantifier theory answers a question raised by Shore and Slaman in [21]. (shrink)

Preventive solutions for the paradoxes lead to the inexpressability of the adequacy conditions for the representation of truth within the system. Davidsonian theories of truth presuppose an understood language (for the background theory) which should permit the expression of the solutional principles for the paradoxes. The suitability of languages for this aim is tested by inferential validity paradoxes. They necessitate the introduction of an inner and an outer truthpredicate. For the paradoxes, two different types of circularity, often (...) wrongly identified, have to be distinguished. For Davidsonian theories of truth, non-two-valuedness, different versions of convention T and "principled openess" of the background theory have to be postulated. (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)

In fourth-century Greece (BCE), the debate over the nature of philosophy generated a novel claim: that the highest form of wisdom is theoria, the rational 'vision' of metaphysical truths (the 'spectator theory of knowledge'). This book offers an original analysis of the construction of 'theoretical' philosophy in fourth-century Greece. In the effort to conceptualise and legitimise theoretical philosophy, the philosophers turned to a venerable cultural practice: theoria (state pilgrimage). In this practice, an individual journeyed abroad as an official witness (...) of sacralized spectacles. This book examines the philosophic appropriation and transformation of theoria, and analyses the competing conceptions of theoretical wisdom in fourth-century philosophy. By tracing the link between traditional and philosophic theoria, this book locates the creation of theoretical philosophy in its historical context, analysing theoria as a cultural and an intellectual practice. It develops a new, interdisciplinary approach, drawing on philosophy, history, and literary studies. (shrink)

We present a theory VF of partial truth over Peano arithmetic and we prove that VF and ID 1 have the same arithmetical content. The semantics of VF is inspired by van Fraassen's notion of supervaluation.