Beschreibung / Inhaltsverzeichnis:
Intro -- Contents -- Advances in Proof-Theoretic Semantics: Introduction -- References -- On the Relation Between Heyting's and Gentzen's Approaches to Meaning -- 1 Introduction -- 2 Heyting's Approach to Meaning -- 3 Gentzen's Approach to Meaning -- 4 A First Comparison Between Heyting's and Gentzen's Approaches -- 5 Further Development of Gentzen's Ideas -- 5.1 Argument Structures -- 5.2 Arguments -- 5.3 Validity of Arguments -- 6 Weak and Strong Validity and Their Features -- 7 Mappings of Valid Arguments on BHK-Proofs and Vice Versa -- 7.1 Extending the Mapping Proof to Arguments for A -- 7.2 Extending the Mapping Arg to BHK-Proofs of A -- 8 Concluding Remarks -- References -- Kreisel's Theory of Constructions, the Kreisel-Goodman Paradox, and the Second Clause -- 1 Introduction -- 2 Predicativity, Decidability, and the BHK Interpretation -- 3 The Theory of Constructions and the Second Clause -- 3.1 An Overview of the Theory of Constructions -- 3.2 The Kreisel-Goodman Paradox -- 4 The Reception of the Theory of Constructions and the Second Clause -- 4.1 Shifting Opinions -- 4.2 Guilt by Association? -- 5 Diagnosing the Paradox -- 5.1 Self-Reference and Typing -- 5.2 Stratification -- 5.3 Decidability -- 5.4 Reflection -- 5.5 Internalization -- 6 Conclusions and Further Work -- References -- On the Paths of Categories -- 1 Functions of Language -- 2 Deductions Not Necessarily Based on Propositions -- 3 Deductions in Categories -- 4 Deductions in Multicategories and Polycategories -- 5 Rules for Deductions -- References -- Some Remarks on Proof-Theoretic Semantics -- 1 Background on General Elimination Rules -- 2 Is Bullet a Logical Constant? -- 3 The GE-rule for Implication and the Type-Theoretic Dependent Product Type -- 4 GE-Rules in General -- 4.1 Several I-Rules -- 4.2 I-Rule Has Several Premisses.
Materialart:
Online-Ressource
Seiten:
1 online resource (281 pages)
Ausgabe:
1st ed.
ISBN:
9783319226866
Serie:
Trends in Logic Series v.43
URL:
https://ebookcentral.proquest.com/lib/kxp/detail.action?docID=5588004
DDC:
401.43
Sprache:
Englisch
Anmerkung:
Description based on publisher supplied metadata and other sources
Permalink
