Truth, Existence and Explanation (eBook)
XII, 272 Seiten
Springer International Publishing (Verlag)
978-3-319-93342-9 (ISBN)
Mario Piazza is Full Professor of Logic and Philosophy of Mathematics at the Scuola Normale Superiore of Pisa. Previously, he has been Full Professor at University of Chieti-Pescara. He studied philosophy at the University of Rome and received his Ph.D. in Philosophy of Science from the University of Genoa in 1995. He was a post doc researcher in the Department of Mathematics at the University of Warsaw (1995-96), in the Utrecht Institute of Linguistics (OTS) (1997-98), in the Département d'Informatique at École Normale Supérieure of Paris (2000). His main results and interests are in proof-theory and its applications, computation theory, philosophy of logic and mathematics, epistemology.
Gabriele Pulcini is a postdoctoral researcher at the Department of Mathematics of the New University of Lisbon. He worked as postdoctoral fellow in many academic institutions, including the Department of Computer Science at the École Normale Supérieure of Paris and the Centre for Logic, Epistemology and History of Science (State University of Campinas, Brazil). He obtained his PhD at the University of Rome 3 and the University of Aix-Marseille 2, jointly. His fields of research and interest range from the proof theory of classical and non-classical logics to the philosophy of logic, as well as the philosophy of mathematics. He is author of many research papers appeared in the most important journals in the field such as the Annals of Pure and Applied Logic and the Journal of Logic and Computation. Since 2012, he is member of the Italian Network for the Philosophy of Mathematics.
Mario Piazza is Full Professor of Logic and Philosophy of Mathematics at the Scuola Normale Superiore of Pisa. Previously, he has been Full Professor at University of Chieti-Pescara. He studied philosophy at the University of Rome and received his Ph.D. in Philosophy of Science from the University of Genoa in 1995. He was a post doc researcher in the Department of Mathematics at the University of Warsaw (1995-96), in the Utrecht Institute of Linguistics (OTS) (1997-98), in the Département d'Informatique at École Normale Supérieure of Paris (2000). His main results and interests are in proof-theory and its applications, computation theory, philosophy of logic and mathematics, epistemology.Gabriele Pulcini is a postdoctoral researcher at the Department of Mathematics of the New University of Lisbon. He worked as postdoctoral fellow in many academic institutions, including the Department of Computer Science at the École Normale Supérieure of Paris and the Centre for Logic, Epistemology and History of Science (State University of Campinas, Brazil). He obtained his PhD at the University of Rome 3 and the University of Aix-Marseille 2, jointly. His fields of research and interest range from the proof theory of classical and non-classical logics to the philosophy of logic, as well as the philosophy of mathematics. He is author of many research papers appeared in the most important journals in the field such as the Annals of Pure and Applied Logic and the Journal of Logic and Computation. Since 2012, he is member of the Italian Network for the Philosophy of Mathematics.
Part I: Truth and expressiveness.- Chapter 1. Some Remarks on True Undecidable Sentences.- Chapter 2. Penrose’s New Argument and Paradox.- Chapter 3. On expressive power over arithmetic.- Chapter 4. Intensionality in Mathematics.- Chapter 5. Deflationary truth is a logical notion.- Chapter 6. Making sense of Deflationism from a formal perspective: Conservativity and Relative Interpretability.- Part II: Structures, existence, and explanation.- Chapter 7. Structure and Structures.- Chapter 8. Towards a Better Understanding of Mathematical Understanding.- Chapter 9. The explanatory power of a new proof: Henkin’s completeness proof.- Chapter 10. Can proofs by mathematical induction be explanatory?.- Chapter 11. Ontological Commitment and the Import of Mathematics.- Chapter 12. Applicability Problems Generalized.- Chapter 13. Church-Turing Thesis, in Practice.- Chapter 14. Existence vs Conceivability in Aristotle: Are Straight Lines Infinitely Extendible?.
Erscheint lt. Verlag | 24.10.2018 |
---|---|
Reihe/Serie | Boston Studies in the Philosophy and History of Science | Boston Studies in the Philosophy and History of Science |
Zusatzinfo | XII, 272 p. 29 illus. |
Verlagsort | Cham |
Sprache | englisch |
Themenwelt | Geisteswissenschaften ► Philosophie ► Erkenntnistheorie / Wissenschaftstheorie |
Geisteswissenschaften ► Philosophie ► Logik | |
Mathematik / Informatik ► Mathematik | |
Schlagworte | arithmetical systems • Church-turing thesis • classical and non-classical logics • deflationary theories of truth • Explanation in Mathematics • Indispensability Arguments • Kreisel's Conception of Informal Rigour • Mathematical explanation • Mathematical truth • Ontology and Structures in Mathematical Theories |
ISBN-10 | 3-319-93342-6 / 3319933426 |
ISBN-13 | 978-3-319-93342-9 / 9783319933429 |
Haben Sie eine Frage zum Produkt? |
![PDF](/img/icon_pdf_big.jpg)
Größe: 3,5 MB
DRM: Digitales Wasserzeichen
Dieses eBook enthält ein digitales Wasserzeichen und ist damit für Sie personalisiert. Bei einer missbräuchlichen Weitergabe des eBooks an Dritte ist eine Rückverfolgung an die Quelle möglich.
Dateiformat: PDF (Portable Document Format)
Mit einem festen Seitenlayout eignet sich die PDF besonders für Fachbücher mit Spalten, Tabellen und Abbildungen. Eine PDF kann auf fast allen Geräten angezeigt werden, ist aber für kleine Displays (Smartphone, eReader) nur eingeschränkt geeignet.
Systemvoraussetzungen:
PC/Mac: Mit einem PC oder Mac können Sie dieses eBook lesen. Sie benötigen dafür einen PDF-Viewer - z.B. den Adobe Reader oder Adobe Digital Editions.
eReader: Dieses eBook kann mit (fast) allen eBook-Readern gelesen werden. Mit dem amazon-Kindle ist es aber nicht kompatibel.
Smartphone/Tablet: Egal ob Apple oder Android, dieses eBook können Sie lesen. Sie benötigen dafür einen PDF-Viewer - z.B. die kostenlose Adobe Digital Editions-App.
Buying eBooks from abroad
For tax law reasons we can sell eBooks just within Germany and Switzerland. Regrettably we cannot fulfill eBook-orders from other countries.
aus dem Bereich