In 1908 the German mathematician Ernst Zermelo gave an axiomatization of the concept of set. His axioms remain at the core of what became to be known as Zermelo-Fraenkel set theory. There were two axioms that received diverse criticisms at the time: the axiom of choice and the axiom of separation. This paper centers around one question this latter axiom raised. The main purpose is to show how this question might be solved with the aid of another, more recent mathematical (...) theory of sets which, like Zermelo’s, has numerous philosophical underpinnings. Keywords: properties of sets, foundations of mathematics, axiom of separation, subobject classifier, truth values. (shrink)

In his Encyclopaedia Logic, Hegel affirms that truth is ‘usually’ understood as the agreement of thought with the object, but that in the ‘deeper, i.e. philosophical sense’, truth is the agreement of a content with itself or of an object with its concept. Hegel then provides illustrations of this second sort of truth: a ‘true friend’, a ‘true state’, a ‘true work of art’. Robert Stern has argued that Hegel's ‘deeper’ or ‘philosophical’ truth is close to (...) what Heidegger labelled ‘material’ truth, namely a property attributed to a thing on the basis of the accordance of that thing with its essence. It has since been common to think of Hegel's concept of ‘philosophical’ truth as ‘ontological’, ‘objective’ or ‘material’ in contrast to ‘epistemological’ or ‘propositional’ definitions. In this paper, I wish to add an important nuance to the existing literature on this subject: even though things have a truth-value for Hegel, the latter is always negative. I argue that Hegel's criterion of ‘philosophical’ truth, which is best formulated as ‘agreement with self’, is first and foremost intended to examine the truth-value of thought-determinations. I then argue that even though this criterion may also be applied to examine the truth-value of things (namely, even though things have a truth-value), things never fall under this definition. After reviewing several of Hegel's explicit remarks on the matter, I provide an alternative explanation to those features of Hegel's ‘philosophical’ truth which have led scholars to view it as a truth in things. Especially, I argue that what are generally seen as Hegel's examples (‘true friend’, ‘true state’, ‘true work of art’) are not intended as examples but only as imperfect illustrations of ‘philosophical’ truth. (shrink)

I agree with Richard Vallée that predicates like ‘big’, ‘tall’, etc., are comparatives, and that there are no properties of being big, or tall, etc., simpliciter. I also agree that sentence-types are not the primary carriers of truth, and, with one qualification, I too reject the three main assumptions - critically examined by him.Concordo com Richard Vallée que predicados como ‘grande’, ‘alto’, etc., são comparativos, e que não há propriedades de ser simplesmente grande, ou alto, etc. Concordo também que (...) sentenças-tipo não são os portadores de verdade primários e, com uma qualificação, também rejeito as três suposições principais - examinadas criticamente por ele. (shrink)

The present crisis of truth, the "post-truth" crisis, puts the philosophy of truth in a new light. It calls for a reexamination of the tasks of the philosophy of truth and sets a new adequacy condition on this philosophy. One of the central roles of the philosophy of truth is to explain the importance of truth for human life and civilization. Among other things, it has to explain what is, or will be, lost in (...) a post-truth era. Clearly, the deflationist answer that the role of truth is to serve as a tool of generalization and oblique endorsement will not do. My account of truth in this paper addresses this task. Truth, I argue, is first and foremost a human value. Its importance to our life/civilization lies, not exclusively, but principally, in the centrality of this value to our humanity. I investigate the ramifications of this answer to the issues discussed in the contemporary philosophy of truth, and I end with a comparison of the substantivist and deflationist approaches to truth in light of this new perspective. (shrink)

At the centre of the traditional discussion of truth is the question of how truth is defined. Recent research, especially with the development of deflationist accounts of truth, has tended to take truth as an undefined primitive notion governed by axioms, while the liar paradox and cognate paradoxes pose problems for certain seemingly natural axioms for truth. In this book, Volker Halbach examines the most important axiomatizations of truth, explores their properties and shows how (...) the logical results impinge on the philosophical topics related to truth. In particular, he shows that the discussion on topics such as deflationism about truth depends on the solution of the paradoxes. His book is an invaluable survey of the logical background to the philosophical discussion of truth, and will be indispensable reading for any graduate or professional philosopher in theories of truth. (shrink)

We show that compactness is preserved by arbitrary direct products of lattices of truth values and that the Löwenheim-Skolem property is preserved by finite direct products of lattices of truth values.

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 theory, in which (...) facts are identified with true Fregean Thoughts. I argue that the modest theory is to be preferred. (shrink)

Trenton Merricks argues that on any reasonable account, warrant must entailtruth. I demonstrate three theses about the properties ofwarrant: (1) Warrant is not unique;there are many properties that satisfy the definition of warrant. (2) Warrant need not entail truth; there are some warrant properties that entailtruthand others that do not. (3) Warrant need not be closed under entailment, even if knowledge is. If knowledge satisfies closure, then some warrant properties satisfy closure while others do not;if knowledge violates closure, then (...) allwarrant properties violate closure. (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)

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 article, 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)

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)

Like William James before him, Huw Price has influentially argued that truth has a normative role to play in our thought and talk. I agree. But Price also thinks that we should regard truth-conceived of as property of our beliefs-as something like a metaphysical myth. Here I disagree. In this paper, I argue that reflection on truth's values pushes us in a slightly different direction, one that opens the door to certain metaphysical possibilities that even a (...) Pricean pragmatist can love. (shrink)

In this dissertation, I argue that we should be pluralists about truth and in turn, eliminativists about the property Truth. Traditional deflationists were right to suspect that there is no such property as Truth. Yet there is a plurality of pluralities of properties which enjoy defining features that Truth would have, were it to exist. So although, in this sense, truth is plural, Truth is non-existent. The resulting account of truth is (...) indebted to deflationism as the provenance of the suspicion that Truth doesn't exist. But it would be hasty to simply classify the account as deflationary. Each of the 'truth-like' properties that it recognizes is highly substantive--that is, complex and explanatorily potent. So we should deflate Truth by recognizing that it doesn't exist, but we should also recognize that one of the most vital tasks in truth theory is to discover the essences of the many truth-like properties. My aim here is to do precisely this. (shrink)

In a recent paper, Haig and Borsboom explore the relevance of the theory of truth for psychological science. Although they conclude that correspondence theories of truth are best suited to offer the resources for making sense of scientific practice, they leave open the possibility that other theories might accomplish those same ends. I argue that deflationary theories of truth, which deny that there is any substantive property that unifies the class of truths, makes equally good sense (...) of scientific practice as the correspondence theory, but at lesser theoretical cost. I also argue that the considerations Haig and Borsboom draw on are better thought of as issues relevant to realism, and thus separate from the theory of truth. I conclude that while they are correct to engage questions about what makes true the various claims that arise in psychological research, they may do so without saddling themselves with a correspondence theory. (shrink)

This paper describes an axiomatic theory BT, which is a suitable formal theory for developing constructive mathematics, due to its expressive language with countable number of set types and its constructive properties such as the existence and disjunction properties, and consistency with the formal Church thesis. BT has a predicative comprehension axiom and usual combinatorial operations. BT has intuitionistic logic and is consistent with classical logic. BT is mutually interpretable with a so called theory of arithmetical truth PATr and (...) with a second-order arithmetic SA that contains infinitely many sorts of sets of natural numbers. We compare BT with some standard second-order arithmetics and investigate the proof-theoretical strengths of fragments of BT, PATr and SA. (shrink)

Truth is a value in that sense that a belief is good (or successful, or correct) just in case it is true. But it does not follow that truth is a good-making property, nor does it follow that the nature of truth explains its value. Instead, this paper argues that the nature of belief explains its value.

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)

Yli-Vakkuri argues that content externalism can be established without thought experiments, as the deductive consequence of a pair of uncontroversial principles about beliefs, contents and truth. I argue that the most dialectically plausible motivation for the first principle, that truth is a broad property or beliefs, undermines the second principle, that the truth-value of a belief goes hand-in-hand with that of its content, and that other motivations are likely to depend on externalist thought experiments the argument (...) was meant to avoid. As it stands, the argument for externalism therefore fails. (shrink)

Many philosophers claim that interesting forms of epistemic evaluation are insensitive to truth in a very specific way. Suppose that two possible agents believe the same proposition based on the same evidence. Either both are justified or neither is; either both have good evidence for holding the belief or neither does. This does not change if, on this particular occasion, it turns out that only one of the two agents has a true belief. Epitomizing this line of thought are (...) thought experiments about radically deceived “brains in vats.” It is widely and uncritically assumed that such a brain is equally justified as its normally embodied human “twin.” This “parity” intuition is the heart of truth-insensitive theories of core epistemological properties such as justification and rationality. Rejecting the parity intuition is considered radical and revisionist. In this paper, I show that exactly the opposite is true. The parity intuition is idiosyncratic and widely rejected. A brain in a vat is not justified and has worse evidence than its normally embodied counterpart. On nearly every ordinary way of evaluating beliefs, a false belief is significantly inferior to a true belief. Of all the evaluations studied here, only blamelessness is truth-insensitive. (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. 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.

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

In lieu of an abstract, here is a brief excerpt of the content:Rhetorical Agency as a Property of QuestioningNick TurnbullAttention to agency has increased with the ongoing crisis of thought arising from the critique of metaphysics. With the absence of a foundation for reason comes an increased scope for choice in the interpretation of the world and the necessity to persuade others where demonstrative reason is lacking. Hence the "rhetorical turn" accompanies the problematization of knowledge. Even identity itself has (...) been "rhetoricized" with the death of the subject, and attention turns to how discourse constructs knowledge of the world and of ourselves. The rhetorical turn supports an increased capacity of agency in the use of language to construct identity and to relate to others. Agency is a fundamental property of rhetoric: we can debate the discourse of an interlocutor through resort to argumentation even if, as Gerard Hauser notes in the call for papers, that interlocutor is a monster. Philosophy itself has been rhetoricized in that the many philosophical systems of history have been revealed to be unsupportable now that there is no firm foundation upon which to ground inference in general. In a discourse without foundations we are free to choose between different philosophies, so much so that some have rejected philosophy itself in favor of general arbitrariness. This is apparent in deconstruction in philosophy and the rehabilitation of sophism within rhetoric.Where there is choice there is agency, of the rhetor and the audience. But the agency that is so positive for rhetoric is also that for which rhetoric has been condemned. Rhetoric has long been associated with sophistic, in which discourse can be used to deceive others or to simply demonstrate the status of the rhetor regardless of the truth of the conclusions reached. Rhetorical agency permits deception and stands in contrast with logical demonstration, in which necessity and self-evidence are the hallmarks of ideal reason. We have no choice but to accept necessary conclusions. Hence the apparent weakness of rhetoric in relation to logic and the questionable status [End Page 207] of the ethical properties of agency. And if agency is condemned as relativist, is not humanity condemned along with it? The rise of rhetoric also encompasses the "rhetoric of inquiry," which shows that even science employs rhetorical devices to construct the world and to persuade its audience. Science is especially rhetorical in the process of discovery, which is nonscientific. Nonetheless, the status of rhetoric is still problematic because of the freedom it permits. It is viewed by many as a weakness to be eliminated rather than a positive quality to be embraced. The contrast between rhetorical agency and logical necessity lies at the heart of contemporary debates about knowledge, identity, and postmodernity.In this paper I address the nature of rhetorical agency. This requires an examination of the foundations of knowledge and the division between logic and rhetoric. Although this division has been addressed many times in this journal, I believe it is still useful to revisit the debate. We must try to move beyond the postmodern impasse if knowledge is to progress and if rhetoric is to overcome its residual status. I draw on the philosophy of Michel Meyer, who offers a unique perspective on the status of rhetoric and the nature of philosophy. First, I outline the rhetorical turn as part of an increasing problematization of thought. I suggest that the rhetorical turn is incomplete because although problematicity is present in postmodern times, it remains unthematized on its own terms. The division between logic and rhetoric arises from an underlying conflict between freedom and necessity that suggests we inquire into the nature of the problematic itself. Next, I propose that Michel Meyer offers a solution to the problem by effecting a synthesis of freedom and necessity in his consideration of questioning as the foundation of reason and the consideration of the historical crisis faced by philosophy at the end of the twentieth century. Finally, I suggest that agency can be understood as a fundamental property of questioning that arises from the necessity of questioning as the foundation of reason. Rhetorical agency is thus a defining characteristic of humanity.1.The Aristotelian division of logic and rhetoric separated the necessary from the contingent... (shrink)

Transparency is the following (alleged) property of truth: if one possesses the concept of truth, then to assert, believe, inquire whether it is true that S just is to assert, believe, inquire whether S (and conversely). It might appear (as it did to Frege in 'Thoughts') that if truth ascriptions were transparent, then the truth predicate must be redundant; but the fact that some truth ascriptions are not transparent-for instance, those that quantify over, name, (...) or describe the proposition(s) to which truth is ascribed-shows that the truth predicate could not be redundant. It is argued that the apparent paradox is resolved by treating content as more basic than truth (and arguing, accordingly, that content cannot be explained, even in part, in terms of truth conditions). This strategy is illustrated by three candidate analyses, each of which treats the truth predicate as non-redundant but can, nevertheless, account for transparency. (shrink)

The aim of this dissertation is to offer and defend a correspondence theory of truth. I begin by critically examining the coherence, pragmatic, simple, redundancy, disquotational, minimal, and prosentential theories of truth. Special attention is paid to several versions of disquotationalism, whose plausibility has led to its fairly constant support since the pioneering work of Alfred Tarski, through that by W. V. Quine, and recently in the work of Paul Horwich. I argue that none of these theories meets (...) the correspondence intuition---that a true sentence or proposition in some way corresponds to reality---despite the explicit claims by each to capture this intuition. I distinguish six versions of the correspondence theory, and defend two against traditional objections, standardly taken as decisive against them, and show, plainly, that these two theories capture the correspondence intuition. Due to the importance of meeting this intuition, only these two theories stands a chance of being a satisfactory theory of truth. I argue that the version of the correspondence theory incorporating a simple semantic representation relation is preferable to its rival, for which the representation relation is complex. I present and argue for a novel version of this correspondence theory according to which truth is a correspondence property sensitive to semantic context. One consequence of this context-sensitivity is that an ungrounded sentence does not express a proposition. In addition to accounting for the similarity between the Liar and Truth-Teller sentences, this theory of truth is immune to the Liar Paradox, including empirical versions. It is argued that the Liar Paradox is devastating to all of the other theories above, and even formal theories of truth designed to solve it, such as the revision and vagueness theories. Customized versions of the Liar Paradox besetting this theory are handled by its context-sensitivity, and by enforcing the distinction between truth and truth value. This same pair of considerations also yields solutions to Lob's Paradox and Grelling's Paradox. Arguments similar to those given to defend this correspondence theory show that with one minor alteration, Kripke's fixed point theory may be used to model this correspondence notion of truth. (shrink)

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

The object reading of Frege's conception of truth holds that, for him, truth is an object---the truth-value the True. Greimann rejects the object reading and suggests an alternative reading. According to his suggested reading, Frege is the proponent of the assertion theory of truth the main thesis of which is that truth is what is expressed by the form of assertoric sentences and truth as such is neither an object nor a property. I (...) argue that Frege cannot accept the assertion theory. I also defend the object reading by elaborating it further and replying to Greimann's criticisms. (shrink)

In this essay, I present a new argument for the impossibility of defining truth by specifying the underlying structural property all and only true propositions have in common The set of considerations I use to support this claim take as that inspiration Alston's recent argument that it is impossible to define truth epistemically—in terms of justification or warrant According to what Alston calls the “intensional argument”, epistemic definitions are inconsistent with the T schema or the principle that (...) it is true that p if, and only if, p. Since the T-schema has great intuitive appeal, this is a powerful indictment of epistemic theories. But the basic argument that Alston employs, and the constellation of considerations which prosecute that argument, work against a much broader range of views than he considers While this implies that a traditional conceptual analysts of truth may be impossible, it opens the door to a pluralist approach to truth. (shrink)

Many philosophers believe that truth is grounded: True propositions depend for their truth on the world. Some philosophers believe that truth’s grounding has implications for our ontology of time. If truth is grounded, then truth supervenes on being. But if truth supervenes on being, then presentism is false since, on presentism, e.g., that there were dinosaurs fails to supervene on the whole of being plus the instantiation pattern of properties and relations. Call this the (...) grounding argument against presentism. Many presentists claim that the grounding argument fails because, despite appearances, supervenience is compatible with presentism. In this paper, I claim that the grounding argument fails because, despite appearances, truth’s grounding gives the presentist no compelling reason to adopt the sort of supervenience principle at work in the grounding argument. I begin by giving two precisifications of the grounding principle: truthmaking and supervenience. In Sect. 2, I give the grounding argument against presentism. In Sect. 3, I argue that we should distinguish between eternalist and presentist notions of grounding; once this distinction is in hand, the grounding argument is undercut. In Sect. 4, I show how the presentist’s notion of grounding leads to presentist-friendly truthmaking and supervenience principles. In Sect. 5, I address some potential objections. (shrink)

Aristotle’s words in the Metaphysics: “to say of what is that it is, or of what is not that it is not, is true” are often understood as indicating a correspondence view of truth: a statement is true if it corresponds to something in the world that makes it true. Aristotle’s words can also be interpreted in a deflationary, i.e., metaphysically less loaded, way. According to the latter view, the concept of truth is contained in platitudes like: ‘It (...) is true that snow is white iff snow is white’, ‘It is true that neutrinos have mass iff neutrinos have mass’, etc. Our understanding of the concept of truth is exhausted by these and similar equivalences. This is all there is to truth. In his book Truth (Second edition 1998), Paul Horwich develops minimalism, a special variant of the deflationary view. According to Horwich’s minimalism, truth is an indefinable property of propositions characterized by what he calls the minimal theory, i.e., all (nonparadoxical) propositions of the form: It is true that p if and only if p. Although the idea of minimalism is simple and straightforward, the proper formulation of Horwich’s theory is no simple matter. In this paper, I shall discuss some of the difficulties of a logical nature that arise. First, I discuss problems that arise when we try to give a rigorous characterization of the theory without presupposing a prior understanding of the notion of truth. Next I turn to Horwich’s treatment of the Liar paradox and a paradox about the totality of all propositions that was first formulated by Russell (1903). My conclusion is that Horwich’s minimal theory cannot deal with these difficulties in an adequate way, and that it has to be revised in fundamental ways in order to do so. Once such revisions have been carried out the theory may, however, have lost some of its appealing simplicity. (shrink)

This paper is intended to explore the Rorty’s notion of truth and its vicinity and divergences with Putnam’s notion of truth. Rorty and Putnam, both the philosophers have developed their notion of truth against the traditional representational notion of truth but their strength lies in its distinctive characterization. For Putnam, truth is the property of a statement which cannot be lost but the justification of it could be. I will also examine the importance of (...) Putnam’s idealized justificatory conditions without which he may succumb to the charge of relativism at the same time how does Putnam overcome the tension between metaphysical and relativistic stances of truth. For Rorty, truth is not representational rather it is social, which means the justification for a true belief is not external but internal to the community of believers. I would further examine how Rorty tries to dispel the charge of relativism which is hard to overcome. Finally, I shall try to defend the concept of truth which is free from metaphysical baggage and relativistic threats; and in this enterprise Rorty walks half the way and Putnam completes the journey. (shrink)

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 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. 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 can be constructed. Yaqub concludes by introducing a logic of truth that further demonstrates the adequacy of the revision theory. (shrink)

Monists say that the nature of truth is invariant, whichever sentence you consider; pluralists say that the nature of truth varies between different sets of sentences. The orthodoxy is that logic and logical form favour monism: there must be a single property that is preserved in any valid inference; and any truth-functional complex must be true in the same way as its components. The orthodoxy, I argue, is mistaken. Logic and logical form impose only structural constraints (...) on a metaphysics of truth. Monistic theories are not guaranteed to satisfy these constraints, and there is a pluralistic theory that does so. (shrink)

In this essay, I present a new argument for the impossibility of defining truth by specifying the underlying structural property all and only true propositions have in common The set of considerations I use to support this claim take as that inspiration Alston's recent argument that it is impossible to define truth epistemically—in terms of justification or warrant According to what Alston calls the “intensional argument”, epistemic definitions are inconsistent with the T schema or the principle that (...) it is true that p if, and only if, p. Since the T-schema has great intuitive appeal, this is a powerful indictment of epistemic theories. But the basic argument that Alston employs, and the constellation of considerations which prosecute that argument, work against a much broader range of views than he considers While this implies that a traditional conceptual analysts of truth may be impossible, it opens the door to a pluralist approach to truth. (shrink)

The expressivist theory of truth (TETT) is stated and defended. According to TETT, to state such things as that it is true that snow is white is to express one's assent to the proposition that snow is white. In contexts where we refer to propositions with the aid of definite descriptions (“What Peter said”) or quantify over them (“Everything Peter says”), in order to say that they are “true”, the word “true” is essential, however. But it does not stand (...) for any genuine property. According to TETT, as here understood, it expresses our readiness or willingness to assent to these propositions. It is argued that TETT, even if still more of a reseach program than a full‐fledged theory, means an improvement over more elaborate minimalist theories of truth put forward by Crispin Wright and Paul Horwich. (shrink)

The age-old question “What is truth?” is not an unambiguous one. There are at least two different meanings. In one sense, it is a semantic question about the meaning of the word “truth” and/or a metaphysical question about the nature of the property of truth, that is, how truth can be defined in terms of other notions, if it is definable at all. In another sense, it is an epistemological question about the criterion or test (...) of truth, that is, how we can recognize or accept (empirical) propositions as true. Ayer, in Language, Truth and Logic (LTL) and some other articles, tried to convince us that when we attempt to elucidate a theory of truth, we are only engaging in the epistemological project of finding the criterion of truth. This anti-semantical and anti-metaphysical view is based on Ayer’s (radical) deflationism about truth. In this chapter, I will argue that since Ayer did not accept that the criterion of truth is intimately related to the concept of truth, he can be seen as a deflationist about the nature of truth and as an advocate of a certain (Schlickian) kind of correspondence conception about the criterion of truth. His position would not be tenable if he had maintained what some of his contemporaries accepted, namely that there is a close connection between the two truth-theoretical tasks: the definitional and the criterial one. (shrink)

This paper is in five sections. In the first one, I summarize some views on truthmaking I will be presupposing, emphasizing however the various controversies on which I will remain neutral. In section two and three, I present the characterization of a response-dependent property. In section four, I present two ways in which a property can be response-dependent, in the characterized sense. In final section five, I present how these correspond to different versions of moderate relativism, namely indexical (...) and nonindexical contextualism. Thus the view presented here contrasts not only with pluralism about truth, but also with radical relativism about truth, as recently defended by John MacFarlane. (shrink)

Part of Frege's concern about whether number words are properties of objects was that if they could be construed as such it would lend support to the view that truths of arithmetic were empirical truths. Such concern is ill-founded. Even if number words do apply to objects as predicates, this does not entail that numerical truths would be empirical, any more than the fact that ‘bachelor’ and ‘unmarried’ are predicates of objects entails that their relationship is an empirical one. The (...) account of number words as predicates given here, consequently, should not be taken as supportive of any one particular theory concerning arithmetic truth rather than another.The view of number words that emerges above from the criticism of Frege's arguments is that sentences containing number words can and do say something about objects in a collective and syncategorematic way. That is, they say something about classes of objects, when it is clear what is to count as an object. Whether this view commits us to accepting certain ontological entities, classes of individuals, above and beyond individuals themselves, I am not prepared to say, and at any rate this question falls beyond the intended scope of this essay. To those who would eschew abstract entities, however, it may be noted that the ontological problems that arise are not peculiar to this view; they seem no more or less severe than those that arise in connection with other collective predicate statements, as, for example, “Blue whales are becoming extinct.”The view presented here also does not pretend to be a fatal criticism of the logicist program. Taking our cue from the above noted fact that syncategorematic predicates share in a common ‘partial’ abstract sense, it seems reasonable to say that it is just the set of such partial senses of number words, and the relationships that hold between such senses, that the logicist and the pure number theorist investigate. (shrink)

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

There is a large literature on the issue of the lack of properties (i.e. accidents) in quantum mechanics (the problem of “hidden variables”) and also on the indistinguishability of particles. Both issues were discussed as far back as the late 1920’s. However, the implications of these challenges to classical ontology were taken up rather late, in part in the ‘quantum set theory’ of Takeuti (Curr Issues Quant Logic 303–322, 1981), Finkelstein (in Beltrametti EG, Van Fraassen BC (eds) Current issues in (...) quantum logic. Plenum, New York, 1981) and the work of Décio Krause (1992)—and subsequent publications). But the problems created by quantum mechanics go far beyond set theory or the identity of indiscernibles (another subject that has been often discussed)—it extends, I argue, to our accounts of truth. To solve this problem, i.e. to have an approach to truth that facilitates a transition from a classical to a quantum ontology one must have a unified framework for them both. This is done within the context of a pluralist view of truthmaking, where the truthmakers are unified in having a monoidal structure. The structure of the paper is as follows. After a brief introduction, the idea of a monoid is outlined (in Sect. 1) followed by a standard set of axioms that govern the truthmaker relation from elements of the monoid to the set of propositions. This is followed, in Sect. 2, by a discussion of how to have truthmakers for two kinds of necessities: tautologies and analytic truths. The next Sect. 3, then applies these ideas to quantum mechanics. It gives an account of quantum states and shows how these form a monoid. The final section then argues that quantum logic does not, despite what one might initially suspect, stand in the way of an account of quantum truth. (shrink)