Graduate studies at Western
Elsevier Science B.V. (1996)
|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.|
|Keywords||Logic, Symbolic and mathematical Truth|
|Categories||categorize this paper)|
|Buy the book||$91.31 used (47% off) $129.95 new (24% off) $155.98 direct from Amazon (9% off) Amazon page|
|Call number||QA9.C324 1996|
|Through your library||Configure|
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 downloads34 ( #40,650 of 739,447 )
Recent downloads (6 months)1 ( #61,680 of 739,447 )
How can I increase my downloads?