Deflationism, the Problem of Representation, and Horwich's Use Theory of Meaning

This paper contains a critical discussion of Paul Horwich's use theory of meaning. Horwich attempts to dissolve the problem of representation through a combination of his theory of meaning and a deflationism about truth. I argue that the dissolution works only if deflationism makes strong and dubious claims about semantic concepts. Horwich offers a specific version of the use theory of meaning. I argue that this version rests on an unacceptable identification: an identification of principles that are fundamental to an explanation of the acceptance of sentences with principles that are fundamental to meaning.     

Minimalism, the Generalization Problem and the Liar

In defense of the minimalist conception of truth, Paul Horwich(2001) has recently argued that our acceptance of the instances of the schema,`the proposition that p is true if and only if p', suffices to explain our acceptanceof truth generalizations, that is, of general claims formulated using the truth predicate.In this paper, I consider the strategy Horwich develops for explaining our acceptance of truth generalizations. As I show, while perhaps workable on its own, the strategy is in conflictwith his response to the liar paradox. Something must give. I consider and reject variousalternatives and emendations to the strategy. In order to resolve the conflict,I propose an alternative approach to the liar, one that supports Horwich's strategywhile leaving minimalism maximally uncompromised.     

试论语义悖论的弗完全理论

弗完全理论通过限制排中律的使用,弱化经典逻辑,采用非经典的三值语言来处理语义悖论,最终使得形式语言能够一致地包含自身的真谓词。文中我们讨论了弗完全理论的两种基本形式——基础的弗完全理论和高级的弗完全理论。基础的弗完全理论引入了＂真值空缺＂的思想,认为句子除了真假之外还有＂既不真也不假＂的第三值,像说谎者这样的语义悖论语句就落在真假之空缺中,该理论借助于对不动点的归纳构造过程证明了形式语言中真谓词的存在性。高级弗完全理论在前者的基础上引入一个适当的条件句,定义了一个＂更强的真＂,发展出了既满足真的素朴模式又具有不动点解释的、一致的高级弗完全理论。     

Chalmers on the objects of credence

Chalmers (Mind 120(479): 587–636, 2011a) presents an argument against “referentialism” (and for his own view) that employs Bayesianism. He aims to make progress in a debate over the objects of belief, which seems to be at a standstill between referentialists and non-referentialists. Chalmers’ argument, in sketch, is that Bayesianism is incompatible with referentialism, and natural attempts to salvage the theory, Chalmers contends, requires giving up referentialism. Given the power and success of Bayesianism, the incompatibility is prima facie evidence against referentialism. In this paper, I review Chalmers’ arguments and give some responses on behalf of the referentialist.     

Supposition and Truth in Ockham's Mental Language

In this paper, Ockham's theory of an ideal language of thought is used to illuminate problems of interpretation of his theory of truth. The twentieth century idea of logical form is used for finding out what kinds of atomic sentences there are in OckhamÕs mental language. It turns out that not only the theory of modes of supposition, but also the theory of supposition in general is insufficient as a full theory of truth. Rather, the theory of supposition is a theory of reference, which can help in the determination of truth values within the scope of simple predications. Outside this area, there are interesting types of sentences, whose truth does not depend on whether the terms supposit for the same things or not for the same things.     

Quine's truth

W. V. Quine has made statements about truth which are not obviously compatible, and his statements have been interpreted in more than one way. For example, Donald Davidson claims that Quine has an epistemic theory of truth, but Quine himself often says that truth is just disquotational. This paper argues that Quine should recognize two different notions of truth. One of these is disquotational, the other is empiricist. There is nothing wrong with recognizing two different notions of truth. Both may be perfectly legitimate, even though, to some extent, they may be applicable in different contexts. Roughly speaking, a sentence is true in the empiricist sense if it belongs to a theory which entails all observation sentences which would be assented to by the speakers of the language in question (and no observation sentences which would be dissented from by these speakers). Various objections to this idea are discussed and rejected.     

Relative correctness

John MacFarlane defends a radical form of truth relativism that makes the truth of assertions relative not only to contexts of utterance but also to contexts of assessment, or perspectives. Making sense of assessment-sensitive truth is a matter of making sense of the normative commitments undertaken by speakers in using assessment sensitive sentences. This paper argues against the possibility of making sense of such a practice. Evans raised a challenge to the coherence of relative truth. A modification of the challenge can be given against MacFarlane’s revised views on assertion. The main objection to the relativist is that rational and earnest speakers are not bound by assessment-relative standards of correctness.     

The copredication argument

The standard view of truth-conditional semantics is that it is world-involving in the sense that a theory that specifies truth conditions eo ipso is a theory that specifies the way the world must be if the target sentences are to be true. It would appear to follow that the semantic properties of expressions, such as nominals, specify the very worldly objects that make true or false the sentences that host the nominals. Chomsky and others have raised a fundamental complaint against this thought: perfectly quotidian nominals, such as London or book, may occur copredicatively as a single argument of categorically mismatched predicates, which prima facie preclude a coherent uniform construal of the nominal argument. The argument has hitherto been presented via examples that challenge the standard view. My aim here is to present the argument explicitly, defend it against some likely counterclaims, and resolve what might appear to be a decisive consideration against the conclusion of the argument, viz., if nominals as copredicatively occurring do not contribute uniform worldly entities, then how can the copredicative constructions be counted as true?     

Experimental philosophers,conceptual analysts,and the rest of us

Abstract

Theories of personal identity purport to specify truth conditions for sentences of the form ‘x‐at‐t_i is the same person as y‐at‐t_j. Most philosophers nowadays agree that such truth conditions are to be stated in terms of psychological continuity. However; opinions vary as to how the notion of psychological continuity is to be understood. In a recent contribution to this journal, Slors offers an account in which psychological continuity is spelled out in terms of narrative connectedness between mental states.The present paper argues that Slors’ theory either is no theory of personal identity at all or is too weak.Towards the end of the paper, it is indicated how the problem uncovered for Slors’ theory may be avoided.     

意义理论

Research into logical syntax provides us the knowledge of the structure of sentences, while logical semantics provides a window into uncovering the truth of sentences. Therefore, it is natural to make sentences and truth the central concern when one deals with the theory of meaning logically. Although their theories of meaning differ greatly, both Michael Dummett’s theory and Donald Davidson’s theory are concerned with sentences and truth and developed in terms of truth. Logical theories and methods first introduced by G. Frege underwent great developments during the past century and have played an important role in expanding these two scholars’ theories of meaning. Translated by Ma Minghui from Zhexue Yanjiu 哲学研究 (Philosophical Research), 2006, (7): 53–61     

What is a Correspondence Theory of Truth?

It is often thought that instances of the T-schema such as snow is white is true if and only if snow is white state correspondences between sentences andthe world, and that therefore such sentences play a crucial role in correspondence theories oftruth. I argue that this assumption trivializes the correspondence theory: even a disquotationaltheory of truth would be a correspondence theory on this conception. This discussionallows one to get clearer about what a correspondence theory does claim, and toward the end of thepaper I discuss what a true correspondence theory of truth would involve.     

Supervaluations and the Propositional Attitude Constraint

For the sentences of languages that contain operators that express the concepts of definiteness and indefiniteness, there is an unavoidable tension between a truth-theoretic semantics that delivers truth conditions for those sentences that capture their propositional contents and any model-theoretic semantics that has a story to tell about how indetifiniteness in a constituent affects the semantic value of sentences which imbed it. But semantic theories of both kinds play essential roles, so the tension needs to be resolved. I argue that it is the truth theory which correctly characterises the notion of truth, per se. When we take into account the considerations required to bring model theory into harmony with truth theory, those considerations undermine the arguments standardly used to motivate supervaluational model theories designed to validate classical logic. But those considerations also show that celebration would be premature for advocates of the most frequently encountered rival approach – many-valued model theory.     

The motivations for Walter Burley’s theory of the proposition

Walter Burley (born c. 1275; died. c. 1344) claims throughout his career that the mind can make a statement (propositio) out of things. Since things include entities that exist outside of the mind, Burley appears to be claiming that the mind can form a statement out of things that exist outside of it. Most scholars of Burley offer a deflationary reading of this claim, arguing that it confuses two distinct but closely related philosophical issues: the nature of propositional content, on the one hand, and the role of facts in a compelling account of truth, on the other. But I argue that Burley means exactly what he says: that the mind can, quite literally, form statements out of things that exist outside of it. In Burley’s account, statements of this sort function as the propositional contents of our thoughts and written or uttered sentences. This account of propositional content is motivated by three more fundamental theses to which Burley is committed: referentialism, compositionality, and a claim about truth-conditionality I call intellectualism.     

SUPERVALUATION FIXED-POINT LOGICS OF TRUTH

Michael Kremer defines fixed-point logics of truth based on Saul Kripke’s fixed point semantics for languages expressing their own truth concepts. Kremer axiomatizes the strong Kleene fixed-point logic of truth and the weak Kleene fixed-point logic of truth, but leaves the axiomatizability question open for the supervaluation fixed-point logic of truth and its variants. We show that the principal supervaluation fixed point logic of truth, when thought of as consequence relation, is highly complex: it is not even analytic. We also consider variants, engendered by a stronger notion of ‘fixed point’, and by variant supervaluation schemes. A ‘logic’ is often thought of, not as a consequence relation, but as a set of sentences – the sentences true on each interpretation. We axiomatize the supervaluation fixed-point logics so conceived.     

Game theoretical semantics and entailment

The essence of the meaning of a declarative sentence is given by stating its truth conditions, and consequently semantics, the study of meaning, must include a theory of truth conditions. Such a theory must not only describe accurately the truth conditions of declarative sentences, it must also answer the question of when two sentences have the same truth conditions. The fundamental semantic relation of having the same truth conditions cannot be ignored by any reasonable theory.This paper is an attempt to find a partial account of this relation by using game theoretical semantics as developed by Hintikka and his followers. The account given will establish a connection between this approach to semantics and the theory of firstdegree entailment formulated by Anderson and Belnap.     

Explaining the Success of Science: Kuhn and Scientific Realists

In this essay, I critically evaluate the approaches to explaining the success of science in Kuhn and the works of inference-to-the-best-explanation scientific realists. Kuhn’s challenge to realists, who invoke the truth of theories to explain their success, is two-fold. His paradigm-account of success confronts realists with the problem of theory change, and the historical fact of successful theories later rejected as false. Secondly, Kuhn’s account of the success of science has no need to bring truth into the explanation. In turn, I argue that weakness in Kuhn and the prevailing forms of scientific realism motivate a better account of realism which I characterize as ‘best current theory realism’ and defend against the pessimistic meta-induction and the problem of theory-change. This realism argues that the best explanation of the success of current and past scientific theories only requires the simple claim that our best current theories are true. Kuhn’s account can explain how normal science succeeds but cannot account for why its problem solutions work where they do and why they fail for other puzzles.     

Types,Tokens, and Talk about Musical Works

It has recently been suggested that the type/token theorist concerning musical works cannot come up with an adequate semantic theory of those sentences in which we purport to talk about such works. Specifically, it has been claimed that, since types are abstract entities, a type/token theorist can only account for the truth of sentences such as “The 1812 Overture is very loud” and “Bach's Two Part Invention in C has an F‐sharp in its fourth measure” by adopting an untenable semantic claim: namely, that the predicates in such sentences, once applied to musical works, undergo a systematic shift in their meanings. This article is a sustained explanation of why our talk about musical works in fact provides no problem for the type/token theorist. First, we demonstrate that the aforementioned “meaning shift” approach to the sentences’ predicates is well motivated and very credible. Second, we explain how the type/token theorist can adopt the best available version of an alternative, generic quantificational approach to such sentences. Third, we establish that other semantic theories, presented as undermining the type/token theory by giving us a reason for adopting eliminativism about types, are much less theoretically virtuous than the two theories that a type/token theorist can freely adopt.     

Cognitive meaning and cognitive use

In the first part of this paper the author restates arguments made earlier against well‐known criticisms of a logical nature leveled (by C. Hempel and others) against the so‐called verifiability principle, which purport to show that it is at once both too restrictive and too permissive: including as cognitively meaningful, statements intuitively lacking this property, and excluding others that are generally admitted to possess it. The author claims to show that the charge that the verifiability principle is unduly permissive will not stand, because of certain logico‐semantical blunders made by the critics; and that the charge of being too restrictive can be removed by introducing the notion of guasi‐truth‐conditions. He then moves on to an examination and elaboration of the concept of cognitive use, in terms of which he attempts to turn the flank of the argument purporting to show that the verifiability principle is too restrictive, explaining that even if one does not invoke the concept of quasi‐truth‐conditions, that of cognitive use enables one to save for science and cognition in general sentences that lack truth‐values (cognitive meaning). A version of the verifiability principle that denies cognitive meaning to non‐finitistic, non‐analytic mixed‐quantifications does not therefore do any injury to science, frequent claims to the contrary notwithstanding.