Share
Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness
Juliette Kennedy
(Author)
·
Cambridge University Press
· Paperback
Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness - Kennedy, Juliette
Choose the list to add your product or create one New List
✓ Product added successfully to the Wishlist.
Go to My Wishlists
Origin: U.S.A.
(Import costs included in the price)
It will be shipped from our warehouse between
Monday, June 03 and
Wednesday, June 19.
You will receive it anywhere in United Kingdom between 1 and 3 business days after shipment.
Synopsis "Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness"
Is mathematics 'entangled' with its various formalisations? Or are the central concepts of mathematics largely insensitive to formalisation, or 'formalism free'? What is the semantic point of view and how is it implemented in foundational practice? Does a given semantic framework always have an implicit syntax? Inspired by what she calls the 'natural language moves' of Gödel and Tarski, Juliette Kennedy considers what roles the concepts of 'entanglement' and 'formalism freeness' play in a range of logical settings, from computability and set theory to model theory and second order logic, to logicality, developing an entirely original philosophy of mathematics along the way. The treatment is historically, logically and set-theoretically rich, and topics such as naturalism and foundations receive their due, but now with a new twist.
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
- 0% (0)
All books in our catalog are Original.
The book is written in English.
The binding of this edition is Paperback.
✓ Producto agregado correctamente al carro, Ir a Pagar.