Penrose's New Argument

It has been argued, by Penrose and others, that Gödel's proof of his first incompleteness theorem shows that human mathematics cannot be captured by a formal system F: the Gödel sentence G(F) of F can be proved by a (human) mathematician but is not provable in F. To this argment it has been objected that the mathematician can prove G(F) only if (s)he can prove that F is consistent, which is unlikely if F is complicated. Penrose has invented a new argument intended to avoid this objection. In the paper I try to show that Penrose's new argument is inconclusive.     

Truth Analysis of the Gettier Argument

Gettier (1963) presented the now famous Gettier problem as a challenge to epistemology. The methods Gettier used to construct his challenge, however, utilized certain principles of formal logic that are actually inappropriate for the natural language discourse of the Gettier cases. In that challenge to epistemology, Gettier also makes truth claims that would be considered controversial in analytic philosophy of language. The Gettier challenge has escaped scrutiny in these other relevant academic disciplines, however, because of its façade as an epistemological analysis. This article examines Gettier's methods with the analytical tools of logic and analytic philosophy of language.     

Meaning, Truth, and Phenomenology

This essay approaches Derrida through a consideration of his writings on Saussure and Husserl. Derrida is right to insist, following Saussure, on a relational theory of meaning: words do not have a one-to-one correspondence with their referents. But he is wrong to insist on a purely differential theory of meaning: words can refer to reality within the context of a body of knowledge. Similarly, Derrida is right to reject Husserl's idea of presence: no truths are simply given to consciousness. But he is wrong to reject the very idea of objective knowledge: we can defend a notion of objective knowledge couched in terms of a comparison of rival bodies of theories. The essay concludes by considering the implications of the preceding arguments for the enterprise of phenomenology.     

On Vagueness,Truth Values and Fuzzy Logics

Some aspects of vagueness as presented in Shapiro’s book Vagueness in Context [23] are analyzed from the point of fuzzy logic. Presented are some generalizations of Shapiro’s formal apparatus. Presented by Daniele Mundici     

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.     

Replies to Bacon,Eklund, and Greenough on Replacing Truth

Andrew Bacon, Matti Eklund, and Patrick Greenough have individually proposed objections to the project in my book, Replacing Truth. Briefly, the book outlines a conceptual engineering project – our defective concept of truth is replaced for certain purposes with a team of concepts that can do some of the jobs we thought truth could do. Here, I respond to their objections and develop the views expressed in Replacing Truth in various ways.     

Truth and Assertability

Deflationists say that the equivalence between ‘p is true’ and p is all there is to the meaning of ‘true’. “Use” theories generally construe meaning as acceptance conditions. I argue: (i) there are certain obvious objections to a deflationary theory of truth so formulated; but (ii) they can be overcome if we employ a graded notion of use, i.e. a notion of assertability; but (iii) there appear to be certain further difficulties which cannot be overcome in this way.     

Truth Values,Neither-true-nor-false,and Supervaluations

The first section (§1) of this essay defends reliance on truth values against those who, on nominalistic grounds, would uniformly substitute a truth predicate. I rehearse some practical, Carnapian advantages of working with truth values in logic. In the second section (§2), after introducing the key idea of auxiliary parameters (§2.1), I look at several cases in which logics involve, as part of their semantics, an extra auxiliary parameter to which truth is relativized, a parameter that caters to special kinds of sentences. In many cases, this facility is said to produce truth values for sentences that on the face of it seem neither true nor false. Often enough, in this situation appeal is made to the method of supervaluations, which operate by “quantifying out” auxiliary parameters, and thereby produce something like a truth value. Logics of this kind exhibit striking differences. I first consider the role that Tarski gives to supervaluation in first order logic (§2.2), and then, after an interlude that asks whether neither-true-nor-false is itself a truth value (§2.3), I consider sentences with non-denoting terms (§2.4), vague sentences (§2.5), ambiguous sentences (§2.6), paradoxical sentences (§2.7), and future-tensed sentences in indeterministic tense logic (§2.8). I conclude my survey with a look at alethic modal logic considered as a cousin (§2.9), and finish with a few sentences of “advice to supervaluationists” (2.10), advice that is largely negative. The case for supervaluations as a road to truth is strong only when the auxiliary parameter that is “quantified out” is in fact irrelevant to the sentences of interest—as in Tarski’s definition of truth for classical logic. In all other cases, the best policy when reporting the results of supervaluation is to use only explicit phrases such as “settled true” or “determinately true,” never dropping the qualification.     

真实性及其伦理边界——对新闻真实性原则的伦理反思

真实是新闻的生命 ,追求并维护新闻的真实性是新闻工作者的伦理准则。然而和任何准则都不可能是绝对的一样 ,真实性同样不是一条绝对性原则。在具体的新闻传播活动中 ,由真实性引发的伦理冲突是经常存在的。新闻从业人员的职责之一 ,就是如何运用自己的道德智慧来解决这些伦理冲突。     

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.     

Modeling,Truth, and Philosophy

Knowledge requires truth, and truth, we suppose, involves unflawed representation. Science does not provide knowledge in this sense but rather provides models, representations that are limited in their accuracy, precision, or, most often, both. Truth as we usually think of it is an idealization, one that serves wonderfully in most ordinary applications, but one that can terribly mislead for certain issues in philosophy. This article sketches how this happens for five important issues, thereby showing how philosophical method must take into account the idealized nature of our familiar conception of truth.     

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.     

Truth and Generalized Quantification*

Kripke [1975] gives a formal theory of truth based on Kleene's strong evaluation scheme. It is probably the most important and influential that has yet been given—at least since Tarski. However, it has been argued that this theory has a problem with generalized quantifiers such as All(?, ψ)—that is, All ?s are ψ—or Most(?, ψ). Specifically, it has been argued that such quantifiers preclude the existence of just the sort of language that Kripke aims to deliver—one that contains its own truth predicate. In this paper I solve the problem by showing how Kleene's strong scheme, and Kripke's theory based on it, can in a natural way be extended to accommodate the full range of generalized quantifiers.     

Expression,Truth, Predication,and Context: Two Perspectives

Abstract

This paper considers the challenge to understanding another that comes from the view that language is, in Cristina Lafont’s phrase, ‘world‐disclosing’. If different speakers understand and refer to the world from different holistically structured worldviews, it seems to follow that there can be no mutual understanding unless there is significant overlap between ‘worlds’. Gadamer’s hermeneutics, I claim, blocks this consequence while maintaining that language is indeed world‐disclosing. By holding that language is a medium in which the distinction between interpretation and object of interpretation is paradoxically both maintained and overcome, Gadamer shows us that the interpreter always thinks the object of interpretation as both transcending and immanent in her worldview. Mutual understanding becomes a matter of mutual recognition of such worldview‐(but not language‐) transcendent objects. Truth and meaning may on this view be characterized as ‘objective’, while retaining a significant element of relativity.     

Truth and democratic education

The connection of education to democracy is an issue of central importance to communities committed to liberty and justice. In her influential book Democratic Education Amy Gutmann addresses this connection. In doing so she takes up a position regarding democracies and the teaching of truth which is indefensible, and which removes any ban on manipulating citizens. Also indefensible is Gutmann's position concerning publicly-funded community colleges and universities. These she deems nonselective institutions; a mistake that obscures the unequal distribution of opportunities for democratically-required education. The outcome is to reveal Gutmann's analysis of democratic education and democratic participation to be, in important respects, inadequate.     

On Meaningfulness and Truth

We show how to construct certain L _{M, T} -type interpreted languages, with each such language containing meaningfulness and truth predicates which apply to itself. These languages are comparable in expressive power to the L _T -type, truth-theoretic languages first considered by Kripke, yet each of our L _{M, T} -type languages possesses the additional advantage that, within it, the meaninglessness of any given meaningless expression can itself be meaningfully expressed. One therefore has, for example, the object level truth (and meaningfulness) of the claim that the strengthened Liar is meaningless.     

想象的真理--论想象与真理的关系

无论再现论还是表现论的文艺观念,都肯定文艺活动的想象性质,并试图在此基础上理解文艺活动的区别特征。而这也同时产生了论证想象活动的真理性的要求,只不过在西方形而上学思想传统和符合论真理观念的限制下,对想象理解还包含着许多内在的困难。本文试图说明这些困难,并指出由西方现当代人文主义哲学所提供的解决问题的可能方向。     

Deflationary Truth and the Liar

Journal of Philosophical Logic -     

循证医学与实事求是

循证医学主张“慎重、准确和明智地应用当前所能获得的最好的研究依据;结合临床医生的个人专业技能和多年临床经验;考虑患者的价值和愿望,将三者完美地结合制定出患者的治疗措施。”贯穿着临床医学对患者进行“以人为本”科学救死扶伤的实事求是理念。要使“循证医学”卓有成效,应当抓住二大关键：实事求是,维护“证据”的真实性,提高医术的可靠性。     

Explicating Truth: Minimalism and Primitivism

This paper pursues two goals. The first is to show that Horwich's anti-primitivist version of minimalism must be rejected because, already for formal reasons, the truth-schema does not achieve a positive explication of any property of propositions. The second goal is to develop a more moderate primitivist version of minimalism according to which the truth-schema is admittedly powerless to underpin truth with something more basic but it still succeeds in giving a complete account of the necessary and sufficient conditions for a proposition to be true. This revised version was published online in August 2006 with corrections to the Cover Date.