Advertisement

From Dialogical Strategies to CTT-Demonstrations and Back

  • Shahid Rahman
  • Zoe McConaughey
  • Ansten Klev
  • Nicolas Clerbout
Chapter
Part of the Logic, Argumentation & Reasoning book series (LARI, volume 18)

Abstract

In a nutshell, we take from (Rahman, Clerbout, & Keiff, 2009) the following two correspondences within a P-winning strategy, provided some exceptions to be discussed below:
  1. 1.

    The result of applying a particle rule to a P-move corresponds to the application of an introduction rule of a CTT-demonstration rule (provided we read the P-moves “bottom-up”).

     

References

  1. Clerbout, N. (2014a). First-order dialogical games and tableaux. Journal of Philosophical Logic, 43(4), 785–801.CrossRefGoogle Scholar
  2. Clerbout, N. (2014b). Étude sur quelques sémantiques dialogiques: Concepts fondamentaux et éléments de métathéorie. London: College Publications.Google Scholar
  3. Clerbout, N. (2014c). Finiteness of plays and the dialogical problem of decidability. IfCoLog Journal of Logics and their Applications, 1(1), 115–140.Google Scholar
  4. Clerbout, N., & Rahman, S. (2015). Linking game-theoretical approaches with constructive Type theory: Dialogical strategies as CTT-demonstrations. Dordrecht, The Netherlands: Springer.CrossRefGoogle Scholar
  5. Felscher, W. (1985). Dialogues as a foundation for intuitionistic logic. In D. Gabbay & F. Guenthner (Eds.), Handbook of philosophical logic, 3 (pp. 341–372). Dordrecht, The Netherlands: Kluwer.Google Scholar
  6. Rahman, S., Clerbout, N., & Keiff, L. (2009). On dialogues and natural deduction. In G. Primiero & S. Rahman (Eds.), Acts of knowledge: History, philosophy and logic: Essays dedicated to Göran Sundholm (pp. 301–336). London: College Publications.Google Scholar

Copyright information

© Springer International Publishing AG, part of Springer Nature 2018

Authors and Affiliations

  • Shahid Rahman
    • 1
  • Zoe McConaughey
    • 2
    • 3
  • Ansten Klev
    • 4
  • Nicolas Clerbout
    • 5
  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.Département de philosophie & Centre Interuniversitaire de Recherche en Science et TechnologieUniversité du Québec à MontréalMontréalCanada
  4. 4.Institute of PhilosophyCzech Academy of SciencesPragueCzechia
  5. 5.Universidad de ValparaísoValparaísoChile

Personalised recommendations