000 04846nam a22005535i 4500
001 978-3-031-74527-0
003 DE-He213
005 20251030114605.0
007 cr nn 008mamaa
008 241205s2024 sz | s |||| 0|eng d
020 _a9783031745270
_9978-3-031-74527-0
024 7 _a10.1007/978-3-031-74527-0
_2doi
050 4 _aQA8-10.4
072 7 _aPBB
_2bicssc
072 7 _aMAT015000
_2bisacsh
072 7 _aPBB
_2thema
245 1 0 _aParadoxes Between Truth and Proof
_h[electronic resource] /
_cedited by Mattia Petrolo, Giorgio Venturi.
250 _a1st ed. 2024.
264 1 _aCham :
_bSpringer Nature Switzerland :
_bImprint: Springer,
_c2024.
300 _aVIII, 299 p. 11 illus.
_bonline resource.
336 _atext
_btxt
_2rdacontent
337 _acomputer
_bc
_2rdamedia
338 _aonline resource
_bcr
_2rdacarrier
347 _atext file
_bPDF
_2rda
490 1 _aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
_x2542-8292 ;
_v494
505 0 _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).
520 _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.
650 0 _aMathematics
_xPhilosophy.
_969649
650 0 _aMathematical logic.
_966195
650 0 _aLogic.
_970674
650 1 4 _aPhilosophy of Mathematics.
_969650
650 2 4 _aMathematical Logic and Foundations.
_966198
650 2 4 _aLogic.
_970674
700 1 _aPetrolo, Mattia.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_988585
700 1 _aVenturi, Giorgio.
_eeditor.
_4edt
_4http://id.loc.gov/vocabulary/relators/edt
_988586
710 2 _aSpringerLink (Online service)
773 0 _tSpringer Nature eBook
776 0 8 _iPrinted edition:
_z9783031745263
776 0 8 _iPrinted edition:
_z9783031745287
776 0 8 _iPrinted edition:
_z9783031745294
830 0 _aSynthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science,
_x2542-8292 ;
_v494
_972350
856 4 0 _uhttps://doi.org/10.1007/978-3-031-74527-0
912 _aZDB-2-REP
912 _aZDB-2-SXPR
999 _c65510
_d65510