Shahid Rahman (nacido en 1956 en Nueva Delhi, India) es un lógico y matemático con doble nacionalidad, argentina y alemana, profesor de lógica y epistemología en la Universidad de Lille III (Francia).
Es conocido por su desarrollo de la lógica dialógica o simplemente dialógica.
Biografía Estudió filosofía en Universidad Nacional del Sur, Argentina. Posteriormente, realizó un máster en Filosofía y Matemáticas y Filología (1986-1989) en la Universidad de Erlangen-Núremberg, Alemania.
En 1993 se doctoró en filosofía, psicología y filología por la Universidad del Sarre, Alemania. Su tesis de doctorado (1990-1993) la realizó bajo la dirección del filósofo alemán Kuno Lorenz (discípulo de Paul Lorenzen) y se centró en la lógica dialógica desde el punto de vista de la teoría de categorías. Su habilitación en filosofía de 1997, en la misma Universidad del Sarre, estuvo centrada en la lógica de Hugh MacColl, la lógica conectiva o de conexiones (connexive logic) y la historia de las lógicas no-clásicas.
Desde 1996 hasta 1998 fue Investigador Asociado de la Universidad del Sarre. Entre los años 1997 y 2000 fue Investigador en el Instituto de Informática Max-Planck y en el Deutsches Forschungszentrum für Künstliche Intelligenz, Alemania. En 1999 fue director en Funciones del Departamento de Filosofía de la Universidad del Sarre.
Desde 2001, es profesor titular de lógica y epistemología en la Universidad de Lille III (Francia). También es investigador en UMR CNRS 8163: STL. Miembro (2016-2018) del Conseil Scientifique du Réseau national des Maisons des Sciences de l’Homme, Francia. Miembro de la comisión del Instituto Eric Weil, Director (para Francia) del proyecto franco-alemán ANR-DFG Franco-German project 2012-2015, Lille (MESHS)/Konstanz, Prof M. Armgardt: "Théorie du Droit et Logique/Jurisprudenz und Logik" ("Teoría del Derecho y Lógica/Jurisprudencia y Lógica").https://univ-lille3.academia.edu/ShahidRahman/CurriculumVitae
Obra Sus obras abarcan tanto la lógica, la filosofía de la lógica y su historia, incluida una perspectiva dialógica sobre la teoría constructiva de tipos. Es el investigador líder en el campo de la concepción dialógica de la lógica (logique du dialogue), al que ha contribuido con publicaciones en las lógicas no clásicas, el razonamiento legal, la filosofía y lógica de Aristóteles, la lógica árabe y la epistemología, entre otros campos.
De acuerdo con la perspectiva dialógica, el conocimiento, el significado y la verdad se conciben como resultado de la interacción social, donde la normatividad no se entiende como un tipo de operador pragmático que actúa sobre un núcleo proposicional destinado a expresar conocimiento y significado, sino todo lo contrario: el tipo de normatividad que surge de la interacción social asociada al conocimiento y al significado es constitutivo de estas nociones. En otras palabras, de acuerdo con la concepción del marco dialógico, el entrelazamiento del derecho a preguntar por razones, por una parte, y la obligación a darlas, por la otra, proporciona las raíces del conocimiento, el significado y verdad.Esta formulación tiene como objetivo conectar la perspectiva de Robert Brandom con la de la lógica del diálogo. Ver Mathieu Marion: Why Play Logical Games? In: Unifying Logic, Language, and Philosophy. Springer, 2009.Para una discusión acerca de lo que tienen en común y lo que distingue a ambos enfoques, véase S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning or Equality in Action. A Plaidoyer for the Play level. Springer (2018), pp. 10-12 y 268-272.
=== Dialógica === La parte más importante de su trabajo concierne a la lógica dialógica. Su principal aporte ha sido sistematizar un enfoque dinámico y dialógico para permitir el desarrollo y la combinación de diferentes lógicas.
En la década de 1950, Paul Lorenzen y Kuno Lorenz habían creado y desarrollado la lógica dialógica para dar una semántica a la lógica intuicionista. En 1987, durante una intervención en la Universidad del Sarre, Rahman sugirió por primera vez el vínculo entre los diálogos y el topoï de la teoría de las categorías, aunque en ese momento solo se refería a los fundamentos de la lógica intuicionista. En la segunda parte de su tesis doctoral, publicada en 1993, desarrolló esta sugerencia, mientras que en la primera parte se dedicó al primer estudio sistemático de las relaciones entre los diálogos, tableaux y su metateoría.S. Rahman, Über Dialogue protologische Kategorien und andere Seltenheiten. Frankfurt 1993 (ISBN 3-631-46583-1)
Rahman y sus primeros equipos de investigación (primero en la Universidad del Sarre con Helge Rückert, luego en Lille con el grupo de pragmatismo dialógico, fundado en colaboración con Laurent Keiff) propusieron un redescubrimiento de la lógica dialógica en un momento en que iba desapareciendo progresivamente de la agenda de la investigación en filosofía.
Bajo la influencia de Rahman, la lógica dialógica se convirtió en un marco teórico general en el que se estudiaron la lógica condicional, la lógica libre,“On Dialogues and Ontology. The Dialogical Approach to Free Logic”. S. Rahman/M. Fishmann/H. Rückert. Logique et Analyse, 1997, vol. 160. pp. 357-374. la lógica modal normal, la lógica modal híbrida, la lógica modal no normal, la lógica modal de primer orden“Dialogische Modallogik (für T, B, S4, und S5)”. S. Rahman/H. Rückert. Logique et Analyse, 1999, vol. 167-168.
“La dialogique temporelle ou Patrick Blackburn par lui même”. Rahman, S., Damien, L. and Gorisse, M. H. Philosophia Scientiae, 2004, 8(2), pp. 39–59. la lógica paraconsistente, la lógica lineal, la lógica de la relevancia, la lógica conectiva o de conexiones (connexive logic),“The Dialogical Approach to Paraconsistency”. S. Rahman/W. Carnielli, Synthese, 2001, vol 125, No. 1-2. 201-232.
“Dialogical Connexive Logic. Rahman, S. and Rückert, H. Synthese, 2001, vol 125, No. 1-2., pp. 105–139.
“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”. S. Rahman Manuscrito, vol. XXV-2, pp. 383-432.
"A non normal logic for a wonderful world and more". S. Rahman. Dans J. van Benthem et alia The Age of Alternative Logics. Kluwer-Springer, pp. 311-334.
"Negation in the Logic of First Degree Entailment and Tonk. A Dialogical Study". In G. Primiero et alii (ed.). (Anti)Realism. The Realism-Realism Debate in the Age of Alternative Logics. Springer, 2012, pp. 175-202.
“Introducing Consistency in a Dialogical Framework for Paraconsistent Logic”. Eduardo Barrio, Nicolas Clerbout and Shahid Rahman,.IGPL-Oxford University Press, 2018. Online first in https://doi.org/10.1093/jigpal/jzy069, entre otras.
Una de las ventajas de este enfoque es que la dialógica se puede ser usada como un puente entre la teoría de modelos y la teoría de la prueba (o demostración), pero también como un método para generar matrices para la lógica cuya semántica no es evidente, como la lógica lineal o la lógica conectiva. La perspectiva dialógica sobre lógicas no clásicas ha sido la ocasión para ricas discusiones y novedosas aportaciones.
En 1995, en una presentación en el Instituto de Informática Max-Planck en Saarbrücken, Dov Gabbay señaló que los nuevos desarrollos en la interfaz entre juegos y lógica (que proporcionan la base técnica para el enfoque dialógico) ofrecen la posibilidad de utilizar los diálogos como un tipo de sistema de deducción para el enfoque pragmático. En 1999, Rahman y Rückert organizaron un taller titulado 'Nuevas perspectivas en lógica dialógica' en Saarbrücken, que resultó en una publicación de Synthèse."New Perspectives in Dialogical Logic. ". S. Rahman, H. Rückert (ed.). Synthèse, vol. 127, No 1-2 abril/mayo, 2001. Este libro muestra una reconsideración de los vínculos entre los juegos y la lógica,“From games to dialogues and back: towards a general frame for validity”. S. Rahman and T. Tulenheimo. In O. Majer, A. Pietarinen, and T. Tulenheimo (eds.), Games: Unifying Logic, Language, and Philosophy. Springer, 2006, pp. 153–208.
“The Beetle in the Box: Exploring IF-Dialogues”. S. Rahman and C. Degremont. Philosophica Fennica, 2006, ISBN 951-9264-57-4., pp. 91-122 principalmente en ciencias de la computación e inteligencia artificial.
Patrick Blackburn escribió en New Perspectives in Dialogical Logic"Modal Logic as Dialogical Logic". P. Blackburn. Synthèse, 2001, vol. 127, No 1-2 avril/mai, pp. 57-93. en respuesta al artículo de Rahman y Rückert sobre el diálogo en la lógica modal, publicado en 1999 en Logique et Analyse,“Dialogische Modallogik (für T, B, S4, und S5)”. S. Rahman/H. Rückert. Logique et Analyse, 1999, vol. 167-168. donde establece una relación entre los diálogos de lenguajes híbridos y los descubrimientos más interesantes en la lógica modal contemporánea: la noción de bi-simulación. En el mismo volumen, Gabriel Sandu presentó otro desarrollo importante del trabajo sobre la interfaz entre juegos y lógica, el de la lógica lineal. La lógica lineal y su generalización, el proyecto lúdico de Jean-Yves Girard, es una de las preocupaciones del grupo de Lille.
En su entrada del libro para el ingreso al Internacional Directory of Logicians, publicado en 2009,Gabbay, Dov M. and Woods, John (2009). International Directory of Logicians. Who's Who in Logic. London: College Publications. Pág. 293-295. Rahman argumenta que la lógica tiene un papel central que desempeñar en los programas de investigación de la filosofía de la ciencia del . Las críticas históricas y sociológicas de los años sesenta habían desterrado la lógica de la filosofía de la ciencia al acusarla de reducir la ciencia a un conjunto de proposiciones conectadas entre sí por la lógica clásica. Pero eso no significa que la colaboración entre la lógica, la filosofía y la historia de la ciencia deba ser abandonada. Más bien, la lógica debería acercarse a la ciencia con herramientas nuevas y más sofisticadas, capaces de tratar las proposiciones en contexto, describiendo este contexto y su dinámica. Esto es concebible si desarrollamos la interfaz entre los juegos y la lógica, entre la teoría de la revisión de creencias y las teorías de juegos, y entre la teoría de la decisión y la teoría de la argumentación. Esta declaración es la base del proyecto Kluwer-Springer lanzado en 2001 por Rahman y John Symons, cuyo primer volumen se publicó en 2004 en la colección Logic, Epistemology and the Unity of Science, editada por Rahman, Symons y Gabbay.
El objetivo de los proyectos editoriales de Rahman es proporcionar a la comunidad filosófica las herramientas adecuadas para resolver los problemas clásicos de la filosofía de la ciencia, utilizando los desarrollos actuales en lógica matemática, y más particularmente en su vinculación con la teoría de juegos. Es esta misma ambición la que anima las otras colecciones de College Publications, por ejemplo, los Cahiers de Logique et d’Épistémologie y su versión en español, los Cuadernos de Lógica, Epistemología y Lenguaje, o sus publicaciones como The Games of Logic, A Philosophical Perspective, entre otras.