Harmony and Paradox Intensional Aspects of Proof-Theoretic Semantics

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 o...

Ausführliche Beschreibung

Gespeichert in:

Bibliographische Detailangaben
1. Verfasser:	Tranchini, Luca
Format:	E-Book
Sprache:	Englisch
Veröffentlicht:	Cham Springer Nature 2024 Springer International Publishing Springer International Publishing AG
Ausgabe:	1
Schriftenreihe:	Trends in Logic
Schlagworte:	canonicity harmony Computer science Computing and Information Technology harmony via reductions and expansions Higher-level rules Hyperintensionality Identity of proofs Inferentialism Jacinto and Read’s GE-stability Mathematical foundations Mathematical logic Mathematical theory of computation Mathematics Mathematics and Science Meaning of logical constants Normalization Paradox and proof-theory Paradoxes as non-denoting derivations PHILOSOPHY Philosophy and Religion Philosophy: logic Prawitz-Tennant analysis of paradoxes Proof theory and meaning Proof-theoretic harmony Proof-theoretic semantics proofs as constructions PSH-inversion and harmony relative priority of correctness and validity Sense and denotation subformula Topics in philosophy
ISBN:	3031469216, 9783031469213, 3031469208, 9783031469206
Online-Zugang:	Volltext
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!

Schreiben Sie den ersten Kommentar!