Logical frameworks for truth and abstraction: an axiomatic study

New York: Elsevier Science B.V. (1996)
  Copy   BIBTEX

Abstract

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.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,102

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Axiomatic theories of truth.Volker Halbach - 2008 - Stanford Encyclopedia of Philosophy.
Relative truth definability of axiomatic truth theories.Kentaro Fujimoto - 2010 - Bulletin of Symbolic Logic 16 (3):305-344.
Editorial introduction.Volker Halbach - 2001 - Studia Logica 68 (1):3-20.
First course in mathematical logic.Patrick Suppes - 1964 - Mineola, N.Y.: Dover Publications. Edited by Shirley A. Hill.
Foundations of logic, 1903-05.Bertrand Russell - 1994 - New York: Routledge. Edited by Alasdair Urquhart & Albert C. Lewis.
The Logic of Pragmatic Truth.Newton C. A. Da Costa, Otávio Bueno & Steven French - 1998 - Journal of Philosophical Logic 27 (6):603-620.
Theories and Theories of Truth.Ryan Christensen - 2011 - Metaphysica 12 (1):31-43.

Analytics

Added to PP
2009-01-28

Downloads
66 (#230,561)

6 months
4 (#477,225)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Andrea Cantini
Università degli Studi di Firenze

References found in this work

No references found.

Add more references