Nicht aus der Schweiz? Besuchen Sie lehmanns.de
Paradoxes Between Truth and Proof -

Paradoxes Between Truth and Proof

Buch | Hardcover
VIII, 299 Seiten
2025
Springer International Publishing (Verlag)
978-3-031-74526-3 (ISBN)
CHF 194,70 inkl. MwSt
  • Noch nicht erschienen - erscheint am 09.01.2025
  • Versandkostenfrei
  • Auch auf Rechnung
  • Artikel merken

This book is a collection of essays that offer original logical and philosophical investigations into the century-long endeavor to understand paradoxes. It bridges the gap between the two most prominent traditions in the analysis of paradoxes: the truth-theoretic and proof-theoretic approaches. The truth-theoretic tradition stems from Alfred Tarski's solution to the semantic paradoxes, while the proof-theoretic tradition dates back to Dag Prawitz's analysis of set-theoretic paradoxes in terms of structural proof theory. Rather than viewing these traditions as competing perspectives, this volume advocates for the idea that a deeper understanding of paradoxes requires insights from both truth-theoretic and proof-theoretic conceptions of language and meaning. Although the collection does not aim to be exhaustive, it seeks to highlight the vast scope of the subject and its deep connections to various fields of inquiry. The essays are organized into four sections: the first focuses on methodology, the second and third examine paradoxes through the conventional lenses of logical investigation-semantics and syntax-, and the fourth presents a selection of paradoxes that extend beyond the interplay between syntax and semantics, exploring other dimensions of human rationality.

Mattia Petrolo is FCT Research Fellow at the Centre for Philosophy of Science at the University of Lisbon (CFCUL). He earned his PhD from the University of Paris 7 – Paris Diderot and held a postdoctoral fellowship at the French National Centre for Scientific Research (CNRS) in Paris, where he also served as a fixed-term lecturer at the University of Paris 1 Panthéon-Sorbonne. In 2018, he accepted a tenured assistant professorship at the Federal University of ABC in Brazil. He is also an associated member of the Institute for the History and Philosophy of Science and Technology (IHPST) in Paris. His research interests include computational logic, structural proof theory, philosophy of logic, and formal epistemology.   Giorgio Venturi is a tenure-track Associate Professor at the University of Pisa (Italy). In 2014 he obtained a doctorate in mathematics at the Université Paris 7 and a doctorate in philosophy at the Scuola Normale Superiore. Between 2017 and 2022 he was Assistant Professor at the University of Campinas. He is an associated member of the University of Brasilia and of the Konstanz Center for Philosophy of Mathematics. He is currently Secretary of the European Society for the Philosophy of Mathematics (ESPM) and a board member of the Associazione Italiana di Logica e Sue Applicazioni (AILA). He regularly publishes in the main specialist journals of logic. His works focus on set theory, modal logic and philosophy of mathematics.

1. Introduction (Mattia Petrolo and Giorgio Venturi).- Part I. Methodological Considerations. 2. Paradoxes: between revision and accommodation (Jonas R. Becker Arenhart and Ederson Safra Melo).- 3. Reference Fixing and the Paradoxes (Mario Gómez-Torrente).- 4. Transcending the Theory of Types (Simone Picenni and Thomas Schindler).- Part II. Semantic Approaches to Paradoxes. 5. Paradoxes, Contradictions and Circularity (Eduardo Barrio, Bruno Da Ré and Miguel Álvarez Lisboa).- 6. Impossible Truths: a non-dialetheist paraconsistent approach to paradoxes (Guilherme Cardoso).- 7. Paradoxes, Hypodoxes, and More (Camila Gallovich and Lucas Rosenblatt).- Part III. Syntactic Approaches to Paradoxes. 8. Substructural Solutions to the Semantic Paradoxes: a Dialetheic Perspective (Graham Priest).- 9. A substructural solution to the Lottery and Preface Paradoxes (Pilar Terrés Villalonga).- Part IV. Paradoxes of Epistemology and Vagueness. 10. Tolerance and degrees of truth (Pablo Cobreros, Paul Égré, David Ripley, Robert van Rooij).- 11. Self-Referential Gettier Sentences (Volker Halbach and Leon Horsten).- 12. Solovay's Theorem and The Unexpected Examination (Graham Leach-Krouse).- 13. Verdict Exclusion, Higher-Order Vagueness, Cross-Order Vagueness and Borderlineness: Reflections on Footnote 41 of CrispinWright's 'On Being in a Quandary' (Elia Zardini).

Erscheint lt. Verlag 9.1.2025
Reihe/Serie Synthese Library
Zusatzinfo VIII, 299 p. 11 illus.
Verlagsort Cham
Sprache englisch
Maße 155 x 235 mm
Themenwelt Geisteswissenschaften Philosophie
Mathematik / Informatik Mathematik Allgemeines / Lexika
Mathematik / Informatik Mathematik Logik / Mengenlehre
Schlagworte computational paradoxes • paradoxes and contradictions • peano arithmetic • Tennant's criterion of paradoxicality • The Axiom of Choice • the set concept • truth and proof
ISBN-10 3-031-74526-4 / 3031745264
ISBN-13 978-3-031-74526-3 / 9783031745263
Zustand Neuware
Haben Sie eine Frage zum Produkt?
Mehr entdecken
aus dem Bereich