1. Dialogical Logic and Constructive Type Theory New Explorations
- Author
-
Rahman, S. (Shahid), Gallois, L. (Lily), Savoirs, Textes, Langage (STL) - UMR 8163 (STL), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Springer, and Savoirs, Textes, Langage (STL) - UMR 8163 [STL] more...
- Subjects
dialogical logic ,constructive type theory ,local reasons ,pragmatism ,[INFO]Computer Science [cs] ,dialogical logic constructive type theory dialogical meaning explanations local meaning local reasons pragmatism ethics and logic ,dialogical meaning explanations ,ethics and logic ,local meaning ,[SHS]Humanities and Social Sciences - Abstract
International audience; The present contribution delves into a recent development of the dialogical rules for proof-theory penned by Ansten Klev that arose from Per Martin-Löf's take on assertoric knowledge as involved in the correctness criterion for assertion. The main aim of our paper is to set out the central steps towards a new Dialogical Framework called Immanent Reasoning II, which on the one hand integrates some of the CTT-rules developed by Klev, but on the other, develops further the general tenets of the dialogical perspective on meaning and logic. In contrast to Klev's approach, IR-II contains rules that indicate how to develop plays and winning strategies for a thesis. more...
- Published
- 2023