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

Full description

Saved in:

Bibliographic Details
Main Author:	Tranchini, Luca
Format:	eBook
Language:	English
Published:	Cham Springer Nature 2024 Springer International Publishing Springer International Publishing AG
Edition:	1
Series:	Trends in Logic
Subjects:	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
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!

Be the first to leave a comment!