Dialogues as a dynamic framework for logic

Abstract

Dialogical logic is a game-theoretical approach to logic. Logic is studied with the help of certain games, which can be thought of as idealized argumentations. Two players, the Proponent, who puts forward the initial thesis and tries to defend it, and the Opponent, who tries to attack the Proponent’s thesis, alternately utter argumentative moves according to certain rules. For a long time the dialogical approach had been worked out only for classical and intuitionistic logic. The seven papers of this dissertation show that this narrowness was uncalled for. The initial paper presents an overview and serves as an introduction to the other papers. Those papers are related by one central theme. As each of them presents dialogical formulations of a different non-classical logic, they show that dialogical logic constitutes a powerful and flexible general framework for the development and study of various logical formalisms and combinations thereof. As such it is especially attractive to logical pluralists that reject the idea of “the single correct logic”. The collection contains treatments of free logic, modal logic, relevance logic, connexive logic, linear logic, and multi-valued logic

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,438

External links

  • This entry has no external links. Add one.
Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

  • Only published works are available at libraries.

Similar books and articles

A dynamic logic of agency I: Stit, capabilities and powers.Andreas Herzig & Emiliano Lorini - 2010 - Journal of Logic, Language and Information 19 (1):89-121.
From intuitionistic logic to dynamic operational quantum logic.Sonja Smets - 2006 - Poznan Studies in the Philosophy of the Sciences and the Humanities 91 (1):257-275.
Dialogical connexive logic.Shahid Rahman & Helge Rückert - 2001 - Synthese 127 (1-2):105-139.
Logic, Logic, and Logic.George Boolos - 1998 - Cambridge, Mass: Harvard University Press. Edited by Richard C. Jeffrey.

Analytics

Added to PP
2010-07-27

Downloads
26 (#600,921)

6 months
1 (#1,498,742)

Historical graph of downloads
How can I increase my downloads?

Citations of this work

Dialogical logic.Laurent Keiff - 2010 - Stanford Encyclopedia of Philosophy.
Why Play Logical Games?Mathieu Marion - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 3--26.
In the Beginning was Game Semantics?Giorgi Japaridze - 2009 - In Ondrej Majer, Ahti-Veikko Pietarinen & Tero Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer Verlag. pp. 249--350.

View all 13 citations / Add more citations

References found in this work

Philosophical Investigations.Ludwig Wittgenstein - 1953 - New York, NY, USA: Wiley-Blackwell. Edited by G. E. M. Anscombe.
On Denoting.Bertrand Russell - 1905 - Mind 14 (56):479-493.
Semantical Considerations on Modal Logic.Saul Kripke - 1963 - Acta Philosophica Fennica 16:83-94.
Semantical Analysis of Modal Logic I. Normal Propositional Calculi.Saul A. Kripke - 1963 - Zeitschrift fur mathematische Logik und Grundlagen der Mathematik 9 (5‐6):67-96.
Symposium: On What there is.P. T. Geach, A. J. Ayer & W. V. Quine - 1948 - Aristotelian Society Supplementary Volume 25 (1):125-160.

View all 62 references / Add more references