Qu'est-ce que la logique des mathématiques ?
La logique des mathématiques repose sur le présupposé d’une aptitude commune à raisonner qui nous permet de communiquer et de convaincre qu’un raisonnement est correct. S’il existe bien un raisonnement mathématique, il s’élabore sur une spécialisation du raisonnement commun dans le contexte des mathématiques.
Quels sont les avantages de la logique mathématique ?
Mais en un autre sens la logique mathématique est bien plus riche que la logique naturelle : les énoncés peuvent être beaucoup plus complexes, certains raisonnements comme le raisonnement par l’absurde semblent surtout utilisés en mathématique, les chaînes de déductions sont beaucoup plus longues
Qui a inventé la logique moderne ?
Cependant, sans négliger les apports antérieurs, on peut dire que la logique moderne – celle que nous allons étudier – date essentiellement de la deuxième moitié du XIXième siècle, avec les travaux fondateurs de George Boole, Augustus De Morgan, Charles S. Peirce et surtout Gottlob Frege.