Harmony and Paradox
Luca Tranchini
Broschiertes Buch

Harmony and Paradox

Intensional Aspects of Proof-Theoretic Semantics

Versandkostenfrei!
Versandfertig in 6-10 Tagen
30,99 €
inkl. MwSt.
Weitere Ausgaben:
PAYBACK Punkte
15 °P sammeln!
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...