Omslagsbillede

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

Fuld beskrivelse

Saved in:
Hovedforfatter: Tranchini, Luca
Format: Online
Sprog:engelsk
Udgivet: Springer Nature 2024
Fag:
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 adgang:ONIX_20240523_9783031469213_11
Tags: Tilføj Tag
Ingen Tags, Vær først til at tagge denne postø!

Internet

ONIX_20240523_9783031469213_11

Lignende værker