Results 1 
5 of
5
Field on Revenge ∗
, 2006
"... In a series of recent papers, 1 Hartry Field has proposed a novel class of solutions to the semantic paradoxes, and argued that the new solutions are ‘revengeimmune’. He has argued, in particular, that by building on a sufficiently expressive language one can get a language which is able to express ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
In a series of recent papers, 1 Hartry Field has proposed a novel class of solutions to the semantic paradoxes, and argued that the new solutions are ‘revengeimmune’. He has argued, in particular, that by building on a sufficiently expressive language one can get a language which is able to express its own semantic theory, including its own truth predicates and any intelligible determinacy predicates. The purpose of this note is to argue that the plausibility of Field’s revengeimmunity claim depends crucially on the status of higherorder languages. We show that by availing oneself of higherorder resources one can give an explicit characterization of the key semantic notion underlying Field’s proposal, and note that inconsistency would ensue if the languages under discussion were expressive enough to capture this notion. 1 Field’s Proposal For the sake of concreteness, we shall consider the version of the proposal developed in Field (2003a) and further elucidated in Field’s contribution to the present volume. Start with a standard firstorder language L containing the settheoretic primitives ‘∈’ and ‘Set(...)’, together with an arbitrary selection of nonsettheoretic predicates. On
Games for Truth
, 2008
"... Die Wahrheit liegt weder in der unendlichen Annährung an einer objektiv Gegebenes noch in der Mitte, sondern rundherum wie ein Sack, der mit jeder neuen Meinung, die man hineinstopft, seine Form ändert, aber immer fester wird. R. Musil We represent truth sets for a variety of the well known semantic ..."
Abstract

Cited by 1 (1 self)
 Add to MetaCart
Die Wahrheit liegt weder in der unendlichen Annährung an einer objektiv Gegebenes noch in der Mitte, sondern rundherum wie ein Sack, der mit jeder neuen Meinung, die man hineinstopft, seine Form ändert, aber immer fester wird. R. Musil We represent truth sets for a variety of the well known semantic theories of truth as those sets consisting of those sentences for which a player has a winning strategy in an infinite two person game. The classifications of the games are simple, those over the natural model of arithmetic being all within the arithmetical class of Σ 0 3. 1
Truth, Logical Validity, and Determinateness: a commentary on Field’s Saving Truth from Paradox
, 2009
"... We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path dependent hierarchies of his determinateness operator. Hartry Field in a recent series of papers ([2],[3],[5] in [1]) ..."
Abstract

Cited by 1 (0 self)
 Add to MetaCart
We consider notions of truth and logical validity defined in various recent constructions of Hartry Field. We try to explicate his notion of determinate truth by clarifying the path dependent hierarchies of his determinateness operator. Hartry Field in a recent series of papers ([2],[3],[5] in [1]) has indicated how we might approach a theory of truth and associated semantic paradoxes, by providing an inventive alternative to the current semantic theories of Kripke [10], Herzberger [9],[8], Gupta & Belnap [6], et al. In his recent book ‘Saving Truth from Paradox ’ ([4]), building on his earlier papers, he provides both a deep analysis of those currently available constructions of theories of truth, and an account of his own. The book is perhaps the culmination of his thinking and insights in this topic to date. It is a very rich and detailed tapestry that he weaves. A thumbnail sketch of Field’s project might run as follows: (I) the current
Revision Revisited ∗
, 2012
"... This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed. 1 New questions for the Revision Theory of Truth The Revision Th ..."
Abstract
 Add to MetaCart
This article explores ways in which the Revision Theory of Truth can be expressed in the object language. In particular, we investigate the extent to which semantic deficiency, stable truth, and nearly stable truth can be so expressed. 1 New questions for the Revision Theory of Truth The Revision Theory of Truth is a class of models for the language of truth (LT). This language of truth is intended to be a toy model for a natural language such as English. It is intended to contain all the features that are relevant for the logical properties of the notion of truth, and no more than that. LT contains the firstorder language of arithmetic (LPA), so as to enable sentences to talk about themselves relative to some coding scheme. Versions of this article have presented at the Truth Be Told conference in Amsterdam
Transfinite Machine Models
, 2011
"... In recent years there has emerged the study of discrete computational models which are allowed to act transfinitely. By ‘discrete ’ we mean that the machine models considered are not analogue machines, but compute by means of distinct stages or in units of time. The paradigm of such models is, of co ..."
Abstract
 Add to MetaCart
In recent years there has emerged the study of discrete computational models which are allowed to act transfinitely. By ‘discrete ’ we mean that the machine models considered are not analogue machines, but compute by means of distinct stages or in units of time. The paradigm of such models is, of course, Turing’s original