Immanent reasoning or equality in action : a plaidoyer for the play level /: a plaidoyer for the play level. (2018)
- Record Type:
- Book
- Title:
- Immanent reasoning or equality in action : a plaidoyer for the play level /: a plaidoyer for the play level. (2018)
- Main Title:
- Immanent reasoning or equality in action : a plaidoyer for the play level
- Further Information:
- Note: Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout.
- Authors:
- Rahman, Shahid, 1956-
McConaughey, Zoe
Klev, Ansten
Clerbout, Nicolas - Contents:
- Intro; Preface; References; Acknowledgments; Contents; Chapter 1: Introduction: Some Brief Historical and Philosophical Remarks; 1.1 The Dialogical Turn and the Operative Justification of Intuitionistic Logic; 1.1.1 Admissibility in Operative Logic; 1.1.2 Implication and Admissibility: Another Circle?; 1.1.3 From Admissibility to Dialogue-Definiteness; Content and Interaction; The Ancient Greek Roots of the Dialogical Turn and Its Renaissance; 1.2 Linking Dialogues and Constructive Type Theory; 1.2.1 Equality and the Socratic Rule 1.2.2 Local Reasons and Content: The Socratic Rule Within Material Dialogues1.2.3 Dialogues for Immanent Reasoning as Games of Why and How; 1.3 A Basic Overview of the Book; References; Chapter 2: A Brief Introduction to Constructive Type Theory; 2.1 Judgements and Categories; 2.1.1 Forms of Categorical Judgement; 2.1.2 Categories; 2.1.3 General Rules of Judgemental Equality; 2.1.4 Propositions; 2.1.5 Forms of Hypothetical Judgement; 2.1.6 Assumptions and Other Speech Acts; 2.1.7 Hypothetical Judgements with More Than One Assumption; 2.2 Rules; 2.2.1 Cartesian Product of a Family of Sets 2.2.2 The Logical Interpretation of the Cartesian Product2.2.3 Disjoint Union of a Family of Sets; 2.2.4 The Logical Interpretation of the Disjoint Union of a Family of Sets; 2.2.5 Disjoint Union of Two Sets; 2.2.6 Finite Sets; 2.2.7 The Natural Numbers; 2.2.8 Propositional Identity; 2.3 Exercises; 2.4 Solutions; References; Chapter 3: Basic Notions for DialogicalIntro; Preface; References; Acknowledgments; Contents; Chapter 1: Introduction: Some Brief Historical and Philosophical Remarks; 1.1 The Dialogical Turn and the Operative Justification of Intuitionistic Logic; 1.1.1 Admissibility in Operative Logic; 1.1.2 Implication and Admissibility: Another Circle?; 1.1.3 From Admissibility to Dialogue-Definiteness; Content and Interaction; The Ancient Greek Roots of the Dialogical Turn and Its Renaissance; 1.2 Linking Dialogues and Constructive Type Theory; 1.2.1 Equality and the Socratic Rule 1.2.2 Local Reasons and Content: The Socratic Rule Within Material Dialogues1.2.3 Dialogues for Immanent Reasoning as Games of Why and How; 1.3 A Basic Overview of the Book; References; Chapter 2: A Brief Introduction to Constructive Type Theory; 2.1 Judgements and Categories; 2.1.1 Forms of Categorical Judgement; 2.1.2 Categories; 2.1.3 General Rules of Judgemental Equality; 2.1.4 Propositions; 2.1.5 Forms of Hypothetical Judgement; 2.1.6 Assumptions and Other Speech Acts; 2.1.7 Hypothetical Judgements with More Than One Assumption; 2.2 Rules; 2.2.1 Cartesian Product of a Family of Sets 2.2.2 The Logical Interpretation of the Cartesian Product2.2.3 Disjoint Union of a Family of Sets; 2.2.4 The Logical Interpretation of the Disjoint Union of a Family of Sets; 2.2.5 Disjoint Union of Two Sets; 2.2.6 Finite Sets; 2.2.7 The Natural Numbers; 2.2.8 Propositional Identity; 2.3 Exercises; 2.4 Solutions; References; Chapter 3: Basic Notions for Dialogical Logic; 3.1 The General Framework; 3.1.1 Dialogues and Interaction; 3.1.2 Particle Rules; 3.1.3 Structural Rules; 3.2 The Rules at the Play Level; 3.2.1 Particle Rules; 3.2.2 Structural Rules 3.3 Building a Dialogue: Step-by-Step Instructions3.3.1 Setting Up the Game; 3.3.2 Playing the Game; 3.3.3 Ending the Game; 3.4 Commented Construction of a Play: (A B) A; 3.4.1 Exercises; 3.4.2 Solutions; 3.5 Approaching the Strategy Level; 3.5.1 Building a P-Winning Strategy Step-by-Step; 3.5.2 Exercise; 3.5.3 Solution; 3.6 Rounding Up Some Key Notions; 3.7 Further Reading; 3.7.1 Textbook Presentations; 3.7.2 Logical Studies in Dialogic; 3.7.3 On the Use of the Dialogical Framework in Epistemology, Philosophy and History of Ideas; References; Chapter 4: Advanced Dialogues: Play Level 4.1 Preliminary Notions4.1.1 The Language; 4.1.2 Plays; 4.1.3 Dialogical Games; 4.1.4 A Move in a Play; 4.1.5 Challenges and Defences; 4.1.6 Terminological Note: Challenge, Attack and Defence; 4.2 Local Meaning of Logical Constants; 4.2.1 Particle Rules; 4.2.2 Summing Up (Tables 4.3 and 4.4); 4.3 Symmetry and Harmony; 4.4 Global Meaning; 4.4.1 Preliminary Terminology; 4.4.2 The Structural Rules; 4.4.3 Linking the Copy-Cat Rule (SR2) and Equality; 4.5 Examples of Plays; 4.5.1 First Example, the Third Excluded: A A; 4.5.2 Second Example, the Double Negation Elimination: A A … (more)
- Publisher Details:
- Cham : Springer
- Publication Date:
- 2018
- Extent:
- 1 online resource
- Subjects:
- 180
Philosophy
Logic
Reasoning
Type theory
PHILOSOPHY / History & Surveys / Ancient & Classical
Logic
Reasoning
Type theory
Mathematics -- Logic
Mathematical foundations
Mathematical theory of computation
Logic, Symbolic and mathematical
Computer science
Philosophy -- Logic
Philosophy: logic
Electronic books - Languages:
- English
- ISBNs:
- 9783319911496
- Related ISBNs:
- 331991149X
9783319911489
3319911481 - Notes:
- Note: Online resource; title from PDF title page (EBSCO, viewed August 24, 2018)
- Access Rights:
- Legal Deposit; Only available on premises controlled by the deposit library and to one user at any one time; The Legal Deposit Libraries (Non-Print Works) Regulations (UK).
- Access Usage:
- Restricted: Printing from this resource is governed by The Legal Deposit Libraries (Non-Print Works) Regulations (UK) and UK copyright law currently in force.
- View Content:
- Available online (eLD content is only available in our Reading Rooms) ↗
- Physical Locations:
- British Library HMNTS - ELD.DS.371225
- Ingest File:
- 01_356.xml