Shahid Rahman

Ses travaux couvrent à la fois la logique, la philosophie de la logique et son histoire, y compris une perspective dialogique sur la théorie constructive des types. Il est le principal chercheur dans le domaine de la conception dialogique de la logique, auquel il a contribué à des publications sur les logiques non-classiques, le raisonnement juridique, la philosophie et la logique d'Aristote, la logique arabe et l'épistémologie, entre autres domaines.

Selon la perspective dialogique, la connaissance, le sens et la vérité sont conçus comme le résultat d'une interaction sociale, où la normativité n'est pas comprise comme une sorte d'opérateur pragmatique agissant sur un noyau propositionnel censé d'exprimer la connaissance et le sens, mais plutôt l'inverse : le type de normativité qui émerge de l'interaction sociale attachée à la connaissance et à la signification est constitutif de ces notions. En d'autres termes, selon la conception du cadre dialogique, l'entrelacement des droits de demander les raisons, d'une part, et des devoirs de donner ces raisons, d'autre part, fournit les racines de la connaissance, du sens et de la vérité^[2].

La partie la plus importante de son travail concerne la logique dialogique aussi appelée logique du dialogue. Sa principale contribution a ainsi été de la systématiser pour permettre le développement et la combinaison de différentes logiques. Depuis le début des années 1950, ses créateurs, Paul Lorenzen et Kuno Lorenz avaient développé la logique dialogique dans le but de fonder la logique intuitionniste. En 1987, lors d'une intervention à l'Université de Sarre, Rahman suggéra pour la première fois le lien entre les dialogues et les topoï de la théorie des catégories, même si à l'époque ce lien ne concernait que les fondations de la logique intuitionniste. La seconde partie de sa thèse de doctorat, publiée en 1993, a développé cette suggestion, tandis que la première partie était consacrée à la toute première étude systématique des relations entre les dialogues, les tableaux, et leur métathéorie^[3].

Rahman et ses équipes de recherche (tout d'abord à l'université de Sarre avec Helge Rückert, puis à Lille avec le groupe pragmatisme dialogique, fondé en collaboration avec Laurent Keiff, proposèrent une redécouverte de la logique dialogique à une époque où elle disparaissait progressivement de l'agenda de la recherche en philosophie.

Sous l'influence de Rahman, la logique du dialogue fut convertie en un cadre théorique général où étaient étudiées, entre autres, la logique libre^[4], la logique modale normale, la logique modale hybride, la logique modale non-normale, la logique modale de premier ordre ^[5], la logique paraconsistante, la logique linéaire, la logique pertinente ou encore la logique connexive^[6].

L'un des avantages de cette démarche est que la logique dialogique peut être utilisée comme un pont entre la théorie des modèles et la théorie de la démonstration, mais également comme une méthode pour générer des tableaux pour les logiques dont la sémantique n’est pas évidente, comme la logique linéaire ou la logique connexe. La perspective dialogique sur les logiques non-classiques a été l'occasion de riches discussions.

En 1995, dans un exposé à l'Institut des Sciences Informatiques Max Planck de Sarrebruck, Dov Gabbay fit remarquer que les nouveaux développements de l'interface entre les jeux et la logique (qui fournissent les bases techniques de l'approche dialogique) offrent la possibilité d'utiliser les dialogues comme une sorte de système de déduction pour l'approche pragmatique. En 1999, Rahman et Rückert organisèrent un atelier intitulé nouvelles perspectives en logique dialogique à Sarrebruck, qui a donné lieu à une publication de Synthèse ^[7]. Cet ouvrage témoigne d'une reconsidération des liens entre jeux et logique^[8], principalement au sein des sciences informatiques et de l'intelligence artificielle.

Patrick Blackburn écrivit dans New Perspectives in Dialogical Logic ^[9] en réponse au papier de Rahman et Rückert sur la dialogique de la logique modale, un article, publié dans Logique et Analyse^[10] où il établit une relation entre les dialogues que l'on trouve dans les langages hybrides et l'une des découvertes les plus intéressantes en logique modale contemporaine : la notion de bi-simulation. Dans le même volume, Gabriel Sandu présenta un autre développement important des travaux sur interface entre jeux et logique, celui de la logique linéaire. La logique linéaire et sa généralisation, le projet ludique de Jean-Yves Girard, est l'une des préoccupations du groupe lillois.

Dans le projet rédigé pour son entrée dans l'International Directory Of Logicians^[11], Rahman affirme que la logique a un rôle central à jouer dans les programmes de recherche de la philosophie des sciences du XX^e siècle. Les critiques historiques et sociologiques des années soixante avaient banni la logique de la philosophie des sciences en l'accusant de réduire la science à un ensemble de propositions reliées entre elles par la logique classique. Mais cela ne veut pas dire que la collaboration entre logique, philosophie et histoire des sciences doit être abandonnée.

La logique doit plutôt approcher la science avec des outils nouveaux et plus sophistiqués, capables de traiter des propositions dans un contexte, en décrivant ce contexte et sa dynamique. Cela est envisageable si l'on développe l'interface entre jeux et logique, entre théorie de la révision des croyances et théories des jeux, et entre théorie de la décision et théorie de l'argumentation. Cette déclaration est à la base du projet Kluwer-Springer lancé en 2001 par Rahman et John Symons et dont le premier volume fut publié en 2004 dans la collection Logic, Epistemology and the Unity of Science, éditée par Rahman, Symons et Gabbay.

Les projets d'édition de Rahman ont pour vocation d'apporter à la communauté philosophique les outils adéquats pour qu'elle puisse résoudre les problèmes classiques de la philosophie des sciences, à l'aide des développements actuels en logique mathématique, et plus particulièrement dans son lien avec la théorie des jeux. C'est cette même ambition qui animent les autres collections des College Publications, par exemple les Cahiers de Logique et d’Épistémologie et sa version espagnole, les Cuadernos de Lógica, Epistemología y Lenguaje, ou encore la collection "Dialogues" chez College Publication et la collection Logic, Argumentation and Reasoning chez Springer.

Ce sont donc ces perspectives qui inspirent les travaux de Rahman, de ses collaborateurs et de ses étudiants, sur une grande diversité d'approches incluant la logique chez Aristote, logique Jain, logique et Argumentation Arabe, la logique linéaire, celle de la révision des croyances, théorie de l'argumentation, logique et Droit, ou encore l'approche dialogique à la Théorie Constructive de Types de Per Martin Löf. La plupart de ces développements résultent de l’étude des conséquences sémantiques et logiques de la modification des règles structurelles et / ou de l’extension de l’ensemble des constantes logiques. En fait, ils montrent comment mettre en œuvre la 'conception dialogique des règles structurelles d'inférence' telles que l'affaiblissement et la contraction^[12]. Les publications les plus récentes montrent comment développer des 'dialogues matériels' (c'est-à-dire des dialogues pour des langages interprétés) plutôt que des dialogues limités à la validité logique^[13]. Cette nouvelle approche des dialogues avec 'contenu', appelée raisonnement immanent , est le résultat le plus important de l’approche dialogique à la théorie constructive des types. Parmi les applications du raisonnement immanent figurent l'élucidation du rôle de la dialectique dans le syllogistique d'Aristote et la formulation de dialogues coopératifs pour le droit. et le raisonnement par parallélisme ou analogie^[14].

Quelques ouvrages

Auteur

• S. Rahman, Über Dialogue protologische Kategorien und andere Seltenheiten. Frankfurt 1993 (ISBN 3-631-46583-1).
• S. Rahman and N. Clerbout: Linking Games and Constructive Type Theory: Dialogical Strategies, CTT-Demonstrations and the Axiom of Choice. Springer-Briefs (2015).https://www.springer.com/gp/book/9783319190624

• S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning or Equality in Action. A Plaidoyer for the Play level. Springer (2018).https://www.springer.com/gp/book/9783319911489

• S. Rahman, F. Zidani, J. Redmond, Y. Kadoum (En Arab) The dialogical approach to intuitionistic, classical and basic modal logic. Including a brief introduction to the dialogical take on Constructive Type Theory..Dar Al Farabi (2019). (ISBN 978-614-432-513-1).
• S. Rahman, M. Iqbal, Y. Soufi Inferences by Parallel Reasoning in Islamic Jurisprudence. al-Shīrāzī’s Insights into the Dialectical Constitution of Meaning and Knowledge. Springer (2019.)https://www.springer.com/gp/book/9783030223816

Editeur

1999: Wege zur Vernunft. S. Rahman/ K. Buchholz/I. Weber (éd). Frankfurt, New York: Campus Verlag.

2001: New Perspectives in Dialogical Logic. S. Rahman/H.Rückert (éd.): Synthese (vol. 125).

2004: Logic, epistemology and the unity of science. S. Rahman/J. Symons/D. Gabbay. Dordrecht: Kluwer.

2007: The Influence of Genetics on Contemporary Thinking. A. Fagot-Largeault, S. Rahman, J. M. Torres (éd.). Incluye contribuciones de: F. Jacob –Prix Nobel (1965), F. Ayala, C. Debru, A. Fagot-Largeault, J. Gayon, K. Matsuno, M. Morange.. Kluwer-Springer, 2007.

2008: The Unity of Science in the Arabic Tradition. S. Rahman (Lille3), Tony Street (Cambridge), Hassan Tahiri (Lille3) (éd.), Kluwer-Springer, 2008.

2008: Truth, Unity and the Liar. S. Rahman, T. Tulenheimo, E. Genot (éd.) Kluwer Springer 2008.

2010: Acts of Knowledge. S. Rahman, G. Primiero (éd). College Publications, 2010.

2010: Approaches to Legal Rationality Gabbay, D.M.; Canivez, P.; Rahman, S.; Thiercelin, A. (Eds.) Dordrecht: Springer.

2011: Normes et Fiction. S. Rahman / J. Sievers. London: King’s Collegue.

2012: The (Anti-)Realism Debate in the Age of Alternative Logics. S Rahman/ M. Marion/ G. Primiero. Springer 2012.

2012: Special Sciences and the Unity of Sciences. O. Pombo/ J.M. Torres /J. Symons / S. Rahman, Springer.

2014: De l’écriture à la orature. Ch. Z. Bowao/S.Rahman, London-King’s College: College Publications.

Articles

• S. Rahman and H. Rückert (editors), New Perspectives in Dialogical Logic. Synthèse 127 (2001) (ISSN 0039-7857).
• Rahman S. On Frege’s Nightmare. A Combination of Intuitionistic, Free and Paraconsistent Logics. In H. Wansing (ed.), Essays on Non-Classical Logic, World Scientific, New Jersey, Londres, Singapore, Hong Kong, 61-85, 2001.
• Rahman S. Un desafío para las teorías cognitivas de la competencia lógica: los fundamentos pragmáticos de la semántica de la lógica linear. In M. B. Wrigley (editor), Dialogue, Language, Rationality. A Festschrift for Marcelo Dascal, Special volume of Manuscrito, vol. XXV-2. 383-432, octobre, 2002.
• S. Rahman, Non-Normal Dialogics for a Wonderful World and More. In J. van Benthem, G. Heinzmann, M. Rebuschi and H. Visser (eds.) The Age of Alternative Logics. Springer (2006). (ISBN 978-1-4020-5011-4).
• S.Rahman/L. Damien/M.H. Gorisse, Dialogique temporelle et hybridation. In M. Rebusqui & T. Tulenheimo (ed.), Logique et théorie de jeux, Kimé, 2004, 17-38. (ISSN 1281-2463)
• S. Rahman and L. Keiff, On how to be a dialogician. In Daniel Vanderken (ed.), Logic Thought and Action, Springer (2005), 359-408. (ISBN 1-4020-2616-1).
• S. Rahman and C. Dégremont, The Beetle in the box. In T. Aho and A-V. Pietarinen (eds.) Truth and Games. Essays in honour of Gabriel Sandu. Societas Philosophica Fennica (2006). (ISBN 951-9264-57-4).
• S. Rahman and T. Tulenheimo, From Games to Dialogues and Back: Towards a General Frame for Validity. Dans Ondrej Majer, Ahti-Veikko Pietarinen and Tero Tulenheimo (ed.), 'Games: Unifying Logic, Language and Philosophy. LEUS: Springer, Part III, 2008.

• C. Dégremont, L. Keiff, H. Rückert (Eds.). Dialogues, Logics and Other Strange Things Essays in Honour of Shahid Rahman. 2008, College Publications. (ISBN 978-1-904987-13-0). Collegue Publications dirigé par D. Gabbay (King's College) consacre un livre à l’œuvre de S.Rahman avec contributions de Philippe Balbiani, Diderik Batens, Johan van Benthem, Giacomo Bonanno, Walter A. Carnielli, Newton C. A. Da Costa, Michel Crubellier, Francisco A. Doria, Dov M. Gabbay, Olivier Gasquet, Gerhard Heinzmann, Andreas Herzig, Jaakko Hintikka, Justine Jacot, Reinhard Kahle, Erik C. W. Krabbe, Décio Krause, Franck Lihoreau, Kuno Lorenz, Ilkka Niiniluoto, Graham Priest, Stephen Read, Manuel Rebuschi, Greg Restall, Gabriel Sandu, Gerhard Schurz, François Schwarzentruber, Yaroslav Shramko, Göran Sundholm, John Symons, Christian Thiel, Nicolas Troquard, Tero Tulenheimo, Jean Paul Van Bendegem, Daniel Vanderveken, Yde Venema, Heinrich Wansing, Jan Wolenski and John Woods.

• L. Keiff, « Appendice. Introduction à la dialogique modale et hybride », Philosophia Scientiae, Kimé « Logique et théorie de jeux »,‎ 2004, p. 89-102 (ISSN 1281-2463, DOI 10.4000/philosophiascientiae.566 )
• L. Keiff, Le Pluralisme Dialogique, Lille, Université de Lille III (Thèse), 2007
• Keiff, L. (2009)"Dialogical Logic". Logique dialogique sur l'encyclopédie en ligne Plato
• Lopez-Orellana, Rodrigo (2016). El enfoque dinámico de teoría de juegos. En De la proposición al juicio. Una exploración a la unidad mínima de conocimiento lógico. Valparaíso, Universidad de Valparaíso, (Tésis).
• N. Clerbout Etude sur quelques sémantiques dialogiques: Concept fondamentaux et éléments de métathéorie. College Publications.(2014) (ISBN 1848901534).
• Rahman, S. and Keiff, L. (2004). «On how to be a dialogician». En D. Vanderveken (ed.), Logic, Thought and Action. Dordrecht: Springer Págs. 359–408.
• Redmond, Juan and Fontaine, Matthieu (2011). How to Play Dialogues. An Introduction to Dialogical Logic. Dialogues and Games of Logic Series, No 1. London: College Publications.
• H. Rückert, « Why dialogical logic? », dans Essays on Non-Classical Logic, New Jersey, London, Singapore, Hong Kong, World Scientific, 2001, p. 165-182
• H. Rückert, « Logiques dialogiques multivalentes », Philosophia Scientiae, Kimé « Logique et théorie de jeux »,‎ 2004, p. 59-87 (ISSN 1281-2463, DOI 10.4000/philosophiascientiae.564 )
• (en) H. Rückert, Dialogues as Logical Framework for Logic, Leyden, (Thèse), 2007

• Ressource relative à la recherche :
  • Mathematics Genealogy Project
• Notices d'autorité :

  • VIAF
  • ISNI
  • BnF (données)
  • IdRef
  • LCCN
  • GND
  • Pays-Bas
  • Pologne
  • Israël
  • NUKAT
• Site web de Shahid Rahman
• Logique dialogique sur l'encyclopédie en ligne Plato
• Cahiers de Logique et d'Epistemologie, College Publications, London, UK
• Cuadernos de lógica, Epistemología y Lenguaje, College Publications, London, UK
• Logic, Epistemology, and the Unity of Science, Springer International Publishing. (ISSN 2214-9775)
• Logic, Argumentation & Reasoning (LAR), Springer International Publishing. (ISSN 2214-9120)

• Portail des mathématiques
• Portail de la logique