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.
We publiceren alleen reviews die voldoen aan de voorwaarden voor reviews. Bekijk onze voorwaarden voor reviews.