Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link |
Pubbl/distr/stampa | Boston : , : De Gruyter, , [2014] |
Descrizione fisica | 1 online resource (430 p.) |
Disciplina | 510.1 |
Collana | Logos : Studien zur Logik, Sprachphilosophie und Metaphysik |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
Soggetto non controllato |
Philosophy of mathematics
history of mathematics mathematics |
ISBN |
1-61451-847-5
1-61451-996-X |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Contents -- Preface -- Duality, Epistemic Efficiency & Consistency / Detlefsen, Michael -- Frege on Quantities and Real Numbers in Consideration of the Theories of Cantor, Russell and Others / Schirn, Matthias -- Frege on Formality and the 1906 Independence-Test / Blanchette, Patricia A. -- Formal Discourse in Russell: From Metaphysics to Philosophical Logic / Link, Godehard -- On Live and Dead Signs in Mathematics / Mühlhölzer, Felix -- Generalization and the Impossible: Issues in the search for generalized mathematics around 1900 / Ziche, Paul -- Assumptions of Infinity / Niebergall, Karl-Georg -- The Interpretation of Classes in Axiomatic Set Theory / Roth, Daniel / Schneider, Gregor -- Purity in Arithmetic: some Formal and Informal Issues / Arana, Andrew -- Domain Extensions and Higher-Order Syntactical Interpretations / Polański, Marek -- Finite Methods in Mathematical Practice / Crosilla, Laura / Schuster, Peter -- List of Contributors -- Name Index |
Record Nr. | UNINA-9910811237303321 |
Boston : , : De Gruyter, , [2014] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Founding mathematics on semantic conventions / / Casper Storm Hansen |
Autore | Hansen Casper Storm |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (259 pages) |
Disciplina | 510.1 |
Collana | Synthese Library |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical Semantics (Philosophy) Filosofia de la matemàtica Lògica matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-88534-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Founding Mathematics on Semantic Conventions -- Preface -- Contents -- 1 Introduction -- 1.1 Overview and Guide to Partial Reading -- 2 Classical Mathematics and Plenitudinous Combinatorialism -- 2.1 Large Cardinal Axioms and Theorems of Arithmetic -- 2.2 Transfinite Ordinals -- 2.3 Transfinite Cardinals -- 2.4 The Continuum Hypothesis -- 3 Intuitionism and Choice Sequences -- 3.1 General Introduction -- 3.2 Brouwer on Freely Proceeding Choice Sequences -- 3.3 Constitution of Free Choice Sequences -- 3.4 Evaluation of Brouwer's Claim -- 3.5 Verificationism and Intuitionistic Logic -- 4 From Logicism to Predicativism -- 4.1 Frege -- 4.2 Russell -- 4.3 Weyl -- 4.4 Weyl's Failure to Include All Real Numbers -- 5 Conventional Truth -- 5.1 The Obvious Solution to the Liar Paradox -- 5.2 Conventional Truth Conditions -- 5.3 The Dogma -- 5.4 Possible Language Conventions -- 5.5 T-schemas and Expressive Strength -- 5.6 Dialectical Situation -- 5.7 The View from Nowhere -- 5.8 Comparison with Chihara's Position -- 5.9 Revenge -- 6 Semantic Conventionalism for Mathematics -- 6.1 Needs Assessment -- 6.2 Simple Arithmetic as a Conventional Language -- 6.3 Quine's Anti-Conventionalism -- 6.4 Rule-Following -- 6.5 Choice of Logic -- 7 A Convention for a Type-free Language -- 7.1 The Kripke Convention and Its Shortcomings -- 7.2 Reformulating the Kripke Convention -- 7.2.1 Collapsing Truth and Satisfaction of View-From-Nowhere Truth Conditions -- 7.2.2 Kleenification -- 7.2.3 Kripke Recursion -- 7.3 Adding a Conditional with Supervaluational Semantics -- 7.3.1 Supervaluation over All Possibilities -- 7.3.2 View-From-Nowhere Truth Conditions for the Strong Conditional -- 7.3.3 If the Supervaluation Criterion is Not Satisfied -- 7.3.4 Ensuring Quantification over All Possibilities in the Presence of Supervaluation.
7.3.5 Iteration of the Strong Conditional -- 7.3.6 Summary -- 7.4 Denoting Terms for Applied Mathematics -- 7.5 Meta-Theorems -- 8 Basic Mathematics -- 8.1 Logic -- 8.2 Natural Numbers -- 8.3 Integers -- 8.4 Rational Numbers -- 8.5 Classicality So Far -- 8.6 Classes -- 8.7 An Example of Applied Mathematics -- 9 Real Analysis -- 9.1 Functions -- 9.2 Real Numbers -- 9.3 Exponentiation -- 9.4 Completeness -- 9.5 Suprema, Infima, and Roots -- 9.6 Continuity -- 9.7 Operations on Functions -- 9.8 Differentiation -- 9.8.1 Calculating Derivatives -- 9.8.2 Uniform Differentiability -- 9.9 Integration -- 9.10 Unbounded Intervals and Piecewise Continuity -- 9.11 Completifications of Functions Generalized -- 9.12 Another Example of Applied Mathematics -- 9.13 Diagonalization -- 10 Possibility -- 10.1 All Possible Real Numbers -- 10.2 Modal Metaphysics -- 10.3 Conclusion -- References -- Index of Symbols -- General Index. |
Record Nr. | UNISA-996466402303316 |
Hansen Casper Storm
![]() |
||
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. di Salerno | ||
|
Founding mathematics on semantic conventions / / Casper Storm Hansen |
Autore | Hansen Casper Storm |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2021] |
Descrizione fisica | 1 online resource (259 pages) |
Disciplina | 510.1 |
Collana | Synthese Library |
Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical Semantics (Philosophy) Filosofia de la matemàtica Lògica matemàtica |
Soggetto genere / forma | Llibres electrònics |
ISBN | 3-030-88534-8 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Founding Mathematics on Semantic Conventions -- Preface -- Contents -- 1 Introduction -- 1.1 Overview and Guide to Partial Reading -- 2 Classical Mathematics and Plenitudinous Combinatorialism -- 2.1 Large Cardinal Axioms and Theorems of Arithmetic -- 2.2 Transfinite Ordinals -- 2.3 Transfinite Cardinals -- 2.4 The Continuum Hypothesis -- 3 Intuitionism and Choice Sequences -- 3.1 General Introduction -- 3.2 Brouwer on Freely Proceeding Choice Sequences -- 3.3 Constitution of Free Choice Sequences -- 3.4 Evaluation of Brouwer's Claim -- 3.5 Verificationism and Intuitionistic Logic -- 4 From Logicism to Predicativism -- 4.1 Frege -- 4.2 Russell -- 4.3 Weyl -- 4.4 Weyl's Failure to Include All Real Numbers -- 5 Conventional Truth -- 5.1 The Obvious Solution to the Liar Paradox -- 5.2 Conventional Truth Conditions -- 5.3 The Dogma -- 5.4 Possible Language Conventions -- 5.5 T-schemas and Expressive Strength -- 5.6 Dialectical Situation -- 5.7 The View from Nowhere -- 5.8 Comparison with Chihara's Position -- 5.9 Revenge -- 6 Semantic Conventionalism for Mathematics -- 6.1 Needs Assessment -- 6.2 Simple Arithmetic as a Conventional Language -- 6.3 Quine's Anti-Conventionalism -- 6.4 Rule-Following -- 6.5 Choice of Logic -- 7 A Convention for a Type-free Language -- 7.1 The Kripke Convention and Its Shortcomings -- 7.2 Reformulating the Kripke Convention -- 7.2.1 Collapsing Truth and Satisfaction of View-From-Nowhere Truth Conditions -- 7.2.2 Kleenification -- 7.2.3 Kripke Recursion -- 7.3 Adding a Conditional with Supervaluational Semantics -- 7.3.1 Supervaluation over All Possibilities -- 7.3.2 View-From-Nowhere Truth Conditions for the Strong Conditional -- 7.3.3 If the Supervaluation Criterion is Not Satisfied -- 7.3.4 Ensuring Quantification over All Possibilities in the Presence of Supervaluation.
7.3.5 Iteration of the Strong Conditional -- 7.3.6 Summary -- 7.4 Denoting Terms for Applied Mathematics -- 7.5 Meta-Theorems -- 8 Basic Mathematics -- 8.1 Logic -- 8.2 Natural Numbers -- 8.3 Integers -- 8.4 Rational Numbers -- 8.5 Classicality So Far -- 8.6 Classes -- 8.7 An Example of Applied Mathematics -- 9 Real Analysis -- 9.1 Functions -- 9.2 Real Numbers -- 9.3 Exponentiation -- 9.4 Completeness -- 9.5 Suprema, Infima, and Roots -- 9.6 Continuity -- 9.7 Operations on Functions -- 9.8 Differentiation -- 9.8.1 Calculating Derivatives -- 9.8.2 Uniform Differentiability -- 9.9 Integration -- 9.10 Unbounded Intervals and Piecewise Continuity -- 9.11 Completifications of Functions Generalized -- 9.12 Another Example of Applied Mathematics -- 9.13 Diagonalization -- 10 Possibility -- 10.1 All Possible Real Numbers -- 10.2 Modal Metaphysics -- 10.3 Conclusion -- References -- Index of Symbols -- General Index. |
Record Nr. | UNINA-9910508469503321 |
Hansen Casper Storm
![]() |
||
Cham, Switzerland : , : Springer, , [2021] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From Kant to Hilbert : a source book in the foundations of mathematics . Volume II / / [edited by] William Ewald [[electronic resource]] |
Pubbl/distr/stampa | Oxford : , : Clarendon, , 2023 |
Descrizione fisica | 1 online resource (709 pages) |
Disciplina | 510/.1 |
Collana | Oxford scholarship online |
Soggetto topico | Mathematics - Philosophy |
ISBN |
1-383-02109-0
1-282-36565-7 9786612365652 0-19-152310-0 1-4356-0966-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; 16. GEORG FRIEDRICH BERNHARD RIEMANN (1826-1866); 17. HERMANN VON HELMHOLTZ (1821-1894); 18. JULIUS WILHELM RICHARD DEDEKIND (1831-1916); 19. GEORG CANTOR (1845-1918); 20. LEOPOLD KRONECKER (1823-1891); 21. CHRISTIAN FELIX KLEIN (1849-1925); 22. JULES HENRI POINCARÉ (1854-1912); 23. THE FRENCH ANALYSTS; 24. DAVID HILBERT (1862-1943); 25. LUITZEN EGBERTUS JEAN BROUWER (1881-1966); 26. ERNST ZERMELO (1871-1953); 27. GODFREY HAROLD HARDY (1877-1947); 28. NICOLAUS BOURBAKI; Bibliography; Index |
Record Nr. | UNINA-9910809949503321 |
Oxford : , : Clarendon, , 2023 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From Kant to Hilbert [[electronic resource] ] : a source book in the foundations of mathematics . Volume 2 / / [compiled by] William Ewald |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | 1 online resource (709 p.) |
Disciplina | 510/.1 |
Altri autori (Persone) | EwaldWilliam Bragg <1925-> |
Collana | Oxford science publications |
Soggetto topico |
Mathematics - Philosophy
Mathematicians |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-36565-7
9786612365652 0-19-152310-0 1-4356-0966-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; 16. GEORG FRIEDRICH BERNHARD RIEMANN (1826-1866); 17. HERMANN VON HELMHOLTZ (1821-1894); 18. JULIUS WILHELM RICHARD DEDEKIND (1831-1916); 19. GEORG CANTOR (1845-1918); 20. LEOPOLD KRONECKER (1823-1891); 21. CHRISTIAN FELIX KLEIN (1849-1925); 22. JULES HENRI POINCARÉ (1854-1912); 23. THE FRENCH ANALYSTS; 24. DAVID HILBERT (1862-1943); 25. LUITZEN EGBERTUS JEAN BROUWER (1881-1966); 26. ERNST ZERMELO (1871-1953); 27. GODFREY HAROLD HARDY (1877-1947); 28. NICOLAUS BOURBAKI; Bibliography; Index |
Record Nr. | UNINA-9910458125303321 |
Oxford, : Clarendon Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From Kant to Hilbert [[electronic resource] ] : a source book in the foundations of mathematics . Volume 2 / / [compiled by] William Ewald |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | 1 online resource (709 p.) |
Disciplina | 510/.1 |
Altri autori (Persone) | EwaldWilliam Bragg <1925-> |
Collana | Oxford science publications |
Soggetto topico |
Mathematics - Philosophy
Mathematicians |
ISBN |
1-383-02109-0
1-282-36565-7 9786612365652 0-19-152310-0 1-4356-0966-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; 16. GEORG FRIEDRICH BERNHARD RIEMANN (1826-1866); 17. HERMANN VON HELMHOLTZ (1821-1894); 18. JULIUS WILHELM RICHARD DEDEKIND (1831-1916); 19. GEORG CANTOR (1845-1918); 20. LEOPOLD KRONECKER (1823-1891); 21. CHRISTIAN FELIX KLEIN (1849-1925); 22. JULES HENRI POINCARÉ (1854-1912); 23. THE FRENCH ANALYSTS; 24. DAVID HILBERT (1862-1943); 25. LUITZEN EGBERTUS JEAN BROUWER (1881-1966); 26. ERNST ZERMELO (1871-1953); 27. GODFREY HAROLD HARDY (1877-1947); 28. NICOLAUS BOURBAKI; Bibliography; Index |
Record Nr. | UNINA-9910784517003321 |
Oxford, : Clarendon Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From Kant to Hilbert [[electronic resource] ] : a source book in the foundations of mathematics . Volume 1 / / [compiled by] William Ewald |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | 1 online resource (695 p.) |
Disciplina |
510.1
510/.1 |
Altri autori (Persone) | EwaldWilliam Bragg <1925-> |
Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
Soggetto genere / forma | Electronic books. |
ISBN |
1-281-76998-3
9786611769987 0-19-152309-7 1-4356-0965-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; Copyright Permissions; Introduction; 1. GEORGE BERKELEY (1685-1753); 2. COLIN MACLAURIN (1698-1746); 3. JEAN LEROND D'ALEMBERT (1717-1783); 4. IMMANUEL KANT (1724-1804); 5. JOHANN HEINRICH LAMBERT (1728-1777); 6. BERNARD BOLZANO (1781-1848); 7. CARL FRIEDRICH GAUSS (1777-1855); 8. DUNCAN GREGORY (1813-1844); 9. AUGUSTUS DE MORGAN (1806-1871); 10. WILLIAM ROWAN HAMILTON (1805-1865); 11. GEORGE BOOLE (1815-1864); 12. JAMES JOSEPH SYLVESTER (1814-1897); 13. WILLIAM KINGDON CLIFFORD (1845-1879); 14. ARTHUR CAYLEY (1821-1895); 15. CHARLES SANDERS PEIRCE (1839-1914); References; Index |
Record Nr. | UNINA-9910452013503321 |
Oxford, : Clarendon Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From Kant to Hilbert [[electronic resource] ] : a source book in the foundations of mathematics . Volume 1 / / [compiled by] William Ewald |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | 1 online resource (695 p.) |
Disciplina |
510.1
510/.1 |
Altri autori (Persone) | EwaldWilliam Bragg <1925-> |
Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
ISBN |
1-383-02108-2
1-281-76998-3 9786611769987 0-19-152309-7 1-4356-0965-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; Copyright Permissions; Introduction; 1. GEORGE BERKELEY (1685-1753); 2. COLIN MACLAURIN (1698-1746); 3. JEAN LEROND D'ALEMBERT (1717-1783); 4. IMMANUEL KANT (1724-1804); 5. JOHANN HEINRICH LAMBERT (1728-1777); 6. BERNARD BOLZANO (1781-1848); 7. CARL FRIEDRICH GAUSS (1777-1855); 8. DUNCAN GREGORY (1813-1844); 9. AUGUSTUS DE MORGAN (1806-1871); 10. WILLIAM ROWAN HAMILTON (1805-1865); 11. GEORGE BOOLE (1815-1864); 12. JAMES JOSEPH SYLVESTER (1814-1897); 13. WILLIAM KINGDON CLIFFORD (1845-1879); 14. ARTHUR CAYLEY (1821-1895); 15. CHARLES SANDERS PEIRCE (1839-1914); References; Index |
Record Nr. | UNINA-9910778255603321 |
Oxford, : Clarendon Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
From Kant to Hilbert [[electronic resource] ] : a source book in the foundations of mathematics . Volume 1 / / [compiled by] William Ewald |
Pubbl/distr/stampa | Oxford, : Clarendon Press |
Descrizione fisica | 1 online resource (695 p.) |
Disciplina |
510.1
510/.1 |
Altri autori (Persone) | EwaldWilliam Bragg <1925-> |
Soggetto topico |
Mathematics - Philosophy
Mathematics - History |
ISBN |
1-383-02108-2
1-281-76998-3 9786611769987 0-19-152309-7 1-4356-0965-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Contents; Copyright Permissions; Introduction; 1. GEORGE BERKELEY (1685-1753); 2. COLIN MACLAURIN (1698-1746); 3. JEAN LEROND D'ALEMBERT (1717-1783); 4. IMMANUEL KANT (1724-1804); 5. JOHANN HEINRICH LAMBERT (1728-1777); 6. BERNARD BOLZANO (1781-1848); 7. CARL FRIEDRICH GAUSS (1777-1855); 8. DUNCAN GREGORY (1813-1844); 9. AUGUSTUS DE MORGAN (1806-1871); 10. WILLIAM ROWAN HAMILTON (1805-1865); 11. GEORGE BOOLE (1815-1864); 12. JAMES JOSEPH SYLVESTER (1814-1897); 13. WILLIAM KINGDON CLIFFORD (1845-1879); 14. ARTHUR CAYLEY (1821-1895); 15. CHARLES SANDERS PEIRCE (1839-1914); References; Index |
Record Nr. | UNINA-9910824447003321 |
Oxford, : Clarendon Press | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Hilbert's programs and beyond / / Wilfried Sieg |
Autore | Sieg Wilfried <1945-> |
Pubbl/distr/stampa | Oxford, [England] ; ; New York, New York : , : Oxford University Press, , 2013 |
Descrizione fisica | 1 online resource (452 p.) |
Disciplina | 510.1 |
Collana | Logic and computation in philosophy |
Soggetto topico | Mathematics - Philosophy |
Soggetto genere / forma | Electronic books. |
ISBN | 0-19-970715-4 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Cover; Contents; Introduction; In.1 A Perspective on Hilbert's Programs; In.2 Milestones; I: Mathematical roots; I.1 Dedekind's analysis of number: systems and axioms; I.2 Methods for real arithmetic; I.3 Hilbert's programs: 1917-1922; II: Analyses: Historical; II.1 Finitist proof theory: 1922-1934; II.2 After Königsberg; II.3 In the shadow of incompleteness: Hilbert and Gentzen; II.4 Gödel at Zilsel's; II.5 Hilbert and Bernays: 1939; Systematical; II.6 Foundations for analysis and proof theory; II.7 Reductions of theories for analysis; II.8 Hilbert's program sixty years later
II.9 On reverse mathematicsII.10 Relative consistency and accessible domains; III: Philosophical horizons; III.1 Aspects of mathematical experience; III.2 Beyond Hilbert's reach?; III.3 Searching for proofs (and uncovering capacities of the mathematical mind); Bibliography; Index; A; B; C; D; E; F; G; H; I; K; L; M; N; O; P; R; S; T; V; W; Z |
Record Nr. | UNINA-9910466300203321 |
Sieg Wilfried <1945->
![]() |
||
Oxford, [England] ; ; New York, New York : , : Oxford University Press, , 2013 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|