Gödel, Tarski and the Lure of Natural Language
Logical Entanglement, Formalism Freeness
- English
- PDF
- Available on iOS & Android
Gödel, Tarski and the Lure of Natural Language
Logical Entanglement, Formalism Freeness
About This Book
Is mathematics 'entangled' with its various formalisations? Or arethe central conceptsof mathematics largely insensitivetoformalisation, 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 bywhat she calls the 'natural language moves' of Gödeland Tarski, Juliette Kennedy considers what rolesthe concepts of 'entanglement' and 'formalism freeness' play in a range oflogical 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. Thetreatment is historically, logically and set-theoretically rich, andtopics such as naturalism and foundations receive their due, but now with a new twist.
Frequently asked questions
Information
Table of contents
- Cover
- Half-title page
- Title page
- Copyright page
- Dedication
- Contents
- Preface
- 1 Introduction
- 2 Formalism Freeness and Entanglement: Definitions
- 3 Computability: The Primary Example
- 4 Gödel and Formalism Independence
- 5 Tarski and "the Mathematical''
- 6 Model-Theoretic Aspects
- 7 On the Side of Natural Language
- Bibliography
- Index