Harmony and Paradox

Harmony and Paradox

Philosophy,
Mathematical theory,
Mathematical logic

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.

Luca Tranchini

https://library.oapen.org/bitstream/handle/20.500.12657/90415/978-3-031-46921-3.pdf?sequence=1

Springer Nature

2024

Mustabsyirah

Creative Commons

PDF

English

Textbooks