東華大學圖書館 |

Language: English

Help

回圖書館首頁

手機版館藏查詢

Back

Switch To: Labeled | MARC Mode | ISBD

Linked to FindBook

Google Book

Amazon

博客來

Paradoxes between truth and proof

Record Type:	Electronic resources : Monograph/item
Title/Author:	Paradoxes between truth and proof/ edited by Mattia Petrolo, Giorgio Venturi.
other author:	Petrolo, Mattia.
Published:	Cham :Springer Nature Switzerland : : 2024.,
Description:	viii, 299 p. :ill., digital ;24 cm.
[NT 15003449]:	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 Gó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 Ré and Miguel Á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 Terrés Villalonga) -- Part IV. Paradoxes of Epistemology and Vagueness. 10. Tolerance and degrees of truth (Pablo Cobreros, Paul Égré, 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)
Contained By:	Springer Nature eBook
Subject:	Paradox. -
Online resource:	https://doi.org/10.1007/978-3-031-74527-0
ISBN:	9783031745270

Paradoxes between truth and proof
Paradoxes between truth and proof[electronic resource] /edited by Mattia Petrolo, Giorgio Venturi. - Cham :Springer Nature Switzerland :2024. - viii, 299 p. :ill., digital ;24 cm. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science,v. 4942542-8292 ;. - Synthese library, studies in epistemology, logic, methodology, and philosophy of science ;v. 494..

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 Gó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 Ré and Miguel Á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 Terrés Villalonga) -- Part IV. Paradoxes of Epistemology and Vagueness. 10. Tolerance and degrees of truth (Pablo Cobreros, Paul Égré, 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)

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.

ISBN: 9783031745270

Standard No.: 10.1007/978-3-031-74527-0doiSubjects--Topical Terms:

531578
Paradox.

LC Class. No.: BC199.P2

Dewey Class. No.: 165

Paradoxes between truth and proof
LDR:03772nmm a2200337 a 4500 001 2381395
003 DE-He213
005 20241205115312.0
006 m d
007 cr nn 008maaau
008 250418s2024 sz s 0 eng d
020 $a 9783031745270 $q (electronic bk.)
020 $a 9783031745263 $q (paper)
024 7 $a 10.1007/978-3-031-74527-0 $2 doi
035 $a 978-3-031-74527-0
040 $a GP $c GP
041 0 $a eng
050 4 $a BC199.P2
072 7 $a PBB $2 bicssc
072 7 $a MAT015000 $2 bisacsh
072 7 $a PBB $2 thema
082 0 4 $a 165 $2 23
090 $a BC199.P2 $b P222 2024
245 0 0 $a Paradoxes between truth and proof $h [electronic resource] / $c edited by Mattia Petrolo, Giorgio Venturi.
260 $a Cham : $b Springer Nature Switzerland : $b Imprint: Springer, $c 2024.
300 $a viii, 299 p. : $b ill., digital ; $c 24 cm.
490 1 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science, $x 2542-8292 ; $v v. 494
505 0 $a 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 Gó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 Ré and Miguel Á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 Terrés Villalonga) -- Part IV. Paradoxes of Epistemology and Vagueness. 10. Tolerance and degrees of truth (Pablo Cobreros, Paul Égré, 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 $a 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 $a Paradox. $3 531578
650 1 4 $a Philosophy of Mathematics. $3 2192005
650 2 4 $a Mathematical Logic and Foundations. $3 892656
650 2 4 $a Logic. $3 529544
700 1 $a Petrolo, Mattia. $3 3735474
700 1 $a Venturi, Giorgio. $3 2132045
710 2 $a SpringerLink (Online service) $3 836513
773 0 $t Springer Nature eBook
830 0 $a Synthese library, studies in epistemology, logic, methodology, and philosophy of science ; $v v. 494. $3 3735475
856 4 0 $u https://doi.org/10.1007/978-3-031-74527-0
950 $a Religion and Philosophy (SpringerNature-41175)