L'auteur présente les plus importants concepts de la logique mathématique, créée dans le but d'assurer aux mathématiques un fondement plus solide et plus profond. Les concepts de la logique admettent tous les concepts mathématiques comme cas particuliers et les logiques sont toujours appliquées dans les raisonnements mathématiques. ©Electre 2025
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.
Paru le : 18/04/2008
Thématique : Textes des Philosophes
Auteur(s) : Auteur : Alfred Tarski
Éditeur(s) :
J. Gabay
Collection(s) : Non précisé.
Série(s) : Non précisé.
ISBN : 978-2-87647-295-2
EAN13 : 9782876472952
Reliure : Broché
Pages : 246
Hauteur: 24.0 cm / Largeur 17.0 cm
Épaisseur: 1.5 cm
Poids: 540 g
Carte fidélité
Mollat Radio
