Abonnez-vous à Universalis pour 1 euro

FORMALISME

La théorie de la formalisation

La construction de systèmes formels, dont on a vu qu'on peut chercher l'origine historique dans une tradition de philosophie mathématique aux aspects contradictoires, détermine historiquement un déplacement de la réflexion logique du plus grand intérêt épistémologique.

La formalisation des notions logiques qui sont en quelque sorte pratiquées implicitement dans le travail mathématique correspondait initialement à l'objectif de « fonder » la mathématique, ce qui est très clair dans la perspective logiciste de Frege et de Russell. Elle ne répondait pas à l'idée d'une transformation de l'objet de la logique comme science. Pourtant, la rupture est profonde avec une représentation traditionnelle parce que la formalisation expulse, au moins au niveau opératoire, la référence intuitive (l'évidence) des notions « logiques » mêmes, qui ne jouissent plus d'aucun privilège à cet égard. Un système formel simple peut servir à représenter la logique des propositions, l'ensemble des opérations logiques élémentaires qui réalisent la notion de conséquence : il suffit que les axiomes et les règles d'inférence règlent l'usage des symboles qu'on interprétera comme négation, implication, conjonction, disjonction. Mais il n'est généralement qu'une partie d'un système plus complexe, permettant de représenter en même temps la logique générale (c'est-à-dire la logique des prédicats ou relations) et des théories mathématiques comme la théorie des ensembles, l'arithmétique, la théorie des groupes, etc., ce qui suppose évidemment l'introduction d'axiomes spécifiques supplémentaires. Mais les axiomes « logiques » ne représentent alors qu'un sous-ensemble de l'ensemble des axiomes d'une théorie, qui sont situés sur le même plan et n'ont pas un usage différent dans la démonstration. On met ainsi clairement en évidence que l'ensemble des théorèmes, des vérités démontrées d'une théorie dépend simultanément des axiomes mathématiques et de la « logique » employée et peut varier en fonction des uns et de l'autre. On peut dire aussi que cette unification illustre le véritable rapport historique de la logique et des mathématiques : la logique ne « fonde » pas les progrès et les transformations historiques d'une mathématique qu'elle surplomberait du haut de sa validité universelle, de son éternité, de son évidence a priori. Elle est un aspect du travail mathématique qui en est entièrement solidaire.

Logique et mathématique

Cela ne signifie pas qu'il n'y ait aucun moyen de distinguer rigoureusement entre axiomes « logiques » et axiomes « mathématiques ». Cette distinction est une question d'interprétation du système formel, c'est-à-dire de construction d'un modèle, ensemble d'objets mathématiques qui peuvent être mis en correspondance avec les symboles et les formules du système. À la suite des travaux de l'école polonaise (A. Tarski) et néo-positiviste (R. Carnap), on appelle généralement sémantique (par opposition à la syntaxe) l'étude théorique des modèles d'un système formel et de leurs propriétés.

En fait, l'objet de la logique théorique se trouve ainsi complètement déplacé, par un mouvement que Cavaillès nommait thématisation, posant comme nouvel objet le formalisme dans lequel on exprimait la théorie du précédent. La logique s'identifie dans ses problèmes, sinon dans ses objectifs, avec ce que Hilbert appelait la «   métamathématique », c'est-à-dire la discipline (mathématique) qui, dans une «   métalangue » rigoureuse, peut nous donner la connaissance scientifique de ces objets nouveaux que sont les « langues » et les systèmes axiomatiques formalisés. On se contentera ici de désigner les principaux de ces problèmes,[...]

La suite de cet article est accessible aux abonnés

  • Des contenus variés, complets et fiables
  • Accessible sur tous les écrans
  • Pas de publicité

Découvrez nos offres

Déjà abonné ? Se connecter

Écrit par

Classification

Pour citer cet article

Étienne BALIBAR et Pierre MACHEREY. FORMALISME [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )

Article mis en ligne le et modifié le 14/03/2009

Média

Bertrand Russell - crédits : Kurt Hutton/ Picture Post/ Getty Images

Bertrand Russell

Autres références

  • FORMALISME (arts)

    • Écrit par
    • 1 871 mots

    En histoire de l'art, le formalisme ne peut être dissocié d'une interrogation sur le style. En cela, son objet est l'analyse de l'art, conçu, pour reprendre les termes de l'historien de l'art et critique Meyer Schapiro (1904-1996), comme « un système de formes qui...

  • ABSTRACTION

    • Écrit par
    • 906 mots

    Terme qui renvoie à tout au moins quatre significations, à la fois indépendantes les unes des autres et pourtant reliées par un jeu de correspondances profondes.

    Un sens premier du mot abstraction est le suivant : négliger toutes les circonstances environnant un acte, ne pas tenir compte...

  • ANALOGIE

    • Écrit par , et
    • 10 427 mots
    Les situations propres au travail scientifique, dans lesquelles on utilise des énoncés théoriques plus ou moins formalisés pour rendre compte du comportement des systèmes autres que le langage théorique lui-même, ne sont pas dans leur principe différentes de celle qui vient d'être évoquée. Le langage...
  • AXIOMATIQUE

    • Écrit par
    • 2 036 mots
    On remarquera qu'il y a un lien essentiel entre axiomatisation et formalisation. Ce lien nous éclaire sur la nature profonde de la science qui d'une certaine manière tourne le dos à l'empirique pour constituer des systèmes cohérents de concepts et de relations. La coupure épistémologique entre le pur...
  • CAUSALITÉ

    • Écrit par , et
    • 12 987 mots
    • 3 médias
    La mécanique newtonienne, extraordinaire par sa précision et son ampleur, a servi de modèle – malgré les doutes de son fondateur sur la notion de cause – à la conception classique de la théorie physique. En premier lieu, le vocabulaire de la théorie ne comporte qu'un nombre restreint de termes primitifs...
  • Afficher les 52 références