PuZo.org: Harmony And Paradox Intensional Aspects Of Proof-Theoretic Semantics - PuZo.org

Jump to content

Our Rules - Read and Follow
Page 1 of 1
  • You cannot start a new topic
  • You cannot reply to this topic

Harmony And Paradox Intensional Aspects Of Proof-Theoretic Semantics

#1 User is offline   ebookpremium 

  • Addicted to PuZo's
  • PipPipPipPipPip
  • Group: Members
  • Posts: 64507
  • Joined: 29-December 23

Posted 26 April 2024 - 05:00 AM

Posted Image
Harmony and Paradox: Intensional Aspects of Proof-Theoretic Semantics
English | 2024 | ISBN: 3031469208 | 199 Pages | PDF EPUB (True) | 9 MB
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.


Posted Image
[b]FileFox[/b]
https://filefox.cc/7zip0299b2rb/oz6pf.rar
Rapidgator
https://rg.to/file/7194f1105cc0e72883303e5c6bc57a95/oz6pf.rar.html
Uploadgig
https://uploadgig.com/file/download/a3438324457a640a/oz6pf.rar

Links are Interchangeable - Single Extraction

Share this topic:


Page 1 of 1
  • You cannot start a new topic
  • You cannot reply to this topic