La Vérification

Confronter un énoncé avec les faits ou examiner si une chose est telle qu'elle doit être, c'est-à-dire conforme à son essence formelle ou définition réelle, tels sont les deux modes d'une même procédure : la vérification. L'auteur examine la place, la fonction et la valeur de cette procédure dans la pensée scientifique, des sciences formelles aux sciences empiriques. Une vérification scientifique étant toujours l'adéquation entre un énoncé exprimé dans un système symbolique constitué de concepts et une réalité qui s'impose comme objet de connaissance vraie, l'auteur commence par s'interroger sur les conditions qui rendent nécessaire une représentation vraie de la réalité (Première partie : « Connaissance symbolique, connaissance intuitive et vérité »). Dès lors, il examine le statut de la vérification en mathématiques en étudiant successivement le rapport de cette procédure à la démonstration en général, aux différents types d'objets mathématiques et à l'activité constructive de la pensée (Deuxième partie : « Vérifier en mathématiques »). Enfin il dégage la signification de la vérification dans les sciences de la nature en étudiant successivement le rapport de cette procédure au fait, à l'hypothèse et à la théorie scientifiques. – Bibliographie, p. 303-308 ; Index, p. 309-312 ; Table des matières, p. 313-314.

F. F.