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

Πλήρης περιγραφή

Αποθηκεύτηκε σε:

Λεπτομέρειες βιβλιογραφικής εγγραφής
Κύριος συγγραφέας:	Tranchini, Luca
Μορφή:	Online
Γλώσσα:	Αγγλικά
Έκδοση:	Springer Nature 2024
Θέματα:	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:	ONIX_20240523_9783031469213_11
Ετικέτες:	Προσθήκη ετικέτας Δεν υπάρχουν, Καταχωρήστε ετικέτα πρώτοι!

καταχωρήστε σχόλιο πρώτοι!

Harmony and Paradox

Παρόμοια τεκμήρια