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.
Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link
| 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 genere / forma | Electronic books. |
| 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-9910464712803321 |
| Boston : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link
| 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-9910788811203321 |
| Boston : , : De Gruyter, , [2014] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Formalism and beyond : on the nature of mathematical discourse / / edited by Godehard Link
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Foundation of set theory / by Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy ; with the collaboration of Dirk van Dalen
| Foundation of set theory / by Abraham A. Fraenkel, Yehoshua Bar-Hillel, Azriel Levy ; with the collaboration of Dirk van Dalen |
| Autore | FRAENKEL, Abraham |
| Edizione | [2. rev. ed] |
| Pubbl/distr/stampa | Amsterdam ; London : North Holland, 1973 |
| Descrizione fisica | X, 404 p. ; 22 cm |
| Disciplina | 510.1 |
| Altri autori (Persone) |
YERISHUA, Bar-Hillel
LEVY, Azriel |
| Collana | Studies in logic and the foundations of mathematics |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990001575300203316 |
FRAENKEL, Abraham
|
||
| Amsterdam ; London : North Holland, 1973 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Foundations of mathematics / William S. Hatcher
| Foundations of mathematics / William S. Hatcher |
| Autore | HATCHER, William S. |
| Pubbl/distr/stampa | Philadelphia : W. B. Saunders company, 1968 |
| Descrizione fisica | XIII, 327 p. ; 24 cm |
| Disciplina | 510.1 |
| Collana | Saunders mathematics books |
| Soggetto topico | Matematica |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNISA-990003338680203316 |
|
HATCHER, William S.
|
||
| Philadelphia : W. B. Saunders company, 1968 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Founding mathematics on semantic conventions / / Casper Storm Hansen
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. di Salerno | ||
| ||
Founding mathematics on semantic conventions / / Casper Storm Hansen
| 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] | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
Fra Descartes e Newton : Isaac Barrow e John Wallis / Maierù Luigi ; prefazione di Imre Toth
| Fra Descartes e Newton : Isaac Barrow e John Wallis / Maierù Luigi ; prefazione di Imre Toth |
| Autore | Maierù, Luigi |
| Pubbl/distr/stampa | Soveria Mannelli, : Rubbettino, 2000 |
| Descrizione fisica | 172 p. ; 21 cm |
| Disciplina | 510.1 |
| Collana | Storia delle idee |
| Soggetto non controllato |
Descartes, René - Pensiero scientifico
Barrow Isac <1630-1677> - Pensiero scientifico Newton, Isaac Wallis, John <1616-1703> - Pensiero scientifico |
| ISBN | 978-88-7284-320-8 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | ita |
| Record Nr. | UNINA-9910471954003321 |
|
Maierù, Luigi
|
||
| Soveria Mannelli, : Rubbettino, 2000 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Federico II | ||
| ||
From Kant to Hilbert : a source book in the foundations of mathematics / William Ewald
| From Kant to Hilbert : a source book in the foundations of mathematics / William Ewald |
| Autore | Ewald, William |
| Pubbl/distr/stampa | Oxford : Clarendon Press, 1996- |
| Descrizione fisica | v. ; 24 cm. |
| Disciplina | 510.1 |
| Soggetto topico | Matematica - Storia |
| ISBN |
0-19-853470-1
0-19-853471-X 0-19-853271-7 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Nota di contenuto | Vol. 1. - 1996. - XVIII, 648, XXVIII p. Vol. 1. - 1996. - P. 649-1340 |
| Record Nr. | UNIBAS-000011152 |
|
Ewald, William
|
||
| Oxford : Clarendon Press, 1996- | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. della Basilicata | ||
| ||
From Kant to Hilbert : a source book in the foundations of mathematics / William Ewald
| From Kant to Hilbert : a source book in the foundations of mathematics / William Ewald |
| Autore | Ewald, William Bragg |
| Pubbl/distr/stampa | Oxford : Clarendon press, 1996 |
| Descrizione fisica | v. ; 24 cm. |
| Disciplina | 510.1 |
| ISBN | 01-985347-0-1 |
| Formato | Materiale a stampa |
| Livello bibliografico | Monografia |
| Lingua di pubblicazione | eng |
| Record Nr. | UNICAMPANIA-SUN0023698 |
|
Ewald, William Bragg
|
||
| Oxford : Clarendon press, 1996 | ||
| Materiale a stampa | ||
| Lo trovi qui: Univ. Vanvitelli | ||
| ||
