
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
- Essential is ideal for learners and professionals who enjoy exploring a wide range of subjects. Access the Essential Library with 800,000+ trusted titles and best-sellers across business, personal growth, and the humanities. Includes unlimited reading time and Standard Read Aloud voice.
- Complete: Perfect for advanced learners and researchers needing full, unrestricted access. Unlock 1.4M+ books across hundreds of subjects, including academic and specialized titles. The Complete Plan also includes advanced features like Premium Read Aloud and Research Assistant.
Please note we cannot support devices running on iOS 13 and Android 7 or earlier. Learn more about using the app.
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