Slika na naslovnici

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

Popoln opis

Shranjeno v:
Glavni avtor: Tranchini, Luca
Format: Online
Jezik:angleščina
Izdano: Springer Nature 2024
Teme:
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 dostop:ONIX_20240523_9783031469213_11
Oznake: Označite
Brez oznak, prvi označite!

Podobne knjige/članki