Cette brochure contient le texte d’une conférence donnée lors de la 23 février 1981 du « Séminaire de philosophie et mathématiques ».
Alors que l’idée d’une logique formelle est connue depuis Aristote, sous l’influence de logiciens mathématiciens se généralise, à partir du milieu du 19e siècle, l’idée que logique et logique formelle sont synonymes, en éliminant toute conception d’une logique informelle. Le père Bochenski, qui est un des représentants de cette tendance, l’a exprimée encore dans un récent colloque qui s’est tenu à Rome en 1976 sur le thème de la logique moderne. Dans une communication intitulée « The General Sense and Character of Modern Logic » il identifie la logique moderne (ML) avec la logique formelle. Il y caractérise ML par trois principes méthologiques : l’usage d’une langue artificielle, le formalisme te l’objectivisme.