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ženo v:

Podrobná bibliografie
Hlavní autor:	Tranchini, Luca
Médium:	E-kniha
Jazyk:	angličtina
Vydáno:	Cham Springer Nature 2024 Springer International Publishing Springer International Publishing AG
Vydání:	1
Edice:	Trends in Logic
Témata:	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 přístup:	Získat plný text
Tagy:	Přidat tag Žádné tagy, Buďte první, kdo vytvoří štítek k tomuto záznamu!

Buďte první, kdo okomentuje tento záznam!