-
Expand entry
-
Added by: Franci MangravitiAbstract:
This entry presents the framework of « dialogical logic » in the initial Lorenzen and Lorenz tradition. The rules for the game and for building strategies are provided with step by step examples, helping the reader understand how the dialogue tables reflect a dynamic process of interaction between the players. Various logics are presented within this pluralistic framework: intuitionist logic, classical logic, and modal logics, with references to various other logics. In a second part of the entry, objections against the framework are considered, together with answers provided by the « Immanent Reasoning » variant, which stays within the Lorenzen and Lorenz tradition, and by the « Built-In Opponent » variant first developed by Catarina Dutilh Novaes, which develops a different dialogical tradition.
Rahman, Shahid, Carnielli, Walter. The Dialogical Approach to Paraconsistency2001, Synthese 125 (1-2):201-232-
Expand entry
-
Added by: Franci MangravitiAbstract:
Being a pragmatic and not a referential approach to semantics, the dialogical formulation of paraconsistency allows the following semantic idea to be expressed within a semi-formal system: In an argumentation it sometimes makes sense to distinguish between the contradiction of one of the argumentation partners with himself (internal contradiction) and the contradiction between the partners (external contradiction). The idea is that external contradiction may involve different semantic contexts in which, say A and not A have been asserted. The dialogical approach suggests a way of studying the dynamic process of contradictions through which the two contexts evolve for the sake of argumentation into one system containing both contexts. More technically, we show a new, dialogical, way to build paraconsistent systems for propositional and first-order logic with classical and intuitionistic features (i.e. paraconsistency both with and without tertium non-datur) and present their corresponding tableaux.
Comment: This paper would fit well in a course on dialogical formulations of logic (as either main or further reading, depending on the time dedicated to Lorenz-style approaches), or in a course on paraconsistent logic (as an alternative way of thinking about paraconsistency); both topics are introduced in an accessible enough way. If students have no familiarity with tableaux systems, sections 4 and 5.2 can be skipped.
Can’t find it?Contribute the texts you think should be here and we’ll add them soon!
-
Clerbout, Nicolas, McConaughey, Zoe. Dialogical Logic
2022, "Dialogical Logic", The Stanford Encyclopedia of Philosophy (Fall 2022 Edition), Edward N. Zalta & Uri Nodelman (eds.)
Comment: Obvious overview choice for any course involving dialogical logic. Familiarity with first-order languages is a prerequisite.