Advertisement

Immanent Reasoning or Equality in Action

A Plaidoyer for the Play Level

  • Shahid Rahman
  • Zoe McConaughey
  • Ansten Klev
  • Nicolas Clerbout

Part of the Logic, Argumentation & Reasoning book series (LARI, volume 18)

Table of contents

  1. Front Matter
    Pages i-xx
  2. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 1-15
  3. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 17-55
  4. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 57-74
  5. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 75-87
  6. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 89-109
  7. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 111-129
  8. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 131-184
  9. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 185-196
  10. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 197-229
  11. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 231-275
  12. Shahid Rahman, Zoe McConaughey, Ansten Klev, Nicolas Clerbout
    Pages 277-307
  13. Back Matter
    Pages 309-332

About this book

Introduction

This monograph proposes a new way of implementing interaction in logic. It also provides an elementary introduction to Constructive Type Theory (CTT). The authors equally emphasize basic ideas and finer technical details. In addition, many worked out exercises and examples will help readers to better understand the concepts under discussion.

One of the chief ideas animating this study is that the dialogical understanding of definitional equality and its execution provide both a simple and a direct way of implementing the CTT approach within a game-theoretical conception of  meaning. In addition, the importance of the play level over the strategy level is stressed, binding together the matter of execution with that of equality and the finitary perspective on games constituting meaning.

According to this perspective the emergence of concepts are not only games of giving and asking for reasons (games involving Why-questions), they are also games that include moves establishing how it is that the reasons brought forward accomplish their explicative task. Thus, immanent reasoning games are dialogical games of Why and How.

Keywords

Constructive Type Theory Dialogical Logic Argumentation and Logic Lorenzen's Games Logic and Logic Philosophy of Logic Philosophy of Mathematics Logic and Interaction

Authors and affiliations

  • Shahid Rahman
    • 1
  • Zoe McConaughey
    • 2
  • Ansten Klev
    • 3
  • Nicolas Clerbout
    • 4
  1. 1.Département de philosophie CNRS, UMR 8163 - STL - Savoirs Textes LangageUniv. LilleLilleFrance
  2. 2.Univ. Lille, CNRS, UMR 8163 - STL - Savoirs Textes LangageLilleFrance
  3. 3.Czech Academy of SciencesInstitute of PhilosophyPragueCzech Republic
  4. 4.Universidad de ValparaísoValparaísoChile

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-91149-6
  • Copyright Information Springer International Publishing AG, part of Springer Nature 2018
  • Publisher Name Springer, Cham
  • eBook Packages Religion and Philosophy
  • Print ISBN 978-3-319-91148-9
  • Online ISBN 978-3-319-91149-6
  • Series Print ISSN 2214-9120
  • Series Online ISSN 2214-9139
  • Buy this book on publisher's site