Logical Frameworks for Truth and Abstraction - 1st Edition - ISBN: 9780444823069, 9780080535586

Logical Frameworks for Truth and Abstraction, Volume 135

1st Edition

An Axiomatic Study

Authors: A. Cantini
eBook ISBN: 9780080535586
Hardcover ISBN: 9780444823069
Imprint: North Holland
Published Date: 14th March 1996
Page Count: 460
Tax/VAT will be calculated at check-out
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
30% off
30% off
30% off
30% off
30% off
20% off
20% off
110.00
77.00
77.00
77.00
77.00
77.00
88.00
88.00
180.00
126.00
126.00
126.00
126.00
126.00
144.00
144.00
180.00
126.00
126.00
126.00
126.00
126.00
144.00
144.00
137.00
95.90
95.90
95.90
95.90
95.90
109.60
109.60
Unavailable
DRM-Free

Easy - Download and start reading immediately. There’s no activation process to access eBooks; all eBooks are fully searchable, and enabled for copying, pasting, and printing.

Flexible - Read on multiple operating systems and devices. Easily read eBooks on smart phones, computers, or any eBook readers, including Kindle.

Open - Buy once, receive and download all available eBook formats, including PDF, EPUB, and Mobi (for Kindle).

Institutional Access

Secure Checkout

Personal information is secured with SSL technology.

Free Shipping

Free global shipping
No minimum order.

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.


Description

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.


Details

No. of pages:
460
Language:
English
Copyright:
© North Holland 1996
Published:
Imprint:
North Holland
eBook ISBN:
9780080535586
Hardcover ISBN:
9780444823069

Reviews

"This is an appealing book, (relatively) easy to read, and attractive in its unified treatment of a range of issues...I found this to be a well-constructed book. The bibliography is thorough, and the indexes are well constructed and accurate..." --Studia Logica


About the Authors

A. Cantini Author

Affiliations and Expertise

University of Florence, Department of Philosophy, Italy