Createch

Logique moderne :

A la suite de Leibniz, la logique moderne a utilisé des symboles (x,y, ...), des opérateurs (ou, et, ...), des quantificateurs (il existe, quelque soit, ... ), et trois modes de raisonnement que nous reverrons par la suite. Signalons également un gros travail de Russel^[1] qui a permis de fonder les mathématiques sur la logique.

• Boole^[2] : symboles et opérateurs: x, y, ou, et, égalité

• Peano^[3] : quantificateurs (il existe, quelque soit...)

• Peirce^[4] : Déduction, induction, abduction

• Russel : fonde les mathématiques sur la logique