• Open Daily: 10am - 10pm
    Alley-side Pickup: 10am - 7pm

    3038 Hennepin Ave Minneapolis, MN
    612-822-4611

Open Daily: 10am - 10pm | Alley-side Pickup: 10am - 7pm
3038 Hennepin Ave Minneapolis, MN
612-822-4611
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics

Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics

Paperback

Series: Trends in Logic, Book 62

FictionGeneral ComputersLogic

Currently unavailable to order

ISBN10: 3031469232
ISBN13: 9783031469237
Publisher: Springer
Published: May 8 2025
Pages: 184
Language: English
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.

1 different editions

Also available

Also from

Tranchini, Luca

Also in

Logic