000 | 07366nam a22004693i 4500 | ||
---|---|---|---|
001 | EBC5588004 | ||
003 | MiAaPQ | ||
005 | 20240122001130.0 | ||
006 | m o d | | ||
007 | cr cnu|||||||| | ||
008 | 231124s2015 xx o ||||0 eng d | ||
020 |
_a9783319226866 _q(electronic bk.) |
||
020 | _z9783319226859 | ||
035 | _a(MiAaPQ)EBC5588004 | ||
035 | _a(Au-PeEL)EBL5588004 | ||
035 | _a(OCoLC)960755671 | ||
040 |
_aMiAaPQ _beng _erda _epn _cMiAaPQ _dMiAaPQ |
||
050 | 4 | _aBC1-199 | |
082 | 0 | _a401.43 | |
100 | 1 | _aPiecha, Thomas. | |
245 | 1 | 0 | _aAdvances in Proof-Theoretic Semantics. |
250 | _a1st ed. | ||
264 | 1 |
_aCham : _bSpringer International Publishing AG, _c2015. |
|
264 | 4 | _c�2016. | |
300 | _a1 online resource (281 pages) | ||
336 |
_atext _btxt _2rdacontent |
||
337 |
_acomputer _bc _2rdamedia |
||
338 |
_aonline resource _bcr _2rdacarrier |
||
490 | 1 |
_aTrends in Logic Series ; _vv.43 |
|
505 | 0 | _aIntro -- 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. | |
505 | 8 | _a4.3 Premiss of I-Rule Discharges Some Assumptions -- 4.4 GE Harmony: A Counter-Example -- 4.5 Another [Counter-]Example -- 4.6 In Other Words -- 5 Conclusion -- References -- Categorical Harmony and Paradoxes in Proof-Theoretic Semantics -- 1 Introduction -- 2 The Principle of Categorical Harmony -- 3 Categorical Harmony in Comparison with Other Principles -- 4 Degrees of Paradoxicality of Logical Constants -- 5 Concluding Remarks: From Semantic Dualism to Duality -- References -- The Paradox of Knowability from an Intuitionistic Standpoint -- 1 Introduction -- 2 An Intuitionistic Solution -- 2.1 (2) is intuitionistically valid -- 2.2 Truth Notions -- 2.3 Internal and Intuitive Truth -- 2.4 Unknown Statements -- 3 Neo-Verificationist Approaches -- 4 How Is a Rational Discussion Possible? -- 5 Conclusion -- References -- Explicit Composition and Its Application in Proofs of Normalization -- 1 Introduction -- 2 Notation for Natural Derivations -- 3 Normalization by Hilfssatz -- 4 Strong Normalization by Bar Induction -- 5 Concluding Remarks and Further Applications -- References -- Towards a Proof-Theoretic Semantics of Equalities -- 1 Frege's Question -- 2 Equality Versus Identity -- 3 The Mode of Presentation -- 4 Morning Star Versus Evening Star Revisited -- 5 Equality -- 6 Equality of Senses -- 7 Proof-Theoretic Semantics -- References -- On the Proof-Theoretic Foundations of Set Theory -- 1 Introduction -- 2 Defining Sets -- 3 Functional Closure, Local Logic and the Notion of Absoluteness -- 3.1 The Functional Closure -- 3.2 Local Logic -- 3.3 Absoluteness -- 4 A Proof-Theoretic Interpretation -- 5 Sets -- 6 Foundational Issues -- References -- A Strongly Differing Opinion on Proof-Theoretic Semantics? -- 1 Straw Model Theory -- 1.1 Tarski's Definition of Logical Consequence -- 1.2 Model Theory -- 1.3 Model-Theoretic Semantics. | |
505 | 8 | _a2 Defining Meanings in General -- 2.1 Defining Meanings: Specialise Then Generalise -- 2.2 Representing the Meaning -- 3 Defining Logical Consequence -- References -- Comments on an Opinion -- References -- On Dummett's ``Proof-Theoretic Justifications of Logical Laws'' -- 1 Analysis of the Method -- 2 Boundary Rules -- 3 Schematic Inferences -- 4 Assessment -- References -- Self-contradictory Reasoning -- 1 Introduction -- 2 Meaning Conditions -- 3 The Liar Paradox -- 4 Self-contradictory Reasoning in N-forall= -- 5 Self-contradictory Reasoning in N-= -- 6 Self-contradictory Reasoning in N-= -- References -- Completeness in Proof-Theoretic Semantics -- 1 Introduction -- 2 Prawitz's Conjecture -- 3 Failure of Completeness for Intuitionistic Logic -- 4 Goldfarb's Account of Dummett's Approach -- 5 Proof-Theoretic Validity for Generalized Atomic Systems -- 5.1 Generalized Atomic Systems -- 5.2 Proof-Theoretic Validity -- 5.3 Failure of Strong Completeness -- 5.4 Strong Completeness Results -- 5.5 Failure of Completeness -- 5.6 Comparison with Kripke Semantics -- 5.7 A Completeness Result for Intuitionistic Logic -- 6 Completeness Results for Classical Logic -- 6.1 Other Logical Constants -- 6.2 Remarks -- 7 Conclusion -- References -- Open Problems in Proof-Theoretic Semantics -- 1 Introduction -- 2 The Nature of Hypotheses and the Format of Proofs -- 2.1 Open Proofs and the Placeholder View -- 2.2 The No-Assumptions View -- 2.3 Bidirectionality -- 2.4 Local and Global Proof-Theoretic Semantics -- 3 The Problem of Harmony -- 3.1 Harmony Based on Generalised Rules -- 3.2 Harmony Based on Equivalence -- 3.3 The Need for an Intensional Notion of Harmony -- 3.4 Towards a Definition of Strong Harmony -- 4 Proof-Theoretic Semantics Beyond Logic -- 4.1 Definitional Reflection -- 4.2 Logic, Paradoxes, Partial Definitions -- 4.3 Variables and Substitution. | |
505 | 8 | _a4.4 Outlook: Applications and Extensions of Definitional Reflection -- References. | |
588 | _aDescription based on publisher supplied metadata and other sources. | ||
590 | _aElectronic reproduction. Ann Arbor, Michigan : ProQuest Ebook Central, 2023. Available via World Wide Web. Access may be limited to ProQuest Ebook Central affiliated libraries. | ||
655 | 4 | _aElectronic books. | |
700 | 1 | _aSchroeder-Heister, Peter. | |
776 | 0 | 8 |
_iPrint version: _aPiecha, Thomas _tAdvances in Proof-Theoretic Semantics _dCham : Springer International Publishing AG,c2015 _z9783319226859 |
797 | 2 | _aProQuest (Firm) | |
830 | 0 | _aTrends in Logic Series | |
856 | 4 | 0 |
_uhttps://ebookcentral.proquest.com/lib/bacm-ebooks/detail.action?docID=5588004 _zClick to View |
999 |
_c304940 _d304940 |