04479nam a22004695i 4500001001800000003000900018005001700027007001500044008004100059020001800100024003500118050001300153072001600166072002300182072001500205245010700220250001800327264006900345300004500414336002600459337002600485338003600511347002400547490011200571505140100683520129602084650002903380650002403409650001103433650003103444650004003475650001103515700007803526700007903604710003403683773002603717776003603743776003603779776003603815830011203851856004603963978-3-031-74527-0DE-He21320251030114605.0cr nn 008mamaa241205s2024    sz |    s    |||| 0|eng d  a97830317452707 a10.1007/978-3-031-74527-02doi 4aQA8-10.4 7aPBB2bicssc 7aMAT0150002bisacsh 7aPBB2thema10aParadoxes Between Truth and Proofh[electronic resource] /cedited by Mattia Petrolo, Giorgio Venturi.  a1st ed. 2024. 1aCham :bSpringer Nature Switzerland :bImprint: Springer,c2024.  aVIII, 299 p. 11 illus.bonline resource.  atextbtxt2rdacontent  acomputerbc2rdamedia  aonline resourcebcr2rdacarrier  atext filebPDF2rda1 aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,x2542-8292 ;v4940 a1. 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).  aThis 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. 0aMathematicsxPhilosophy. 0aMathematical logic. 0aLogic.14aPhilosophy of Mathematics.24aMathematical Logic and Foundations.24aLogic.1 aPetrolo, Mattia.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt1 aVenturi, Giorgio.eeditor.4edt4http://id.loc.gov/vocabulary/relators/edt2 aSpringerLink (Online service)0 tSpringer Nature eBook08iPrinted edition:z978303174526308iPrinted edition:z978303174528708iPrinted edition:z9783031745294 0aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,x2542-8292 ;v49440uhttps://doi.org/10.1007/978-3-031-74527-0