Dialogical Logic and Constructive Type Theory New Explorations
| Autor: | Rahman, S. (Shahid), Gallois, L. (Lily) |
|---|---|
| Přispěvatelé: | Savoirs, Textes, Langage (STL) - UMR 8163 (STL), Université de Lille-Centre National de la Recherche Scientifique (CNRS), Springer, Savoirs, Textes, Langage (STL) - UMR 8163 [STL] |
| Jazyk: | angličtina |
| Rok vydání: | 2023 |
| Předmět: |
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 |
| Zdroj: | The Architecture and Archeology of Modern Logic Springer. The Architecture and Archeology of Modern Logic, Springer, In press |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|