Abstract

La logistique ou logique formalisée est une forme nouvelle de logique formelle : on rappelle les caractères de la logique formelle ancienne et les stades de développement qu'a traversés la logique formalisée . La logique formalisée n'est pas simplement une logique usant de symboles : le seul emploi de symboles techniques peut constituer un artifice pédagogique plus ou moins intéressant ; il ne crée pas une méthode scientifique. Une logique formalisée est une logique usant de symboles, mais surtout une logique dont toutes les déductions s'effectuent selon des axiomes, ces axiomes portant sur le maniement des symboles et ne tenant aucun compte de leur sens . Donc, dans la déduction, les symboles seront traités à part de leur sens — ils seront momentanément traités comme « dénués de sens » ; il existe toutefois des méthodes en vue de vérifier de quels sens ils sont susceptibles . La logique formalisée est une science positive ; elle a la rigueur qui tient à la méthode des sciences déductives positives, à la méthode mathématique . Quels résultats d'ordre scientifique peut-on attendre de la logique formalisée ? Elle n'a pas la prétention d'effectuer des calculs plus aisément que les mathématiques existantes ; mais elle a permis la constitution d'une discipline positive étudiant les fondements des mathématiques. Quelle est la portée philosophique de la logique formalisée ? On ne peut prétendre qu'elle conduit au néo-positivisme, pas plus qu'on ne peut voir dans l'ancienne logique non formalisée l'instrument nécessaire et suffisant pour mener la métaphysique traditionnelle. Une philosophie intellectualiste n'a pas besoin de justifier ses thèses à partir de la seule logique formalisée mais un certain usage de la logique formalisée l'aiderait à pouvoir défendre la non-contradiction de ses fondements