Home Home >
Reference >
Philosophy >
Logic >
Harmony and Paradox

Click for an excerpt

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Luca Tranchini

Springer
Publication date : 2024-04-18

Voir les informations d'accessibilité

Add to basket

Free

Download | LCP DRM 🛈 Adobe DRM 🛈

Streaming

Add to my wish list

Louise Reader

Read on Louise Reader App.

This open access book investigates the role played by identity of proofs in proof-theoretic semantics. It develops a conception of proof-theoretic semantics as primarily concerned with the relationship between proofs (understood as abstract entities) and derivations (the linguistic representations of proofs). It demonstrates that identity of proof is a key both to clarify some —still not wholly understood— notions at the core of proof-theoretic semantics, such as harmony; and to broaden the range of the phenomena which can be analyzed using the tools of this semantic paradigm, so as to include for instance paradoxes.

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.

Les livres numériques peuvent être téléchargés depuis l'ebookstore Numilog ou directement depuis une tablette ou smartphone.

PDF : format reprenant la maquette originale du livre ; lecture recommandée sur ordinateur et tablette
EPUB : format de texte repositionnable ; lecture sur tous supports (ordinateur, tablette, smartphone, liseuse)

Votre support de lecture	Format	Protection	Application
Ordinateur	-EPUB -PDF	DRM Adobe LCP	Lecture en ligne (streaming) Adobe Digital Editions(DRM Adobe) Thorium Reader (LCP)
Tablette et smartphone iOS / Android	EPUB PDF	LCP DRM Adobe	Application Louise Reader : IOS / Android(ne lit pas les fichiers protégés par Adobe DRM) Adobe Digital Edition : IOS/Android(Lit uniquement la DRM Adobe)
Liseuse	EPUB	DRM Adobe	Module de lecture de la liseuse
Liseuse Diva	EPUB	LCP DRM Adobe	Module de lecture de la liseuse Diva

Consultez l’aide pour en savoir plus.

About the book

Author

Luca Tranchini

Imprint

Springer

Collection

n.c

Publication date

2024-04-18

Pages

184 pages

Print ISBN

9783031469206

Language

English

Ebook informations

EAN PDF

9783031469213

Price

£0.00

Copy count 1

Print count 18

File size 4772 Ko

Informations accessibility

EAN EPUB

9783031469213

Price

£0.00

Copy count 1

Print count 18

File size 8407 Ko

Informations accessibility

Compatibility

To check the compatibility with your devices,
see help page

About author(s)

Luca Tranchini

Luca Tranchini is post-doctoral researcher at the Logic and Language Theory group of the university of Tübingen. He works on philosophical, mathematical and computational aspects of proof theory, with a focus on proof-theoretic semantics. He has contributed to the correct understanding of the notion of harmony, to the analysis of paradoxes using proof-theoretic means, and to the study of the duality between proofs and refutations in constructivism.

You may also be interested in...