Initiation africaine à la logique formelle

L’idée d’une initiation à la logique formelle en Afrique a germé dans notre tête à la suite de plusieurs motifs : la presque totalité des études sur le sujet offre des présentations trop techniques et savantes. Comme on peut le constater aussi, depuis la fin du XXe siècle, la logique est devenue affaire de mathématiciens. Que dirait Aristote s’il revenait aujourd’hui sur terre ! Reconnaîtrait-il encore les règles qui fondent le raisonnement valide en philosophie comme il l’avait établi ? En un mot, la logique trop mathématisée aujourd’hui ferait-elle encore partie de la philosophie ? se demanderait-il ! Mathématisation ! Mathématisation du raisonnement valide en philosophie ! Elle a simplifié, allégé ses écritures à l’aide de symboles et réduit son discours à n’être qu’un langage-calcul, comme le note un des auteurs de l’Encyclopaedia Universalis. Il est rare que l’aspect pédagogique dans ses règles de fonctionnement soit pris en compte. Par ailleurs, l’expérience de l’enseignement suivi en Europe par plusieurs étudiants africains et européens, anciens et actuels, témoigne dans le même sens. C’est pourquoi nous voudrions, tenant compte de tous ces témoignages, présenter une approche des règles du raisonnement valide accessible non seulement à tous les étudiants universitaires et des dernières années du secondaire mais aussi à toutes les personnes cultivées. La logique, à travers ses règles, doit constituer une description du fonctionnement valide de notre esprit. Elle est aussi une technique du maniement des propositions et des prédicats.