Cette brochure contient le texte d’une conférence donnée lors de la séance du 17 mai 1993 du « Séminaire de philosophie et mathématiques ».
Le but de toute logique est de donner un cadre normatif qui permette de raisonner proprement. C’est-à-dire, dans un cadre de raisonnement donné, d’émettre des conclusions justes à partir d’hypothèses, ou prémisses, justes. La notion de juste, de vrai, de réel n’a pas, a priori, droit de cité dans ce discours. En fait la réalité est plus complexe que cette vision, somme toute, un peu simpliste : les diverses logiques veulent, comme toute discipline de saveur scientifique, donner un cadre pour penser leur objet, donner une intuition.