Damien, Laure; Gorisse, Marie-Hélène; Rahman, Shahid
Dialogique temporelle et hybridation
Philosophia Scientiae, Tome 8 (2004) no. 2 , p. 17-38
URL stable : http://www.numdam.org/item?id=PHSC_2004__8_2_17_0

L'objectif de cet article est de donner une interprétation dialogique de la logique temporelle standard. Dans ce cadre, nous utiliserons les langages hybrides dont Patrick Blackburn s'est servi pour caractériser la logique modale comme logique dialogique.
The aim of the paper is to offer a dialogical interpretation of standard temporal logic. This interpretation will use hybrid languages which were used by Patrick Blackburn to characterize modal logic as dialogical logic.

Bibliographie

[1] Blackburn, P. 2001a.- Modal logic as dialogical logic, Synthese 127, 57-93. MR 1828959 | Zbl 1108.03309

[2] Blackburn, P. 2001b.- Fine grained theories of time, in [Wansing 2001, 1-36]. MR 1865129 | Zbl 0997.03018

[3] Fitting M. & R.L. Mendelsohn 1998.- First-order Modal Logic, Dordrecht : Kluwer, 1998. MR 1956131

[4] Girle R. 2000.- Modals Logics and Philosophy, London : McGill-Queen's University Press, 2000.

[5] Hintikka, J. 1973.- Logic, Language-Games and Information, Oxford : Clarendon Press, 1973. MR 416846 | Zbl 0253.02005

[6] Hintikka, J. 1996.- The principles of mathematics revisited, Cambridge : Cambridge University Press, 1996. MR 1410063 | Zbl 0897.03004

[7] Lorenzen, P. 1958.- Logik und Agon, Acti del XII Congresso Internationale de Filosofia, Venezia, 1958, 187-194. Reproduit dans [Lorenzen & Lorenz 1978].

[8] Lorenzen, P. & K. Lorenz 1978.- Dialogische Logik, Darmstadt : WBG, 1978. MR 668521

[9] Prior. A.N. 1957.- Time and Modality, Oxford : Clarendon Press, 1957. Zbl 0079.00606

[10] Prior. A.N. 1967.- Past, Present and Future, Oxford : Clarendon Press, 1967. MR 216943 | Zbl 0169.29802

[11] Rahman, S. & L. Keiff 2004.- On How to be a Dialogician. A Short Overview on recent Developements on Dialogic, Argumentation and Games, à paraître dans [Vandervecken 2004]

[12] Rahman, S. & H. Rückert 1999.- Die pragmatischen Sinn und Geltungskriterien der Dialogischen Logik beim Beweis des Adjunktionssatzes, Philosophia Scientiæ, (3) 3, 145-170.

[13] Rahman, S. & H. Rückert 2001a.- Dialogische Modallogik (für T, B, S4, und S5), Logique & Analyse, vol. 167-168, 243-282. MR 1947592 | Zbl 1015.03026

[14] Rahman, S. & H. Rückert (eds.) 2001d.- New Perspectives in Dialogical Logic, Special Issue of Synthese, 127, 2001. MR 1828961 | Zbl 0978.00016

[15] Wansing H. (ed.) 2001.- Essays on Non-Classical Logic (Advances in Logic, vol.1), New Jersey, London, Singapore, Hong Kong : World Scientific, 2001. MR 1865128 | Zbl 0982.00038