Harmony and Paradox
portes grátis
Harmony and Paradox
Intensional Aspects of Proof-Theoretic Semantics
Tranchini, Luca
Springer International Publishing AG
05/2024
184
Mole
Inglês
9783031469237
Pré-lançamento - envio 15 a 20 dias após a sua edição
Descrição não disponível.
Part 1. Harmony. Chapter 1. Harmony via reductions and expansions.- Chapter 2. Identity of proofs.- Chapter 3. Towards an intensional notion of harmony.- Part 2. Paradox.- Chapter 4. Paradoxes: a natural deduction approach.- Chapter 5. Validity, sense and denotation in the face of paradoxes.- Chapter 6. Two kinds of difficulties.- Conclusion.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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;Open Access
Part 1. Harmony. Chapter 1. Harmony via reductions and expansions.- Chapter 2. Identity of proofs.- Chapter 3. Towards an intensional notion of harmony.- Part 2. Paradox.- Chapter 4. Paradoxes: a natural deduction approach.- Chapter 5. Validity, sense and denotation in the face of paradoxes.- Chapter 6. Two kinds of difficulties.- Conclusion.
Este título pertence ao(s) assunto(s) indicados(s). Para ver outros títulos clique no assunto desejado.
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;Open Access
