Logiques dialogiques ‘multivalentes’

Helge Rückert

Philosophia Scientiae (2004)

  • Volume: 8, Issue: 2, page 59-87
  • ISSN: 1281-2463

Abstract

top
Aim of this paper is to show how so-called multi-valued logics can be formulated within the framework of Dialogical Logic. In order to formulate the particle rules for multi-valued logics the concept of different assertion modes is introduced. Then, by giving appropriate particle and structural rules standard systems of multi-valued logics can be reconstructed dialogically. This is done explicitly for Łukasiewicz’ logic with three values (L 3 𝐜 ). By replacing the classical structural rule by its intuitionistic counterpart one obtains intuitionistic versions of the multi-valued systems (for example L 3 𝐢 ). The dialogical multi-valued systems L 3 𝐜 and L 3 𝐢 are illustrated with some examples and finally strategic tableaux for them are formulated.

How to cite

top

Rückert, Helge. "Logiques dialogiques ‘multivalentes’." Philosophia Scientiae 8.2 (2004): 59-87. <http://eudml.org/doc/103731>.

@article{Rückert2004,
abstract = {Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique à trois valeurs de Łukasiewicz (L$_\{\mathbf \{3c\}\}$). En remplaçant la règle structurelle classique par sa contrepartie intuitionniste on obtient des versions intuitionnistes de systèmes multivalents (par exemple L$_\{\mathbf \{3i\}\}$). Les systèmes dialogiques multivalents L$_\{\mathbf \{3c\}\}$ et L$_\{\mathbf \{3i\}\}$ sont illustrés par quelques exemples et pour conclure on formule les tableaux stratégiques correspondants.},
author = {Rückert, Helge},
journal = {Philosophia Scientiae},
language = {fre},
number = {2},
pages = {59-87},
publisher = {Éditions Kimé},
title = {Logiques dialogiques ‘multivalentes’},
url = {http://eudml.org/doc/103731},
volume = {8},
year = {2004},
}

TY - JOUR
AU - Rückert, Helge
TI - Logiques dialogiques ‘multivalentes’
JO - Philosophia Scientiae
PY - 2004
PB - Éditions Kimé
VL - 8
IS - 2
SP - 59
EP - 87
AB - Le but de cet article est de montrer comment les logiques dites multivalentes peuvent être formulées dans le cadre de la logique dialogique. Pour formuler les règles de particule pour ces logiques on introduit l’idée de différents modes d’assertion. En donnant ensuite les règles de particule et les règles structurelles appropriées, on peut reconstruire dialogiquement les systèmes standards de logiques multivalentes. Cela est fait explicitement pour la logique à trois valeurs de Łukasiewicz (L$_{\mathbf {3c}}$). En remplaçant la règle structurelle classique par sa contrepartie intuitionniste on obtient des versions intuitionnistes de systèmes multivalents (par exemple L$_{\mathbf {3i}}$). Les systèmes dialogiques multivalents L$_{\mathbf {3c}}$ et L$_{\mathbf {3i}}$ sont illustrés par quelques exemples et pour conclure on formule les tableaux stratégiques correspondants.
LA - fre
UR - http://eudml.org/doc/103731
ER -

References

top
  1. [1] Barth, E. and Krabbe, E.1982.— From Axiom to Dialogue : A Philosophical Study of Logics and Argumentation, Berlin, New York : De Gruyter, 1982. Zbl0495.03001MR678092
  2. [2] van Benthem J., G. Heinzmann, M. Rebuschi & H. Visser (eds.) 2004.— The Age of Alternative Logics, Dordrecht : Kluwer, 2004. 
  3. [3] Blackburn, P.2001a.— Modal logic as dialogical logic, Synthese 127, 57-93. Zbl1108.03309MR1828959
  4. [4] D’Agostino, M., D. Gabbay, R. Hähnle & J. Posegga (eds.) 1999.— Handbook of Tableau Methods, Dordrecht : Kluwer, 1999. Zbl0933.00011MR1796835
  5. [5] Frege, G.1964.— Begriffsschrift und andere Aufsätze, (edited by I. Angelelli), Darmstadt : Wissenschaftliche Buchgesellschaft, 1964. MR164864
  6. [6] Fuhrmann, A.1985.— Ein relevanzlogischer Dialogkalkül erster Stufe, Conceptus 48, 51-65. MR841375
  7. [7] Gottwald, S.1989.— Mehrwertige Logik. Eine Einführung in Theorie und Anwendungen, Berlin : Akademie-Verlag, 1989. Zbl0714.03022MR1117450
  8. [8] Hähnle, R.1999.— Tableaux for Many-Valued Logics, in [D’Agostino M. et al. 1999, 529-580]. Zbl0972.03531MR1795231
  9. [9] Kleene, S.C.1952.— Introduction to Metamathematics, Amsterdam, Groningen, Princeton : Van Nostrand, 1952. Zbl0109.00509MR51790
  10. [10] Krabbe, E.1985.— Formal Systems of Dialogue Rules, Synthese 63 (3), 295-328. MR792466
  11. [11] Lorenzen, P. & K. Lorenz1978.— Dialogische Logik, Darmstadt : WBG, 1978. Zbl0435.03011MR668521
  12. [12] Łukasiewicz, J.1920.— O logice trojwartosciowej, Ruch Filozoficzny 5, 170-171. 
  13. [13] Malinowski, G.1994.— Many-Valued Logics, Oxford : Clarendon Press, 1993. Zbl0807.03010MR1269112
  14. [14] Rahman, S.1993.— Über Dialogue, protologische Kategorien und andere Seltenheiten, Frankfurt a. M., Berlin, New York, Paris, Wien : Peter Lang Verlag, 1993. 
  15. [15] Rahman, S.2001.— On Frege’ Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics, in [Wansing 2001, 61-89]. Zbl0997.03031MR1865131
  16. [16] Rahman, S.2004.— Non Normal Dialogics for a Wonderful World and More, to appear in [van Benthem et al. 2004]. Zbl1123.03007
  17. [17] Rahman, S. & W. Carnielli2000.— The Dialogical Approach to Paraconsistency, Synthese 125 (1/2), 201-232. Zbl0970.03030MR1801023
  18. [18] Rahman, S. & L. Keiff2004.— On How to be a Dialogician. A Short Overview on recent Developements on Dialogic, Argumentation and Games, à paraître dans [Vandervecken 2004] 
  19. [19] Rahman, S. & H. Rückert1999.— Die pragmatischen Sinn und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes, Philosophia Scientiæ, (3) 3, 145-170. 
  20. [20] Rahman, S. & H. Rückert2001a.— Dialogische Modallogik (für T, B, S4, und S5), Logique & Analyse, vol. 167-168, 243-282. Zbl1015.03026MR1947592
  21. [21] Rahman, S. & H. Rückert2001b.— Preface, Synthese, 127,1-6. MR1828961
  22. [22] Rahman, S. & H. Rückert2001c.— Dialogical Connexive Logic, Synthese, 127, 105-139. Zbl0980.03022MR1828961
  23. [23] Rahman, S., H. Rückert & M. Fischmann1998.— On Dialogues and Ontology. The Dialogical Approach to Free Logic, Logique & Analyse 160, 357-374. Zbl0978.03008MR1786961
  24. [24] Restall, G.2000.— An Introduction to Substructural Logics, London, New York : Routledge, 2000. Zbl1028.03018
  25. [25] Rosser, J. and Turquette, A.1952.— Many-Valued Logics, Amsterdam : North-Holland, 1952. Zbl0047.01503MR51791
  26. [26] Rückert, H.2001.— Why Dialogical Logic ?, in [Wansing 2001, 165-185]. Zbl0997.03002MR1865135
  27. [27] Van Bendegem, J.2001.— Paraconsistency and Dialogue Logic : Critical Examination and further Explorations, Synthese 127, 35-55. Zbl0980.03028MR1828958
  28. [28] Vandervecken, D. (ed.) 2004.— Logic, Thought and Action, Dordrecht : Kluwer, 2004. Zbl1068.03006
  29. [29] Wansing H. (ed.) 2001.— Essays on Non-Classical Logic (Advances in Logic, vol.1), New Jersey, London, Singapore, Hong Kong : World Scientific, 2001. Zbl0982.00038MR1865128

NotesEmbed ?

top

You must be logged in to post comments.