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 |
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 |
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 | ||
|
One hundred years of Russell's paradox [[electronic resource] ] : mathematics, logic, philosophy / / edited by Godehard Link |
Pubbl/distr/stampa | New York, : Walter de Gruyter, 2004 |
Descrizione fisica | 1 online resource (672 p.) |
Disciplina | 165 |
Altri autori (Persone) | LinkGodehard |
Collana | De Gruyter series in logic and its applications |
Soggetto topico |
Paradox
Liar paradox |
Soggetto genere / forma | Electronic books. |
ISBN |
1-282-19480-1
9786612194801 3-11-019968-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Table of Contents -- Introduction. Bertrand Russell—The Invention of Mathematical Philosophy -- Set Theory after Russell: The Journey Back to Eden -- A Way Out -- Completeness and Iteration in Modern Set Theory -- Was sind und was sollen (neue) Axiome? -- Iterating Σ Operations in Admissible Set Theory without Foundation: A Further Aspect of Metapredicative Mahlo -- Typical Ambiguity: Trying to Have Your Cake and Eat It Too -- Is ZF Finitistically Reducible? -- Inconsistency in the Real World -- Predicativity, Circularity, and Anti-Foundation -- Russell’s Paradox and Diagonalization in a Constructive Context -- Constructive Solutions of Continuous Equations -- Russell’s Paradox in Consistent Fragments of Frege’s Grundgesetze der Arithmetik -- On a Russellian Paradox about Propositions and Truth -- The Consistency of the Naive Theory of Properties -- The Significance of the Largest and Smallest Numbers for the Oldest Paradoxes -- The Prehistory of Russell’s Paradox -- Logicism’s ‘Insolubilia’ and Their Solution by Russell’s Substitutional Theory -- Substitution and Types: Russell’s Intermediate Theory -- Propositional Ontology and Logical Atomism -- Classes of Classes and Classes of Functions in Principia Mathematica -- A “Constructive” Proper Extension of Ramified Type Theory (The Logic of Principia Mathematica, Second Edition, Appendix B) -- Russell on Method -- Paradoxes in Göttingen -- David Hilbert and Paul du Bois-Reymond: Limits and Ideals -- Russell’s Paradox and Hilbert’s (much Forgotten) View of Set Theory -- Objectivity: The Justification for Extrapolation -- Russell’s Absolutism vs. (?) Structuralism -- Mathematicians and Mathematical Objects -- Russell’s Paradox and Our Conception of Properties, or: Why Semantics Is no Proper Guide to the Nature of Properties -- The Many Lives of Ebenezer Wilkes Smith -- What Makes Expressions Meaningful? A Reflection on Contexts and Actions -- Backmatter |
Record Nr. | UNINA-9910451224203321 |
New York, : Walter de Gruyter, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
One hundred years of Russell's paradox [[electronic resource] ] : mathematics, logic, philosophy / / edited by Godehard Link |
Pubbl/distr/stampa | New York, : Walter de Gruyter, 2004 |
Descrizione fisica | 1 online resource (672 p.) |
Disciplina | 165 |
Altri autori (Persone) | LinkGodehard |
Collana | De Gruyter series in logic and its applications |
Soggetto topico |
Paradox
Liar paradox |
ISBN |
1-282-19480-1
9786612194801 3-11-019968-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Table of Contents -- Introduction. Bertrand Russell—The Invention of Mathematical Philosophy -- Set Theory after Russell: The Journey Back to Eden -- A Way Out -- Completeness and Iteration in Modern Set Theory -- Was sind und was sollen (neue) Axiome? -- Iterating Σ Operations in Admissible Set Theory without Foundation: A Further Aspect of Metapredicative Mahlo -- Typical Ambiguity: Trying to Have Your Cake and Eat It Too -- Is ZF Finitistically Reducible? -- Inconsistency in the Real World -- Predicativity, Circularity, and Anti-Foundation -- Russell’s Paradox and Diagonalization in a Constructive Context -- Constructive Solutions of Continuous Equations -- Russell’s Paradox in Consistent Fragments of Frege’s Grundgesetze der Arithmetik -- On a Russellian Paradox about Propositions and Truth -- The Consistency of the Naive Theory of Properties -- The Significance of the Largest and Smallest Numbers for the Oldest Paradoxes -- The Prehistory of Russell’s Paradox -- Logicism’s ‘Insolubilia’ and Their Solution by Russell’s Substitutional Theory -- Substitution and Types: Russell’s Intermediate Theory -- Propositional Ontology and Logical Atomism -- Classes of Classes and Classes of Functions in Principia Mathematica -- A “Constructive” Proper Extension of Ramified Type Theory (The Logic of Principia Mathematica, Second Edition, Appendix B) -- Russell on Method -- Paradoxes in Göttingen -- David Hilbert and Paul du Bois-Reymond: Limits and Ideals -- Russell’s Paradox and Hilbert’s (much Forgotten) View of Set Theory -- Objectivity: The Justification for Extrapolation -- Russell’s Absolutism vs. (?) Structuralism -- Mathematicians and Mathematical Objects -- Russell’s Paradox and Our Conception of Properties, or: Why Semantics Is no Proper Guide to the Nature of Properties -- The Many Lives of Ebenezer Wilkes Smith -- What Makes Expressions Meaningful? A Reflection on Contexts and Actions -- Backmatter |
Record Nr. | UNINA-9910784288803321 |
New York, : Walter de Gruyter, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|
One hundred years of Russell's paradox [[electronic resource] ] : mathematics, logic, philosophy / / edited by Godehard Link |
Pubbl/distr/stampa | New York, : Walter de Gruyter, 2004 |
Descrizione fisica | 1 online resource (672 p.) |
Disciplina | 165 |
Altri autori (Persone) | LinkGodehard |
Collana | De Gruyter series in logic and its applications |
Soggetto topico |
Paradox
Liar paradox |
ISBN |
1-282-19480-1
9786612194801 3-11-019968-8 |
Formato | Materiale a stampa |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Front matter -- Table of Contents -- Introduction. Bertrand Russell—The Invention of Mathematical Philosophy -- Set Theory after Russell: The Journey Back to Eden -- A Way Out -- Completeness and Iteration in Modern Set Theory -- Was sind und was sollen (neue) Axiome? -- Iterating Σ Operations in Admissible Set Theory without Foundation: A Further Aspect of Metapredicative Mahlo -- Typical Ambiguity: Trying to Have Your Cake and Eat It Too -- Is ZF Finitistically Reducible? -- Inconsistency in the Real World -- Predicativity, Circularity, and Anti-Foundation -- Russell’s Paradox and Diagonalization in a Constructive Context -- Constructive Solutions of Continuous Equations -- Russell’s Paradox in Consistent Fragments of Frege’s Grundgesetze der Arithmetik -- On a Russellian Paradox about Propositions and Truth -- The Consistency of the Naive Theory of Properties -- The Significance of the Largest and Smallest Numbers for the Oldest Paradoxes -- The Prehistory of Russell’s Paradox -- Logicism’s ‘Insolubilia’ and Their Solution by Russell’s Substitutional Theory -- Substitution and Types: Russell’s Intermediate Theory -- Propositional Ontology and Logical Atomism -- Classes of Classes and Classes of Functions in Principia Mathematica -- A “Constructive” Proper Extension of Ramified Type Theory (The Logic of Principia Mathematica, Second Edition, Appendix B) -- Russell on Method -- Paradoxes in Göttingen -- David Hilbert and Paul du Bois-Reymond: Limits and Ideals -- Russell’s Paradox and Hilbert’s (much Forgotten) View of Set Theory -- Objectivity: The Justification for Extrapolation -- Russell’s Absolutism vs. (?) Structuralism -- Mathematicians and Mathematical Objects -- Russell’s Paradox and Our Conception of Properties, or: Why Semantics Is no Proper Guide to the Nature of Properties -- The Many Lives of Ebenezer Wilkes Smith -- What Makes Expressions Meaningful? A Reflection on Contexts and Actions -- Backmatter |
Record Nr. | UNINA-9910826302703321 |
New York, : Walter de Gruyter, 2004 | ||
Materiale a stampa | ||
Lo trovi qui: Univ. Federico II | ||
|