Semantics and truth relative to a world

This paper argues that relativity of truth to a world plays no significant role in empirical semantic theory, even as it is done in the model-theoretic tradition relying on intensional type theory. Some philosophical views of content provide an important notion of truth at a world, but they do not constrain the empirical domain of semantic theory in a way that makes this notion empirically significant. As an application of this conclusion, this paper shows that a potential motivation for relativism based on the relativity of truth to a world fails.     

More on Putnam and Tarski

Hilary Putnam's famous arguments criticizing Tarski's theory oftruth are evaluated. It is argued that they do not succeed to undermine Tarski's approach. One of the arguments is based on the problematic idea of a false instance of T-schema. The otherignores various issues essential for Tarski's setting such as language-relativity of truth definition.     

塔斯基：语义性真理论与符合论

塔斯基语义性真理论是否为符合论是一个争论的热点。目前有两种观点认为它是符合论,其一是根据对象语言与元语言的区分,到目前为止此观点已受到激烈批评,其二是根据“满足”概念的递归定义,此观点到目前为止还没有被人详细地阐明。本文认为塔斯基的语义性真理论是符合论,为此将首先对第一种观点及其反对意见进行深入分析,并得出结论认为该观点不能成立,继而详细阐明第二种观点,表明它是塔斯基本人的意图。在讨论中本文将对一系列的逻辑哲学问题进行探讨。     

对塔斯基“真”理论的批评与重建

塔斯基首先提出关于真之定义的T模式即:"p"是真的,当且仅当,p。随后他又用X取代T模式中的"p",并且用"满足"来定义"真"。本文一方面根据"内容恰当性"要求,提出另一种模式T′即:"p"是真的,当且仅当,p是存在的;用以补充T模式,并完善塔斯基的语言层次论。另一方面根据"形式正确性"要求,指出塔斯基对T模式的这两项修改都是多余的。     

Truth as Translation – Part A

According to Tarski's Convention T, the adequacy of a truth definition is (implicitly) defined relatively to a translation mapping from the object language to the metalanguage; the translation mapping itself is left unspecified. This paper restates Convention T in a form in which the relativity to translation is made explicit. The notion of an interpreted language is introduced, and a corresponding notion of a translation between interpreted languages is defined. The latter definition is stated both in an algebraic version, and in an equivalent possible worlds version. It is a consequence of our definition that translation is indeterminate in certain cases. Finally, we give an application of our revised version of Convention T and show that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate. This is possible if only truth is based on a nonstandard translation mapping by which, e.g., the Liar sentence is translated to its own negation. In this part of the paper this existence result is proved only for languages without quantifiers; in Part B the result will be extended to first-order languages.     

One's Modus Ponens: Modality,Coherence and Logic

Recently, there has been a shift away from traditional truth‐conditional accounts of meaning towards non‐truth‐conditional ones, e.g., expressivism, relativism and certain forms of dynamic semantics. Fueling this trend is some puzzling behavior of modal discourse. One particularly surprising manifestation of such behavior is the alleged failure of some of the most entrenched classical rules of inference; viz., modus ponens and modus tollens. These revisionary, non‐truth‐conditional accounts tout these failures, and the alleged tension between the behavior of modal vocabulary and classical logic, as data in support of their departure from tradition, since the revisionary semantics invalidate some of these patterns. I, instead, offer a semantics for modality with the resources to accommodate the puzzling data while preserving classical logic, thus affirming the tradition that modals express ordinary truth‐conditional content. My account shows that the real lesson of the apparent counterexamples is not the one the critics draw, but rather one they missed: namely, that there are linguistic mechanisms, reflected in the logical form, that affect the interpretation of modal language in a context in a systematic and precise way, which have to be captured by any adequate semantic account of the interaction between discourse context and modal vocabulary. The semantic theory I develop specifies these mechanisms and captures precisely how they affect the interpretation of modals in a context, and do so in a way that both explains the appearance of the putative counterexamples and preserves classical logic.     

Wahrheit und Selbstrückbezüglichkeit

This paper is intended to discuss the problems occurring in the relation between the notion of truth and the question of self-reference. To do this, we shall review Tarski's (T) convention and its related terminology. We shall clarify the relation between truth and extension in order to lead into the question of semantic paradoxes appearing in the theoretical models concerned with truth. Subsequently, we shall review the logical system which develops in the reformulation of the modal proposal of the (T) convention. In closing, we shall critically examine Kripke's interpretation from the proposals made by Tarski.     

Behavioral pragmatism: no place for reality and truth

The current article begins by reviewing L. J. Hayes's claim that pragmatism relies on a correspondence-based truth criterion. To evaluate her claim, the concept of the observation sentence, proposed by the pragmatist philosopher W. V. Quine, is examined. The observation sentence appears to remove the issue of correspondence from Quine's pragmatist philosophy. Nevertheless, the issue of correspondence reemerges, as the problem of homology, when Quine appeals to agreement between or among observation sentences as the basis for truth. Quine also argues, however, that the problem of homology (i.e., correspondence) should be ignored on pragmatic grounds. Because the problem is simply ignored, but not resolved, there appears to be some substance to Hayes's claim that pragmatism relies ultimately on correspondence as a truth criterion. Behavioral pragmatism is then introduced to circumvent both Hayes's claim and Quine's implicit appeal to correspondence. Behavioral pragmatism avoids correspondence by appealing to the personal goals (i.e., the behavior) of the scientist or philosopher as the basis for establishing truth. One consequence of this approach, however, is that science and philosophy are robbed of any final or absolute objectives and thus may not be a satisfactory solution to philosophers. On balance, behavioral pragmatism avoids any appeal to correspondence-based truth, and thus it cannot be criticized for generating the same philosophical problems that have come to be associated with this truth criterion.     

Zitierte zeichenreihen

We use quotation marks when we wish to refer to an expression. We can and do so refer even when this expression is composed of characters which do not occur in our alphabet. That's why Tarski's, Quine's, and Geach's theories of quotation don't work. The proposals of Davidson, Frege, and C. Washington, however, do not provide a plausible account of quotation either. The problem is to construct a Tarskian theory of truth for an object language which contains quotation marks, without appealing to quotation marks in the metalanguage. I propose to supply Tarski's truth definition with an axiom which determines the denotation of all expressions containing quotation marks. According to this axiom, quotation marks create a non-extensional context. Since our admitting such contexts does not lead to any difficulties in our recursive truth characterization, we may indeed dispense with extensionalism. Finally, I argue that we classify and denote expressions in the very same way that we classify and denote extralinguistic entities.     

Why the Liar Does not Matter

This paper develops a classical model for our ordinary use of the truth predicate (1) that is able to address the liar's paradox and (2) that satisfies a very strong version of deflationism. Since the model is a classical in the sense that it has no truth value gaps, the model is able to address Tarski's indictment of our ordinary use of the predicate as inconsistent. Moreover, since it is able to address the liar's paradox, it responds to arguments against deflationism based upon that paradox alone. The model is based upon a notion of the complexity of propositions that a fixed set of speakers might express. A context-sensitive definition of the truth predicate is then provided based upon a class of possible worlds defined in terms of these speakers. Reasonable constraints on the memories and lifetimes of ordinary speakers are used to limit the set of propositions that they might express so that deflationist requirements are satisfied.     

Philosophical Idling and Philosophical Relativity

Peter Unger has challenged philosophical objectivism, the thesis that traditional philosophical problems have definite objective answers. He argues from semantic relativity for philosophical relativity, the thesis that for certain philosophical problems, there is no objective answer. I clarify, formulate and challenge Unger's argument. According to Unger, philosophical relativism explains philosophical idling, the fact that philosophical debates appear endless, philosophical disagreements seem irresolvable, and very little substantial progress seems made towards satisfactory and definite answers to philosophical problems. I argue, however, that the reality of philosophical idling is doubtful and, ironically, undermined by philosophical relativism. I then raise problems for several steps in Unger's argument for philosophical relativity. I conclude by arguing that philosophical relativism can avoid self‐defeat only by an ad hoc limitation of its scope. 1     

Philosophy for Children and the Reconstruction of Philosophy

In this paper I trace the dialogical and narrative dimensions of the philosophical tradition and explore how they are reconfigured in the notion of community of philosophical inquiry (CPI), the mainstay of the collection of novels and discussion plans known as Philosophy for Children. After considering the ontology and epistemology of dialogue, I argue that narrative has replaced exposition in our understanding of philosophical discourse and that CPI represents a narrative context in which truth comes to represent the best story, in a discursive location in which there are always multiple stories. Finally, I raise the issue of children's philosophical voice. Can children philosophize, and if they can, do they do so in a voice different from adults'? If so, what are the distinctive features of that voice? I assert that it is children's historical marginalization in the Western construction of rationality that now – as that rationality undergoes its crisis – makes of them, like women and other “natives,” privileged strangers to the tradition, who are, through CPI, enabled to enter it through dialogue and narrative.     

The pathology of validity

Stephen Read has presented an argument for the inconsistency of the concept of validity. We extend Read’s results and show that this inconsistency is but one half of a larger problem. Like the concept of truth, validity is infected with what we call semantic pathology, a condition that actually gives rise to two symptoms: inconsistency and indeterminacy. After sketching the basic ideas behind semantic pathology and explaining how it manifests both symptoms in the concept of truth, we present cases that establish the indeterminacy of validity and that link this indeterminacy with the concept’s inconsistency. Our conclusion is that an adequate treatment of the semantic pathology thus revealed must deal with both of its symptoms. Further, it must extend to the occurrences of this condition elsewhere: in the concept of truth, in the other central semantic notions, and even in certain philosophical concepts outside semantics.     

Investigative and Suspensive Scepticism

Sextus Empiricus portrays the Pyrrhonian sceptics in two radically different ways. On the one hand, he describes them as inquirers or examiners, and insists that what distinguishes them from all the other philosophical schools is their persistent engagement in inquiry. On the other hand, he insists that the main feature of Pyrrhonian attitude is suspension of judgement about everything. Many have argued that a consistent account of Sextan scepticism as both investigative and suspensive is not possible. The main obstacle to characterizing Pyrrhonism as both investigative and suspensive is the fact that it seems that the mature sceptics, after they have suspended judgement and thus reached tranquillity, have no motivation for further inquiry. Any inquiry they seem to be interested in after they have suspended judgement is the refutation of (relevant) beliefs needed for maintaining tranquillity. I try to show that the mature sceptics' removal of distress does not ipso facto mean removal of the desire for knowledge. This is because distress is not just a matter of unsatisfied desire, but of belief that one of the opposed appearances must be true, or, more generally, of belief that the truth is the only worthwhile epistemic goal. Having abandoned this belief, the sceptics can still engage in philosophical inquiries. This is because Sextus does not assume that philosophy is the search for truth: it is so only for the dogmatists. In a more general sense, applicable to the sceptics as well, philosophy is just an inquiry into certain things, and for the sceptics, its epistemic goal is still open.     

Structure and process in semantic memory: evidence from event-related brain potentials and reaction times.

Through scalp measurements of the electrical activity of the brain (event-related potentials, or ERPs) recorded while subjects verified the truth of sentences relating exemplars and categories (e.g., ALL DOGS ARE ANIMALS), inferences were made about aspects of semantic processing that were not directly reflected by overt responses. In particular, it is suggested that a negative ERP component that peaks about 400 ms after the onset of the sentence predicate (i.e., N400) is sensitive to structural aspects of semantic memory. The amplitude of this component was modulated by the relatedness of the subject and predicate terms, as well as the hierarchical level of both these terms, but was not sensitive to the truth value of a sentence.     

TRUTH, RELATIVISM, AND CROSSWORD PUZZLES

Abstract. Neither the correspondence nor the coherence theory of truth does justice to the truth claims made in science and theology. I propose a new definition that relates truth to solving puzzles. I claim that this definition is more adequate than either of the traditional theories and that it offers two additional benefits: first, it provides grounds for a theory regarding the relations between theology and science that may stand up better to philosophical scrutiny than does critical realism; and second, it blocks the move to relativism based on recognition of the plurality of perspectives and the historical and social conditioning of knowledge.     

On the Possibility of a Substantive Theory of Truth

The paper offers a new analysis of the difficulties involved in the construction of a general and substantive correspondence theory of truth and delineates a solution to these difficulties in the form of a new methodology. The central argument is inspired by Kant, and the proposed methodology is explained and justified both in general philosophical terms and by reference to a particular variant of Tarski's theory. The paper begins with general considerations on truth and correspondence and concludes with a brief outlook on the “family” of theories of truth generated by the new methodology. This revised version was published online in June 2006 with corrections to the Cover Date.     

关于三大神学问题的哲学思考

灵魂是否不灭?上帝是否存在?上帝意志是否具有超必然的自由?这三个问题涉及宗教的根本基础。宗教神学家一直把上述三个问题视为神学的基本问题。一方面把它们奉为神圣的信条,不许信仰者怀疑;另一方面,也不断利用哲学和理性的形式,对之作出各式各样的证明。但是历史上的启蒙哲学家和自然科学家对之发出了公开的挑战,从哲学世界观的高度,从自然科学新成就出发,证明统一的自然界不可能有任何超自然存在。围绕三大神学问题的争论,一直是哲学与神学关系史上的中心问题,它也成了宗教哲学必须解答的重要理论问题。