Logical Frameworks for Truth and Abstraction

Logical Frameworks for Truth and Abstraction

An Axiomatic Study

1st Edition - March 14, 1996

Write a review

  • Author: A. Cantini
  • eBook ISBN: 9780080535586

Purchase options

Purchase options
DRM-free (PDF, Mobi, EPub)
Sales tax will be calculated at check-out

Institutional Subscription

Free Global Shipping
No minimum order


This English translation of the author's original work has been thoroughly revised, expanded and updated.The book covers logical systems known as type-free or self-referential. These traditionally arise from any discussion on logical and semantical paradoxes. This particular volume, however, is not concerned with paradoxes but with the investigation of type-free sytems to show that: (i) there are rich theories of self-application, involving both operations and truth which can serve as foundations for property theory and formal semantics; (ii) these theories provide a new outlook on classical topics, such as inductive definitions and predicative mathematics; (iii) they are particularly promising with regard to applications.Research arising from paradoxes has moved progressively closer to the mainstream of mathematical logic and has become much more prominent in the last twenty years. A number of significant developments, techniques and results have been discovered.Academics, students and researchers will find that the book contains a thorough overview of all relevant research in this field.

Table of Contents

  • Preface. Contents. Introduction. PART A: COMBINATORS AND TRUTH. I. Introducing operations. II. Extending operations with reflective truth. PART B: TRUTH AND RECURSION THEORY. III. Inductive models and definability theory. IV. Type-free abstraction with approximation operator. V. Type-free abstraction, choice and sets. PART C: SELECTED TOPICS. VI. Levels of implication and intentional logical equivalence. VII. On the global structure of models for reflective truth. PART D: LEVELS OF TRUTH AND PROOF THEORY. VIII. Levels of reflective truth. IX. Levels of truth and predicative well-orderings. X. Reducing reflective truth with levels to finitely iterated reflective truth. XI. Proof-theoretic investigation of finitely iterated reflective truth. PART E: ALTERNATIVE VIEWS. XII. Non-reductive systems for type-free abstraction and truth. XIII. The variety of non-reductive approaches. XIV. Epilogue: applications and perspectives. Bibliography. Index. List of Symbols.

Product details

  • No. of pages: 460
  • Language: English
  • Copyright: © North Holland 1996
  • Published: March 14, 1996
  • Imprint: North Holland
  • eBook ISBN: 9780080535586

About the Author

A. Cantini

Affiliations and Expertise

University of Florence, Department of Philosophy, Italy

Ratings and Reviews

Write a review

There are currently no reviews for "Logical Frameworks for Truth and Abstraction"