FORMALISME
Au sens moderne la formalisation est la présentation des théories scientifiques – et, en premier lieu sinon exclusivement, des mathématiques – dans le cadre d'un système formel, permettant de caractériser sans ambiguïté les expressions du langage et les règles de démonstration recevables.
On aurait tort de considérer pour autant que l'importance scientifique de la formalisation se réduise à une question de formulation. La formalisation des théories mathématiques fondamentales, suscitée à l'origine par les problèmes de « fondement » des mathématiques, a conduit tout au long du xxe siècle au développement autonome d'une logique mathématique qui crée ses propres problèmes et concepts.
D'un autre côté, la formalisation des mathématiques est liée, dès son apparition, au développement de l' axiomatique et à l'étude des espèces de structures abstraites (selon la terminologie de Bourbaki), généralement « multivalentes », qui sont présentes dans les domaines les plus apparemment divers de la mathématique et en expliquent l'unité (structures algébriques surtout, à l'origine).
En ce sens, si le travail mathématique contemporain ne se déroule pas tout entier à l'intérieur d'un langage formalisé, on peut dire néanmoins qu'il met en évidence le formalisme, c'est-à-dire le caractère formel, de la connaissance mathématique.
L'idée de connaissance formelle
L'idée d'une connaissance formelle est en un sens aussi ancienne que la réflexion sur la science, c'est-à-dire que la philosophie. Mais c'est une idée aussi multivoque, et capable de transformations, que la catégorie même de forme, et que les couples de forme et matière, forme et contenu, forme et signification.
Les historiens de la logique, discutent toujours, à cet égard, sur l'interprétation de la syllogistique d'Aristote, de la logique stoïcienne des énoncés ou de la théorie médiévale des « conséquences ». Mais ils s'accordent généralement à faire remonter quelques-unes des conceptions modernes sur la formalisation à la période classique et notamment à l'œuvre de Leibniz.
Le développement du calcul algébrique et de son symbolisme, l'explicitation des concepts de « relation » et de « fonction », sous-tendent, chez ce dernier, l'idée que le calcul, non seulement est la véritable forme du raisonnement rigoureux, mais peut s'étendre à d'autres objets que les grandeurs numériques. Leibniz établit le principe d'un calculus ratiocinator destiné à mécaniser les opérations du raisonnement logique ; plus généralement, il concevait le projet d'exprimer toutes les idées dans une « caractéristique universelle » mettant en évidence symboliquement leurs relations de dépendance mutuelle et permettant de remplacer le travail de connaissance par le calcul analytique.
Il faut cependant remarquer que la pensée de Leibniz, pas plus que celle des logiciens antiques, n'est fondée sur la distinction de la forme et de la signification, puisqu'il veut représenter symboliquement les idées elles-mêmes et qu'il conçoit le raisonnement comme une analyse de leur compréhension, et en particulier la relation de conséquence logique comme une relation d'inclusion entre idées. On peut dire que – à la différence du projet hobbesien et condillacien de la science entendue comme « langue bien faite », « langue des calculs » –, la pensée de Leibniz, dont l'influence historique a été considérable, est un formalisme non empiriste lié à une conception spiritualiste de la forme, comme seule véritable substance.
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éjà abonné ? Se connecter
Écrit par
- Étienne BALIBAR : philosophe, professeur à l'université de Paris-I
- Pierre MACHEREY : maître assistant à l'université de Paris-I
Classification
Média
Bertrand Russell
Kurt Hutton/ Picture Post/ Getty Images
Autres références
-
FORMALISME (arts)
- Écrit par François-René MARTIN
- 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 Alain DELAUNAY
- 907 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 Pierre DELATTRE , Encyclopædia Universalis et Alain de LIBERA
- 10 429 mots
Les situations propres au travail scientifique, dans lesquelles on utilise des énoncés théoriques plus ou moinsformalisé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 Georges GLAESER
- 2 037 mots
On remarquera qu'il y a un lien essentiel entre axiomatisation etformalisation. 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 Raymond BOUDON , Marie GAUTIER et Bertrand SAINT-SERNIN
- 12 990 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
