. According to John Buridan, the time for which a statement is true is underdetermined by the grammatical form of the sentence – the intention of the speaker is required. As a consequence, truth-bearers are not sentence types, nor sentence tokens plus facts of the context of utterance, but statements. Statements are also the bearers of logical relations, since the latter can only be established among entities having determined truth-conditions. This role of the intention of the (...) speaker in the determination of what is said by an utterance is not isolated in medieval semantics. (shrink)

This paper proposes an alternative view of the connection between knowledge and truth. Truth is traditionally seen as a semantic notion, i.e. a relation between what we say about the world and the world itself. Epistemologists and philosophers of science are therefore apt to resort to correspondence theories of truth in order to deal with the question whether our theories and beliefs are true. Correspondence theories try to define truth, but, in order to do so, they (...) must choose a truth bearer, i.e. something capable of being true, for instance, propositions, sentences or statements. According to the analysis here proposed, none of these truth bearers can be defined without reference to the others. The pragmatic, alternative view here presented, in its turn, is unaffected by this kind of conceptual difficulty. According to this view, one must focus on the use of truth terms – such as ‘true’, ‘false’, ‘correct’, ‘appropriate’, etc. – and the methodological role such terms play in the investigative practices and research programs to be found both in the sciences and in other, everyday investigative activities, such as forensic and journalistic investigations. (shrink)

In this paper I consider two strategies for providing tenseless truth-conditions for tensed sentences: the token-reflexive theory and the date theory. Both theories have faced a number of objections by prominent A-theorists such as Quentin Smith and William Lane Craig. Traditionally, these two theories have been viewed as rival methods for providing truth-conditions for tensed sentences. I argue that the debate over whether the token-reflexive theory or the date theory is true has arisen from a failure (...) to distinguish between conditions for the truth of tensed tokens and conditions for the truth of propositions expressed by tensed tokens. I demonstrate that there is a true formulation of the token-reflexive theory that provides necessary and sufficient conditions for the truth of tensed tokens, and there is a true formulation of the date theory that provides necessary and sufficient conditions for the truth of propositions expressed by tensed tokens. I argue that once the views are properly formulated, the A-theorist’s objections fail to make their mark. However, I conclude by claiming that even though there is a true formulation of the token-reflexive theory and a true formulation of the date theory, the New B-theory nonetheless fails to provide a complete account of the truth and falsity of tensed sentences. (shrink)

The aim of this text is to elucidate certain aspects of the use of expressions such as “is true” and “it is true that” (henceforth “truth-expressions”) and, through this, some features of the concept of truth. It focuses on addressing the question of whether truth-expressions play the role of a predicate or an operator. The investigations pursued are intended to be grammatical—in Wittgenstein’s sense of the term. I begin with a short presentation of a widely held view (...) about the role played by truth-expressions. I then contrast the Wittgensteinian conception of grammar with that of linguistics. I sketch Frege’s, Wittgenstein’s, Prior’s and Brandom’s central ideas regarding the issue under consideration. As a further step, I investigate the role of truth-expressions by examining several sentences in which they occur, and discuss objections to the proposed analysis. On my approach, truth expressions play the role of a predicate only when applied to sentences, and in all other cases function as operators. One advantage of such a position is that it enables a dissolution of the problem of truth-bearers: where truth-expressions are operators, the issue simply does not arise, and where they are predicates, it is sentences that are the truth-bearers. (shrink)

In this dissertation I explore Frege’s conception of truth. In particular I defend the thesis that Frege in his mature career takes truth to be an object, i.e., the True qua the reference of true sentences. In the literature on truth Frege has been usually taken to be a truth deflationist or a truth primitivist. Indeed Frege leaves a number of comments that sound like typical deflationist claims and his famous indefinability argument is the (...) most discussed argument for primitivism. However, Frege is neither a deflationist nor a primitivist. His deflationist remarks and the indefinability argument are rather his arguments that truth is an object. -/- For Frege judging—and its verbal counterpart asserting—is always acknowledging the truth of a truth-bearer. Thus, if truth is an object for him, his conception of judgment ought to also be adjusted accordingly. Indeed Frege shows how we can understand judgment qua acknowledgment of truth if truth is an object. Specifically, judging that p is identifying the True with the reference of ‘p’ non-judgmentally, i.e., without judging that p is identical with the reference of ‘p’. Frege’s conception of judgment impacts his conception of knowledge because the act of judging is that of producing knowledge. In a nutshell our act of judging and the knowledge we produce by it are epistemically grounded in our objectual knowledge of the True. If we take this point into account, we can develop a new reading of Frege’s claim that logic is the science of truth. -/- The suggested reading of Frege’s conception of truth and related notions can make a contribution to contemporary philosophical problems. First, Frege’s conception of judgment can cope with Peter Hanks’s recent criticisms of the Fregean picture of judgment in general. Secondly, his conception of assertion can explain the connection between truth and assertion in a novel way. Lastly, Frege’s conception of knowledge can be developed into a new theory of knowledge where objectual knowledge is more fundamental than propositional knowledge. (shrink)

This thesis is concerned with the challenge truth-value gaps pose to the principle of bivalence. The central question addressed is: are truth-value gaps counterexamples to bivalence and is the supposition of counterexamples coherent? My aim is to examine putative cases of truth-value gaps against an argument by Timothy Williamson, which shows that the supposition of counterexamples to bivalence is contradictory. The upshot of his argument is that either problematic utterances say nothing, or they cannot be neither true (...) nor false. I start by identifying truth-bearers: an utterance, for instance, is a truth-bearer if it says that something is the case. Truth-bearers are evaluable items, with truth- and falsity-conditions statable in corresponding instances of schemas for truth and falsehood. A genuine case of a truth-value gap should be an utterance that is neither true nor false but says something to be the case. But it is inconsistent to accept the schemas for truth and falsehood and the existence of genuine cases of truth-value gaps. Secondly, I expound Williamson’s argument, which explores this inconsistency, and I identify two kinds of strategy to disarm his argument: those that preserve the schemas for truth and falsehood, and those that do not. Neither strategy is found to be persuasive. Thirdly, I argue that cases of reference failure causing truth-value gaps illustrate the upshot of Williamson’s argument. Fourthly, I examine Scott Soames’s account of liar sentences as counterexamples to bivalence. Soames adopts a strategy of the first kind to avoid contradictions. I argue that his solution allows some contradictions to be true, and that he fails to show that liar sentences are truth-bearers. Finally, I examine Charles Travis’s case for isostheneia: an equal balancing of reasons to evaluate a statement as true or as false, in which case a statement is neither. Travis avoids contradictions by adopting a strategy of the second kind. I argue that the schemas for truth and falsehood are immune to Travis’s objections, and that isostheneia fails to identify evaluable items. The cases examined confirm that utterances that are neither true nor false say nothing. My claim is thus that truth-value gaps are not counterexamples to bivalence. (shrink)

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)

The article examines main competing conceptions of the cor­respondence theory of truth. First, the author investigates pos­sible candidates for the role of truth-bearers. Among those he examines following entities: instances of sentences as concrete sequences of symbols (sounds or letters), which should satisfy wide scope of requirements, such as to be grammatical, mean­ingful, affirmative and so on; abstract propositions, which are ex­pressed by concrete sentences; utterances (either explicit or in lingua mentalis); beliefs of agents as (...) their special mental states. Then he turns to the study of possible candidates for the role of truth-makers, i.e. of those entities to which truth-bearers should correspond to be true. He observes states of affairs, situations, facts and mereological sums of individuals. Then he shows that a notion of correspondence is a functional relationship of interpre­tation of linguistic expressions, where certain fragment of real­ity is taken as a model, i.e. as a finite set of elements on which some functions and relations can be operationally defined. He shows how in some simple cases such interpretation function can be built in operationalist’s manner. After that, he considers some natural objections to this approach, which point that he has no direct cognitive access to the actual world, so it is not possible to take its fragments as a model for any theory. Such objections lead us to the coherentist’s approach, but he shows that the question about origin and status of so-called “specified set” implicitly either leads to infinite regress or requires certain correspondence on some level of investigation and reasoning. Finally, the authore presents some reflections on the meaning of correspondence approach for scientific realism and all other versions of realistic philosophy and metaphysics. (shrink)

Thesis: Such things as beliefs, statements, assertions, remarks, hypotheses, and theories are those things that are true or false . (Example: we do say such things as "Her belief that her mother had phoned was false." Or, "His assertion that Alberta is smaller than British Columbia is true.").

The conception of truth-making, albeit in a rudimentary form, could already be discerned in the writings of G. E. Moore and E. Husserl in the early 1900s. A few years later it was more extensively exploited by William James. It was Wittgenstein, however, who gave the concept a precise meaning. In 1913/1914 Wittgenstein advanced a theory of possible worlds, only one of which was real. Every proposition suggests a part of a possible world which does or does not correspond (...) to parts of the real world. In the first case the proposition is true, in the second case false. Moreover, the part of the real world makes the sentence true. This part is a truth-maker, and the sentence is a truth-bearer. Surprisingly enough, Wittgenstein’s concept of truth-making had its family resemblance with William James’s conception of truth. In 1915 Wittgenstein stopped using the concept of truth-making—it was also not men-tioned in the Tractatus. Unfortunately, Russell did not notice this and in 1918 he adopted the concept of truth-making. In the 1930s, it was used by some second generation analytic philosophers (Schlick, Stebbing, and Wisdom). However, it became rather popular among analytic philosophers only in the 1980s. (shrink)

(2013). What are the primary bearers of truth? Canadian Journal of Philosophy: Vol. 43, Essays on the Nature of Propositions, pp. 558-574.

In this thesis, Semantics, Meta-Semantics, and Ontology, I provide a critique of the method of truth in metaphysics. Davidson has suggested that we can determine the metaphysical nature and structure of reality through semantic investigations. By contrast, I argue that it is not semantics, but meta-semantics, which reveals the metaphysically necessary and sufficient truth conditions of our claims. As a consequence I reject the Quinean criterion of ontological commitment. In Part I, chapter 1, I argue that the metaphysically (...) primary truth bearers are not propositions, but rather concrete representations, either beliefs or sentences. I show, in chapter 2, that we can give sense to a truth predicate applying to sentences, given a truth operator and quantification into sentence position. I argue that this strategy does not commit us to the existence of propositions serving as truth bearers. In Part II I argue that although we must assign semantic values to sentences and/or predicates, the meaningfulness of these expressions is not thereby explained. In chapter 3 I articulate Davidson’s problem of predication and his solution, but argue that he was wrong to attribute this solution to Tarski. In chapter 4 I examine the semantics of modal languages; I conclude that although they require semantic values for predicates and/or sentences we should be instrumentalists about these theories. In Part III I consider the relationship between truth and existence. In chapter 5, I defend Pluralism about truth: in some domains of discourse, I claim, semantic reference plays a merely instrumental role in explaining truth. In chapter 6, I show that Hume’s Principle, which is committed by the Quinean criterion to the existence of numbers, can be true even though numbers do not exist. In doing so, I appeal to meta-semantic and diachronic considerations. In the conclusion I compare my views on ontology and commitment to Jody Azzouni’s; and in the appendix I suggest how one might pursue diachronic linguistics. (shrink)

During the realist revival in the early years of this century, philosophers of various persuasions were concerned to investigate the ontology of truth. That is, whether or not they viewed truth as a correspondence, they were interested in the extent to which one needed to assume the existence of entities serving some role in accounting for the truth of sentences. Certain of these entities, such as the Sätze an sich of Bolzano, the Gedanken of Frege, or (...) the propositions of Russell and Moore, were conceived as the bearers of the properties of truth and falsehood. Some thinkers however, such as Russell, Wittgenstein in the Tractatus, and Husserl in the Logische Untersuchungen, argued that instead of, or in addition to, truth-bearers, one must assume the existence of certain entities in virtue of which sentences and/or propositions are true. Various names were used for these entities, notably 'fact', 'Sachverhalt', and 'state of affairs'. (1) In order not to prejudge the suitability of these words we shall initially employ a more neutral terminology, calling any entities which are candidates for this role truth-makers. (shrink)

Millianism is the doctrine according to which the semantic content of a proper name is exhausted by its referent. This article raises and attempts to solve a dilemma for Millians: either a proper name of a truth bearer is in turn a truth bearer ; or having a truth bearer as semantic content is not sufficient for a linguistic expression to be a truth bearer. As it will be shown in the manuscript, the dilemma does not (...) arise with “that”-clauses in the place of proper names, if “that”-clauses are taken to be non-Millian designators whose semantic content is not a truth bearer. An account of “that”-clauses having such features and originating with Salmon, Frege's Puzzle, will be defended. (shrink)

Abstract: A theory of time is a theory of the nature of temporal reality, and temporal reality determines the truth-value of temporal sentences. Therefore it is reasonable to ask how a theory of time can account for the way the truth of temporal sentences is determined. This poses certain challenges for both the A theory and the B theory of time. In this paper, I outline an account of temporal sentences. The key feature of the (...) account is that the primary bearers of truth-values are not utterances, but sentences evaluated with respect to a time. I argue that unlike other views, the present proposal can meet the challenges faced both by the A and the B theory. (shrink)

This chapter contains sections titled: Nature: Two Conceptions of Truth Background on Logic and Paradox Nature and Logic And Now Revenge References.

Propositions are items that play certain theoretical roles: (among other things) they serve as objects of belief, fundamental bearers of truth-value, and the semantic contents of sentences. In this paper, I examine the key role Ockham played in the development of later medieval debates about propositions. Unlike contemporary philosophers, who typically assume that propositions are abstract entities of some sort, Ockham holds a nominalist view of propositions according to which token entities—namely, token mental representations—play the proposition role. (...) While Ockham's view generates a great deal of controversy and discussion I argue that it isn't his nominalism about propositions per se that proves objectionable. Indeed, insofar as few medieval philosophers countenance abstract objects, the view that token mental representations function as fundamental bearers of truth and as the semantic content of sentences is fairly standard. What does prove controversial, I claim, is Ockham's contention that token mental states—what he refers to as ‘mental sentences’—serve as objects for propositional attitudes. My discussion in the paper explores both (i) the reasons why Ockham’s attempt to treat mental representations as objects for belief and knowledge proved controversial and (ii) what alternative positions emerged in the subsequent debate about propositional attitudes. -/- . (shrink)

1. IMPORTANCE OF THE SUBJECT In 1900, in A Critical Exposition of the Philosophy of Leihniz, Russell made the following assertion: "That all sound philosophy should begin with an analysis of propositions is a truth too evident, perhaps, to demand a proof". 1 Forty years later, the interest aroused by this notion had not decreased. C. J. Ducasse wrote in the Journal of Philosophy: "There is perhaps no question more basic for the theory of knowledge than that of the (...) nature of 2 propositions and their relations to judgments, sentences, facts and inferences". Today, the great number of publications on the subject is proof that it is still of interest. One of the problems raised by propositions, the problem of deter mining whether propositions, statements or sentences are the primary bearers of truth and falsity, is even in the eyes of Bar-Hillel, "one of the major items that the future philosophy oflanguage will have to discuss". 3 gave a correct summary of the situation when he wrote in his Ph. Devaux Russell : Since Peano and Schroder who, in fact, adhered more faithfully to Boole's logic of classes, the logical and epistemological status of the proposition together with its analysis have not ceased to be the object of productive philosophical controversies. And especially so since the establishment of contemporary symbolic logic, the foundations 4 of which have been laid out by Russell and Whitehead. * 2. (shrink)

Three leading philosopher-logicians present a clear and concise overview of formal theories of truth, explaining key logical techniques. Truth is as central topic in philosophy: formal theories study the connections between truth and logic, including the intriguing challenges presented by paradoxes like the Liar.

This chapter contains sections titled: Preamble Conceptual Primitivism Concerning “Determinately” Incoherentism and Indeterminate Truth Slater on Indeterminate Truth Quine, Indeterminate Truth, and the Problem of the Many Truthmaker Gaps and Indeterminate Truth The Logic of Determinacy Worldly Indeterminacy: Williamson's Conception and the Ordinary Conception Minimal Versus Robust Forms of Worldly and Linguistic Indeterminacy Truthmaker Gaps and Knowledge Epistemicism, Third Possibility Views, and Indeterminate Truth Semantic Presupposition Failure and Indeterminate Truth Truthmaking Gaps and Indeterminate (...) class='Hi'>Truth The Queerness Objection Conclusion References. (shrink)

Too often Aristotle’s account of truth is summed up by repeating some variant of “to say of what is that it is and of what it is not that it is not, is to say the true; while to say of what is that it is not or of what is not that it is, is to say the false,” and matters are left at that. Or worse still, it is simply described as a “correspondence theory.” The importance of (...) Paolo Crivelli’s book is that it perspicuously fills in the blanks so that in its realm Aristotle’s account can be seen as comparable to current truth-conditional compositional accounts like Tarski’s and those deployed by figures such as Davidson. Crivelli’s goals are to provide “a precise reconstruction of all of Aristotle’s most significant views on truth and falsehood and to gain a philosophical understanding of them”. He goes far toward attaining these ends. His approach consists of relating Aristotle’s views to those at the forefront of contemporary discussions of similar topics and therewith adapting some of the most central themes of current philosophical logic and logical theory to explicate Aristotle on truth. One of these themes is the presentation of truth conditions for the various sorts of sentences dealt with by Aristotle and which still play a role on the present scene. In doing this he performs a valuable service to the scholarly community, allowing Aristotle scholars and others to apply seminal ideas from the Philosopher to topics in the history of philosophy, for example, the Terminist tradition, and to contemporary discussions. The book opens with an overview of Aristotle’s theory of truth and is followed by material organized into three parts: Bearers of Truth and Falsehood, Empty Terms, Truth and Time. These are followed by appendices which include translations of sections of the Metaphysics and discussions of many placed and of future-tense predication. (shrink)

The topic of this paper I would like to divide into two other questions than that of its title. The first question is the historical one and sounds like this: Why had Tarski chosen physical objects as truth-bearers in his original work from 1933 about truth in formalized languages?1 This historical problem may be still of importance not only from a historical point of view. Tarski’s truth-definition is still seen as one of undeniable importance for any (...) contemporary philosophical analysis of truth. (shrink)

One way visual representations might function in scientific reasoning is to convey content that is true or false, analogous to making a claim. An alternative way that visual representations might function is as an object that may make statements true or false, but is not itself true or false, analogous to a scientific model. In this paper I evaluate the most recent and extended defense of this latter position and show that the case study involved does not in fact support (...) the view that the diagrams discussed function as truth-makers rather than truth bearers. (shrink)

This book proposes a new theory of the origins of human language ability and presents an original account of the early evolution of language. It explains why humans are the only language-using animals, challenges the assumption that language is a consequence of intelligence, and offers a new perspective on human uniqueness. The author draws on evidence from archaeology, linguistics, cognitive science, and evolutionary biology. Making no assumptions about the reader's prior knowledge he first provides an introductory but critical survey of (...) all sources of evidence for language evolution. He then considers what language itself reveals about its own and human origins and evolution. He shows that certain central aspects of language do not, unexpectedly, reflect what they are used for, are maladapted for their function. He considers why this should be, and argues that these odd aspects of language reveal important clues about its evolutionary origin. The Origins of Complex Language fulfils the promise of its title. In doing so it turns upside down conventional theories about the relation between cognition and expression, truth and reference, and the co-evolution of mind and body. Original in conception, brilliantly executed, stylishly written, this book will attract a wide range of readers interested in the evolution and origins of language. (shrink)

This paper challenges the first Gettier counterexample to the tripartite account of knowledge. Noting that 'the man who will get the job' is a description and invoking Donnellan's distinction between their 'referential' and 'attributive' uses, I argue that Smith does not actually believe that the man who will get the job has ten coins in his pocket. Smith's ignorance about who will get the job shows that the belief cannot be understood referentially, his ignorance of the coins in his pocket (...) shows that it cannot be understood attributively. An explanation for why Smith appeared to have justified true belief is given by distinguishing between 'belief' and 'belief in truth'. Smith believes the sentence 'the man who will get the job has ten coins in his pocket' to be true (he mistakenly believes that Jones will get the job, of whom he knows that he has ten coins in his pocket) (hence his 'belief'), the sentence is true (hence 'truth'), and he has sufficient reason to assent to it (hence his 'justification'). But he does not believe the proposition expressed. Hence he does not know it either. (shrink)

The liar paradox can be shown semantically defective if we distinguish the /sentence/ ''snow is white' is true' from the /string/ that constitutes it. This paper develops the String-to-Sentence Theory of Truth---for short, String Theory---according to which, while the /string/ contains the string 'true', the /sentence/ is merely 'snow is white', which contains no such occurrence: more generally, a string like 'S is true' constitutes, relative to an assessor, the sentence which, to the assessor, means the same as S. (...) So suppose we attempt to define a singular term 'L' referring to the sentence 'not: L is true'. Relative to an assessor, 'L' refers to the sentence negating the assessor's sentence meaning the same as the referent of 'L'. So the referent of 'L' means the same as its negation. But no sentence means the same as its negation, so 'L' does not refer. The act of naming with which the liar paradox commences is semantically defective; so there can be no liar paradox. (shrink)

An influential argument against the possibility of truth by linguistic convention holds that while conventions can determine which proposition a given sentence expresses, they (conventions) are powerless to make propositions true or false. This argument has been offered in the literature by Lewy, Yablo, Boghossian, Sider and others. But despite its influence and prima facie plausibility, the argument: (i) equivocates between different senses of “making true”; (ii) mistakenly assumes hyperintensional contexts are intensional; and (iii) relies upon an implausible vision (...) of the way that language works. (shrink)

In his slim and punchy little book, Acedia and its Discontents: Metaphysics of Desire in an Age of Boredom, R.J. Snell suggests that the common experience of the loss of meaning in the modern world can be attributed to the vice of acedia. Relying on Evagrius of Pontus, as well as the Angelic Doctor, St Thomas Aquinas, Snell defines acedia as a rejection of life itself and an antipathy with one’s place in the world. It is the unhappy rejection of (...) one’s supernatural end, union with the Triune God. (shrink)

Truth and Paradox largely consists of three connected technical projects together with a more general account of the nature of truth. The first project is the most familiar: providing an account of how logically complex sentences get assigned truth values on the basis of the truth values assigned to the logically atomic sentences. The second is construction of valid, syntactically specifiable inference rules for a language that includes the familiar logical connectives and the (...) class='Hi'>truth predicate. The third is an account of the normative rules governing the assertion of sentences. Let me sketch these in order. (shrink)

The dissertation is a defense of realism about propositions . According to the propositionlist, there is a realm of entities that simultaneously serve as inter-subjectively shareable "objects" or "contents" of assertion and belief, as units of information more generally, as fundamental bearers of truth-values, and as entities capable of having certain modal, logical and epistemological properties. ;In chapter one, I flesh out a traditional concept of proposition, and I sketch a general argument in favor of propositionalism. ;In chapter (...) two, I argue that we cannot do away with propositions by employing other entities--e.g., sentences, utterances, facts--that we may have already admitted into our ontology. And I argue that we cannot explain away the evidence that supports propositionalism by appealing to some "unloaded" notion of existence. ;In chapter three, I go part way towards dispelling the worry that various types of conceptual messiness --indeterminacy, holism and vagueness--pose a problem for propositionalism. ;In chapter four, I take up my central concern: the problem of identity conditions. I argue that the correct theory of identity conditions for propositions may be underdetermined by relevant philosophical considerations. ;In chapter five, I argue that this "underdetermination hypothesis" does not undermine propositionalism, but that it does imply both that propositions are sui generis entities, and that they are "entities without identity". They are sui generis entities in the sense that they cannot be reduced to any entities not already known to be propositions. And propositions are entities without identity in the sense that certain identity statements linking terms for propositions have indeterminate truth-value. This is so because, as the underdetermination hypothesis shows, our concept of proposition is "individuatively vague": when employing the concept we variously slough between several distinct ways of individuating propositions. The indeterminacy of the identity statements is nicely explained by applying a supervaluation semantics over these different schemes of individuation. ;In chapter six, I briefly discuss five lingering questions about the detailed nature of propositions. (shrink)

We study the relationships between two clusters of axiomatizations of Kripke’s fixed-point models for languages containing a self-applicable truth predicate. The first cluster is represented by what we will call ‘\-like’ theories, originating in recent work by Halbach and Horsten, whose axioms and rules are all valid in fixed-point models; the second by ‘\-like’ theories first introduced by Solomon Feferman, that lose this property but reflect the classicality of the metatheory in which Kripke’s construction is carried out. We show (...) that to any natural system in one cluster—corresponding to natural variations on induction schemata—there is a corresponding system in the other proving the same sentences true, addressing a problem left open by Halbach and Horsten and accomplishing a suitably modified version of the project sketched by Reinhardt aiming at an instrumental reading of classical theories of self-applicable truth. (shrink)

The claim that truth is mind dependent has some initial plausibility only if truth bearers are taken to be mind dependent entities such as beliefs or statements. Even on that assumption, however, the claim is not uncontroversial. If it is spelled out as the thesis that “in a world devoid of mind nothing would be true”, then everything depends on how the phrase ‘true in world w’ is interpreted. If ‘A is true in w’ is interpreted as (...) ‘A is true of w’ (i.e. ‘w satisfies A’s truth conditions’, the claim need not be true. If on the other hand it is interpreted as ‘A is true of w and exists in w’ then the claim is trivially true, though devoid of any antirealistic efficacy. Philosophers like Heidegger and Rorty, who hold that truth is mind dependent but reality is not, must regard such principles as “A if and only if it is true that A” as only contingently true, which may be a good reason to reject the mind dependence of truth anyway. (shrink)

An object-based correspondence theory of truth holds that a truth-bearer is true whenever its truth conditions are met by objects and their properties. In order to develop such a view, the principal task is to explain how truth-bearers become endowed with their truth conditions. Modern versions of the correspondence theory see this project as the synthesis of two theoretical endeavours: basic metasemantics and compositional semantics. Basic metasemantics is the theory of how simple, meaningful items (...) (e.g. names and concepts) are endowed with their contributions to truth conditions, and compositional semantics is the theory of how the meanings of simple items compose to generate (among other things) the truth conditions of sentences. Understanding truth along these broad lines was once popular; it was first championed by Field (1972). However, the once-popular conception of its tasks included an over-ambitious view of basic metasemantics. It was thought that reference needed to be analyzed (or reduced a posteriori) in terms of more fundamental, non-semantic relations (e.g. causal relations, indication, or teleological relations, in the case of mental representation). Obstacles in providing such an analysis engendered skepticism towards this understanding of truth and eventually gave way to its deflationary competitors. This dissertation aims to defend the modern, object-based correspondence theory against its rivals—especially deflationism. Chapter one provides a historically-grounded overview of the theory. Chapter two identifies two points of contrast between the correspondence theorist and the deflationist: they employ different orders of explanation for the variety of semantic phenomena, and they (traditionally) take different attitudes towards the prospects of reduction. Situating the dialectic in this way allows me to develop a middle ground: a moderate version of inflationism that takes the inflationary explanatory structure and combines it with a non-reductive, pluralist approach to basic metasemantics. Chapter three expands on the details of this pluralist account of reference. Chapter four contrasts the view with another rival approach to basic metasemantics: metasemantic interpretationism. And finally, chapter five applies the theory to answer another question of broad philosophical interest: what role does our conception of truth play in inquiry about the world? (shrink)

Some philosophers maintain that the primary bearers of truth values are propositions, rather than sentences, statements, or mental acts. Propositions they understand to be not locatable in space or time. My purpose in this paper is to give reasons for doubting that such propositions exist.

Infectious logics are systems that have a truth-value that is assigned to a compound formula whenever it is assigned to one of its components. This paper studies four-valued infectious logics as the basis of transparent theories of truth. This take is motivated as a way to treat different pathological sentences differently, namely, by allowing some of them to be truth-value gluts and some others to be truth-value gaps and as a way to treat the semantic (...) pathology suffered by at least some of these sentences as infectious. This leads us to consider four distinct four-valued logics: one where truth-value gaps are infectious, but gluts are not; one where truth-value gluts are infectious, but gaps are not; and two logics where both gluts and gaps are infectious, in some sense. Additionally, we focus on the proof theory of these systems, by offering a discussion of two related topics. On the one hand, we prove some limitations regarding the possibility of providing standard Gentzen sequent calculi for these systems, by dualizing and extending some recent results for infectious logics. On the other hand, we provide sound and complete four-sided sequent calculi, arguing that the most important technical and philosophical features taken into account to usually prefer standard calculi are, indeed, enjoyed by the four-sided systems. (shrink)

These are three welcome works on medieval logic. The Summa Logica of William of Ockham has long been a classic, and scholars have been waiting for this critical edition, begun almost a quarter of a century ago by Philotheus Boehner and finally brought to completion by the combined efforts of Stephen Brown and especially Gedeon Gal, now the general editor of the Opera Philosophica et Theologica being prepared at the Franciscan Institute at St. Bonaventure University. The editors date this work (...) after the Commentary on the Sentences, two volumes of which have already appeared in the above mentioned series. It also postdates Ockham’s commentaries on Porphyry, the Praedicamenta, Perihermenias, and Sophisticis Elenchis, as well as the first four books of Aristotle’s Physics. As a terminus ante quem the editors take the fifth book of this same Physics and see it as certainly prior to the Tractatus de praedestinatione, and to the De corpore Christi and De Sacramento Altaris. Parts of the Quodlibetal questions, however, precede it, and others follow. Loux’s translation, unfortunately, antedated this splendid edition of the Summa Logicae, being based on only the partial, earlier edition of Boehner. Nevertheless, it is a useful instrument providing a good and relatively complete introduction to the basic themes of Ockham’s philosophy of language as well as his ontology. A spot check reveals some misprints, e.g., on pp. 56, 192 and on page 38, lines 68-83 of the Latin edition he used have not been translated. The work is introduced by two essays: "The Ontology of William Ockham" and "Ockham on Generality"—the latter dealing with his theory of supposition. Nuchelmans’ interesting work, though it deals mostly with the medieval history of propositions as bearers of truth and falsity, contains some six chapters which trace the history of the term as early as Plato’s treatment in the Sophist, through Aristotle and the important Stoic lekton and axioma. He also concludes with a useful chapter on the significance of a true propositio, both as a mode of being of a thing and as the mental conception.—A.B.W. (shrink)

In VAGUENESS AND DEGREES OF TRUTH, Nicholas Smith develops a new theory of vagueness: fuzzy plurivaluationism. -/- A predicate is said to be VAGUE if there is no sharply defined boundary between the things to which it applies and the things to which it does not apply. For example, 'heavy' is vague in a way that 'weighs over 20 kilograms' is not. A great many predicates -- both in everyday talk, and in a wide array of theoretical vocabularies, from (...) law to psychology to engineering -- are vague. -/- Smith argues, based on a detailed account of the defining features of vagueness, that an accurate theory of vagueness must involve the idea that truth comes in degrees. The core idea of degrees of truth is that while some sentences are true and some are false, others possess intermediate truth values: they are truer than the false sentences, but not as true as the true ones. Degree-theoretic treatments of vagueness have been proposed in the past, but all have encountered significant objections. In light of these, Smith develops a new type of degree theory. Its innovations include a definition of logical consequence that allows the derivation of a classical consequence relation from the degree-theoretic semantics, a unified account of degrees of belief and their relationships with degrees of truth and subjective probabilities, and the incorporation of semantic indeterminacy -- the view that vague statements need not have unique meanings -- into the degree-theoretic framework. -/- As well as being essential reading for those working on vagueness, Smith's book provides an excellent entry-point for newcomers to the area -- both from elsewhere in philosophy, and from computer science, logic and engineering. It contains a thorough introduction to existing theories of vagueness and to the requisite logical background. (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)

A formal theory of truth, alternative to tarski's 'orthodox' theory, based on truth-value gaps, is presented. the theory is proposed as a fairly plausible model for natural language and as one which allows rigorous definitions to be given for various intuitive concepts, such as those of 'grounded' and 'paradoxical' sentences.

Partly due to the influence of Tarski's work, it is commonly assumed that any good theory of truth implies biconditionals of the sort mentioned in Convention T: instances of the T-Schema "s is true in L if and only if p" where the sentence substituted for "p" is equivalent in meaning to s. I argue that we must take care to distinguish the claim that implying such instances is sufficient for adequacy in an account of truth from the (...) claim that doing so is necessary. The claim that doing so is sufficient is a common component of deflationary theories of truth, while the claim that it is necessary, though often assumed, must be denied by proponents of rival inflationary theories of truth. I discuss the clarification of the debate between these views of truth that results from distinguishing the necessity and the sufficiency claims, and examine the prospects for its resolution. (shrink)

This papers deals with the class of axiomatic theories of truth for semantically closed languages, where the theories do not allow for standard models; i.e., those theories cannot be interpreted as referring to the natural number codes of sentences only (for an overview of axiomatic theories of truth in general, see Halbach[6]). We are going to give new proofs for two well-known results in this area, and we also prove a new theorem on the nonstandardness of a (...) certain theory of truth. The results indicate that the proof strategies for all the theorems on the nonstandardness of such theories are "essentially" of the same kind of structure. (shrink)

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