Rahman Shahid

Enseignant-Chercheur
Université Lille
Equipe de recherche principale: 
Equipe de recherche principale (hors annuaire): 
https://stl.univ-lille.fr/la-recherche/axes-transversaux/argumentation/
Adresse électronique: 
shahid.rahman [at] univ-lille3.fr
Publications: 
  • S. Rahman and N. Clerbout: Linking Games and Constructive Type Theory: Dialogical Strategies, CTT-Demonstrations and the Axiom of Choice. Springer-Briefs (2015)
  • S. Rahman, Z. McConaughey, A. Klev, N. Clerbout: Immanent Reasoning and the Dialogical Approach to Constructive Type Theory. A Plaidoyer for the Play level. Springer (2018).
  • 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).
Thèmes de recherche: 
Logique (philosophique et mathématique)
Histoire de la logique
Philosophie de la logique
Philosophie des mathématiques
Philosophie des sciences humaines et sociales
Épistémologie
Périodes et zones géographiques d'intérêt: 
Sans limitation d’époque
Type d'approche: 
Epistémologique et philosophique
Implication dans des programmes et projets: 
  • Directeur scientifique du projet ANR-DFG : JuriLog (ANR11 FRAL 003 01) hébérgé à la Maison européenne des sciences de l'homme et de la société (MESHS - USR 3185) - http://jurilog.meshs.fr/
  • Réseau interdiscipliniare "Langage, Argumentation, Cognition dans les Traditions Orales" (LACTO), Réseau Afrique
  • https://anr.fr/Projet-ANR-15-CE33-0008