Foundations without foundationalism [[electronic resource] ] : a case for second-order logic / / Stewart Shapiro |
Autore | Shapiro Stewart <1951-> |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | 1 online resource (xxii, 277 p.) |
Disciplina | 511.3 |
Collana |
aOxford logic guides
Oxford science publications |
Soggetto topico |
Logic, Symbolic and mathematical
Logic |
Soggetto genere / forma | Electronic books. |
ISBN |
9786611943967
1-281-94396-7 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910453864003321 |
Shapiro Stewart <1951-> | ||
Oxford, : Clarendon Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations without foundationalism [[electronic resource] ] : a case for second-order logic |
Autore | Shapiro Stewart <1951-> |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | xxii, 277 p |
Collana | Oxford logic guides |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
ISBN |
0191524018
9780191524011 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910795848303321 |
Shapiro Stewart <1951-> | ||
Oxford, : Clarendon Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Foundations without foundationalism : a case for second-order logic |
Autore | Shapiro Stewart <1951-> |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | xxii, 277 p |
Disciplina | 511.3 |
Collana | Oxford logic guides |
Soggetto topico |
Logic, Symbolic and mathematical
Mathematics |
ISBN |
0191524018
9780191524011 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Intro -- PREFACE -- Contents -- PART I: ORIENTATION -- 1. Terms and questions -- 1.1 Orientation -- 1.2 What is the issue? -- 1.3 Sets and properties -- 2. Foundationalism and foundations of mathematics -- 2.1 Variations and metaphors -- 2.2 Foundations and psychologism -- 2.3 Two conceptions of logic -- 2.4 Marriage: Can there be harmony? -- 2.5 Divorce: Life without completeness -- 2.6 Logic and computation -- PART II: LOGIC AND MATHEMATICS -- 3. Theory -- 3.1 Language -- 3.2 Deductive systems -- 3.3 Semantics -- 4. Metatheory -- 4.1 First-order theories -- 4.2 Second-order-standard semantics -- 4.3 Non-standard semantics-Henkin and first-order -- 5. Second-order logic and mathematics -- 5.1 Mathematical notions -- 5.2 First-order theories-what goes wrong -- 5.3 Second-order languages and the practice of mathematics -- 5.4 Set theory -- 6. Advanced metatheory -- 6.1 A word on semantic theory -- 6.2 Reductions -- 6.3 Reflection: small large cardinals -- 6.4 Löwenheim-Skolem analogues: large large cardinals -- 6.5 Characterizations of first-order logic -- 6.6 Definability and other odds and ends -- PART III: HISTORY AND PHILOSOPHY -- 7. The historical 'triumph' of first-order languages -- 7.1 Introduction -- 7.2 Narrative -- 7.3 To the present -- 8. Second-order logic and rule-following -- 8.1 The regress -- 8.2 Options -- 8.3 Rules and logic -- 9. The competition -- 9.1 Other logics -- 9.2 Free relation variables -- 9.3 First-order set theory -- References -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- J -- K -- L -- M -- N -- O -- P -- Q -- R -- S -- T -- U -- V -- W -- Z. |
Record Nr. | UNINA-9910824775003321 |
Shapiro Stewart <1951-> | ||
Oxford, : Clarendon Press | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Philosophy of mathematics [[electronic resource] ] : structure and ontology / / Stewart Shapiro |
Autore | Shapiro Stewart <1951-> |
Pubbl/distr/stampa | Oxford, : Oxford University Press, 1997 |
Descrizione fisica | 1 online resource (x, 279 p.) |
Disciplina | 510/.1 |
Soggetto topico |
Mathematics - Philosophy
Mathematics |
Soggetto genere / forma | Electronic books. |
ISBN |
1-280-45096-7
9786610450961 0-19-802545-9 1-4237-6518-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910452145703321 |
Shapiro Stewart <1951-> | ||
Oxford, : Oxford University Press, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Philosophy of mathematics [[electronic resource] ] : structure and ontology / / Stewart Shapiro |
Autore | Shapiro Stewart <1951-> |
Pubbl/distr/stampa | Oxford, : Oxford University Press, 1997 |
Descrizione fisica | 1 online resource (x, 279 p.) |
Disciplina | 510/.1 |
Soggetto topico |
Mathematics - Philosophy
Mathematics |
ISBN |
1-280-45096-7
9786610450961 0-19-802545-9 1-4237-6518-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Record Nr. | UNINA-9910777534203321 |
Shapiro Stewart <1951-> | ||
Oxford, : Oxford University Press, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
Philosophy of mathematics : structure and ontology / / Stewart Shapiro |
Autore | Shapiro Stewart <1951-> |
Edizione | [1st ed.] |
Pubbl/distr/stampa | Oxford, : Oxford University Press, 1997 |
Descrizione fisica | 1 online resource (x, 279 p.) |
Disciplina | 510/.1 |
Soggetto topico |
Mathematics - Philosophy
Mathematics |
ISBN |
1-280-45096-7
9786610450961 0-19-802545-9 1-4237-6518-4 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Contents -- Introduction -- PART I: PERSPECTIVE -- 1 Mathematics and Its Philosophy -- 2 Object and Truth: A Realist Manifesto -- 1 Slogans -- 2 Methodology -- 3 Philosophy -- 4 Interlude on Antirealism -- 5 Quine -- 6 A Role for the External -- PART II: STRUCTURALISM -- 3 Structure -- 1 Opening -- 2 Ontology: Object -- 3 Ontology: Structure -- 4 Theories of Structure -- 5 Mathematics: Structures, All the Way Down -- 6 Addendum: Function and Structure -- 4 Epistemology and Reference -- 1 Epistemic Preamble -- 2 Small Finite Structure: Abstraction and Pattern Recognition -- 3 Long Strings and Large Natural Numbers -- 4 To the Infinite: The Natural-number Structure -- 5 Indiscernibility, Identity, and Object -- 6 Ontological Interlude -- 7 Implicit Definition and Structure -- 8 Existence and Uniqueness: Coherence and Categoricity -- 9 Conclusions: Language, Reference, and Deduction -- 5 How We Got Here -- 1 When Does Structuralism Begin? -- 2 Geometry, Space, Structure -- 3 A Tale of Two Debates -- 4 Dedekind and ante rem Structures -- 5 Nicholas Bourbaki -- PART III: RAMIFICATIONS AND APPLICATIONS -- 6 Practice: Construction, Modality, Logic -- 1 Dynamic Language -- 2 Idealization to the Max -- 3 Construction, Semantics, and Ontology -- 4 Construction, Logic, and Object -- 5 Dynamic Language and Structure -- 6 Synthesis -- 7 Assertion, Modality, and Truth -- 8 Practice, Logic, and Metaphysics -- 7 Modality, Structure, Ontology -- 1 Modality -- 2 Modal Fictionalism -- 3 Modal Structuralism -- 4 Other Bargains -- 5 What Is a Structuralist to Make of All This? -- 8 Life Outside Mathematics: Structure and Reality -- 1 Structure and Science-the Problem -- 2 Application and Structure -- 3 Borders -- 4 Maybe It Is Structures All the Way Down -- References -- Index -- A -- B -- C -- D -- E -- F -- G -- H -- I -- K -- L -- M -- N -- O -- P -- Q.
R -- S -- T -- U -- V -- W -- Z. |
Record Nr. | UNINA-9910810174403321 |
Shapiro Stewart <1951-> | ||
Oxford, : Oxford University Press, 1997 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|