|
Let me say, to finish this review, that the achievements of Field"s book are undeniable. He offers a paracomplete logic that preserves the principles and features that enable us to use the truth predicate as a logical device of quantification over sentences. His logic, moreover, validates an impressively high number of classical principles and contains an operator that can be used to characterize paradoxical sentences without at least apparently falling prey of new paradoxes. That is, doubtless, a remarkable feat and the use Field makes of fixed point constructions and revision rules, together with his discussion of well-known solutions to the Liar Paradox constitute a major contribution to the literature on this topic. If my remarks here pursue often what the book leaves out (rather than what it contains), that is, partly, because I think that the real philosophical significance of Field"s achievements will emerge in discussing some of the issues that could not be developed in STFP.
|