Imagen de Portada

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

Descripción completa

Guardado en:
Autor principal: Tranchini, Luca
Formato: Online
Lenguaje:inglés
Publicado: Springer Nature 2024
Materias:
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
Acceso en línea:ONIX_20240523_9783031469213_11
Etiquetas: Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!

Internet

ONIX_20240523_9783031469213_11

Ejemplares similares