Robert Blanché
Un article de Wikipédia, l'encyclopédie libre.
Robert Blanché (1898-1975): Agrégé de philosophie, professeur à l’Université de Toulouse, il a écrit de nombreux ouvrages abordant les mathématiques sous un angle philosophique.
Sommaire |
[modifier] Les axiomes en mathématiques selon Blanché
Cette partie résume sommairement l’idée exprimée par R. Blanché dans le premier chapitre de l’Axiomatique.
[modifier] La géométrie euclidienne
Le mathématicien grec Euclide est l’auteur des Éléments, ouvrage ayant servi de base à la géométrie classique pendant des siècles. C’est un exemple quasiment parfait de théorie déductive. Chaque démonstration élémentaire s’appuie sur un ensemble d’hypothèses clairement définies, et s’oblige à démontrer tout résultat sans jamais demander au lecteur d’admettre une proposition externe (non contenue dans les hypothèses). En cascadant judicieusement nombres de démonstrations élémentaires, de telle sorte que la conclusion de l’une devienne hypothèse de la suivante, il est possible de démontrer un très grand nombre de résultats à partir d’un jeu d’hypothèses premières (car il faut bien commencer quelque part) très réduit, et dont la véracité ne fait pas de doute. L’aspect empirique est alors réduit au minimum pour justifier les hypothèses premières. En pratiquant le doute, Descartes a tenté de pousser la théorie déductive jusqu’au bout. Partant d’une vérité absolue non empirique (« Je pense donc je suis ») comme hypothèse première, puis en chaînant les démonstrations élémentaires, il semble possible, étape par étape, de démontrer en quelque sorte « la véracité de l’univers »…
[modifier] Échec de l’idéal déductif
Malheureusement, deux obstacles s’opposent à la réalisation de l’idéal déductif cartésien. D’abord, sans remettre en cause le « je pense donc je suis » de Descartes, il n’est pas possible d’en déduire quoi que ce soit : aucune démonstration ne peut utiliser cette vérité absolue pour hypothèse. Par ailleurs, la théorie d’Euclide n’était pas parfaitement déductive : il avait dû faire appel, pour ne pas rester bloqué, à des principes. C’est-à-dire des propositions qui, bien qu’elle semblent évidentes, n’ont pu être démontrées. L’un de ces principes affirme qu’étant donné une droite et un point quelconque, il ne passe par ce point qu’une et une seule parallèle à la droite. Si l’existence d’une telle droite a pu être démontrée (il suffit d’en trouver une), son unicité a résisté à toute tentative de preuve pendant des siècles. Faces aux échecs répétés de la démonstration directe, les mathématiciens se sont orientés vers une démonstration par l’absurde : en prenant pour hypothèse que le nombre de parallèles puisse être supérieur à un, il s’agit alors de parvenir à démontrer un résultat dont on sait par ailleurs (par une autre démonstration) qu’il est faux. Or si les mathématiciens parviendront fort bien à démontrer nombres de résultats à partir de cette hypothèse, ils ne « tomberont » jamais sur une contradiction. Il faudra bientôt réviser ses positions : il est parfaitement possible, mathématiquement, de construire une théorie cohérente ayant pour postulat un nombre indéterminé de parallèles. La géométrie euclidienne n’est que le cas particulier où ce nombre vaut un.
[modifier] Théorie hypothético-déductive
L’avènement de la Géométrie non euclidienne va mettre un terme à l’idéal déductif. Il ne s’agira plus alors de raisonner juste à partir d’hypothèses vraies, puisque l’apparente véracité du principe des droites parallèles ne découlait finalement que de l’impossibilité de se représenter d’autres possibilités dans notre monde réel régi par la géométrie euclidienne. Il est désormais acceptable de choisir des hypothèses folkloriques et d’en tirer par démonstration un résultat tout aussi folklorique. Qu’importe, du moment que le raisonnement, lui, est valide. On exigera en général du jeu d’hypothèses non pas qu’elle soient vraies mais seulement qu’elles ne soient pas contradictoires (consistantes). Ce n’est en fait pas une obligation. Mais partant de deux hypothèses contradictoires, on sait par avance - avant même de s’engager dans toute démonstration - qu’il est possible de prouver une chose et son contraire, ce qui en limite considérablement l’intérêt. Rendant obsolète l’idéal d’une théorie définitive partant d’une proposition vraie de manière absolue, la théorie devient hypothético-déductive :
- - aussi loin que l’on remonte dans la chaîne des démonstrations, il faut toujours, à un moment, se donner des hypothèses de départ qui soient admises ;
- - il est possible de démontrer à peu près tout et n’importe quoi, pour peu que l’on choisisse judicieusement les hypothèses de départ.
[modifier] Axiomes et définitions
Toute théorie déductive nécessite donc comme point de départ des propositions non démontrées, qu’on appellera indifféremment postulats ou axiomes. De plus, il est courant, dans le cadre d’une démonstration mathématique, d’énoncer dès le départ un certain nombre de définitions. Or contrairement à une idée répandue, une définition ne saurait être un point de départ. Lorsqu’on définit un segment [AB] par l’ensemble des points de la droite (AB) compris entre les points A et B, il faut bien déjà connaître ce qu’est un point, une droite, un ensemble, ou ce que signifie pour des points qu’être compris entre… Il s’agit là du paradoxe du dictionnaire : bien que tous les mots y soient définis, il faut bien au préalable en connaître quelques-uns pour pouvoir l’utiliser. Aussi, toute théorie déductive repose d’une part sur des axiomes (propositions admises), à partir des quels on va démontrer de nouvelles propositions, et d’autre part sur des termes non définis, servant précisément à en définir de nouveaux.
[modifier] Démontrer, convaincre
Qu’est ce qu’une bonne démonstration ? Le terme est ambigu : du point de vue de la logique, une bonne démonstration est celle qui n’utilise que les axiomes et les termes de départ, sans jamais faire (involontairement) appel à une notion externe. Ce n’est déjà pas une mince affaire, tant il est facile qu'une notion soit implicitement cachée. Une bonne démonstration se doit alors d’être rigoureuse. Mais pour l’élève une bonne démonstration est celle qu’il comprend. Une bonne démonstration se doit d’être pédagogique. Or, qu’un élève ne comprenne pas une démonstration, c’est-à-dire qu’il ne parvienne pas à accepter par lui-même sa validité, ne change en rien la validité de cette démonstration. Inversement, l’exemple cité plus haut du principe des parallèles montre qu’il ne suffit pas d’être convaincu de l’évidence d’une proposition pour se passer de sa démonstration, fusse-t-elle infiniment plus complexe a saisir que la proposition elle-même. Pas de meilleur exemple ici que celui cité par Robert Blanché : "On connaît l’anecdote de ce précepteur princier qui, à bout de ressources, parvint néanmoins à faire admettre son théorème en s’écriant enfin, excédé : Monseigneur, je vous en donne ma parole d’honneur !"
[modifier] Autres aspects de l'œuvre de Robert Blanché
Sa contribution ne se limite absolument pas au domaine mathématique. Ses premières réflexions ont été beaucoup plus générales et concernent notamment les aspects épistémologiques des notions de "corps", de "mental", de fait physique ou psychique,(Cf. sa thèse de lettres).
[modifier] Ouvrages
- La Notion de fait psychique, essai sur les rapports du physique et du mental – 1934, ed. PUF.
- Le Rationalisme de Whewell – 1935, ed. PUF.
- Whewell : de la construction de la science – 1938, ed. J. Vrin
- La Science physique et la réalité : réalisme, positivisme, mathématisme - 1948, ed. PUF
- Les Attitudes idéalistes – 1949, ed. PUF
- L’Axiomatique – 1955, ed. P.U.F. coll. Quadrige, 112p.
- Introduction à la logique contemporaine - 1957, ed. Armand Colin, coll Cursus, 205p.
- Structures intellectuelles, essai sur l’organisation systématique des concepts - 1966, ed. J. Vrin
- Raison et discours, défense de la logique réflexive – 1967, ed. J. Vrin
- La science actuelle et le rationalisme - 1967, Ed. PUF.
- La Méthode expérimentale et la philosophie de la physique – 1969, ed. Armand Collin, 384p
- La logique et son histoire d’Aristote à Russell, ed. Amand Colin, coll. U, Paris, 1970, 366p.
- La Logique et son histoire, (avec Jacques Dubucs), ed. Amand Colin, coll. U, Paris, 1996, 396p. (édition revue de 1970)
- L’Épistémologie - 1972 ; ed. PUF
- Le Raisonnement – 1973, ed. PUF
- L’Induction scientifique et les lois naturelles – 1975, ed. PUF
