La logique ou l'art de raisonner

Yannis Delmas-Rigoutsos, René Lalement

160 pages, parution le 05/04/2000

Ajouter à une liste

Indisponible

Résumé

Depuis les syllogismes des Anciens, qui permettaient de distinguer entre le " vrai " et le " faux ", entre le " bon " et le " mauvais " raisonnement, jusqu'à la logique moderne qui s'intéresse à la validité des démonstrations de la géométrie comme aux calculs pratiqués par les ordinateurs, ce livre vous permet de vous familiariser avec les symboles, les règles et les théorèmes qui constituent les fondements universels de cet " art de raisonner ".

Sommaire

FORMALISER - DES OBJETS AUX ENONCES.

Les faits en tout-ou-rien.
Combiner les faits.
Parler des objets.
Pourquoi formaliser.

INTERPRETER - DES ENONCES AUX OBJETS.

Deux valeurs de vérité.
La valeur d'un énoncé se calcule.
Objets et structures.
Les variables ont un environnement.
Langages, théories, modèles.
Vérités et conséquences.

PROUVER - DES ENONCES AUX ENONCES.

Pour jouer, il faut des règles.
La déduction, c'est naturel.
I faut bien gérer ses hypothèses.
Jeu de variables.
Le choix des règles.
Il faut savoir dire " non ".
A quoi sert la complétude ? Simplicité ou intelligence.

AXIOMATISER - DES OBJETS AUX ENSEMBLES.

Tant d'objets à modéliser.
Les ensembles, naïvement.
Fonder l'édifice mathématique.
Nos objets sont nos ensembles.
Fondement et choix.
Arithmétique.
Vérifier.

LOGIQUE ET MATHEMATIQUES.

L'auteur - Yannis Delmas-Rigoutsos

Yannis Delmas-Rigoutsos, spécialiste de logique et d'histoire des sciences, enseigne à l'IUFM de Paris.

L'auteur - René Lalement

René Lalement, chercheur et professeur d'informatique à l'Ecole nationale des Ponts et Chaussées, est l'auteur de Logique, réduction, résolution (1991, Masson).

Caractéristiques techniques

	PAPIER
Éditeur(s)	Le Pommier
Auteur(s)	Yannis Delmas-Rigoutsos, René Lalement
Parution	05/04/2000
Nb. de pages	160
Format	13,4 x 20
Couverture	Broché
Poids	184g
Intérieur	Noir et Blanc
EAN13	9782746500358
ISBN13	978-2-7465-0035-8