Truth, Misc

The concept of truth has many aims but only one source. The article describes the primary concept of truth, here called the synthetic concept of truth, according to which truth is the objective result of the synthesis of us and nature in the process of rational cognition. It is shown how various aspects of the concept of truth -- logical, scientific, and mathematical aspect -- arise from the synthetic concept of truth. Also, it is shown how the paradoxes of truth (...) arise. (shrink)

For any natural (human) or formal (mathematical) language L we know that an expression X of language L is true if and only if there are expressions Γ of language L that connect X to known facts. -/- By extending the notion of a Well Formed Formula to include syntactically formalized rules for rejecting semantically incorrect expressions we recognize and reject expressions that evaluate to neither True nor False.

Note: This is a "pre-review" version, not the final version that will be published. -/- In “Nothing is True,” Will Gamester defends a form of alethic nihilism that still grants truth-talk a kind of legitimacy: an expressive role that is implemented via a pretense. He argues that this view has all of the strengths of deflationism, while also providing an elegant resolution of the Liar Paradox and its kin. For the alethic nihilist, Liar and related sentences are not true, and (...) that is the end of the story. No contradiction arises because it does not thereby follow that any of these sentences are also true, since nothing is. Gamester concludes that the simplicity of this response to the semantic paradoxes makes alethic nihilism an attractive approach. We disagree. In addition to providing insurmountable obstacles for his form of alethic nihilism, we contend that a certain form of non-nihilist deflationism is better placed to deal with the paradoxes and to account for truth-talk more generally. (shrink)

A well-known theory about under which circumstances a statement is true in a fiction is The Reality Principle, which originate in the work of David Lewis: (RP) Where p1... pn are the primary fictional truths of a fiction F , it is true in F that q iff the following holds: were p1 ... pn the case, q would have been the case (Walton 1990: 44). RP has been subjected to a number of counterexamples, up to a point where, in (...) the words of Stacie Friend “it is widely recognized that the Reality Principle […] cannot be a universal inference rule for implied story-truths” (Friend 2017: 33). This chapter argues that the strength of these counterexamples is widely overestimated, and that they do not, on closer scrutiny, constitute reasons for rejecting RP. (shrink)

According to an influential view, asserting a proposition involves undertaking some “commitment” to the truth of that proposition. But accounts of what it is for someone to be committed to the truth of a proposition are often vague or imprecise, and are rarely put to work to define assertion. This paper aims to fill this gap. It offers a precise characterisation of assertoric commitment, and shows how it can be applied to define assertion. On the proposed view, acquiring commitment is (...) not sufficient for asserting. To assert, commitment must be acquired by explicitly presenting a proposition as true. (shrink)

This chapter interprets G. E. M. Anscombe’s discussion in §31 of Intention of the relationship between expressions of intention and descriptions of matters of fact. For Anscombe, a statement like “I’m raising my arm” or “I’m going to get up at 7:00”, which expresses an intention by saying what is happening or is going to happen, is contradicted only by an opposing command or the expression of an opposing intention. I first challenge an interpretation of this passage as claiming that (...) the truth of statements like these is somehow independent of whether the action they describe is actually performed. Against this reading, my preferred interpretation highlights the fact that Anscombe is speaking here only of what contradicts expressions of intention, while her position is that statements like these describe the world in ways that will be contrary to, and so truth-functionally incompatible with, any opposing statements of fact. (shrink)

Truth is a key notion in Ockham’s philosophical reductionist program, a notion that has been the object of contrasting interpretations in scholarship. My interpretation is that, for Ockham, ‘being true’ expresses an epistemological relation, namely the one through which our mind reflects on a proposition of language, compares it with an extra-mental state of affairs, and thus ascertains their correspondence. Placing truth at a point of intersection of language with mind and reality, Ockham’s interpretation of Aristotle’s characterization of philosophy as (...) the science of truth comes to be innovative. For Ockham, philosophy is a meticulous training of interpretation of language in order to account correctly for the truth-value of propositions. (shrink)

This article informally presents a solution to the paradoxes of truth and shows how the solution solves classical paradoxes (such as the original Liar) as well as the paradoxes that were invented as counterarguments for various proposed solutions (“the revenge of the Liar”). This solution complements the classical procedure of determining the truth values of sentences by its own failure and, when the procedure fails, through an appropriate semantic shift allows us to express the failure in a classical two-valued language. (...) Formally speaking, the solution is a language with one meaning of symbols and two valuations of the truth values of sentences. The primary valuation is a classical valuation that is partial in the presence of the truth predicate. It enables us to determine the classical truth value of a sentence or leads to the failure of that determination. The language with the primary valuation is precisely the largest intrinsic fixed point of the strong Kleene three-valued semantics (LIFPSK3). The semantic shift that allows us to express the failure of the primary valuation is precisely the classical closure of LIFPSK3: it extends LIFPSK3 to a classical language in parts where LIFPSK3 is undetermined. Thus, this article provides an argumentation, which has not been present in contemporary debates so far, for the choice of LIFPSK3 and its classical closure as the right model for the truth predicate. In the end, an erroneous critique of Kripke-Feferman axiomatic theory of truth, which is present in contemporary literature, is pointed out. (shrink)

This paper motivates and defends alethic nihilism, the theory that nothing is true. I first argue that alethic paradoxes like the Liar and Curry motivate nihilism; I then defend the view from objections. The critical discussion has two primary outcomes. First, a proof of concept. Alethic nihilism strikes many as silly or obviously false, even incoherent. I argue that it is in fact well-motivated and internally coherent. Second, I argue that deflationists about truth ought to be nihilists. Deflationists maintain that (...) the utility of the truth predicate is exhausted by its expressive role, and I argue that the truth predicate can still play this expressive role even if nothing is true. As such, deflationists do not stand to lose anything by accepting nihilism. Since they also stand to gain an elegant solution to the alethic paradoxes, on balance deflationists ought to be nihilists. (shrink)

This paper presents four key results. Firstly, it distinguishes between _partial_ and _consistent_ assertion of a sentence, and introduces the concept of an _equivocal_ sentence, which is both partially asserted and partially denied. Secondly, it proposes a novel definition of truth, stating that _a true sentence is one that is consistently asserted_. This definition is immune from the Liar paradox, does not restrict classical logic, and can be applied to declarative sentences in the language used by any particular person. Thirdly, (...) the paper introduces an epistemic model of language, known as _assertional language_, which is used to formalize the definition of truth. Finally, it provides an argument for the falsity of so-called Liar sentences. The paper also discusses Tarski's solution to the Liar paradox and argues for the abandonment of the Tarski Scheme: _'p' is true if and only if p_, in the context of everyday language. The proposed definition of truth can be viewed as a formal account of the correspondence theory. The epistemic model is a powerful concept on its own that allows for combining different languages in a meaningful way. This model is uniquely capable of reflecting on epistemic inconsistencies, such as logical paradoxes, in a consistent manner. (shrink)

Truth about matters of fact is objective. This is not just because truth is objective. It is also because facts are objective. An objective fact makes an assertion of that fact true. The objectivity of the fact adds a further element of objectivity to the objective truth of the assertion. True assertions of fact are true because truth is objective and because the facts that make them true are objective. True assertions of fact are objective twice over. Their objectivity is (...) twofold. Or, at least, that is the point I seek to establish here. (shrink)

The thesis that nothing is true has long been thought to be a self-refuting position not worthy of serious philosophical consideration. Recently, however, the thesis of alethic nihilism—that nothing is true—has been explicitly defended (notably by David Liggins). Nihilism is also, I argue, a consequence of other views about truth that have recently been advocated, such as fictionalism about truth and the inconsistency account. After offering an account of alethic nihilism, and how it purports to avoid the self-refutation problem, I (...) argue that it avoids the problem at the expense of changing the subject. I then present other arguments against nihilism and responses to the considerations offered in defense of it. The only tenable position is that something is indeed true. (shrink)

The essential role of language in rational cognition is analysed. The approach is functional: only the results of the connection between language, reality, and thinking are considered. Scientific language is analysed as an extension and improvement of everyday language. The analysis gives a uniform view of language and rational cognition. The consequences for the nature of ontology, truth, logic, thinking, scientific theories, and mathematics are derived.

L’objectivité permettrait d’assurer la supériorité de la science par rapport à d’autres modes de connaissance. Elle doit donc être défendue, surtout en cette « ère de post-vérité » où les « faits alternatifs » remplacent les faits avérés, en politique comme ailleurs. Or les attaques proviennent autant de l’extérieur que de l’intérieur de la sphère philosophique. Il convient donc de tenter d’opérer la réconciliation la plus large possible avec deux représentants de clans (très) opposés, Mario Bunge et Bruno Latour. Réinvestissant (...) les grandes conceptions de la notion d’objectivité, je propose ici trois chantiers pour cette réconciliation : la mise au rancart des conceptions naïves et parfois insincères de la science, la réévaluation des contextes de découverte et de justification, et celle de la distinction faits-valeurs. (shrink)

S’inspirant de Memorias. Entre dos mundos, ce texte se veut un témoignage et des commentaires de la perspective pédagogique développée par Mario Bunge dans le cadre de son enseignement de philosophie des sciences à l’Université de Buenos Aires dans les années soixante du siècle dernier. Perspective socratique du métier de philosophe qui ne renvoie cependant pas à une entreprise de dévoilement de la vérité, mais plutôt aux conditions de sa construction.

Lying and fiction both involve the deliberate production of statements that fail to obey Grice’s first Maxim of Quality (“do not say what you believe to be false”). The question thus arises if we can provide a uniform analysis for fiction and lies. In this chapter I discuss the similarities, but also some fundamental differences between lying and fiction. I argue that there’s little hope for a satisfying account within a traditional truth conditional semantic framework. Rather than immediately moving to (...) a fully pragmatic analysis involving distinct speech acts of fiction-making and lying, I will first explore how far we get with the assumption that both are simply assertions, analyzed in a Stalnakerian framework, i.e. as proposals to update the common ground. (shrink)

El proceso de aprehensión de lo cognoscible, en la filosofía contemporánea, ha sido tratado desde diversas perspectivas, entre ellas la fenomenológica y la analítica. Cada una de estas perspectivas aportan unos presupuestos filosóficos y procesos metodológicos que nos proporcionan marcos de trabajo para indagar en las vías de aprehensión del conocimiento; sin embargo, empleadas por separado son insuficientes y limitadas. En absoluto se trata de procurar un método universal, sino de integrar e indagar sobre diversos presupuestos, procesos, patrones y estructuras (...) para avanzar en la indagación de la aprehensión del conocimiento. En este sentido, en la primera parte, abordaremos la necesidad de tener reglas (definitorias y estratégicas) para ser parte y avanzar en cualquier «juego», en especial el del conocimiento. En la segunda y tercera, describiremos los «métodos» desarrollados por José Ferrater Mora (operaciones filosóficas) y Nicolai Hartmann (pensar sistemático), los que pueden ser un punto de partida, vías a considerar en este proceso. En la parte final, a modo de contraste, se ofrece en un gráfico un esquema metodológico de los dos métodos analizados. (shrink)

A typical guiding principle of an account of truth is: “truth is objective,” or, to be clear, judging whether an assertion is true or false depends upon how things are in the world rather than how someone or some community believes it to be. Accordingly, whenever a claim is objectively true, its truth conditions ought not depend upon the context in which it is uttered or the utterer making the claim. Part of our ongoing empirical studies surveying people’s responses to (...) questions about truth involved prompts on objectivity. Our studies suggest the following: overall, individuals tend to endorse claims that are consistent with the objectivity of truth; not all conceptions of objectivity are equal, even people who endorse the objectivity of truth sometimes assent to one form of truth’s objectivity over other forms; philosophers and non-philosophers both endorse the objectivity of truth, but the apparent commitment of philosophers is stronger. (shrink)

Neste artigo é defendido que 'os iluministas' não poderiam ser capazes de eliminar os preconceitos, como pretendiam, haja vista que atacavam o fenômeno do preconceito onde ele não estava, sendo o entrave no acesso à verdade apenas um efeito colateral do preconceito e não seu elemento central. Independente da possibilidade ou não de se eliminar os preconceitos, a estratégia adotada pelos filósofos desse período estava condenada ao fracasso. Para sustentar esta hipótese, primeiro será extraída uma noção geral do preconceito a (...) partir de autores do período do iluminismo. Em seguida serão estudados seus aspectos a fim de compreender a relação dos preconceitos com a realidade. Por fim se demonstra que o caráter dessa relação é acidental, não podendo o preconceito ser abolido por uma argumentação acerca da verdade das coisas. Este artigo não discute se é possível eliminar os preconceitos, apontando apenas o erro do método dos autores modernos. (shrink)

Providing empirically supportable instances of ontological emergence is notoriously difficult. Typically, the literature has focused on two possible sources. The first is the mind and consciousness; the second is within physics, and more specifically certain quantum effects. In this paper, I wish to suggest that the literature has overlooked a further possible instance of emergence, taken from the special science of linguistics. In particular, I will focus on the property of truth-evaluability, taken to be a property of sentences as created (...) by the language faculty within human minds (or brains). The claim will not be as strong as to suggest that the linguistic data and theories prove emergence. Rather the dialectical aim here is to say that we have some good reasons (even if not conclusive reasons) to think that the property is emergent. (shrink)

The paper seeks to answer two new questions about truth and scientific change: What lessons does the phenomenon of scientific change teach us about the nature of truth? What light do recent developments in the theory of truth, incorporating these lessons, throw on problems arising from the prevalence of scientific change, specifically, the problem of pessimistic meta-induction?

I give a detailed review of 'The Outer Limits of Reason' by Noson Yanofsky 403(2013) from a unified perspective of Wittgenstein and evolutionary psychology. I indicate that the difficulty with such issues as paradox in language and math, incompleteness, undecidability, computability, the brain and the universe as computers etc., all arise from the failure to look carefully at our use of language in the appropriate context and hence the failure to separate issues of scientific fact from issues of how language (...) works. I discuss Wittgenstein's views on incompleteness, paraconsistency and undecidability and the work of Wolpert on the limits to computation. -/- Those wishing a comprehensive up to date account of Wittgenstein, Searle and their analysis of behavior from the modern two systems view may consult my article The Logical Structure of Philosophy, Psychology, Mind and Language as Revealed in Wittgenstein and Searle (2016). Those interested in all my writings in their most recent versions may download from this site my e-book ‘Philosophy, Human Nature and the Collapse of Civilization Michael Starks (2016)- Articles and Reviews 2006-2016’ by Michael Starks First Ed. 662p (2016). -/- All of my papers and books have now been published in revised versions both in ebooks and in printed books. -/- Talking Monkeys: Philosophy, Psychology, Science, Religion and Politics on a Doomed Planet - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B071HVC7YP. -/- The Logical Structure of Philosophy, Psychology, Mind and Language in Ludwig Wittgenstein and John Searle--Articles and Reviews 2006-2016 (2017) https://www.amazon.com/dp/B071P1RP1B. -/- Suicidal Utopian Delusions in the 21st century: Philosophy, Human Nature and the Collapse of Civilization - Articles and Reviews 2006-2017 (2017) https://www.amazon.com/dp/B0711R5LGX . (shrink)

Yablo has argued for an alternative form of if-thenism that is more conducive with his figurative fictionalism. This commentary sets out to challenge whether the remainder, ρ, tends to be an inaccurate representation of the conditions that are supposed to complete the enthymeme from φ to Ψ. Whilst by some accounts the inaccuracies shouldn't set off any alarm bells, the truth of ρ is too inexact. The content of ρ, a partial truth, must display a sensitivity to the contextual background (...) conditions for subtraction to work properly in Yablo's view. Using a toy example, I argue that Yablo's subtraction model tends to yield partial truths as remainders that fail to rule out inaccurate expressions that may prove to be problematic for it. (shrink)

We might suppose it is not only instrumentally valuable for beliefs to be true, but that it is intrinsically valuable – truth makes a non-derivative, positive contribution to a belief's overall value. Some intrinsic goods are better than others, though, and this article considers the question of how good truth is, compared to other intrinsic goods. I argue that truth is the worst of all intrinsic goods; every other intrinsic good is better than it. I also suggest the best explanation (...) for truth's inferiority is that it is not really an intrinsic good at all. It is intrinsically neutral. (shrink)

A predicate logic typically has a heterogeneous semantic theory. Subjects and predicates have distinct semantic roles: subjects refer; predicates characterize. A sentence expresses a truth if the object to which the subject refers is correctly characterized by the predicate. Traditional term logic, by contrast, has a homogeneous theory: both subjects and predicates refer; and a sentence is true if the subject and predicate name one and the same thing. In this paper, I will examine evidence for ascribing to Aristotle the (...) view that subjects and predicates refer. If this is correct, then it seems that Aristotle, like the traditional term logician, problematically conflates predication and identity claims. I will argue that we can ascribe to Aristotle the view that both subjects and predicates refer, while holding that he would deny that a sentence is true just in case the subject and predicate name one and the same thing. In particular, I will argue that Aristotle's core semantic notion is not identity but the weaker relation of constitution. For example, the predication ‘All men are mortal’ expresses a true thought, in Aristotle's view, just in case the mereological sum of humans is a part of the mereological sum of mortals. (shrink)

Book Review of Charles Travis's Objectivity and the Parochial.

In a paper in this journal, I defend the view that truth is the fundamental norm for assertion and, in doing so, reject the view that knowledge is the fundamental norm for assertion. In a recent response, Littlejohn raises a number of objections against my arguments. In this reply, I argue that Littlejohn’s objections are unsuccessful.

I use the principle of truth-maker maximalism to provide a new solution to the semantic paradoxes. According to the solution, AUS, its undecidable whether paradoxical sentences are grounded or ungrounded. From this it follows that their alethic status is undecidable. We cannot assert, in principle, whether paradoxical sentences are true, false, either true or false, neither true nor false, both true and false, and so on. AUS involves no ad hoc modification of logic, denial of the T-schema's validity, or obvious (...) revenge. (shrink)

This paper shows that the knowability paradox isn’t a paradox because the derivation of the paradox is faulty. This is explained by showing that the K operator employed in generating the paradox is used equivocally and when the equivocation is eliminated the derivation fails.

This paper was part of a special online issue on Truth. I critically discuss Peter Geach's paper "Truth and God".

The phenomenon of disagreement has recently been brought into focus by the debate between contextualists and relativist invariantists about epistemic expressions such as ‘might’, ‘probably’, indicative conditionals, and the deontic ‘ought’. Against the orthodox contextualist view, it has been argued that an invariantist account can better explain apparent disagreements across contexts by appeal to the incompatibility of the propositions expressed in those contexts. This paper introduces an important and underappreciated phenomenon associated with epistemic expressions — a phenomenon that we call (...) reversibility. We argue that the invariantist account of disagreement is incompatible with reversibility, and we go on to show that reversible sentences cast doubt on the putative data about disagreement, even without assuming invariantism. Our argument therefore undermines much of the motivation for invariantism, and provides a new source for constraints on the proper explanation of purported data about disagreement. (shrink)

This expounds J.L. Austin's treatment of truth, and compares it with Frege's.

Invited contribution to The Aim of Belief, a special issue of Teorema, guest-edited by J. Zalabardo.

In this paper, I discuss two concerns for pluralist truth theories: a concern about a key detail of these theories and a concern about their viability. The detail-related concern is that pluralists have relied heavily upon the notion of a domain, but it is not transparent what they take domains to be. Since the notion of a domain has been present in philosophy for some time, it is important for many theorists, not only truth pluralists, to be clear on what (...) domains are and what work they can do. The viability-related concern is that it’s not clear how a pluralist truth theory could explain the truth-conditions of mixed atomic propositions. To address this concern, truth pluralists should recognize something to which they have not been sufficiently attentive: that some atomic propositions belong to more than one domain. But, recognizing this requires rethinking the relationships between the nature of propositions, their membership in domains, and their truth. I address these issues and propose an understanding of them that is preferable to the best existing account of them, that offered by Michael Lynch. (shrink)

Postmodernists claim that there is no truth. However, the statement 'there is no truth ' is self -contradictory. This essay shows the following: One cannot state the idea 'there is no truth ' universally without creating a paradox. In contrast, the statement 'there is truth ' does not produce such a paradox. Therefore, it is more logical that truth exists.

The paper discusses what kind of truth bearer, or truth-ascription, a deflationist should take as primary. I first present number of arguments against a sententialist view. I then present a deflationary theory which takes propositions as primary, and try to show that it deals neatly with a wide range of linguistic data. Next, I consider both the view that there is no primary truth bearer, and the most common account of sentence truth given by deflationists who take propositions as primary, (...) and argue that they both attribute an implausible type of ambiguity to “true”. This can be avoided, however, if truth-ascriptions to sentences are taken as a certain form of pragmatic ellipses. I end by showing how this hypothesis accommodates a number of intuitions involving truth-ascriptions to sentences. (shrink)

This paper argues against the almost universally held view that truth is an instrumentally valuable property of beliefs. For truth to be instrumentally valuable in the way usually supposed, it must play a causal role in the satisfaction of our desires. As it happens, truth can play no such role, because it is screened off from causal relevance by some of the truth-like properties first discussed by Stephen Stich. Because it is not causally relevant to the success of our actions, (...) truth is not instrumentally valuable in the way usually supposed. (shrink)

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

When talking about truth, we ordinarily take ourselves to be talking about one-and-the-same thing. Alethic monists suggest that theorizing about truth ought to begin with this default or pre-reflective stance, and, subsequently, parlay it into a set of theoretical principles that are aptly summarized by the thesis that truth is one. Foremost among them is the invariance principle.

I begin with an exposition of the two main variants of the Prosentential Theory of Truth (PT), those of Dorothy Grover et al. and Robert Brandom. Three main types of criticisms are then put forward: (1) material criticisms to the effect that (PT) does not adequately explain the linguistic data, (2) an objection to the effect that no variant of (PT) gives a properly unified account of the various occurrences of "true" in English, and, most importantly, (3) a charge that (...) the comparison with proforms is explanatorily idle. The last objection is that, given a complete semantic account of pronouns, proadjectives, antecedents, etc., together with a complete (PT), the essential semantic character of "true" could be deduced, but then, the idleness of the comparison with pronouns would be apparent. It turns out that objections (2) and (3) are related in the following way: the prosentential terminology is held to conceal the lack of unity in (PT), by describing the different data in the same terms ("proform", "antecedent", etc.). But this, I argue, is only a way of truly describing, rather than explaining, the data, these being certain relations of equivalence and consequence between sentences. I consider a language for which (PT) would be not only true, but also explanatory, but note that this language is very different from English. I end by showing that Robert Brandom's case that "is true" is not a predicate fails, and that his motivation for saying so is based on fallacious reasoning (namely, Boghossian's argument against deflationism). (shrink)

Wir sorgen uns um die Wahrheit und unsere Sorge bedarf einer vorsichtigen Erörterung. Schnell sind Argumente gefunden, die belegen, dass wir ohne Wahrheit nicht auskommen. Wahre Meinungen sind von überragendem instrumentellem Nutzen, in allen Lebensbereichen ist Erfolg von der Wahrheit unserer Überzeugungen abhängig. Dennoch kann die Sorge um die Wahrheit nicht mit einem einfachen Verweis auf ihren Nutzen erklärt werden. In diesem Aufsatz verfolge ich zwei Ziele. Zum einen möchte ich verständlich machen, warum instrumentelle Erklärungen der Sorge um die Wahrheit (...) zu kurz greifen. Sie sind defi zitär, da unsere Sorge um die Wahrheit erst dann zu einem philosophischen Problem wird, wenn sie uns so viel abverlangt, dass instrumentelle Überlegungen eine Abkehr von der Wahrheitssuche nahe legen. Wird in solchen Konfl iktsituationen dennoch am Wahrheitsziel festgehalten, so wird die Wahrheit um ihrer selbst willen gesucht. Es entsteht daher die Frage, was es bedeutet, nach der Wahrheit um der Wahrheit willen zu suchen. Eine Erörterung dieser Frage ist das zweite Ziel des Aufsatzes. (shrink)

Review of Truth and Realism, edited by Patrick Greenough and Michael Lynch.

Attention to the conversational role of alethic terms seems to dominate, and even sometimes exhaust, many contemporary analyses of the nature of truth. Yet, because truth plays a role in judgment and assertion regardless of whether alethic terms are expressly used, such analyses cannot be comprehensive or fully adequate. A more general analysis of the nature of truth is therefore required – one which continues to explain the significance of truth independently of the role alethic terms play in discourse. We (...) undertake such an analysis in this paper; in particular, we start with certain elements from Kant and Frege, and develop a construct of truth as a normative modality of cognitive acts (e.g., thought, judgment, assertion). Using the various biconditional T-schemas to sanction the general passage from assertions to (equivalent) assertions of truth, we then suggest that an illocutionary analysis of truth can contribute to its locutionary analysis as well, including the analysis of diverse constructions involving alethic terms that have been largely overlooked in the philosophical literature. Finally, we briefly indicate the importance of distinguishing between alethic and epistemic modalities. (shrink)

I here develop a specific version of the deflationary theory of truth. I adopt a terminology on which deflationism holds that an exhaustive account of truth is given by the equivalence between truth-ascriptions and de-nominalised (or disquoted) sentences. An adequate truth-theory, it is argued, must be finite, non-circular, and give a unified account of all occurrences of “true”. I also argue that it must descriptively capture the ordinary meaning of “true”, which is plausibly taken to be unambiguous. Ch. 2 is (...) a critical historical survey of deflationary theories, where notably disquotationalism is found untenable as a descriptive theory of “true”. In Ch. 3, I aim to show that deflationism cannot be finitely and non-circularly formulated by using “true”, and so must only mention it. Hence, it must be a theory specifically about the word “true” (and its foreign counterparts). To capture the ordinary notion, the theory must thus be an empirical, use-theoretic, semantic account of “true”. The task of explaining facts about truth now becomes that of showing that various sentences containing “true” are (unconditionally) assertible. In Ch. 4, I defend the claim (D) that every sentence of the form “That p is true” and the corresponding “p” are intersubstitutable (in a use-theoretic sense), and show how this claim provides a unified and simple account of a wide variety of occurrences of “true”. Disquotationalism then only has the advantage of avoiding propositions. But in Ch. 5, I note that (D) is not committed to propositions. Use-theoretic semantics is then argued to serve nominalism better than truth-theoretic ditto. In particular, it can avoid propositions while sustaining a natural syntactic treatment of “that”-clauses as singular terms and of “Everything he says is true”, as any other quantification. Finally, Horwich’s problem of deriving universal truth-claims is given a solution by recourse to an assertibilist semantics of the universal quantifier. (shrink)

What the world needs now is another theory of vagueness. Not because the old theories are useless. Quite the contrary, the old theories provide many of the materials we need to construct the truest theory of vagueness ever seen. The theory shall be similar in motivation to supervaluationism, but more akin to many-valued theories in conceptualisation. What I take from the many-valued theories is the idea that some sentences can be truer than others. But I say very different things to (...) the ordering over sentences this relation generates. I say it is not a linear ordering, so it cannot be represented by the real numbers. I also argue that since there is higher-order vagueness, any mapping between sentences and mathematical objects is bound to be inappropriate. This is no cause for regret; we can say all we want to say by using the comparative truer than without mapping it onto some mathematical objects. From supervaluationism I take the idea that we can keep classical logic without keeping the familiar bivalent semantics for classical logic. But my preservation of classical logic is more comprehensive than is normally permitted by supervaluationism, for I preserve classical inference rules as well as classical sequents. And I do this without relying on the concept of acceptable precisifications as an unexplained explainer. The world does not need another guide to varieties of theories of vagueness, especially since Timothy Williamson (1994) and Rosanna Keefe (2000) have already provided quite good guides. I assume throughout familiarity with popular theories of vagueness. (shrink)

The prospects and limitations of defining truth in a finite model in the same language whose truth one is considering are thoroughly examined. It is shown that in contradistinction to Tarski's undefinability theorem for arithmetic, it is in a definite sense possible in this case to define truth in the very language whose truth is in question.

Note: The author holds the copyright, and there was no agreement, express or implied, not to use a facsimile PDF. -/- Using erotetic logic, the paper defines the "the whole truth" in a manner consistent with U.S. Supreme Court precedent. It cannot mean "the whole story," as witnesses in an adversary system are permitted /only/ to answer the questions put to them, nor are they permitted to speculate, add irrelevant material, etc. Nor can it mean not to add an admixture (...) of falsity, as that is already included in "nothing but the truth," and, strictly speaking, in "the truth," as any such as admixture renders the whole thing false (given bivalence is presupposed) by &-introduction. (shrink)

It is argued that if, with Dummett, we see assertion as an act governed by conditions of correctness which makes a claim to the effect that these conditions are met, then the conditions of correctness that determine its content must have the impersonal character of a requirement of truth, rather than the speaker-relative character of a requirement of justification or assertibility. For otherwise it would be impossible for different speakers to use the same words to make an assertion with the (...) same content. (shrink)