Description / Table of Contents:
Intro -- Preface -- Introduction -- Contents -- Part I Harmony -- 1 Harmony via Reductions and Expansions -- 1.1 Meaning Theory and Harmony -- 1.2 Harmony and Natural Deduction -- 1.3 Harmony, Reductions and Expansions -- 1.4 Some Formal Definitions -- 1.5 Some Formal Results -- 1.6 Canonicity -- 1.7 Normalization, Subformula Property, Canonicity and Harmony -- 1.8 A Quick Comparison with Other Approaches -- 2 Identity of Proofs -- 2.1 Proof-Theoretic Semantics -- 2.2 Proofs as Constructions -- 2.3 Derivations and Proofs -- 2.4 From Reductions and Expansions to Equivalence -- 2.5 Formula Isomorphism -- 2.6 An Intensional Picture -- 2.7 Weak Notions of Reduction and Equivalence -- 2.8 Derivations and Proofs, Again -- 2.9 Validity -- 2.10 Correctness of Rules -- 2.11 The Relative Priority of Correctness and Validity -- 3 Towards an Intensional Notion of Harmony -- 3.1 Disjunction: A Problem for Stability -- 3.2 A ``Quantum-Like'' Implication -- 3.3 Generalizing the Expansions for Disjunction -- 3.4 Harmony: Arbitrary Connectives and Quantifiers -- 3.5 Stability and Permutations -- 3.6 The Meaning of Harmony -- 3.7 Comparison with Jacinto and Read's GE-Stability -- 3.8 Harmony by Interderivability -- 3.9 Yet Another Inversion Principle -- 3.10 Harmony by Interderivability is Not Intensional -- Part II Paradox -- 4 Paradoxes: A Natural Deduction Approach -- 4.1 The Prawitz-Tennant Analysis of Paradoxes -- 4.2 A Simplified Presentation -- 4.3 Which Background Logic? -- 4.4 A Substructural Analysis -- 5 Validity, Sense and Denotation in the Face of Paradoxes -- 5.1 Paradoxes as Non-denoting Derivations -- 5.2 Non-denoting Derivations and (In)validity -- 5.3 The Need of Revising Prawitz's Validity -- 5.4 The Local Correctness of an Inference -- 5.5 Local Correctness Versus Global Validity -- 5.6 rhoρ Versus monospace t o n ktonk.
Type of Medium:
Online Resource
Pages:
1 online resource (190 pages)
Edition:
1st ed.
ISBN:
9783031469213
Series Statement:
Trends in Logic Series v.62
URL:
https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=31323964
Language:
English
Note:
Description based on publisher supplied metadata and other sources
Permalink