Goedel, Tarski and the Lure of Natural Language
-10%
portes grátis
Goedel, Tarski and the Lure of Natural Language
Logical Entanglement, Formalism Freeness
Kennedy, Juliette
Cambridge University Press
12/2020
220
Dura
Inglês
9781107012578
15 a 20 dias
440
Descrição não disponível.
1. Introduction; 1.1 The Syntax/Semantics Distinction; 1.2 Our Logical Pluralism; 1.3 Formal vs Linguistic Semantics; 2. Formalism Freeness and Entanglement: Definitions; 2.1 Precedents; 2.2 Entanglement and Formalism Freeness: Varieties; 2.3 A Simple Preference for Semantic Methods?; 3. Computability: the Primary Example; 3.1 On Adequacy; 3.2 Different Notions of Computability Emerge in the 1930s; 3.3 The 'Scope Problem'; 3.4 Turing's Analysis of Computability; 3.5 Goedel's Reaction to Turing's Work at the Time; 3.6 Coda: a Word About Deviant Encodings; 4. Goedel and Formalism Independence; 4.1 Goedel on Formalism; 4.2 Episodes of Formalism Independence in Goedel's Writings; 4.3 Goedel's Princeton Bicentennial Lecture; 4.4 Implementation; 4.5 Logical Autonomy?; 5. Tarski and 'the Mathematical'; 5.1 'The Mathematical', Definable Sets of Reals, and Naive Set Theory; 5.2 Tarski's Naturalism; 5.3 Squeezing First Order Definability; 5.4 Tarski and Logicality; 5.5 In Sum: Parataxis; 5.6 Coda: an Improvement of McGee's Theorem; 6. Model Theoretic Aspects; 6.1 Abstract Elementary Classes; 6.2 Patchwork Foundations, On-Again-Off-Again-Sim and Implicit Syntax; 6.3 Implicit Syntax, Implicit Logic; 6.4 A Remark on Set Theory; 6.5 Symbiosis; 6.6 Coda: Symbiosis in Detail; 7. On the Side of Natural Language.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
Godel; Tarski; Formalism freeness; Logical entanglement; syntax/semantics distinction; definability; formalisation; semantics; symbiosis; extended constructibility
1. Introduction; 1.1 The Syntax/Semantics Distinction; 1.2 Our Logical Pluralism; 1.3 Formal vs Linguistic Semantics; 2. Formalism Freeness and Entanglement: Definitions; 2.1 Precedents; 2.2 Entanglement and Formalism Freeness: Varieties; 2.3 A Simple Preference for Semantic Methods?; 3. Computability: the Primary Example; 3.1 On Adequacy; 3.2 Different Notions of Computability Emerge in the 1930s; 3.3 The 'Scope Problem'; 3.4 Turing's Analysis of Computability; 3.5 Goedel's Reaction to Turing's Work at the Time; 3.6 Coda: a Word About Deviant Encodings; 4. Goedel and Formalism Independence; 4.1 Goedel on Formalism; 4.2 Episodes of Formalism Independence in Goedel's Writings; 4.3 Goedel's Princeton Bicentennial Lecture; 4.4 Implementation; 4.5 Logical Autonomy?; 5. Tarski and 'the Mathematical'; 5.1 'The Mathematical', Definable Sets of Reals, and Naive Set Theory; 5.2 Tarski's Naturalism; 5.3 Squeezing First Order Definability; 5.4 Tarski and Logicality; 5.5 In Sum: Parataxis; 5.6 Coda: an Improvement of McGee's Theorem; 6. Model Theoretic Aspects; 6.1 Abstract Elementary Classes; 6.2 Patchwork Foundations, On-Again-Off-Again-Sim and Implicit Syntax; 6.3 Implicit Syntax, Implicit Logic; 6.4 A Remark on Set Theory; 6.5 Symbiosis; 6.6 Coda: Symbiosis in Detail; 7. On the Side of Natural Language.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
