Truth as Translation – Part B

This is the second part of a paper dealing with truth and translation. In Part A a revised version of Tarski's Convention T has been presented, which explicitly refers to a translation mapping from the object language to the metalanguage; the vague notion of a translation has been replaced by a precise definition. At the end of Part A it has been shown that interpreted languages exist, which allow for vicious self-reference but which nevertheless contain their own truth predicate – this is possible if truth is based on a nonstandard translation mapping. However, this result has only been proved for languages without quantifiers. In Part B we now extend the result to first-order languages, and we show that this can be done in three different ways. In each case, the addition of a truth predicate to an interpreted language with a high degree of expressiveness leads to changes in the ontology of the language.     

Extending Standard Models of ZFC to Models of Nonstandard Set Theories

We study those models of ZFCwhich are embeddable, as the class of all standard sets, in a model of internal set theory >ISTor models of some other nonstandard set theories. This revised version was published online in June 2006 with corrections to the Cover Date.     

Truth in Applicative Theories

We give a survey on truth theories for applicative theories. It comprises Frege structures, universes for Frege structures, and a theory of supervaluation. We present the proof-theoretic results for these theories and show their syntactical expressive power. In particular, we present as a novelty a syntactical interpretation of ID₁ in a applicative truth theory based on supervaluation.     

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.     

Weak and Strong Theories of Truth

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.     

Conservative Theories of Classical Truth

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.     

分类中相似性的理论与模型

相似性在分类的原型理论、样例理论、定义理论和理论解释观中都扮演着重要的角色。人们对相似性的研究由来已久,但是它在分类的领域中至今仍是一个相对模糊的概念,这部分地由于揭示相似性的真正机制将涉及到复杂的信息加工过程。本文以分类中的相似性为出发点介绍了近期相似性研究的一些理论与模型并在此基础上对概念和分类领域中的相似性研究进行了分析和总结。     

Modal Logic,Truth, and the Master Modality

In the paper (Braüner, 2001) we gave a minimal condition for the existence of a homophonic theory of truth for a modal or tense logic. In the present paper we generalise this result to arbitrary modal logics and we also show that a modal logic permits the existence of a homophonic theory of truth if and only if it permits the definition of a so-called master modality. Moreover, we explore a connection between the master modality and hybrid logic: We show that if attention is restricted to bidirectional frames, then the expressive power of the master modality is exactly what is needed to translate the bounded fragment of first-order logic into hybrid logic in a truth preserving way. We believe that this throws new light on Arthur Prior's fourth grade tense logic.     

Filtering Theories of Truth: Compositionality as a Criterion

The traditional way to filter out the implausible candidate solutions to the semantic paradoxes is to appeal to the so-called “cost/benefit analyses.” Yet it is often tedious and controversial to carry out such analyses in detail. Facing this, it would be helpful for us to rely upon some principles to filter out at least something, if not everything, from them. The proposal in this paper is thereby rather simple: We may use principles of compositionality as a “filter” for this purpose. The paper has four sections. In Section 2, the author uses the filter to examine Kripke’s fixed-point theory and to thereby show how it works. In Section 3, the author gives more examples from the classical theories of truth to demonstrate the power of the filter. In Section 4, the author addresses the skepticism concerning whether there is any consistent or non-trivial theory of truth that can survive this filtering procedure. A “nearly sufficient” condition for a theory of truth to survive this test is discussed in order to show that at least some consistent or non-trivial theories of truth do indeed survive the filtering procedure.     

The Spirit of Truth

This article reflects on the theme of the “spirit of truth” in a post-truth era – a time in which objective truth seems to no longer exist, any given claim can be substantiated, and it is no longer possible to tell falsehood and truth apart. Focusing on the objectivity of science, the humanity of truth, and the spirit of truth revealed by divinity, the article argues for the adoption of a humane and ecological wisdom, seeing it as a way to deal with humanity’s immense knowledge in a way that is conducive to life, to avoid optimizing humans in a “trans-human” way and making the earth uninhabitable.     

Theism, Evolutionary Epistemology, and Two Theories of Truth

In Michael Ruse's recent publications, such as Taking Darwin Seriously (1998) and Evolutionary Naturalism (1995), he has advocated a certain sort of evolutionary epistemology and has argued that it implies a rejection of metaphysical realism (MR) in favor of a position that he calls "internal realism" (IR). Additionally, he has maintained that, insofar as his evolutionary epistemology implies a rejection of MR in favor of IR, it escapes the kind of argument against naturalism that Alvin Plantinga makes in his Warrant and Proper Function (1993). In this article I explain the relevant views and arguments of Ruse and Plantinga, and I critically engage with Ruse's views, arguing that (1) his case for rejecting MR has no essential connection to evolutionary considerations; (2) his case for rejecting MR depends upon internalist assumptions about the nature of knowledge that are in need of some kind of defense; and (3) given his implicit internalism and his commitment to IR, his argument for rejecting MR can be used against his IR.     

意义理论

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     

Psychotherapy: Definitions, Mechanisms of Action, and Relationship to Etiological Models

In this paper, we define psychotherapy as a modality of treatment in which the therapist and patient(s) work together to ameliorate psychopathologic conditions and functional impairment through focus on the therapeutic relationship; the patient's attitudes, thoughts, affect, and behavior; and social context and development. The possible mechanisms of action and active ingredients of psychotherapy in children and adolescents are discussed, with an emphasis on the above-noted domains. The adult psychotherapy literature strongly supports the central roles of the therapeutic relationship and therapeutic empathy; this has been much less intensively explored in the child and adolescent psychotherapy literature. Similarly, there have been few studies examining the mediation of treatment effects by impact on specific domains. Ideally, treatment studies should gather data that can be informative about the impact of putative mediating and moderating psychosocial and biological variables on outcome and course. The results of such studies can aid further refinements in both theories of etiology and improvement in treatments for children and adolescents.     

Henkin Quantifiers and the Definability of Truth

Henkin quantifiers have been introduced in Henkin (1961). Walkoe (1970) studied basic model-theoretical properties of an extension L _* ¹(H) of ordinary first-order languages in which every sentence is a first-order sentence prefixed with a Henkin quantifier. In this paper we consider a generalization of Walkoe's languages: we close L _* ¹(H) with respect to Boolean operations, and obtain the language L ¹(H). At the next level, we consider an extension L _* ²(H) of L ¹(H) in which every sentence is an L ¹(H)-sentence prefixed with a Henkin quantifier. We repeat this construction to infinity. Using the (un)-definability of truth – in – N for these languages, we show that this hierarchy does not collapse. In addition, we compare some of the present results to the ones obtained by Kripke (1975), McGee (1991), and Hintikka (1996).     

论五种宗教对话观

宗教对话是国际宗教学界的一个热门话题、一个前沿领域。本文概要评述了五种最有影响的宗教对话观,即排他论、兼并论、多元论、兼容论和实践论,并力求对它们加以比较性的方法论反思。作者认为,这五种宗教对话观不仅各有不可忽视的理论根据,而且均有值得深思的理论得失。因此,从神哲学方法论上反省它们之间的学术论争,并权衡它们之间的理论张力,将有助于我们进而探索宗教对话领域的疑难问题及其理论突破点。     

The Elimination of Self-Reference: Generalized Yablo-Series and the Theory of Truth

Although it was traditionally thought that self-reference is a crucial ingredient of semantic paradoxes, Yablo (1993, 2004) showed that this was not so by displaying an infinite series of sentences none of which is self-referential but which, taken together, are paradoxical. Yablo’s paradox consists of a countable series of linearly ordered sentences s(0), s(1), s(2),... , where each s(i) says: For each k > i, s(k) is false (or equivalently: For no k > i is s(k) true). We generalize Yablo’s results along two dimensions. First, we study the behavior of generalized Yablo-series in which each sentence s(i) has the form: For Q k > i, s(k) is true, where Q is a generalized quantifier (e.g., no, every, infinitely many, etc). We show that under broad conditions all the sentences in the series must have the same truth value, and we derive a characterization of those values of Q for which the series is paradoxical. Second, we show that in the Strong Kleene trivalent logic Yablo’s results are a special case of a more general fact: under certain conditions, any semantic phenomenon that involves self-reference can be emulated without self-reference. Various translation procedures that eliminate self-reference from a non-quantificational language are defined and characterized. An Appendix sketches an extension to quantificational languages, as well as a new argument that Yablo’s paradox and the translations we offer do not involve self-reference.     

中医理论变革：一个非明确限定性问题

以“传统中医理论如何变革”为中医务虚研究的核心问题,并从思维心理学的角度探讨了解决这一非明确限定性问题的三个阶段在准备阶段应理解中医理论的存在有双重意义,故应有两种问题表征;在产生解决办法阶段提议可借鉴西方心理学的流派发展倾向来认知中医变革的方法倾向,后又强调了语言形式对中医理论思维的重要影响,指出应当以语言学知识和临床实际去重建中医学术语言的“语义场”,参照信息加工理论,努力减少“编码”失误;在问题解决的评定阶段,强调由于评定本身就比较困难,所以在应对反馈意见时应坚持革新的信念,及时校正算子。     

颜色恒常理论及模型探索

颜色恒常是指外界环境变化时对客观物体颜色知觉保持不变的心理倾向。本文就Von Kries色系数定律、色域映射理论、谱锐化理论、视网膜皮层理论、双线性模型和神经网络模型等现有代表性的颜色恒常理论作了简单的概括与评价。针对目前该类研究的缺陷,尝试性地提出了发展完备的颜色恒常理论(或模型）的研究思路。