Titre : | Introduction à la logique | Type de document : | texte imprimé | Auteurs : | Alfred TARSKI, Auteur ; Jacques TREMBLAY, Traducteur | Editeur : | Paris : Gauthier-Villars | Année de publication : | 1960 | Autre Editeur : | Louvain [Belgique] : E. Nauwelaerts | Collection : | Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554 num. 16 | Importance : | XV-224 p. | Langues : | Français | Catégories : | 03-xx
| Mots-clés : | logique mathématique variable théorie des classes théorie des relations | Résumé : | 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.
Sommaire:
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. | Note de contenu : | index |
Introduction à la logique [texte imprimé] / Alfred TARSKI, Auteur ; Jacques TREMBLAY, Traducteur . - Paris : Gauthier-Villars : Louvain (Belgique) : E. Nauwelaerts, 1960 . - XV-224 p.. - ( Collection de logique mathématique. Série A, Monographies réunies par Mme Destouche, ISSN 0530-7554; 16) . Langues : Français Catégories : | 03-xx
| Mots-clés : | logique mathématique variable théorie des classes théorie des relations | Résumé : | 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.
Sommaire:
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. | Note de contenu : | index |
| ![Introduction à la logique vignette](https://math22.math.univ-montp2.fr/images/vide.png) |