My target in this paper is a view that has sometimes been called the ‘ Linguistic Doctrine of Necessary Truth ’ and sometimes ‘Conventionalism about Necessity’. It is the view that necessity is grounded in the meanings of our expressions—meanings which are sometimes identified with the conventions governing those expressions—and that our knowledge of that necessity is based on our knowledge of those meanings or conventions. In its simplest form the view states that a truth, if (...) it is necessary, is necessary because it is analytic. It is widely recognized that this simple version of the view faces a prima facie problem with the existence of the necessary a posteriori. Assuming that all analytic truths are a priori, if there are necessary a posteriori truths then there are necessary synthetic truths—contradicting the view’s claim that all necessary truths are analytic. Contemporary L-DONTers have things to say about the problem, but in this paper I want to suggest that there is a different, more serious, problem which arises from the phenomenon of indexicality, which L-DONTers have not taken account of. Though there are many versions of the problem, a simple one is this. Consider Kaplan’s celebrated sentence. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Did Hobbes Have a Semantic Theory of Truth? WILLEM R. DEJONG 1. INTRODUCTION THE qUESTIONRAISEDin the title of this article may strike the reader as a bit anachronistic. A phrase like 'semantic theory of truth' evokes associations with rather recent developments in logic, especially the work of Alfred Tarski. Nevertheless, it is generally agreed that Hobbes made important observations of a semantical nature. Moreover, in (...) an interesting article still frequently referred to, R. M. Martin has argued that Hobbes "has in mind a clear-cut semantical concept of truth."' Examining Hobbes's semantical ideas somewhat more closely than Martin did, T6rnebohm has given a more precise characterization of Hobbes's view on truth and falsity; he speaks of Hobbes's comprehension theory of truth. ~One of the main purposes of this article is to investigate whether such a theory is correctly attributed to Hobbes. For Tarski 'true' and 'false' are predicates of (declarative) sentences) But this is not enough to speak of a semantic theory of truth: The leading idea behind Tarski's fundamental work in the field of semantics is (a restricted version of) the principle of compositionality. This principle, also known as Frege's principle, says that the semantic value of a (complex) expression is a function of the semantic values of the syntactic (and categorematic) parts it is ' R. M. Martin, "On the Semantics of Hobbes," Philosophyand PhenomenologicalResearch 14 095314): 2o5-11, esp. ~o7, 211. Cf. I. C. Hungerland and G. R. Vick, "Hobbes's Theory of Language, Speech and Reasoning," in ThomasHobbes:Computatwsire Logica--Logic, translated and commentary by A. Martinich, ed. and introduced by I. C. Hungerland and G. R. Vick (New York: 1981), 15--167, esp. 17, 121-22. 9 H. T6rnebohm, "A Study in Hobbes' Theory of Denotation and Truth," Theor~a26 (196o): 53-7o; see p. 66. 3 A. Tarski, "The Semantic Conception of Truth and the Foundations of Semantics," Philosophy and PhenomenologicalResearch4 (1944): 341-375; see p. 342. [63] 64 JOURNAL OF THE HISTORY OF PHILOSOPHY 28:1 JANUARY 199o composed of. Moreover, in the case of linguistic expressions which are (deciarative ) sentences this semantic value should be its truth-value. 4 As we shall see, Hobbes's theory of propositions is basically a theory of subject-predicate propositions. It is therefore reasonable to qualify his theory of truth as a semantic one only if it satisfies Frege's principle to a certain extent. Ideally, this means that the truth-value of subject-predicate propositions should be conceived as a function of the semantic interpretations of its subject and predicate. In the next three sections I will concentrate principally on the logicosyntactical aspects of language. I will then discuss successively the general structure of propositions, the various sorts of names, and the syntax of Hobbes's theory of propositions. Section 5 is devoted to Hobbes's theory of truth as interpreted by Martin and T0rnebohm. The outcome of this examination makes it necessary to break away from Martin's restricted conception of semantics. Martin, like Tarski, takes semantics as "semantics in the narrower sense," i.e., as the discipline Quine refers to as the theory of reference. 5 However, sometimes this term is used in a broader sense; the field of semantics is taken then to include the theory of meaning too. Although the wording differs frequently, the distinction between meaning and reference is almost a constant in the history of thinking about language. On the side of meaning one finds terms like connotation, intension, conception, signification and analyticity, while terms like naming, denoting, extension (and sometimes again signification) are ]inked to the notion of reference. In the Computatio sive Logica, the first part of De Corpore, containing Hobbes's most mature work on the philosophy of language, this opposition is displayed by way of a distinction between, on the one side, nominare, denotare and appellare and, on the other side, significare. Hobbes's view of the significative, as opposed to the denotative, role of linguistic expressions is treated in sections 6, 7, and 8. There it will be shown that Hobbes's radical nominalism is decisive for his doctrine of signification; moreover, this nominalism raises serious problems for the relation... (shrink)

In the verse (2:31) of the Qur’ān, it is mentioned that all names were taught to Adam (PBUH). This verse indicates that revelation is decisively the source of language. On the other hand, it is a common fact that people have been constantly producing symbols to express new ideas and concepts. This situation makes it necessary to associate the utterance (muṭlaq) and static with the relative (al-muqayyah) and dynamic between language and reality in religious thought. In the historical process, (...) Mutakallims have undertaken the responsibility of understanding and interpretation between the transcendent dimension of the religion (ad-Dīn) indicated in the Qur’ān and the innovative and dynamic dimension of life. The Mutakallims’ responsibility continues today. However, to establish the relationship among language, thought, and existence in today’s kalâm, it is necessary to identify the roots of this subject in kalām’s classical sources. In our study designed for this purpose, the truth and value of naming divine meanings in the context of ta‘līm al-asmā’ are examined. On the other hand, since dealing with such a large subject in a limited study is not possible, it is just focused on the research of linguistic theories, the relationship between language and thought, and the issue of whether the names used in the main sources to indicate the meanings are divinely determined (tawqīfī). In fact, it has been determined that the subject of ta'līm al-asmā’ is overshadowed by the vehement debates over the createdness of the Qur’ān (Khalq al-Qur’ān) and the relationship between Allāh’s essence and His attributes, although it is a Qur’ān-centered issue. As can be seen in the study, the approach of the Mutakallims to the issue of ta‘līm al-asmā’ is parallel to their understanding of Allāh’s essence and His attributes. As stated in this research, if the divine names were determined by Allāh, then Allāh’s names will be eternal. Besides, if the names expressed in human languages are the same as the essence of Allāh, this will lead to the problem of eternality. If it is said that the names are separated and unrelated from Allāh’s essence, there will be also more than one independent and eternal being. The idea of multiple eternal beings is against the principle of tawḥīd. However, in cases where the distinction between attributes and essence of Allāh is separated from each other in the mind, it causes attributes to be considered as something existing independently of the essence of Allāh. Therefore, as stated in the study, Mu‘tazilite theologians, who were very sensitive about this issue, attached great importance to the concept of eternity (qadīm) while transcending the essence of Allāh from the attributes of the created. As they appealed to tanzīh by which they transcend Him from all the originated things in time, they were focused on His eternality (qidam). In this regard, all His actions concerning the universe are regarded as temporal, in other words, originated in time (ḥādith). From this point of view, according to them, Allāh’s names specified in the Qur’ān are created just like the Qur’ān itself. Although their meanings are within the boundaries of the Divine Knowledge, their wordings (lafiẓ) belong to humans. Therefore, these names (asmâ’) that people use to describe Allāh in their speech, as Abū ‘Alī al-Jubbā’ī argues, are determined by the convention of the human. It has been determined by people via consensus, like other words of the language, to indicate the essence and attributes of Allāh in a language because of communication. Then, Allāh has sent down His message to people with these words. The conclusion that Mu‘tazilite theologians have regarded the connection of names with the meanings in Allāh’s knowledge as a linguistic use, while Sunnī theologians have addressed this issue based on the creative act (Khalq) of Allāh. There is another explanation which is known as the theory of faculty or habitus as an alternative way. Some Ash‘arî and Māturīdī theologians supported this theory. Today, the importance of this new perspective is clear, which appears another association of both ideas. In this context, it has been determined that the views of Māturīdī, who attributes the content (or meaning) of revelation (waḥy) to Allāh while arguing that its wordings belong to humans, are more appropriate to the theory of the faculty (malakah). (shrink)

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)

Some axiomatic theories of truth and related subsystems of second-order arithmetic are surveyed and shown to be conservative over their respective base theory. In particular, it is shown by purely finitistically means that the theory PA ÷ "there is a satisfaction class" and the theory FS of [2] are conservative over PA.

These supporting concepts enable us to much more adequately understand the meaning of apoha. First, a sharp distinction is drawn between the real and the conceptual; the real is particular, unique, momentary and the basis of perception, while the conceptual is universal, general, only supposedly objective and the basis of language. Second, the complex nature of negation discloses the kind of negation meant by apoha. Negation by implication is seen as disclosing the necessary relation between simple affirmations and simple (...) negations. It is in this sense that Dignaga asserts that the meaning of words lies in the negation of the opposite. Third, the idea of apoha as the differentiation of concepts is to be distinguished from the Nyāya-Vaiśe $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ika notion of exclusion as a materially present quality in objects.Ratnakirti, and Mok $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ākaragupta following him, use the idea of negation by implication to explain apoha as the simultaneity of and logical relation between a positive assertion concerning an epistemological object and a negative assertion concerning all things which are not that epistemological object. For example, Ratnakirti in accordance with the theory of apoha explains that the term cow “harbors” the negation of non-cow in the same way that blue is harbored in the term blue lotus. The exclusion of the other, i.e., the negation of the non-cow, is held by Ratnakirti to be an actually apprehended attribute of the cow cognized (as distinct from the cow in itself). He says “... discrimination of non-cow inevitably arises simultaneously with the perception of the cow, for (the negation of non-cow) is the qualifier (of the individual).” This interaction between the positive and the negation of the other, i.e., the relation of negation by implication, as a simultaneous interaction is necessary lest when, e.g., asked to tie up a cow one ties up a horse instead.Mok $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ākaragupta denies three possible interpretations of apoha before putting forth his own definition. The first is that when an external object is conceptualized this is done as “the other (the dissimilar) is discriminated from this.”The second is much the same, only it is in terms of the mental image, i.e., the epistemological object rather than the ontological object as in the first. The third is that apoha means the negation of an assertion, i.e., the simple absence of the other. All three of these interpretations are unacceptable to Mok $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ākaragupta. He defines apoha as “the affirmation (of a positive entity) qualified by discrimination (of it from all other entities).”Mok $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ākaragupta goes on to explain this simultaneity more fully: ... those who stress affirmation think that after we have known the cow, we consequently determine the discrimination of the essence of the cow from that of the non-cow; those who stress the negative function of apoha are of the opinion that we first know the discrimination of the dissimilar thing and then consequently confirm the thing which is discriminated from others, viz., the cow. Thus (both interpretations) are wrong. For at the time of judgment we do not experience an order of comprehension in which (negation or affirmation) occurs first. In fact, it is not the case that one, having understood the affirmation, later confirms the negation by implication, or that one having understood the negation later confirms what is discriminated (from the dissimilar). Therefore, we say that the very understanding of the cow is the same as the understanding of what is discriminated from the dissimilar.We can see from this that for Ratnakirti and Mok $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ākaragupta apoha meant the simultaneous affirmation of and negation of the dissimilar from the (epistemological) object. Mok $$\underset{\raise0.3em\hbox{$\smash{\scriptscriptstyle\cdot}$}}{s}$$ ākaragupta's concern with the “time of judgment” also shows that the idea of apoha was understood by them as being psychologically descriptive. In the process of identifying an epistemological object as some particular thing, neither the negative nor the positive function have priority but are, rather, complementary one to the other. This simultaneity and complementarity are supported by the examination of mind “at the time of judgment,” i.e., it is a psychological description of the process of identification of an epistemological object as some particular thing.It is this fact of apoha describing the process of identification which, as described above, places apoha in the inference category of sources of truth. Apoha is clearly, therefore, involved with words and concepts rather than being on the perception side where it would have to be a metaphysical concept describing the real or absolute.Putting the idea of apoha into contemporary terms we can say that it is a psychological descriptor for the bipolar relation of concepts. Dignaga and the other Buddhist logicians are then to be understood here as being involved in producing a phenomenological description of linguistic thought processes. More broadly, as in the discussion of perception, they are involved in the phenomenological description of consciousness, a favorite Buddhist undertaking. As such, the work of the Buddhist logicians fits into the larger soteriological intention of all Buddhist thinkers, since enlightenment is understood to follow from insight into the nature of consciousness as productive of suffering.Some authors have criticized the logicians as being overly concerned with the un-Buddhist occupation of arguing. However, when their work is seen as expanding our understanding of the nature and working of consciousness, the logicians are certainly worthy of our respect. (shrink)

In this pioneering book Kasia Jaszczolt lays down the foundations of an original theory of meaning in discourse, reveals the cognitive foundations of discourse interpretation, and puts forward a new basis for the analysis of discourse processing. She provides a step-by-step introduction to the theory and its application, and explains new terms and formalisms as required. Dr Jaszczolt unites the precision of truth-conditional, dynamic approaches with insights from neo-Gricean pragmatics into the role of speaker's intentions in communication. (...) She shows that the compositionality of meaning may be understood as merger representations combining information from various sources including word meaning and sentence structure, various kinds of default interpretations, and conscious pragmatic inference. Among the applications the author discusses are constructions that pose problems in semantic analysis such as referring expressions, propositional attitude constructions, presupposition, modality, numerals, and sentential connectives. She proposes solutions to cutting edge problems in the semantics/pragmatics interface - for example, how many levels of meaning should be distinguished; the status of underspecification; how much contextual information should be placed in the representation of the speaker's meaning; whether there are default interpretations; the stage of utterance interpretation at which pragmatic inference begins; and whether compositionality is a necessary feature of the theory of meaning and if so how it is to be defined.The book is for students and researchers in semantics, pragmatics, computational linguistics, and philosophy of language at advanced undergraduate level and above. (shrink)

Russell and Strawson sparked a well known debate on the subject of Linguistic Presupposition inspiring many linguists and philosophers to follow suit, including Frege, whose work initiated the modern study in this area. Beaver begins with the most comprehensive overview and critical discussion of this burgeoning field published to date. He then goes on to motivate and develop his own account based on a Dynamic Semantics. This account is a recent line of theoretical work in which the Tarskian emphasis (...) on truth conditions is questioned. The central plank of the theory of meaning is a formal account of the change in information effected by use of language on hearers or readers. The proposal thus consolidates ideas of Stalnaker, Karttunen and Heim, all of whom had suggested that such an account was needed. At the same time it provides a new impulse and motivation to Dynamic Semantics itself. (shrink)

This essay presents a new interpretation of Bolzano's account of necessary truth as set out in ?182 of the Theory of Science. According to this interpretation, Bolzano's conception is closely related to that of Leibniz, with some important differences. In the first place, Bolzano's conception of necessary truth embraces not only what Leibniz called metaphysical or brute necessities but also moral necessities (truths grounded in God's choice of the best among all metaphysical possibilities). Second, in (...) marked contrast to Leibniz, Bolzano maintains that there is still plenty of room for contingency even on this broader conception of necessity. (shrink)

In 1971 Jürgen Habermas delivered the Gauss Lectures at Princeton University. These pivotal lectures, entitled "Reflections on the Linguistic Foundation of Sociology," anticipate The Theory of Communicative Action and offer an excellent introduction to it. They show why Habermas considers the linguistic turn in social philosophy to be necessary and contain the first formulation of formal pragmatics, including an important discussion of truth.In these lectures and two additional essays, Habermas outlines an intersubjective approach to social (...) theory that takes the concepts of meaning and communication to be central. In doing so, he situates his project relative to other influential accounts of how meaning is constituted, in particular those of Edmund Husserl, Wilfrid Sellars, and Ludwig Wittgenstein. He examines the nature of social interaction and its connection to communication, developing a linguistic conception of convention and intentionality. He also offers an account of social and individual pathologies using the concept of systematically distorted communication. Taken together, these analyses contribute significantly to current debates in the philosophy of action and language. (shrink)

Werkmeister's new book, The Basis and Structure of Knowledge is the second major attempt in recent years to defend the idealistic theory of knowledge. The first was Blanshard's Nature of Thought; and it is worth noticing that both authors, in undertaking the defense of a position long in the shadows, are well aware of contemporary developments in logic and technical philosophy. Werkmeister freely acknowledges his debt to Blanshard; yet his work differs in scope from the latter's in at least (...) two ways. Firstly, the more recent book is concerned largely with the epistemological analysis of meaning and truth and hardly at all with what an older generation called "philosophical psychology," while philosophical psychology fills all of the first and part of the second volume of Blanshard's work. In my opinion, this is all to the good. (That our generation inverts the error and too often indulges in psychological philosophy is another story!) Secondly, Werkmeister presents us with detailed analyses of scientific method, of the structure of scientific theories, and of mathematics, all three areas to which Blanshard pays virtually no attention. The First Part of Werkmeister's book treats of Language and Meaning; the Second of Truth and the World About Us, the Third of Formal Knowledge, and the Fourth Part deals with Empirical Knowledge. But there is a fundamental thesis that runs through all of this. The analysis of each of these four domains reveals, according to Werkmeister, that only a coherence theory of meaning and truth can adequately reflect the criteria actually used by science and commonsense. It is not my intention to rehearse here the familiar dialectic of the arguments for and against this doctrine; the less so, since Werkmeister himself gives a useful review of both sides of the controversy. Rather, I want to try to fix as precisely as possible, within the context of Werkmeister's discussion, the nature of the difference between coherence theories on the one hand and correspondence theories on the other. This difference has not always been too clearly stated; it even seems that recent developments in linguistic analysis have been the occasion for some new confusions on this very point. For coherence theorists who have recognized that philosophical semantics is a "formal" discipline now insist that "to say what a symbol means is not to relate it to an object, but to give it an interpretation in terms of other symbols," as Ayer2 has recently put it. This seems to contradict the "comparison with fact" feature of the traditional realistic formulations of the correspondence view. A superficial bystander could even believe that the correspondence theorists have given up their original position, since both sides now agree that truth is a matter of a relation between symbols. Such agreement, as I hope to show, is more apparent than real, for what is now at stake is the nature of that "intrasymbolic relation." And on this nature the two parties disagree. There is little doubt that Werkmeister's book appears at a moment more propitious for the advocacy of the coherence theory of truth than did Blanshard's. In the near decade that separates the two works the intellectual climate has become, for better or for worse, considerably more favorable to a reconsideration of, and possibly even a reconciliation with, some of the major tenets of rationalism. This is reflected in the current discussion regarding the contrary-to-fact conditional, the dissatisfaction with material implication, and the correlative concern for a more adequate analysis of the concept of a natural law. It is evident too in the revived enthusiasm for intensional logic and in the related interest in the modalities. As uncompromising an empiricist as C. L. Lewis, with whom, by the way, Werkmeister shares a common Kantian background, has introduced into his latest work a "congruence" theory of truth which, despite the substitution of a so-called "probability" inference for necessary inference, looks very much like the coherance criterion all over again. So Werkmeister's book should be welcome for its clear presentation of the relevant issues; and even those who disagree with him can admire the candor and forthrightness with which he champions what remains, despite vacillations, an essentially unpopular position. (shrink)

What does it mean to drive a Cadillac? What does 'cuckoo' suggest about the bird? -- two examples explored in this investigation of the history of language signs and of what philosophers, linguists, and others have had to say about them. Rudi Keller shows how signs emerge, function, and develop in the permanent process of language change. He recombines thoughts and ideas from Plato to the present day to create a new theory of the meaning and evolution of icons (...) and symbols. By assuming no prior knowledge and by developing his argument from first principles, Rudi Keller has written a basic text which includes all the necessary features: easy style, good organization, original scholarship, and historical depth. This is a non-technical book which will interest linguists, philosophers, students of communications and cultural studies, semioticians/semanticists, sociologists, and anthropologists. (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)

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)

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)

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

When David Kaplan put forward his theory of sentence truth incorporating demonstratives, initially proposed in ‘Dthat’ and later developed in ‘Demonstratives’ and ‘Afterthoughts’, it was, to his mind, simply a matter of book-keeping, a job that had been pushed aside as a complication when a truth conditional semantics had been proposed. The challenges considered in this thesis are challenges to the effect that Kaplan’s theory of sentence truth is, for one reason or another, inadequate. My (...) overarching aim is to defend Kaplan’s theory of sentence truth against these challenges. In chapter one I am concerned only with setting out some preliminary considerations. In chapter two I defend Kaplan’s theory of sentence truth against a general challenge, motivated by linguistic data from ‘contextualists’ and ‘relativists’. I argue that the methods and data employed by proponents of contextualism and relativism are lacking and as such should not be taken to have seriously challenged Kaplan’s theory of sentence truth. In chapter three I defend Kaplan’s theory of sentence truth against challenges to the effect that his theory is not suited to delivering on its initial purpose—to provide a semantics for indexical and demonstrative terms. I then develop a form of semantic pluralism that I take to be entirely compatible with the Kaplanian model. In chapters four I demonstrate the efficiency of this Kaplanian model when it comes to defending Kaplan’s theory against the challenge of providing suitable semantics to accommodate discourse involving future contingents. And finally, in chapter five I consider contextualist accounts of discourse concerning vague predicates. (shrink)

The main task in this paper is to detail and investigate Carnap’s conception of a “linguistic framework”. On this basis, we will see whether Carnap’s dichotomies, such as the analytic-synthetic distinction, are to be construed as absolute/fundamental dichotomies or merely as relative dichotomies. I argue for a novel interpretation of Carnap’s conception of a LF and, on that basis, will show that, according to Carnap, all the dichotomies to be discussed are relative dichotomies; they depend on conventional decisions concerning (...) the logical syntax of LF. Thus, all of the dichotomies directly hinge on the conception of the LF. The LF’s logical structure, in turn, is an immediate consequence of adopting the linguistic doctrine of logical truths. As we will see, no appeal to any of these distinctions is necessary in establishing a LF and all of its components. I will also draw attention to the differences between what Carnap labels a “way of speaking”, “language”, and “artificial language”. Consequently, I will briefly conclude that none of Quine’s major objections address the main points of Carnap’s theory. (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)

The linguistic theory of the logical A Priori: is it obsolete In holistic interpretations, the logical truths are considered as continuous with empirical science: they are revisable, a posteriori, though very near to the centre of our web of belief. In this paper, we consider the merits and demerits of this approach, and we propose that it is necessary to revaluate holistic philosophies of logic. Some arguments are put forward which point in favour of the logical empiricists’ (...) theory of logical truth. We argue (following Hartry Field) that the concept of “correlation between logical facts and logical beliefs” (which is at the heart of the holistic theory) is inconsistent. Finally, we concentrate on the principle of contradiction and argue (following Manley Thompson) that this principle is fundamental for meaning, truth, and thinking. This thesis is derived from considerations on the nature of intentionality. (shrink)

Much mainstream analytic epistemology is built around a sceptical treatment of modality which descends from Hume. The roots of this scepticism are argued to lie in Hume’s (nominalist) theory of perception, which is excavated, studied and compared with the very different (realist) theory of perception developed by Peirce. It is argued that Peirce’s theory not only enables a considerably more nuanced and effective epistemology, it also (unlike Hume’s theory) does justice to what happens when we appreciate (...) a proof in mathematics. (shrink)

In a number of influential articles published since 1972, Dorothy Grover has developed the prosentential theory of truth. Brought together and published with a new introduction, these essays are even more impressive as a group than they were as single contributions to philosophy and linguistics. Denying that truth has an explanatory role, the prosentential theory does not address traditional truth issues like belief, meaning, and justification. Instead, it focuses on the grammatical role of the (...) class='Hi'>truth predicate and asserts that “it is true” is a prosentence, functioning much as a pronoun does. Grover defends the theory by indicating how it can handle notorious paradoxes like the Liar, as well as by analyzing some English truth-usages. The introduction to the volume surveys traditional theories of truth, including correspondence, pragmatic, and coherence theories. It discusses the essays to come and, finally, considers the implications of the prosentential theory for other theories. Despite the fact that the prosentential theory dismisses the “nature of truth” as a red herring, Grover shows that there are important aspects of traditional truth theories that prosentential theorists have the option of endorsing. (shrink)

What makes necessary truths true? I argue that all truth supervenes on how things are, and that necessary truths are no exception. What makes them true are proofs. But if so, the notion of proof needs to be generalized to include verification-transcendent proofs, proofs whose correctness exceeds our ability to verify it. It is incumbent on me, therefore, to show that arguments, such as Dummett's, that verification- truth is not compatible with the theory of meaning, (...) are mistaken. The answer is that what we can conceive and construct far outstrips our actual abilities. I conclude by proposing a proof-theoretic account of modality, rejecting a claim of Armstrong's that modality can reside in non-modal truthmakers. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Philosophy and Rhetoric 37.1 (2004) 72-91 [Access article in PDF] Passing Theories through Topical Heuristics: Donald Davidson, Aristotle, and the Conditions of Discursive Competence Stephen R. Yarbrough Department of English The University of North Carolina at Greensboro What are the conditions of discursive competence? In "A Nice Derangement of Epitaphs" Donald Davidson explains how it is possible that in practice we can, with little effort, understand and appropriately respond (...) to linguistic anomalies such as the malapropism—anomalies because, by definition, the "language" cannot account for how we understand them. Such anomalies, Davidson concludes, are the exceptions that do not prove but refute the traditional rule that antecedent linguistic systems govern discursive meaning. If that is so, then meanings are not a property of a linguistic system and are not "governed by learned conventions or regularities" (1986, 436); therefore, learning and sharing such conventions, what we traditionally call "language," is not a necessary condition of successful communication. He shows this by arguing that two conditions must be met for successful interlocution and that meeting these sufficiently allows successful interlocution to take place. A third condition—that the interlocutors share a language, an organized set of learned conventions or regularities "learned in advance of occasions of interpretation" (436) for which phenomena such as malapropisms would be anomalous—is neither a necessary nor sufficient condition of discursive competence.What I hope to show in this paper is that the two conditions Davidson argues interlocution must meet in order to succeed both involve the interlocutor's implicit knowledge of what since Aristotle the rhetorical tradition has called topical heuristics. Although Davidson himself seems unaware of it, his philosophy places invention in a new light, one that allows us to understand that the invention process is not merely a supplement to discourse, useful only for professional speakers and writers, but intrinsic to all intercourse, and that the topics are not merely formal but pragmatic relations that develop from the processes of our interactions with others and with objects of our common concern in a world we can come to share. [End Page 72] Inferential method Davidson argues that the first condition necessary for successful interlocution is that "the interpreter can learn the semantic role of each of a finite number of words or phrases and can learn the semantic consequences of a finite number of modes of expression" (1986, 437). "For this to be possible," says Davidson, "there must be systematic relations between the meanings of utterances" (436). Here he is not talking about grammatical systems but about systematic relations between and among the interlocutors' discursive actions and the world with its objects to which their actions refer. As I'll explain more fully shortly, these are topical relations. What makes these relations possible, Davidson argues, is that the interlocutors share, not a set of learned conventions, but a "recursive characterization of the truth conditions of all possible utterances of the speaker" (437).Such a theory of truth can be something like a Tarski truth definition, the explanation of which can be extremely convoluted (see Davidson 1984), but it boils down to saying that an utterance is true if the anticipations raised by a belief in an interpreted utterance are met by the consequences of believing the utterance; or, to put it another way, if the utterance is an answer to the question that solicited it or a solution to the problem to which it responds. Thus, an example of such a truth definition would be "The grass is green (an utterance made by someone, somewhere, somewhen, under certain conditions) is true if and only if the grass is green (to that person, at that place, at that time, under those conditions)." The force of a Tarski truth definition is that to understand what an utterance means is to understand the conditions that make it true (to the speaker). This, in turn, implies that in order for the interpreter to learn the semantic roles of the speaker's words and phrases and the semantic consequences of her modes of expression, the... (shrink)

In this paper, we propose and justify the cross‐linguistic study of the concept of truth through empirical studies of truth predicates, with results of such studies. We first conceptually explore the possibility of cross‐linguistic disagreement about truth purely due to linguistic norms governing truth predicates, which may imply a kind of pluralism about the concept of truth. We then consider the conditions under which we would be justified in inferring this sort of (...) pluralism from the fact of such cross‐linguistic disagreement. Next, we report results of three studies on the use of English “is true” and Japanese two truth predicates, as well as “is correct” and its Japanese counterpart. We then report another set of studies using a different vignette, where the radical cross‐linguistic difference observed in earlier studies disappeared. These data together suggest that the moral‐political factor in the truth‐bearer (utterance) strongly affects the uses of Japanese truth predicates but not those of English. Finally, we will discuss the implications of the studies and results reported here, and the empirical possibility of what we call lexical alethic pluralism, for debates over relativism, theories of meaning, and the deflationary and inflationary theories of truth. (shrink)

Based on a crowdsourced truth value judgment experiment, we provide empirical evidence challenging two classical views in semantics, and we develop a novel account of counterfactuals that combines ideas from inquisitive semantics and causal reasoning. First, we show that two truth-conditionally equivalent clauses can make different semantic contributions when embedded in a counterfactual antecedent. Assuming compositionality, this means that the meaning of these clauses is not fully determined by their truth conditions. This finding has a clear explanation (...) in inquisitive semantics: truth-conditionally equivalent clauses may be associated with different propositional alternatives, each of which counts as a separate counterfactual assumption. Second, we show that our results contradict the common idea that the interpretation of a counterfactual involves minimizing change with respect to the actual state of affairs. We propose to replace the idea of minimal change by a distinction between foreground and background for a given counterfactual assumption: the background is held fixed in the counterfactual situation, while the foreground can be varied without any minimality constraint. (shrink)

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

A subtheory of the theory of self-referential truth known as FS is shown to be weak as a theory of truth but equivalent to full FS in its proof-theoretic strength.

Starting with a trustworthy theory T, Galvan (1992) suggests to read offš, from the usual hierarchy of theories determined by consistency strength, a finer-grained hierarchy in which theories higher up are capable of ‘explaining’, though not fully justifying, our commitment to theories lower down. One way to ascend Galvan’s ‘hierarchy of explanation’ is to formalize soundness proofs: to this extent it often suffices to assume a full theory of truth for the theory T whose soundness is (...) at stake. In this paper, we investigate the possibility of an extension of this method. Our ultimate goal will be to extend T not only with truth axioms, but with a combination of axioms for predicates for truth and necessity. We first consider two alternative strategies for providing possible worlds semantics for necessity as a predicate, one based on classical logic, the other on a supervaluationist interpretation of necessity. We will then formulate a deductive system of truth and necessity in classical logic that is sound with respect to the given (nonclassical) semantics. (shrink)

1.Competition between philosophical theories of linguistic meaning is sometimes specious. For example, suppose Ned believes that an utterance’s meaning is its truth-condition, while Ted insists that the utterance’s meaning is constituted by the speaker’s communicative intentions à la Grice.Here one wants to distinguish explananda:What Ned is after is really the utterance’s (“timeless”) sentence-meaning; Ted is focusing on speaker-meaning, which is not the same, and the two theories are perfectly compatible, indeed mutually complementary, accounts of distinct phenomena.

One longstanding problem for glut theorists is the problem of ‘just true.’ On Beall's conservative version of glut theory advanced in Spandrels of Truth , he addresses the problem in two steps. The first is a rejection of the problem: he claims that the only general notion of ‘just true’ is just truth itself. On that view, the alleged problem of ‘just true’ is reduced to the problem of truth itself, which has a solution—glut theory. (...) The second step is to acknowledge that there is a notion of ‘just true’ which is more limited but nonetheless meets all reasonable criteria demanded by those who advance the longstanding just-true objection. Marcus Rossberg disagrees. According to Rossberg, a just-true operator ought to iterate and be non-arbitrary in ways that Beall's proposed just-true operator is not. My aim in this paper is to construct a new conditional in terms of which a new just-true operator may be defined, a necessity operator, and to show that it meets all of the target desiderata of the debate. I then use that new operator to address the arbitrariness worries raised by Rossberg. (shrink)

In lieu of an abstract, here is a brief excerpt of the content:Reviewed by:Living the Truth: A Theory of ActionBenjamin J. BrownLiving the Truth: A Theory of Action Klaus Demmer Washington, D.C.: Georgetown University Press, 2010. 179 pp. $34.95.Klaus Demmer is one of the most influential Catholic moral theologians in Europe since Vatican II. Unfortunately, he is relatively unknown in America. Living the Truth is only the second of his works to be translated into English, (...) although other translations are anticipated. In Living the Truth, Demmer provides an incredibly balanced and nuanced work of fundamental moral theology and brims with insights. Not content with easy answers or oversimplifications, Demmer seeks in this book not only to chart a way between apparent opposites but also to synthesize the best of both into a new unity.For example, Demmer returns regularly to the question of the foundation and role of moral norms. Norms are indispensable in the life of the “ethical personality,” the person who is fully alive as a human being. They serve to open a person to the truth and to freedom and help to make a space for genuinely good, free, and vibrant action. However, norms are not at the heart of Demmer’s ethics, either as a discipline or in actual life. He also speaks of the ways in which a person establishes norms for herself even as he is careful to avoid relativism or subjectivism. Acknowledging that norms derived from a natural law ethics are true and important and that Christian morality may not be able to add any propositional content to natural law, he also argues at length that Christianity does in fact significantly shape a natural law ethics into something that is both deeper and more expansive. For Demmer, the Christian context changes the basis and meaning of morality. Although frustratingly spare with examples, he brings to the fore the difference between grounding human dignity in human nature as reason can grasp it and grounding it more specifically in the image and likeness of God and the love shown in the incarnation and redemption.Demmer’s moral theology is profoundly human and existential; it is immersed in the context and texture of real human experience. In many ways, it is very pastoral. It certainly manifests a depth of psychological insight into the nature and workings of the human mind, for example, in analyzing the ways in which people fall into pride and self-deception (33–37).Living the Truth’s concern with truth and truthfulness is an important and timely theme. Once again, Demmer synthesizes distinct elements. Truthfulness is a multifaceted reality, referring both to internal and external forces. Systematically [End Page 227] grounding his ethics in a robust classical metaphysic, Demmer understands the “true,” the “good,” and “being” to be related as transcendentals (42). The “truth” opens one up to “goodness,” which in turn allows for the flourishing of the human person. Far from being restrictive, the truth opens up possibilities for true freedom. But this only occurs when it is internalized as “truthfulness,” a virtue of many dimensions that Demmer unfolds throughout the book, particularly in the last of the three main parts.Living the Truth is very dense. It definitely is not an undergraduate text. Both the meaning of individual sentences and the flow of Demmer’s thought are elusive at times. Many subsections discuss a range of ideas and seem at times to wander. Even readers with a strong background in moral theology will find it necessary to reread and think carefully in order to catch the precise meaning of specific phrases and follow the argument. Nonetheless, the rewards are well worth the effort. Every moral theologian owes it to herself to read this book. [End Page 228]Benjamin J. BrownLourdes UniversityCopyright © 2012 Society of Christian Ethics... (shrink)

According to linguistic conventionalism, necessities are to be explained in terms of the conventionally adopted rules that govern the use of linguistic expressions. A number of influential arguments against this view concerns the ‘Truth-Contrast Thesis’. This is the claim that necessary truths are fundamentally different from contingent ones since they are not made true by ‘the facts’. Instead, they are supposed to be something like ‘true in virtue of meaning’. This thesis is widely held to be (...) a core commitment of the conventionalist position, and the view is frequently rejected on the grounds that this thesis is untenable. I argue that this line of reasoning is mistaken. While the thesis should be rejected, it is not, I argue, entailed by linguistic conventionalism – nor was it invariably accepted by the paradigmatic conventionalists. (shrink)

The ‘task confronting contemporary theology’, says James Fodor, ‘is that of the rehabilitation or recovery of a distinctively Christian vision of truth’ (Christian Hermeneutics[Oxford, 1995] p. 72). In this paper I examine Fodor's attempt to construct a Christian or transformational theory of truth. I argue that his analysis of truth in terms of transformation leads to a concept of truth which is both subjective and relative. I argue further that Fodor's truth theory is (...) either committed to a version of creative anti‐realism, according to which the existence of basic structure of the world is determined by our linguistic activities, or it implies that although our language doesn't correspond to the world, we should go on making our theological truth claims anyway. I conclude that Fodor's Christian theory of truth is in most crucial respects not Christian at all. (shrink)

It is traditionally held that our knowledge of necessity is a priori; but the familiar theories of a priori knowledge – platonism and conventionalism – have now been discredited, and replaced by either modal skepticism or a posteriori essentialism. The main thesis of this paper is that Kant's theory of a priori knowledge, when detached from his transcendental idealism, offers a genuine alternative to these unpalatable options. According to Kant's doctrine, all epistemic necessity is grounded directly or indirectly on (...) our capacity for clear and distinct rational intuition. Insight, in turn, depends upon functions of the imagination for creating “mental models” of necessary truths. This doctrine is well exemplified by Kant's account of our knowledge of simple analytic truths. (shrink)

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

In this article I contrast in two ways those conceptions of semantic theory deriving from Richard Montague's Intensional Logic (IL) and later developments with conceptions that stick pretty closely to a far weaker semantic apparatus for human first languages. IL is a higher-order language incorporating the simple theory of types. As such, it endows predicates with a reference. Its intensional features yield a conception of propositional identity (namely necessary equivalence) that has seemed to many to be too (...) coarse to be acceptable. In the most usual expositions, it takes the object of linguistic explication to be the sentence in a context, as in Kaplan, 1977. This last has led to recent speculations about 'shifted' contexts. IL may be contrasted with a more linguistically (representationally) bound conception of propositions and interpretation of their predicational and functional parts, and with the explication, not of sentences in contexts, but of potential utterances, relative to the antecedent referential intentions of their speakers. We may then advance, as an empirical hypothesis about all human languages, that contexts never shift, and propose that apparent counterexamples stem from the misconstrual of linguistically coded anaphoric relations, relations that are wanted independently anyway. Donald Davidson's posthumous volume Truth and Predication mounts a sustained criticism of the notion of predicate reference. This criticism is not decisive. However, it may put the ball in the other court, insofar as it asks for a justification of what IL takes as given. Elaborations of IL using structured propositions, recently defended in King, 2007, recognize the problem of predicate reference, and the correlative issue of the 'unity of the proposition'; but I do not see that they can do better than bite the bullet already bitten in IL. I agree with Frege's insight that full justification of predicate reference pushes the boundaries of natural language, and to that extent may not be found within the semantic (as opposed to general scientific) enterprise. (shrink)

The question of truth is central to current discussions in both of the major contemporary styles of philosophizing. In the Anglo-American linguistic and empiricist tradition there is a lively response (some might say backlash) to apparent difficulties caused by recent recognition of theory change and meaning variance in science. And within the Continental hermeneutio tradition there is raised the central question of the truth status of interpretations in the cultural sciences where these appear not to be (...) subject to the criteria of empirical science. Let me say straight away that I believe that the almost universal dependence on versions of the correspondence theory of truth among analytical philosophers will prove seriously inadequate to both forms of the epistemological problem, and that we have to face here a deep challenge to many entrenched assumptions of empiricism — assumptions that are too infrequently brought to the light of day in these discussions.2. (shrink)

It is traditionally held that our knowledge of necessity is a priori; but the familiar theories of a priori knowledge – platonism and conventionalism – have now been discredited, and replaced by either modal skepticism or a posteriori essentialism. The main thesis of this paper is that Kant's theory of a priori knowledge, when detached from his transcendental idealism, offers a genuine alternative to these unpalatable options. According to Kant's doctrine, all epistemic necessity (which he calls “conviction” (Ueberzeugung) is (...) grounded directly or indirectly on our capacity for clear and distinct rational intuition (which he calls “insight” (Einsicht). Insight, in turn, depends upon functions of the imagination for creating “mental models” of necessary truths. This doctrine is well exemplified by Kant's account of our knowledge of simple analytic truths. (shrink)

SCIENTISTS HAVE DISCOVERED that water is H2O. Water is H2O is true. But is it a necessary truth? In other words, is it true in all possible worlds? Some people think it is. For example Hilary Putnam, in his well-known Twin Earth argument, concludes that "water is H2O" is necessarily true; thus a liquid which phenomenally resembles H2O and fits the description of water in almost all aspects, but has the chemical formula XYZ, cannot be water. Saul Kripke (...) has made a similar claim about the necessary identity between water and H2O. Because this type of truth is based on empirical discoveries, Kripke calls truths of this sort "necessary a posteriori." The thesis shared by Putnam and Kripke has two premises: a realist view that natural kinds exist independently of human cognition, and a theory of direct reference of natural kind terms. Opposing the view that natural kind terms pick out objects through descriptions, Putnam and Kripke hold that natural kind terms pick out natural kinds in the world in a direct way. Based on these two premises, they argue that, if two natural kind terms, A and B, designate the same thing in the world, "A = B" expresses a necessary identity. (shrink)

Truth by convention, once thought to be the foundation of a uniquely promising approach to explaining our access to the truth in nonempirical domains, is nowadays widely considered an absurdity. Its fall from grace has been due largely to the influence of an argument that can be sketched as follows: our linguistic conventions have the power to make it the case that a sentence expresses a particular proposition, but they can’t by themselves generate truth; whether a (...) given proposition is true—and so whether the sentence that expresses it is true—is a matter of what the world is like, which means it isn’t a matter of convention alone. The consensus is that this argument is decisive against truth by convention. Strikingly, though, it has rarely been formulated with much precision. Here I provide a new rendering of the argument, one that reveals its structure and makes transparent just what assumptions it requires, and then I assess conventionalists’ prospects for resisting each of those assumptions. I conclude that the consensus is mistaken: contrary to what is almost universally thought, there remains a promising way forward for the conventionalist project. Along the way, I clarify conventionalists’ commitments by thinking about what truth by convention would need to be like in order for conventionalism to do the epistemological work it’s intended to do. (shrink)