Info
- Utilizzare la checkbox di selezione a fianco di ciascun documento per attivare le funzionalità di stampa, invio email, download nei formati disponibili del (i) record.
In the light of logic / / Solomon Feferman [[electronic resource]]
| In the light of logic / / Solomon Feferman [[electronic resource]] |
| Autore | Feferman Solomon |
| Edizione | [First edition.] |
| Pubbl/distr/stampa | New York ; , : Oxford University Press, , 2023 |
| Descrizione fisica | 1 online resource (353 pages) |
| Disciplina |
510.1
511.3 |
| Collana |
Logic and computation in philosophy
Oxford scholarship online |
| Soggetto topico |
Mathematics - Philosophy
Logic, Symbolic and mathematical |
| ISBN |
0-19-773058-2
1-280-44330-8 9786610443307 0-19-535983-6 0-585-35829-X |
| Formato | Materiale a stampa  |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
Contents; I: FOUNDATIONAL PROBLEMS; 1 Deciding the undecidable: Wrestling with Hilbert's problems; 2 Infinity in mathematics: Is Cantor necessary?; II: FOUNDATIONAL WAYS; 3 The logic of mathematical discovery versus the logical structure of mathematics; 4 Foundational ways; 5 Working foundations; III: GÖDEL; 6 Gödel's life and work; 7 Kurt Gödel: Conviction and caution; 8 Introductory note to Gödel's 1933 lecture; IV: PROOF THEORY; 9 What does logic have to tell us about mathematical proofs?; 10 What rests on what? The proof-theoretic analysis of mathematics
11 Gödel's Dialectica interpretation and its two-way stretchV: COUNTABLY REDUCIBLE MATHEMATICS; 12 Infinity in mathematics: Is Cantor necessary? (Conclusion); 13 Weyl vindicated: Das Kontinuum seventy years later; 14 Why a little bit goes a long way: Logical foundations of scientifically applicable mathematics; Symbols; 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-9910814287503321 |
Feferman Solomon
|
||
| New York ; , : Oxford University Press, , 2023 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The indispensability of mathematics [[electronic resource] /] / Mark Colyvan
| The indispensability of mathematics [[electronic resource] /] / Mark Colyvan |
| Autore | Colyvan Mark |
| Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2001 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics - History
Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
0-19-983313-3
9786610534012 1-280-53401-X 0-19-803144-0 1-4237-5676-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""1 Mathematics and Its Applications""; ""1.1 Realism and Anti-realism in Mathematics""; ""1.2 Indispensability Arguments""; ""1.3 The Road Ahead""; ""2 The Quinean Backdrop""; ""2.1 Introducing Naturalism""; ""2.2 Quinean Naturalism""; ""2.3 The Methodologies of Philosophy and Science""; ""2.4 The Causal Version of Naturalism""; ""2.5 Holism""; ""2.6 The First Premise Revisited""; ""3 The Eleatic Principle""; ""3.1 The Inductive Argument""; ""3.2 The Epistemic Argument""; ""3.3 The Argument from Causal Explanation""; ""3.4 Causal Relevance""
""3.5 Rejecting Inference to the Best Explanation""""3.6 The Content of Scientific Theories""; ""3.7 The Moral""; ""3.8 Recapitulation""; ""4 Field's Fictionalism""; ""4.1 The Science without Numbers Project""; ""4.2 What Is It to Be Indispensable?""; ""4.3 The Role of Confirmation Theory""; ""4.4 The Role of Mathematics in Physical Theories""; ""4.5 Review of Field's Fictionalism""; ""5 Maddy's Objections""; ""5.1 The Objections""; ""5.2 Maddy's Naturalism""; ""5.3 Defending the Indispensability Argument""; ""5.4 Review of Maddy's Objections"" ""6 The Empirical Nature of Mathematical Knowledge""""6.1 The Obviousness of Some Mathematical Truth""; ""6.2 The Unfalsifiability of Mathematics""; ""6.3 The Sober Objection""; ""6.4 Is Mathematics Contingent?""; ""7 Conclusion""; ""7.1 What the Argument Doesn't Show""; ""7.2 The Benacerraf Challenges""; ""7.3 A Slippery Slope?""; ""Bibliography""; ""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-9910451898703321 |
|
Colyvan Mark
|
||
| Oxford ; ; New York, : Oxford University Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The indispensability of mathematics [[electronic resource] /] / Mark Colyvan
| The indispensability of mathematics [[electronic resource] /] / Mark Colyvan |
| Autore | Colyvan Mark |
| Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2001 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics - History
Mathematics - Philosophy |
| ISBN |
0-19-983313-3
9786610534012 1-280-53401-X 0-19-803144-0 1-4237-5676-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""1 Mathematics and Its Applications""; ""1.1 Realism and Anti-realism in Mathematics""; ""1.2 Indispensability Arguments""; ""1.3 The Road Ahead""; ""2 The Quinean Backdrop""; ""2.1 Introducing Naturalism""; ""2.2 Quinean Naturalism""; ""2.3 The Methodologies of Philosophy and Science""; ""2.4 The Causal Version of Naturalism""; ""2.5 Holism""; ""2.6 The First Premise Revisited""; ""3 The Eleatic Principle""; ""3.1 The Inductive Argument""; ""3.2 The Epistemic Argument""; ""3.3 The Argument from Causal Explanation""; ""3.4 Causal Relevance""
""3.5 Rejecting Inference to the Best Explanation""""3.6 The Content of Scientific Theories""; ""3.7 The Moral""; ""3.8 Recapitulation""; ""4 Field's Fictionalism""; ""4.1 The Science without Numbers Project""; ""4.2 What Is It to Be Indispensable?""; ""4.3 The Role of Confirmation Theory""; ""4.4 The Role of Mathematics in Physical Theories""; ""4.5 Review of Field's Fictionalism""; ""5 Maddy's Objections""; ""5.1 The Objections""; ""5.2 Maddy's Naturalism""; ""5.3 Defending the Indispensability Argument""; ""5.4 Review of Maddy's Objections"" ""6 The Empirical Nature of Mathematical Knowledge""""6.1 The Obviousness of Some Mathematical Truth""; ""6.2 The Unfalsifiability of Mathematics""; ""6.3 The Sober Objection""; ""6.4 Is Mathematics Contingent?""; ""7 Conclusion""; ""7.1 What the Argument Doesn't Show""; ""7.2 The Benacerraf Challenges""; ""7.3 A Slippery Slope?""; ""Bibliography""; ""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-9910777536103321 |
|
Colyvan Mark
|
||
| Oxford ; ; New York, : Oxford University Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The indispensability of mathematics [[electronic resource] /] / Mark Colyvan
| The indispensability of mathematics [[electronic resource] /] / Mark Colyvan |
| Autore | Colyvan Mark |
| Pubbl/distr/stampa | Oxford ; ; New York, : Oxford University Press, 2001 |
| Descrizione fisica | 1 online resource (183 p.) |
| Disciplina | 510 |
| Soggetto topico |
Mathematics - History
Mathematics - Philosophy |
| ISBN |
0-19-983313-3
9786610534012 1-280-53401-X 0-19-803144-0 1-4237-5676-2 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto |
""Contents""; ""1 Mathematics and Its Applications""; ""1.1 Realism and Anti-realism in Mathematics""; ""1.2 Indispensability Arguments""; ""1.3 The Road Ahead""; ""2 The Quinean Backdrop""; ""2.1 Introducing Naturalism""; ""2.2 Quinean Naturalism""; ""2.3 The Methodologies of Philosophy and Science""; ""2.4 The Causal Version of Naturalism""; ""2.5 Holism""; ""2.6 The First Premise Revisited""; ""3 The Eleatic Principle""; ""3.1 The Inductive Argument""; ""3.2 The Epistemic Argument""; ""3.3 The Argument from Causal Explanation""; ""3.4 Causal Relevance""
""3.5 Rejecting Inference to the Best Explanation""""3.6 The Content of Scientific Theories""; ""3.7 The Moral""; ""3.8 Recapitulation""; ""4 Field's Fictionalism""; ""4.1 The Science without Numbers Project""; ""4.2 What Is It to Be Indispensable?""; ""4.3 The Role of Confirmation Theory""; ""4.4 The Role of Mathematics in Physical Theories""; ""4.5 Review of Field's Fictionalism""; ""5 Maddy's Objections""; ""5.1 The Objections""; ""5.2 Maddy's Naturalism""; ""5.3 Defending the Indispensability Argument""; ""5.4 Review of Maddy's Objections"" ""6 The Empirical Nature of Mathematical Knowledge""""6.1 The Obviousness of Some Mathematical Truth""; ""6.2 The Unfalsifiability of Mathematics""; ""6.3 The Sober Objection""; ""6.4 Is Mathematics Contingent?""; ""7 Conclusion""; ""7.1 What the Argument Doesn't Show""; ""7.2 The Benacerraf Challenges""; ""7.3 A Slippery Slope?""; ""Bibliography""; ""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-9910823365403321 |
|
Colyvan Mark
|
||
| Oxford ; ; New York, : Oxford University Press, 2001 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinness ; with an introd. by Ernest Nagel ; translated from the German by Paul Foulkes
| The infinite in mathematics : logico-mathematical writings / Felix Kaufmann ; edited by Brian McGuinness ; with an introd. by Ernest Nagel ; translated from the German by Paul Foulkes |
| Autore | Kaufmann, Felix |
| Pubbl/distr/stampa | Boston : D. Reidel Publ. Co., c1978 |
| Descrizione fisica | xvii, 235 p. ; 23 cm |
| Disciplina | 511.3 |
| Collana | Vienna circle collection ; 9 |
| Soggetto topico |
Infinite
Mathematics - Philosophy |
| ISBN | 9027708479 |
| Classificazione | AMS 03A05 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISALENTO-991000995459707536 |
|
Kaufmann, Felix
|
||
| Boston : D. Reidel Publ. Co., c1978 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. del Salento | ||
| ||
Infinitesimal differences [[electronic resource] ] : controversies between leibniz and his contemporaries / / edited by Ursula Goldenbaum and Douglas Jesseph
| Infinitesimal differences [[electronic resource] ] : controversies between leibniz and his contemporaries / / edited by Ursula Goldenbaum and Douglas Jesseph |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, c2008 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 193 |
| Altri autori (Persone) |
GoldenbaumUrsula
JessephDouglas Michael |
| Soggetto topico |
Physics - Philosophy
Mathematics - Philosophy |
| Soggetto genere / forma | Electronic books. |
| ISBN |
1-283-39828-1
9786613398284 3-11-021186-6 |
| Classificazione | CF 5517 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Introduction -- Leery Bedfellows: Newton and Leibniz on the Status of Infinitesimals -- Infinity, Infinitesimals, and the Reform of Cavalieri: John Wallis and his Critics -- Indivisibilia Vera - How Leibniz Came to Love Mathematics -- Indivisibles and Infinitesimals in Early Mathematical Texts of Leibniz -- Archimedes, Infinitesimals and the Law of Continuity: On Leibniz's Fictionalism -- An Enticing (Im)Possibility: Infinitesimals, Differentials, and the Leibnizian Calculus -- Productive Ambiguity in Leibniz's Representation of Infinitesimals -- Generality and Infinitely Small Quantities in Leibniz's Mathematics - The Case of his Arithmetical Quadrature of Conic Sections and Related Curves -- Leibniz's Calculation with Compendia -- Nieuwentijt, Leibniz, and Jacob Hermann on Infinitesimals -- Truth in Fiction: Origins and Consequences of Leibniz's Doctrine of Infinitesimal Magnitudes -- Rule of Continuity and Infinitesimals in Leibniz's Physics -- Leibniz on Infinitesimals and the Reality of Force -- Dead Force, Infinitesimals, and the Mathematicization of Nature -- Backmatter |
| Record Nr. | UNINA-9910454556703321 |
| Berlin ; ; New York, : Walter De Gruyter, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinitesimal differences [[electronic resource] ] : controversies between leibniz and his contemporaries / / edited by Ursula Goldenbaum and Douglas Jesseph
| Infinitesimal differences [[electronic resource] ] : controversies between leibniz and his contemporaries / / edited by Ursula Goldenbaum and Douglas Jesseph |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, c2008 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 193 |
| Altri autori (Persone) |
GoldenbaumUrsula
JessephDouglas Michael |
| Soggetto topico |
Physics - Philosophy
Mathematics - Philosophy |
| ISBN |
1-283-39828-1
9786613398284 3-11-021186-6 |
| Classificazione | CF 5517 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Introduction -- Leery Bedfellows: Newton and Leibniz on the Status of Infinitesimals -- Infinity, Infinitesimals, and the Reform of Cavalieri: John Wallis and his Critics -- Indivisibilia Vera - How Leibniz Came to Love Mathematics -- Indivisibles and Infinitesimals in Early Mathematical Texts of Leibniz -- Archimedes, Infinitesimals and the Law of Continuity: On Leibniz's Fictionalism -- An Enticing (Im)Possibility: Infinitesimals, Differentials, and the Leibnizian Calculus -- Productive Ambiguity in Leibniz's Representation of Infinitesimals -- Generality and Infinitely Small Quantities in Leibniz's Mathematics - The Case of his Arithmetical Quadrature of Conic Sections and Related Curves -- Leibniz's Calculation with Compendia -- Nieuwentijt, Leibniz, and Jacob Hermann on Infinitesimals -- Truth in Fiction: Origins and Consequences of Leibniz's Doctrine of Infinitesimal Magnitudes -- Rule of Continuity and Infinitesimals in Leibniz's Physics -- Leibniz on Infinitesimals and the Reality of Force -- Dead Force, Infinitesimals, and the Mathematicization of Nature -- Backmatter |
| Record Nr. | UNINA-9910782792403321 |
| Berlin ; ; New York, : Walter De Gruyter, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinitesimal differences [[electronic resource] ] : controversies between leibniz and his contemporaries / / edited by Ursula Goldenbaum and Douglas Jesseph
| Infinitesimal differences [[electronic resource] ] : controversies between leibniz and his contemporaries / / edited by Ursula Goldenbaum and Douglas Jesseph |
| Pubbl/distr/stampa | Berlin ; ; New York, : Walter De Gruyter, c2008 |
| Descrizione fisica | 1 online resource (336 p.) |
| Disciplina | 193 |
| Altri autori (Persone) |
GoldenbaumUrsula
JessephDouglas Michael |
| Soggetto topico |
Physics - Philosophy
Mathematics - Philosophy |
| ISBN |
1-283-39828-1
9786613398284 3-11-021186-6 |
| Classificazione | CF 5517 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Frontmatter -- Table of Contents -- Introduction -- Leery Bedfellows: Newton and Leibniz on the Status of Infinitesimals -- Infinity, Infinitesimals, and the Reform of Cavalieri: John Wallis and his Critics -- Indivisibilia Vera - How Leibniz Came to Love Mathematics -- Indivisibles and Infinitesimals in Early Mathematical Texts of Leibniz -- Archimedes, Infinitesimals and the Law of Continuity: On Leibniz's Fictionalism -- An Enticing (Im)Possibility: Infinitesimals, Differentials, and the Leibnizian Calculus -- Productive Ambiguity in Leibniz's Representation of Infinitesimals -- Generality and Infinitely Small Quantities in Leibniz's Mathematics - The Case of his Arithmetical Quadrature of Conic Sections and Related Curves -- Leibniz's Calculation with Compendia -- Nieuwentijt, Leibniz, and Jacob Hermann on Infinitesimals -- Truth in Fiction: Origins and Consequences of Leibniz's Doctrine of Infinitesimal Magnitudes -- Rule of Continuity and Infinitesimals in Leibniz's Physics -- Leibniz on Infinitesimals and the Reality of Force -- Dead Force, Infinitesimals, and the Mathematicization of Nature -- Backmatter |
| Record Nr. | UNINA-9910807368103321 |
| Berlin ; ; New York, : Walter De Gruyter, c2008 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]]
| Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 311 pages) : digital, PDF file(s) |
| Disciplina | 111/.6 |
| Soggetto topico |
Infinite - History
Mathematics - Philosophy |
| ISBN |
1-139-81429-X
1-283-11268-X 0-511-97688-7 1-139-07842-9 1-139-08069-5 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Infinity as a transformative concept in science and theology / Wolfgang Achtner -- The mathematical infinity / Enrico Bombieri -- Warning signs of a possible collapse of contemporary mathematics / Edward Nelson -- The realm of the infinite / W. Hugh Woodin -- A potential subtlety concerning the distinction between determinism and nondeterminism / W. Hugh Woodin -- Concept calculus : much better than / Harvey M. Friedman -- Some considerations on infinity in physics / Carlo Rovelli -- Cosmological intimations of infinity / Anthony Aguirre -- Infinity and the nostalgia of the stars / Marco Bersanelli -- Infinities in cosmology / Michael Heller -- God and infinity : directions for future research / Graham Oppy -- Notes on the concept of the infinite in the history of Western metaphysics / David Bentley Hart -- God and infinity : theological insights from Cantor's mathematics / Robert J. Russell -- A (partially) skeptical response to Hart and Russell / Denys A. Turner. |
| Record Nr. | UNINA-9910459610503321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]]
| Infinity : new research frontiers / / edited by Michael Heller, W. Hugh Woodin [[electronic resource]] |
| Pubbl/distr/stampa | Cambridge : , : Cambridge University Press, , 2011 |
| Descrizione fisica | 1 online resource (xiii, 311 pages) : digital, PDF file(s) |
| Disciplina | 111/.6 |
| Soggetto topico |
Infinite - History
Mathematics - Philosophy |
| ISBN |
1-139-81429-X
1-283-11268-X 0-511-97688-7 1-139-07842-9 1-139-08069-5 |
| Classificazione | MAT018000 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Infinity as a transformative concept in science and theology / Wolfgang Achtner -- The mathematical infinity / Enrico Bombieri -- Warning signs of a possible collapse of contemporary mathematics / Edward Nelson -- The realm of the infinite / W. Hugh Woodin -- A potential subtlety concerning the distinction between determinism and nondeterminism / W. Hugh Woodin -- Concept calculus : much better than / Harvey M. Friedman -- Some considerations on infinity in physics / Carlo Rovelli -- Cosmological intimations of infinity / Anthony Aguirre -- Infinity and the nostalgia of the stars / Marco Bersanelli -- Infinities in cosmology / Michael Heller -- God and infinity : directions for future research / Graham Oppy -- Notes on the concept of the infinite in the history of Western metaphysics / David Bentley Hart -- God and infinity : theological insights from Cantor's mathematics / Robert J. Russell -- A (partially) skeptical response to Hart and Russell / Denys A. Turner. |
| Record Nr. | UNINA-9910790058903321 |
| Cambridge : , : Cambridge University Press, , 2011 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
