Harmony and Paradox

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

Full description

Saved in:

Bibliographic Details
Main Author:	Tranchini, Luca
Format:	Online
Language:	English
Published:	Springer Nature 2024
Subjects:	Proof-theoretic semantics Identity of proofs Proof-theoretic harmony Paradox and proof-theory Proof theory and meaning Meaning of logical constants Higher-level rules Inferentialism Sense and denotation Hyperintensionality harmony via reductions and expansions Normalization, subformula, canonicity harmony proofs as constructions relative priority of correctness and validity Jacinto and Read’s GE-stability Prawitz-Tennant analysis of paradoxes Paradoxes as non-denoting derivations PSH-inversion and harmony thema EDItEUR::Q Philosophy and Religion::QD Philosophy::QDT Topics in philosophy::QDTL Philosophy: logic thema EDItEUR::U Computing and Information Technology::UY Computer science::UYA Mathematical theory of computation thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations::PBCD Mathematical logic thema EDItEUR::P Mathematics and Science::PB Mathematics::PBC Mathematical foundations
Online Access:	ONIX_20240523_9783031469213_11
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!

Harmony and Paradox

Similar Items