Paru le 21/02/2008 | Broché 246 pages
Public motivé
I - Éléments de logique. Méthode déductive.
L'usage des variables.
Le calcul des propositions.
La théorie de l'identité.
La théorie des classes.
La théorie des relations.
La méthode déductive.
II - Applications de la logique et de la méthodologie à la construction des théories mathématiques.
Construction d'une théorie mathématique : lois d'ordre pour les nombres.
Construction d'une théorie mathématique : lois de l'addition et de la soustraction.
Considérations méthodologiques sur la théorie que nous venons de construire.
Extension de la théorie construite : fondements de l'arithmétique des nombres réels.
Lectures conseillées.
Développement systématique de la logique.
Théorie générale des ensembles.
Fondements de l'arithmétique en logique et en théorie des ensembles.
Méthodologie des sciences déductives.
Fondements axiomatiques de théories mathématiques particulières.
Histoire de la logique.
Philosophie de la logique et des mathématiques.
