David Bourget (Western Ontario)
David Chalmers (ANU, NYU)
Rafael De Clercq
Jack Alan Reynolds
Learn more about PhilPapers
Elsevier Science B.V. (1996)
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.
|Keywords||Logic, Symbolic and mathematical Truth|
|Categories||categorize this paper)|
|Buy the book||$129.95 new (24% off) $137.23 used (20% off) $160.00 direct from Amazon (6% off) Amazon page|
|Call number||QA9.C324 1996|
Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
|Through your library|
References found in this work BETA
No references found.
Citations of this work BETA
Eric Thomas Updike (2012). Abstraction in Fitch's Basic Logic. History and Philosophy of Logic 33 (3):215-243.
Riccardo Bruni (2009). A Note on Theories for Quasi-Inductive Definitions. Review of Symbolic Logic 2 (4):684-699.
Reinhard Kahle (2011). The Universal Set and Diagonalization in Frege Structures. Review of Symbolic Logic 4 (2):205-218.
Andrea Cantini (2011). Extending Constructive Operational Set Theory by Impredicative Principles. Mathematical Logic Quarterly 57 (3):299-322.
Similar books and articles
Newton C. A. Da Costa, Otávio Bueno & Steven French (1998). The Logic of Pragmatic Truth. Journal of Philosophical Logic 27 (6):603-620.
Andrea Cantini (1993). Extending the First-Order Theory of Combinators with Self-Referential Truth. Journal of Symbolic Logic 58 (2):477-513.
Patrick Suppes (1964/2002). First Course in Mathematical Logic. Dover Publications.
Volker Halbach (2001). Editorial Introduction. Studia Logica 68 (1):3-20.
Kentaro Fujimoto (2010). Relative Truth Definability of Axiomatic Truth Theories. Bulletin of Symbolic Logic 16 (3):305-344.
Volker Halbach, Axiomatic Theories of Truth. Stanford Encyclopedia of Philosophy.
Ryan Christensen (2011). Theories and Theories of Truth. Metaphysica 12 (1):31-43.
Added to index2009-01-28
Total downloads39 ( #43,462 of 1,101,091 )
Recent downloads (6 months)5 ( #58,870 of 1,101,091 )
How can I increase my downloads?