Harmony and Paradox Intensional Aspects of Proof-Theoretic Semantics

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

Celý popis

Uložené v:

Podrobná bibliografia
Hlavný autor:	Tranchini, Luca
Médium:	E-kniha
Jazyk:	English
Vydavateľské údaje:	Cham Springer Nature 2024 Springer International Publishing Springer International Publishing AG
Vydanie:	1
Edícia:	Trends in Logic
Predmet:	canonicity harmony Computer science Computing and Information Technology harmony via reductions and expansions Higher-level rules Hyperintensionality Identity of proofs Inferentialism Jacinto and Read’s GE-stability Mathematical foundations Mathematical logic Mathematical theory of computation Mathematics Mathematics and Science Meaning of logical constants Normalization Paradox and proof-theory Paradoxes as non-denoting derivations PHILOSOPHY Philosophy and Religion Philosophy: logic Prawitz-Tennant analysis of paradoxes Proof theory and meaning Proof-theoretic harmony Proof-theoretic semantics proofs as constructions PSH-inversion and harmony relative priority of correctness and validity Sense and denotation subformula Topics in philosophy
ISBN:	3031469216, 9783031469213, 3031469208, 9783031469206
On-line prístup:	Získať plný text
Tagy:	Pridať tag Žiadne tagy, Buďte prvý, kto otaguje tento záznam!

Buďte prvý, kto okomentuje tento záznam!