Overview
- Discloses the significance of identity of proofs for proof-theoretic semantics
- Offers the tools for analyzing (hyper-)intensional features of the meaning of logical constants
- Develops a philosophical explanation of paradoxes in the framework of proof- theoretic semantics
- This book is open access, which means that you have free and unlimited access
Part of the book series: Trends in Logic (TREN, volume 62)
Buy print copy
Tax calculation will be finalised at checkout
About this book
The volume covers topics such as the philosophical significance of different criteria of identity of proofs, and adequacy conditions for an intensional account of the notion of harmony. The author also examines the Prawitz-Tennant analysis of paradoxes by investigating on the one hand the prospectsof turning it into a theory of meaning for paradoxical languages, and on the other hand two distinct kinds of phenomena, first observed by Crabbe and Ekman, showing that the Tennant-Prawitz criterion for paradoxicality overgenerates. This volume is of interest to scholars in formal and philosophical logic.
Keywords
- Proof-theoretic semantics
- Identity of proofs
- Proof-theoretic harmony
- Paradox and proof-theory
- Proof theory and meaning
- Meaning of logical constants
- Higher-level rules
- Inferentialism
- Sense and denotation
- Hyperintensionality
- harmony via reductions and expansions
- Normalization, subformula, canonicity harmony
- proofs as constructions
- relative priority of correctness and validity
- Jacinto and Read’s GE-stability
- Prawitz-Tennant analysis of paradoxes
- Paradoxes as non-denoting derivations
- PSH-inversion and harmony
- Open Access
Table of contents (6 chapters)
-
Harmony
-
Paradox
Authors and Affiliations
About the author
Bibliographic Information
Book Title: Harmony and Paradox
Book Subtitle: Intensional Aspects of Proof-Theoretic Semantics
Authors: Luca Tranchini
Series Title: Trends in Logic
DOI: https://doi.org/10.1007/978-3-031-46921-3
Publisher: Springer Cham
eBook Packages: Mathematics and Statistics, Mathematics and Statistics (R0)
Copyright Information: The Editor(s) (if applicable) and The Author(s) 2024
Hardcover ISBN: 978-3-031-46920-6Published: 19 April 2024
Softcover ISBN: 978-3-031-46923-7Due: 03 May 2025
eBook ISBN: 978-3-031-46921-3Published: 18 April 2024
Series ISSN: 1572-6126
Series E-ISSN: 2212-7313
Edition Number: 1
Number of Pages: XV, 184
Number of Illustrations: 35 b/w illustrations
Topics: Logic, Mathematical Logic and Formal Languages, Mathematical Logic and Foundations