Essays on Husserl's Logic and Philosophy of Mathematics / / edited by Stefania Centrone |
Edizione | [1st ed. 2017.] |
Pubbl/distr/stampa | Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2017 |
Descrizione fisica | 1 online resource (XXVI, 526 p. 1 illus.) |
Disciplina | 160 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Logic
Phenomenology Phenomenology |
ISBN | 94-024-1132-1 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Chapter 1. Husserl and Boole: Stefania Centrone -- Chapter 2. Husserl and Schroeder: Mirja Hartimo -- Chapter 3. Husserl and Frege: Guillermo Rosado Haddock -- Chapter 4. Husserl and Brower: Mark van Atten -- Chapter 5. Husserl and Klein: Burt Hopkins -- Chapter 6. Husserl and Hilbert: Robert Tragesser -- Chapter 7. Husserl and Goedel: Richard Tieszen. |
Record Nr. | UNINA-9910255224003321 |
Dordrecht : , : Springer Netherlands : , : Imprint : Springer, , 2017 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Mathesis Universalis, Computability and Proof / / edited by Stefania Centrone, Sara Negri, Deniz Sarikaya, Peter M. Schuster |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (375 pages) |
Disciplina | 511.3 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Logic
Mathematical logic Mathematical Logic and Foundations Mathematical Logic and Formal Languages |
ISBN | 3-030-20447-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | 1. Introduction: Mathesis Universalis, Proof and Computation (Stefania Centrone) -- 2. Diplomacy of Trust in the European Crisis (Enno Aufderheide) -- 3. Mathesis Universalis and Homotopy Type Theory (Steve Awodey) -- 4. Note on the Benefit of Proof Representations by Name (Matthias Baaz) -- 5. Constructive Proofs of Negated Statements (Josef Berger and Gregor Svindland) -- 6. Constructivism in Abstract Mathematics (Ulrich Berger) -- 7. Addressing Circular Definitions via Systems of Proofs (Riccardo Bruni) -- 8. The Monotone Completeness Theorem in Constructive Reverse Mathematics (Hajime Ishihara and Takako Nemoto) -- 9. From Mathesis Universalis to Fixed Points and Related Set-Theoretic Concepts (Gerhard Jäger and Silvia Steila) -- 10. Through an Inference Rule, Darkly (Roman Kuznets) -- 11. Objectivity and Truth in Mathematics: A Sober Non-Platonist Perspective (Godehard Link) -- 12. From Mathesis Universalis to Provability, Computability, and Constructivity (Klaus Mainzer) -- 13. Analytic Equational Proof Systems for Combinatory Logic and λ-Calculus: a Survey (Pierluigi Minari) -- 14. Computational Interpretations of Classical Reasoning: From the Epsilon Calculus to Stateful Programs (Thomas Powell) -- 15. The Concepts of Proof and Ground (Dag Prawitz) -- 16. On Relating Theories: Proof-Theoretical Reduction (Michael Rathjen and Michael Toppel) -- 17. Program Extraction from Proofs: the Fan Theorem for Uniformly Coconvex Bars (Helmut Schwichtenberg) -- 18. Counting and Numbers, from Pure Mathesis to Base Conversion Algorithms (Jan von Plato) -- 19. Point-Free Spectra of Linear Spreads (Daniel Wessel). . |
Record Nr. | UNINA-9910349539003321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Oskar Becker, On the logic of modalities (1930) : translation, commentary and analysis / / Oskar Becker, translated by Stefania Centrone, Pierluigi Minari |
Autore | Becker Oskar <1889-1964, > |
Pubbl/distr/stampa | Cham, Switzerland : , : Springer, , [2022] |
Descrizione fisica | 1 online resource (167 pages) |
Disciplina | 160 |
Collana | Synthese Library |
Soggetto topico | Modality (Logic) |
ISBN | 3-030-87548-2 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto |
Intro -- Preface -- Preface -- Contents -- 1 Introduction -- 2 Part I of On the Logic of Modalities -- 2.1 The Conditional, or The Crows on the Roofs -- 2.2 The Decision Problem and Leibniz's Dream -- 2.3 Normal Modal Logics: a Quick Resumé -- 2.4 Lewis's S3 and Becker's Extensions -- 2.5 Lewis's Survey System S3 -- 2.6 Becker's Six Modalities System S3' -- 2.7 Becker's Ten Modalities System S3'' -- 2.8 Becker's Further ``Experiments'' -- 2.8.1 A Variant of S3' -- 2.8.2 A More Abstract Approach -- 2.9 Becker's Logical Accomplishments: An Assessment -- 3 Part II of On the Logic of Modalities -- 3.1 Introduction -- 3.2 On Edmund Husserl -- 3.2.1 Existence -- 3.2.2 Definiteness and Universal Arithmetic -- 3.2.3 ``To Be Grounded in the Essence of Something'' -- 3.3 On Cassirer and Brouwer -- 3.3.1 On the Object of Mathematics -- 3.3.2 Brouwer's Intuitionism -- 3.4 On Weyl -- 3.5 Oskar Becker on Cassirer -- 4 Oskar Becker: On the Logic of Modalities -- Preliminary Remark -- I. On the Rank Order and Reduction of Logical Modalities -- Introduction -- II. The Logical Interpretation of the Mathematical Intuitionism from the Standpoint of Modality -- Cassirer's Remark on Oskar Becker's Monograph Mathematical Existence172 -- 5 Appendix -- 5.1 Lewis's Axiomatizations of S3 -- 5.2 Lemmon-Style Axiomatization of S3 -- 5.3 Irreducible Modalities in S3 -- 5.4 Kripke-Style Semantics for S3 -- 5.5 Completeness Theorem(s) for S3 -- 5.5.1 Completeness of S3 with Respect to Mod2+ and Mod1* -- 5.5.2 Completeness of S3 with Respect to Mod3+ -- 5.6 Finite Model Property and Decidability of S3 -- 5.7 Modal Translation of IPC in S3 and Embeddings of S4 in S3 -- 5.8 Lewis's System S2 -- 5.9 Becker's ``Experiments'': A Technical Evaluation -- 5.9.1 The ``Variant'' Six Modalities System S3* -- 5.9.2 The Ten Modalities System S3'' -- 5.9.3 The System SM -- References.
Author Index -- Subject Index. |
Record Nr. | UNINA-9910559390203321 |
Becker Oskar <1889-1964, >
![]() |
||
Cham, Switzerland : , : Springer, , [2022] | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|
Reflections on the Foundations of Mathematics : Univalent Foundations, Set Theory and General Thoughts / / edited by Stefania Centrone, Deborah Kant, Deniz Sarikaya |
Edizione | [1st ed. 2019.] |
Pubbl/distr/stampa | Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 |
Descrizione fisica | 1 online resource (510 pages) |
Disciplina |
511.3
511.322 |
Collana | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science |
Soggetto topico |
Mathematics - Philosophy
Computer science - Mathematics Mathematical logic Mathematical physics Machine theory Philosophy of Mathematics Mathematics of Computing Mathematical Logic and Foundations Theoretical, Mathematical and Computational Physics Formal Languages and Automata Theory |
ISBN | 3-030-15655-9 |
Formato | Materiale a stampa ![]() |
Livello bibliografico | Monografia |
Lingua di pubblicazione | eng |
Nota di contenuto | Part I: Current Challenges for the Set Theoretic Foundations -- 1. Neil Barton and Sy-David Friedman: Does set theory need an apology? -- 2. Laura Fontanella: The choice of new axioms in set theory -- 3. Michèle Friend: Pluralism in Foundations of Mathematics: Oxymoron, Paradox, Neither or Both? -- 4. Deborah Kant: A distinction between meta set theory and object set theory -- 5. Jan von Plato: The weaknesses of set theory -- 6. Claudio Ternullo: Multiversism and Naturalism -- 7. Philip Welch: Proving Theorems from Reflection: Global Reflection Theorems -- Part II: What are the Univalent Foundations? -- 8. Benedikt Ahrens and Paige North: Univalent foundations and the equivalence principle -- 9. Thorsten Altenkirch: A constructive justification of Homotopy Type Theory -- 10. Ulrik Buchholtz: Title: Higher structures in Homotopy Type Theory -- 11. Andrei Rodin: Models of HoTT and the Semantic View of Theories -- 12. Urs Schreiber: Modern Physics formalized in Modal Homotopy Type Theory -- 13. Vladimir Voevodsky: Multiple Concepts of Equality in the New Foundations of Mathematics -- Part III: Thoughts on the Foundations of Mathematics -- 14. Nathan Bowler: Foundations for the working mathematician, and for their computer -- 15. Merlin Carl: Formal and Natural Proof - A phenomenological approach -- 16. Stefania Centrone and Deniz Sarikaya: Thoughts on the Foundation of Mathematics: Logicism, Intuitionism and Formalism -- 17. Mirna Džamonja: A new foundational crisis in mathematics, is it really happening? -- 18. Penelope Maddy: What foundational jobs do we want done? -- 19. Giovanni Sambin: Dynamics in foundations: what does it mean in practice -- 20. Roy Wagner: Does mathematics need foundations?. |
Record Nr. | UNINA-9910357845703321 |
Cham : , : Springer International Publishing : , : Imprint : Springer, , 2019 | ||
![]() | ||
Lo trovi qui: Univ. Federico II | ||
|