Paradoxes Between Truth and Proof (Record no. 65510)
[ view plain ]
| 000 -LEADER | |
|---|---|
| fixed length control field | 04846nam a22005535i 4500 |
| 001 - CONTROL NUMBER | |
| control field | 978-3-031-74527-0 |
| 003 - CONTROL NUMBER IDENTIFIER | |
| control field | DE-He213 |
| 005 - DATE AND TIME OF LATEST TRANSACTION | |
| control field | 20251030114605.0 |
| 007 - PHYSICAL DESCRIPTION FIXED FIELD--GENERAL INFORMATION | |
| fixed length control field | cr nn 008mamaa |
| 008 - FIXED-LENGTH DATA ELEMENTS--GENERAL INFORMATION | |
| fixed length control field | 241205s2024 sz | s |||| 0|eng d |
| 020 ## - INTERNATIONAL STANDARD BOOK NUMBER | |
| International Standard Book Number | 9783031745270 |
| -- | 978-3-031-74527-0 |
| 024 7# - OTHER STANDARD IDENTIFIER | |
| Standard number or code | 10.1007/978-3-031-74527-0 |
| Source of number or code | doi |
| 050 #4 - LIBRARY OF CONGRESS CALL NUMBER | |
| Classification number | QA8-10.4 |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBB |
| Source | bicssc |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | MAT015000 |
| Source | bisacsh |
| 072 #7 - SUBJECT CATEGORY CODE | |
| Subject category code | PBB |
| Source | thema |
| 245 10 - TITLE STATEMENT | |
| Title | Paradoxes Between Truth and Proof |
| Medium | [electronic resource] / |
| Statement of responsibility, etc. | edited by Mattia Petrolo, Giorgio Venturi. |
| 250 ## - EDITION STATEMENT | |
| Edition statement | 1st ed. 2024. |
| 264 #1 - PRODUCTION, PUBLICATION, DISTRIBUTION, MANUFACTURE, AND COPYRIGHT NOTICE | |
| Place of production, publication, distribution, manufacture | Cham : |
| Name of producer, publisher, distributor, manufacturer | Springer Nature Switzerland : |
| -- | Imprint: Springer, |
| Date of production, publication, distribution, manufacture, or copyright notice | 2024. |
| 300 ## - PHYSICAL DESCRIPTION | |
| Extent | VIII, 299 p. 11 illus. |
| Other physical details | online resource. |
| 336 ## - CONTENT TYPE | |
| Content type term | text |
| Content type code | txt |
| Source | rdacontent |
| 337 ## - MEDIA TYPE | |
| Media type term | computer |
| Media type code | c |
| Source | rdamedia |
| 338 ## - CARRIER TYPE | |
| Carrier type term | online resource |
| Carrier type code | cr |
| Source | rdacarrier |
| 347 ## - DIGITAL FILE CHARACTERISTICS | |
| File type | text file |
| Encoding format | |
| Source | rda |
| 490 1# - SERIES STATEMENT | |
| Series statement | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, |
| International Standard Serial Number | 2542-8292 ; |
| Volume/sequential designation | 494 |
| 505 0# - FORMATTED CONTENTS NOTE | |
| Formatted contents note | 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). |
| 520 ## - SUMMARY, ETC. | |
| Summary, etc. | 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. |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| General subdivision | Philosophy. |
| 9 (RLIN) | 69649 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66195 |
| 650 #0 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 650 14 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 69650 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 66198 |
| 650 24 - SUBJECT ADDED ENTRY--TOPICAL TERM | |
| Topical term or geographic name as entry element | |
| 9 (RLIN) | 70674 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Petrolo, Mattia. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 88585 |
| 700 1# - ADDED ENTRY--PERSONAL NAME | |
| Personal name | Venturi, Giorgio. |
| Relator term | editor. |
| Relator code | edt |
| -- | http://id.loc.gov/vocabulary/relators/edt |
| 9 (RLIN) | 88586 |
| 710 2# - ADDED ENTRY--CORPORATE NAME | |
| Corporate name or jurisdiction name as entry element | SpringerLink (Online service) |
| 773 0# - HOST ITEM ENTRY | |
| Title | Springer Nature eBook |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031745263 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031745287 |
| 776 08 - ADDITIONAL PHYSICAL FORM ENTRY | |
| Relationship information | Printed edition: |
| International Standard Book Number | 9783031745294 |
| 830 #0 - SERIES ADDED ENTRY--UNIFORM TITLE | |
| Uniform title | Synthese Library, Studies in Epistemology, Logic, Methodology, and Philosophy of Science, |
| International Standard Serial Number | 2542-8292 ; |
| Volume number/sequential designation | 494 |
| 9 (RLIN) | 72350 |
| 856 40 - ELECTRONIC LOCATION AND ACCESS | |
| Uniform Resource Identifier | <a href="https://doi.org/10.1007/978-3-031-74527-0">https://doi.org/10.1007/978-3-031-74527-0</a> |
| 912 ## - | |
| -- | ZDB-2-REP |
| 912 ## - | |
| -- | ZDB-2-SXPR |
No items available.