Gödel, Tarski and the Lure of Natural Language: Logical Entanglement, Formalism Freeness

Cambridge: Cambridge University Press (2020)


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.

Download options


    Upload a copy of this work     Papers currently archived: 72,766

External links

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

Through your library


Added to PP

2 (#1,459,347)

6 months
1 (#386,989)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Juliette Kennedy
University of Helsinki

References found in this work

No references found.

Add more references

Citations of this work

No citations found.

Add more citations

Similar books and articles

On Formalism Freeness: Implementing Gödel's 1946 Princeton Bicentennial Lecture.Juliette Kennedy - 2013 - Association for Symbolic Logic: The Bulletin of Symbolic Logic 19 (3).
Gödel on Tarski.Stanisław Krajewski - 2004 - Annals of Pure and Applied Logic 127 (1-3):303-323.
Logicality and Invariance.Denis Bonnay - 2006 - Bulletin of Symbolic Logic 14 (1):29-68.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Logical Consequence and Natural Language.Michael Glanzberg - 2015 - In Colin Caret & Ole Hjortland (eds.), Foundations of Logical Consequence. Oxford University Press. pp. 71-120.
The Principles of Mathematics Revisited.Jaakko Hintikka - 1996 - Cambridge University Press.
Tarski On Logical Notions.Luca Bellotti - 2003 - Synthese 135 (3):401-413.
Notas sobre el “Wahrheitsbegriff”, II.Mario Torrente - 2001 - Análisis Filosófico 21 (2):149-186.