|
|
|
|
| LEADER |
07332nam a22004573i 4500 |
| 001 |
EBC5588004 |
| 003 |
MiAaPQ |
| 005 |
20231204023214.0 |
| 006 |
m o d | |
| 007 |
cr cnu|||||||| |
| 008 |
231204s2015 xx o ||||0 eng d |
| 020 |
|
|
|a 9783319226866
|q (electronic bk.)
|
| 020 |
|
|
|z 9783319226859
|
| 035 |
|
|
|a (MiAaPQ)EBC5588004
|
| 035 |
|
|
|a (Au-PeEL)EBL5588004
|
| 035 |
|
|
|a (OCoLC)960755671
|
| 040 |
|
|
|a MiAaPQ
|b eng
|e rda
|e pn
|c MiAaPQ
|d MiAaPQ
|
| 050 |
|
4 |
|a BC1-199
|
| 082 |
0 |
|
|a 401.43
|
| 100 |
1 |
|
|a Piecha, Thomas.
|
| 245 |
1 |
0 |
|a Advances in Proof-Theoretic Semantics.
|
| 250 |
|
|
|a 1st ed.
|
| 264 |
|
1 |
|a Cham :
|b Springer International Publishing AG,
|c 2015.
|
| 264 |
|
4 |
|c Ã2016.
|
| 300 |
|
|
|a 1 online resource (281 pages)
|
| 336 |
|
|
|a text
|b txt
|2 rdacontent
|
| 337 |
|
|
|a computer
|b c
|2 rdamedia
|
| 338 |
|
|
|a online resource
|b cr
|2 rdacarrier
|
| 490 |
1 |
|
|a Trends in Logic Series ;
|v v.43
|
| 505 |
0 |
|
|a 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.
|
| 505 |
8 |
|
|a 4.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 |
|
|a 2 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 |
|
|a 4.4 Outlook: Applications and Extensions of Definitional Reflection -- References.
|
| 588 |
|
|
|a Description based on publisher supplied metadata and other sources.
|
| 590 |
|
|
|a Electronic 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 |
|a Electronic books.
|
| 700 |
1 |
|
|a Schroeder-Heister, Peter.
|
| 776 |
0 |
8 |
|i Print version:
|a Piecha, Thomas
|t Advances in Proof-Theoretic Semantics
|d Cham : Springer International Publishing AG,c2015
|z 9783319226859
|
| 797 |
2 |
|
|a ProQuest (Firm)
|
| 830 |
|
0 |
|a Trends in Logic Series
|
| 856 |
4 |
0 |
|u https://ebookcentral.proquest.com/lib/matrademy/detail.action?docID=5588004
|z Click to View
|
