Principes de logique théorique

Objet de l'ouvrage

Les Principes de logique théorique de Wilhelm Ackermann présentent une approche formelle de la logique. L'ouvrage étudie les énoncés et les raisonnements au moyen de symboles, de règles de formation et de règles de déduction. Cette méthode vise à distinguer clairement le langage employé pour parler des objets de la structure logique qui permet d'enchaîner les preuves.

Apport et postérité

Le livre appartient au mouvement qui a fait de la logique une discipline mathématisée. Il contribue à installer l'idée qu'un raisonnement peut être analysé indépendamment de son sujet particulier, par l'examen de sa forme. Cette perspective a marqué les recherches sur les fondements des mathématiques, la preuve et les systèmes formels. Elle a aussi préparé des outils devenus essentiels pour étudier la cohérence, la déductibilité et les limites de certains procédés de démonstration.

Repères historiques

• Publié en 1928.