Interaction et la constitution du sens et savoirs: Mon travail concerne l'étude diachronique et synchronique de l'interaction rationnelle, ses enjeux philosophiques, sémantiques et épistémologiques. Ma principale contribution a ainsi été le développement de la logique dialogique comme cadre général de construction, de combinaison et d’études des différentes logiques. L’idée philosophique fondamentale sous-jacente à mes recherches est celle d’une sémantique pragmatique, basée sur les pratiques argumentatives. Selon cette perspective l’approche dialogique fournit une théorie de la signification qui diffère des cadres formelles plus connues telles que la théorie des modèles et la théorie de la preuve. Dans cette optique, la manière dont ces jeux sont régulés constitue une part cruciale de la théorie dialogique de la signification. C’est notamment au niveau des règles que la flexibilité du cadre dialogique apparaît le plus clairement dans la mesure où des variations dans les règles du jeu, reflétant diverses pratiques argumentatives auxquelles on peut s’intéresser, permettent de fournir des sémantiques à de nombreuses logiques - telles que, entre autres, la logique de le épistémologie Jain (dans la tradition de l’ Inde classique), la théorie médiévale des Obligationes, quelques fragment de la théorie de l’identité chez Avicenne, logiques modales normales, les logiques modales hybrides, les logiques libres (logiques de la fiction), les logiques modales non-normales, les logiques de la pertinence, les logiques paraconsistantes, la logique connexive, les logiques épistémiques dynamiques, les logiques pour la révision de croyances, la logique linaire, et la logique dans la théorie constructive de types (CTT). Cela induit une reconstruction à la fois systématique et historique des pratiques inférentielles, dans laquelle les notions de proposition et d’inférence sont repensées dynamiquement, comme interactions spécifiques entre des agents à l’intérieur  d’une structure de jeu adéquate, et dans laquelle la validité logique est alors définie en termes de stratégies gagnantes.


https://univ-lille3.academia.edu/ShahidRahman/CurriculumVitae


 

À présent, mes recherches concernent

  • Les implications de la théorie constructive de types (CTT) dans l’étude des forces dynamiques et épistémiques à l’origine de la fondation des mathématiques et de la logique.
  • Le développement d’une fondation interactive de la signification en logique basée sur la CTT et l'étude des racines historiques de l'approche dialogique incluant: Platon, Aristote, la tradition Arabe, la logique Jain
  • le développement d’une fondation interactive de la pratique du Dialogue, basée sur la CTT, pour fournir ainsi une théorie dialogique de la signification appliquée à l’étude de l’argumentation et de la conversation dans le langage naturel.
  • Dans un dernier volet, mes recherches explorent – et contestent - l’incompatibilité (historique et systématique) entre les paradigmes juridiques et mathématiques de raisonnement.


    https://www.academia.edu/35518671/Report_Researches_at_the_Lab_STL_UMR_8163_2013_18

Collections internationales de Livres. Axes de recherche ARGUMENTATION, FORME ET SENS, ADA-MESHS-NORD-Pas-de-Calais.

 


While some years ago Argumentation and interaction had a secondary role in research, nowadays this field constitutes the focus of important disciplinary and interdisciplinary studies on, among others: Dialogues (Human, Human-Maching), Critical Thinking, Conversation, Rhetoric; Orality

 

These researches have motivated the creation of the edition of 5 international collections of books fostered by the UMR STL and the MESH-Nord-Pas-de Calais. We published over 95 volumes.

 

Let us stress that that the umr-axis Argumentation is one of the rare cases in in the SHS France in relation to it publications.

Indeed, Argumentation has its own international collection of books that promotes and published trans and interdisciplinary work in the field of argumentation, fostered  by the research axis Argumentation at the UMR-ST and by the MESHS-Nord-Pas-de-Calais. Moreover, it promotes the perspectives of the Humanities and Social Sciences, and includes in its editorial board members of the laboratory and researchers of Lille 1 and 2, an published during the period 2013-17, 14 volumes involving many researchers and doctorates of the laboratory beyond the work of international researchers in the field. The collection also published work produced by the umr-axis Savoirs, œuvres, discours and  Forme et Sens :

www.springer.com/series/11547

 

There is also a second Springer collection (41 volumes) , on Logic and Epistemology, namely :

 

http://www.springer.com/series/6936,

 

that also concerns all of the other research axes of the laborory, and three other trilingual collections published by College Publications, London (more than 40 volumes),:

one in French, one in Spanish and one in English:

 

www.collegepublications.co.uk/cahiers/,

 

 www.collegepublications.co.uk/dialogues/,

 

http://www.collegepublications.co.uk/cuadernos/,

 

 

NOUVELLES TRANSVERSALES

Immanent Reasoning and Games of Why and How

We call our dialogues involving rational argumentation, dialogues of immanent reasoning, precisely because reasons backing a statement, that are now explicit denizens of the object-language, are internal to the development of the dialogical interaction itself 


The emergence of concepts, so we claim, are not only games of giving and asking for reasons (games involving Why?-questions) they are also games that include moves establishing how is it that the reason brought forward accomplishes the explicative task. Our games are also games of How.

https://www.academia.edu/30721775/Immanent_Reasoning

_or_Equality_in_Action._A_Plaidoyer_for_the_Play_Level._

By_S._Rahman_A._Klev._Z._McConaughey_N._Clerbout


Introducing_Consistency_in_a_Dialogical_Framework

for_Paraconsistent_Logic._By_E.A._Barrio_Bs.As_

N._Clerbout_Valpo._S._Rahman_Lille_

 

 


Rapport activités scientifiques S. Rahman  STL 2013_18

https://www.academia.edu/35518671/

Report_Researches_at_the_Lab_STL_UMR_8163_2013_18


Société Sénégalaise de Philosophie (Sosephi)
Université Cheikh Anta Diop de Dakar
Colloque en hommage au Professeur Souleymane Bachir Diagne
Dakar, 20-22 décembre 2017

Boole Algebra in a Contemporary Setting.
Boole-Operations, Types as Propositions and Immanent Reasoning

Shahid Rahman

Univ. Lille, CNRS, UMR 8163 - STL- Savoirs Textes Langage, F-59000 Lille, France,

 shahid.rahman@univ-lille3.fr.

The paper has been developed in the context of the researches for transversal research axis Argumentation (UMR 8163: STL), the research project ADA at the MESHS-Nord-pas-de-Calais and the research projects: ANR-SÊMAINÔ (UMR 8163: STL). 

Conféréncier invité

Preliminary words

The work of Souleymane Bachir Diagne has set a landmark in many senses, but perhaps the most striking one is his inexhaustible thrive to build multifarious conceptual links and bridges between traditions and to motivate others to further develop this wonderful realization of unity in diversity. Three main fields of his remarkable work are: history and philosophy of logic (Diagne (1989, 1992)), the renewal of Islamic thinking (Diagne (2001b, 2002, 2008, 2016)) and the specificity of the African philosophy (Diagne (1996, 2001a, 2007).

 

In the present talk I will focus on philosophy of logic, and more precisely on the algebra of logic of George Boole, that launched Bachir Diagne's (1989) academic carrier. However, the framework has bearings for the other both fields as developed in recent publications in collaboration. I will briefly discuss as an example of application the case of suspensive (muʿallaq) condition (taʿliq) in Islamic law and I might discuss this issue more deeply during the discussion,  

 

More precisely, the main objective of my presentation is to discuss a novel approach to both, the distinction between Boolean operators and inferentially defined connectives, and to bring forward a framework where the interplay of the former with the latter yields an integrated epistemic and pragmatist conception of reasoning. The epistemological framework underlying my discussion is the dialogical approach to Per Martin-Löf's (1984) Constructive Type Theory.

I will test the fruitfulness of the approach by providing case-studies in the domains of

 

  • Foundations of Mathematics
  • Non-classical truth functional operators
  • Epistemology

LOGIC, LAW AND LEGAL REASONING
Workshop at UNILOG'2018. 16-26 June 2018, Vichy

www.uni-log.org/start6.html

Organized by

Shahid Rahman

Hans Christian Nordtveit Kvernenes

Dpt of Philosophy, Univ. Lille 3, UMR: 8 163,

STL, CNRS, France

 

The workshop will discuss new insights in the interaction between logic and law, and more precisely the study of different answers to the question: What role does logic play in legal reasoning? It will present both current challenges and historical perspectives in

the relation between logic and law. The perspectives to be discussed involve the interface of the following studies: Foundational studies Logical Principles and Frameworks

Meaning Reasoning in Deontic Contexts Applications Legal practice and Computer-Based Modelisations Argumentation Theory Historical perspectives Legal reasoning in Ancient Roman, Arabic, Jewish and Far-East contexts. Others contexts