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)

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

Contained in this rather short but quite excellent Clarke F. Ansley Award winning work is a skillful presentation of an intriguing thesis: Spinoza’s definition and criterion of truth follows neither the strictly correspondence nor the strictly coherence lines which many commentators have suspected. Rather, says Mark, Spinoza’s doctrine follows the "ontological" view of truth, prevalent in ancient and medieval times. To be true is to be a being, a thing which "is." It is the author’s contention that (...) there are texts which seem to be evidence in favor of interpreting Spinoza’s doctrine along the lines of a correspondence theory, and there are still other texts which seem to betray a kind of family resemblance to the coherence theory of truth. Most commentators, says Mark, have either focused their entire attention on one or the other of these sets of texts, or else pointed out the discrepancy and went on to something else. But what Mark here suggests to us is a rather bold and interesting approach, which, to Mark’s mind, accomplishes the task of facing squarely both sets of texts without compromising either, and without reducing Spinoza to contradiction. (shrink)

Contained in this rather short but quite excellent Clarke F. Ansley Award winning work is a skillful presentation of an intriguing thesis: Spinoza’s definition and criterion of truth follows neither the strictly correspondence nor the strictly coherence lines which many commentators have suspected. Rather, says Mark, Spinoza’s doctrine follows the "ontological" view of truth, prevalent in ancient and medieval times. To be true is to be a being, a thing which "is." It is the author’s contention that (...) there are texts which seem to be evidence in favor of interpreting Spinoza’s doctrine along the lines of a correspondence theory, and there are still other texts which seem to betray a kind of family resemblance to the coherence theory of truth. Most commentators, says Mark, have either focused their entire attention on one or the other of these sets of texts, or else pointed out the discrepancy and went on to something else. But what Mark here suggests to us is a rather bold and interesting approach, which, to Mark’s mind, accomplishes the task of facing squarely both sets of texts without compromising either, and without reducing Spinoza to contradiction. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:BOOK REVIEWS 387 vs. "objective" is all no doubt rather imprecise, but points toward an important truth. In fact, in the contrast between them, we can see, I believe, not merely a clash of methods, standards or styles in writing history, but, more deeply still, an instance of the general antithesis between a "formalist" and a "sympathetic" sensibility, one encountered over and over in humanistic studies.6 PLATO New (...) in this section is an essay on "Some Controversial Points of Plato Interpretation Reconsidered" (pp. 183-209). Its first two parts combat the view that Plato ever gave up the metaphysics of his "middle period," but they do so only by rehearsing familiar theses about the Idea of the Good and the "two worlds" theory. These pages afford nothing new (apart from an extremely unfortunate appeal [p. 185 and again on p. 230] to an Homeric usage of the genitive to settle a problem at Rep. 518C9). The third part (pp. 194209 ) expands upon some views about later Plato for which Mme. de Vogel is already widely known, and these are very useful indeed. They offer a welcome expansion and defense of her view that in order to "do justice" (196-197, cf. 228) to the famous phrase,o) 7r,,v,e)~r ~v,t at Soph. 248E7, we must concede that Plato came to assign "the motion of a thinking mind" (208-209) to the very being of the Ideas, i.e., came to regard "the intelligibleworld as a vo~r (p. 194). Two interesting objections to her reading are confronted at some length (pp. 200-206) and several others are more briefly dealt with, thus affording her a good chance to explain her view. Valuable as these pages are, however, their upshot is rather unsatisfactory: just what Plato's view would, on her reading of it, really come to, remains mightily obscure--an obscurity she tends to concede but to explain away as Plato's "seeming peculiar to a modern mind" though we can get some grip upon his views if we but "take the trouble to follow his lead" (pp. 201, 198; cf. pp. 228-230, etc.). Such reminders of the genuine strangeness of Plato's view can no doubt be healthy in themselves, but can also be stultifying when reiterated in the face of genuine dissatisfaction with the sense that she makes of his meaning. This situation is not helped by the fact that, at crucial junctures in her argument, she buttresses her case about Plato's meaning by appeals to Aristotle's report at de Anima 1.2, 404b18-27 (see pp. 193-194, 199-200, 208, 277-281, 384-385). As she rightly reports (pp. 280, 385), Prof. Harold Cherniss has vigorously opposed the view that Aristotle is there giving Plato's view at all; yet--despite the fact that she has dedicated this volume to Cherniss--she never makes any reference to his most extended and most powerful defense of his position on this text, and much less does she attempt to answer his argument. (See Cherniss' review of H. D. Saffrey's book--a book to which de Vogel does refer, and repeatedly--in Gnomon 31 [1959], 36-51.) This matter is crucial, not merely as a bibliographical nicety, but because she tends to argue ]rom this text, maintaining that, however peculiar and isolated the sense of Soph. 248-249 and of certain phrases in the Timaeus may, on her reading of them, seem, this text proves that Plato must be read in her way. If it is not about Plato's view at all, it of course proves no such thing. The full weight of her argument will thus be borne by her view of how best to "do justice" to the text of Soph. 248E. Though she makes a clear and reasonable case 6 See Leo Steinberg's comments on this contrast as encountered in current art criticism: Other Criteria (Oxford: Oxford University Press, 1972), Essay 3 (especially pp. 63-68). His remarks about the prescriptive or "interdictory stance" of formalism also fit an important aspect of Burkert's book--an aspect which, though not articulated by her, accounts (I suspect... (shrink)

One of the manuscripts of Buridan’s Summulae contains three figures, each in the form of an octagon. At each node of each octagon there are nine propositions. Buridan uses the figures to illustrate his doctrine of the syllogism, revising Aristotle's theory of the modal syllogism and adding theories of syllogisms with propositions containing oblique terms (such as ‘man’s donkey’) and with ‘propositions of non-normal construction’ (where the predicate precedes the copula). O-propositions of non-normal construction (i.e., ‘Some S (some) P (...) is not’) allow Buridan to extend and systematize the theory of the assertoric (i.e., non-modal) syllogism. Buridan points to a revealing analogy between the three octagons. To understand their importance we need to rehearse the medieval theories of signification, supposition, truth and consequence. (shrink)

Deals with the dark side of the medieval theory of knowledge, the pursuit of knowldge in 'wrong' ways, 'common knowledge' and departures from it, wisdom and folly, incomplete knowledge, truth and lies.

In a recent paper Paul Vincent Spade suggests that, although the medieval doctrine of the modes of personal supposition originally had something to do with the rest of the theory of supposition, it became, by the 14th century, an unrelated theory with no question to answer. By contrast, I argue that the theory of the modes of personal supposition was meant to provide a way of making understandable the idea that a general term in a categorical proposition can be (...) used to refer to the individual things that fall under it. Once that idea had been made acceptable, truth conditons for the various forms of categorical proposition could be given without any specific appeal to the ideas of descent and ascent in terms of which the modes had been defined. (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.

Theories of Truth provides a clear, critical introduction to one of the most difficult areas of philosophy. It surveys all of the major philosophical theories of truth, presenting the crux of the issues involved at a level accessible to nonexperts yet in a manner sufficiently detailed and original to be of value to professional scholars. Kirkham's systematic treatment and meticulous explanations of terminology ensure that readers will come away from this book with a comprehensive general understanding (...) of one of philosophy's thorniest set of topics. -/- Included are discussions of the correspondence, coherence, pragmatic, semantic, performative, redundancy, appraisal, and truth-as-justification theories. There are also chapters or sections of chapters on the liar paradox, three-valued logic, Field's critique of Tarski, Davidson's program, Dummett's theory of linguistic competence, satisfaction, recursion, the extension/intension distinction, and an explanation of how theories of justification, properly understood, differ from theories of truth. -/- A persistent theme is that philosophers have too often failed to recognize that not all theories of truth are intended to answer the same question. When the various questions are made distinct, it is apparent that many of the "debates" in this field are really cases of philosophers talking past one another. There is much less disagreement within the field than has commonly been thought. (shrink)

Although he does not have an explicit theory of supposition as is found in the works of Latin medieval philosophers, Avicenna has two doctrines giving something equivalent: the threefold distinction of quiddity, corresponding to a division of simple, personal and material supposition, and his analyses of truth conditions for categorical propositions, where sentential context determines in part the reference of their terms. While he does address which individuals are being referred to by the universal terms used there, Avicenna (...) concentrates more on the varied temporal durations of the predications being made. In Western terms, he has incorporated ampliation and restriction into the theory of supposition itself. (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)

The purpose of this entry is to provide a systematic introduction to medieval views about the nature and ontological status of relations. Given the current state of our knowledge of medieval philosophy, especially with regard to relations, it is not possible to discuss all the nuances of even the best known medieval philosophers' views. In what follows, therefore, we shall restrict our aim to identifying and describing (a) the main types of position that were developed during the (...) Middle Ages, and (b) the most important considerations that shaped their development. We shall have occasion along the way, however, to examine in detail certain aspects of the views of important representatives of all the main medieval positions, including Peter Abelard (1079 1142), Gilbert of Poitiers (1085 1154), Albert the Great, (1200 1280), Thomas Aquinas (1225 1274), John Duns Scotus (1265 1308), Henry Harclay (1270 1317), Peter Auriol (1280 1322), and William Ockham (1285 1347). (shrink)

The aim of this paper is to show that it’s not a good idea to have a theory of truth that is consistent but ω-inconsistent. In order to bring out this point, it is useful to consider a particular case: Yablo’s Paradox. In theories of truth without standard models, the introduction of the truth-predicate to a first order theory does not maintain the standard ontology. Firstly, I exhibit some conceptual problems that follow from so introducing it. (...) Secondly, I show that in second order theories with standard semantics the same procedure yields a theory that doesn’t have models. So, while having an ω- inconsistent theory is a bad thing, having an unsatisfiable theory of truth is actually worse. This casts doubts on whether the predicate in question is, after all, a truthpredicate for that language. Finally, I present some alternatives to prove an inconsistency adding plausible principles to certain theories of truth. (shrink)

The recovery of Aristotle’s logic during the twelfth century was a great stimulus to medieval thinkers. Among their own theories developed to explain Aristotle’s theories of valid and invalid reasoning was a theory of consequence, of what arguments were valid, and why. By the fourteenth century, two main lines of thought had developed, one at Oxford, the other at Paris. Both schools distinguished formal from material consequence, but in very different ways. In Buridan and his followers in (...) Paris, formal consequence was that preserved under uniform substitution. In Oxford, in contrast, formal consequence included analytic consequences such as ‘If it’s a man, then it’s an animal’. Aristotle’s notion of syllogistic consequence was subsumed under the treatment of formal consequence. Buridan developed a general theory embracing the assertoric syllogism, the modal syllogism and syllogisms with oblique terms. The result was a thoroughly systematic and extensive treatment of logical theory and logical consequence which repays investigation. (shrink)

Jamin Asay's book offers a fresh and daring perspective on the age-old question 'What is truth?', with a comprehensive articulation and defence of primitivism, the view that truth is a fundamental and indefinable concept. Often associated with Frege and the early Russell and Moore, primitivism has been largely absent from the larger conversation surrounding the nature of truth. Asay defends primitivism by drawing on a range of arguments from metaphysics, philosophy of language and philosophy of logic, and (...) navigates between correspondence theory and deflationism by reviving analytic philosophy's first theory of truth. In its exploration of the role that truth plays in our cognitive and linguistic lives, The Primitivist Theory of Truth offers an account of not just the nature of truth, but the foundational role that truth plays in our conceptual scheme. It will be valuable for students and scholars of philosophy of language and of metaphysics. (shrink)

Definitional and axiomatic theories of truth -- Objects of truth -- Tarski -- Truth and set theory -- Technical preliminaries -- Comparing axiomatic theories of truth -- Disquotation -- Classical compositional truth -- Hierarchies -- Typed and type-free theories of truth -- Reasons against typing -- Axioms and rules -- Axioms for type-free truth -- Classical symmetric truth -- Kripke-Feferman -- Axiomatizing Kripke's theory in partial logic -- Grounded (...) class='Hi'>truth -- Alternative evaluation schemata -- Disquotation -- Classical logic -- Deflationism -- Reflection -- Ontological reduction -- Applying theories of truth. (shrink)

The Semantic Theory of Truth The semantic theory of truth was developed by Alfred Tarski in the 1930s. The theory has two separate, although interconnected, aspects. First, it is a formal mathematical theory of truth as a central concept of model theory, one of the most important branches of mathematical logic. Second, it … Continue reading Semantic Theory of Truth →.

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)

This chapter attempts to give a brief overview of nonclassical (-logic) theories of truth. Due to space limitations, we follow a victory-through-sacrifice policy: sacrifice details in exchange for clarity of big-picture ideas. This policy results in our giving all-too-brief treatment to certain topics that have dominated discussion in the non-classical-logic area of truth studies. (This is particularly so of the ‘suitable conditoinal’ issue: §4.3.) Still, we present enough representative ideas that one may fruitfully turn from this essay (...) to the more-detailed cited works for further study. Throughout – again, due to space – we focus only on the most central motivation for standard non-classical-logic-based truth theories: namely, truth-theoretic paradox (specifically, due to space, the liar paradox). (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)

Nonclassical theories of truth have in common that they reject principles of classical logic to accommodate an unrestricted truth predicate. However, different nonclassical strategies give up different classical principles. The paper discusses one criterion we might use in theory choice when considering nonclassical rivals: the maxim of minimal mutilation.

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)

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)

This article outlines what a formal theory of truth should be like, at least at first glance. As not all of the stated constraints can be satisfied at the same time, in view of notorious semantic paradoxes such as the Liar paradox, we consider the maximal consistent combinations of these desiderata and compare their relative advantages and disadvantages.

The connection between theories of truth and meaning is explored. Theories of truth and meaning are connected in a way such that differences in the conception of what it is for a sentence to be true are engendered by differences in the conception of how meanings depend on each other, and on a base of underlying facts. It is argued that this view is common ground between Davidson and Dummett, and that their dispute over realism is (...) really a dispute in the theory of meaning over holism and molecularism. The view offered is contrasted with influential pragmatist and modest views. (shrink)

Truth is a fundamental philosophical concept that, despite its common and everyday use, has resisted common-sense formulations. At this point, one may legitimately wonder if there even is a common-sense notion of truth or what it could look like. In response, I propose here a common-sense account of truth based on four “truisms” that set a baseline for how to go about building an account of truth. Drawing on both ordinary language philosophy and contemporary pragmatic approaches (...) to truth, I defend a pragmatic, common-sense theory of truth. The result is a theory that focuses the use and function of truth while also emphasizing its “subject-independence.”. (shrink)

It is widely accepted that a theory of truth for arithmetic should be consistent, but -consistency is a highly desirable feature for such theories. The point has already been made for first-order languages, though the evidence is not entirely conclusive. We show that in the second-order case the consequence of adopting -inconsistent theories of truth are considered: the revision theory of nearly stable truth T # and the classical theory of symmetric truth FS. Briefly, (...) we present some conceptual problems with ω-inconsistent theories, and demonstrate some technical results that support our criticisms of such theories. (shrink)

This book examines different views on the concept of truth in early Chinese philosophy, and considers a variety of theories of truth in Chinese and comparative thought.

Primitivists about truth maintain that truth cannot be analysed in more fundamental terms. Defences of primitivism date back to the early years of analytic philosophy, being offered by G.E. Moore, Bertrand Russell, and Gottlob Frege. In more recent years, a number of contemporary philosophers—including Donald Davidson, Ernest Sosa, Trenton Merricks, Douglas Patterson, and Jamin Asay—have followed suit, defending their own versions of primitivism. I'll begin by offering a brief history of primitivism, situating each of these views within the (...) landscape of primitivist truth theories and detailing some of their core motivations and apparent shortcomings. To close the discussion, I'll offer a diagnosis of the prospects of primitivism, focusing on the mystery challenge, which has loomed large throughout the history of primitivist truth theories, and the methodology that should be used in evaluating primitivist (and other) truth theories going forward. (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.