FORMALISME
La notion de système formel
La notion de système formel résulte finalement de la combinaison des deux courants, logiciste et formaliste, et peut être utilisée à titre de concept mathématique, de façon relativement indépendante des intentions philosophiques initiales.
On définit un système formel (ou théorie formalisée) en donnant une série de conditions.
La langue formalisée
1. On désigne explicitement un ensemble fini ou dénombrable de symboles, répartis selon leur usage en constantes, variables, symboles logiques, symboles de relations, symboles impropres (ponctuation, par exemple, dont l'usage pourrait être évité au moyen de conventions d'écriture). Une suite finie de symboles est appelée une expression du système. 2. On définit un sous-ensemble d'expressions du système, qu'on appelle les expressions correctement formées, ou formules du système. Intuitivement – mais la référence à l'intuition est étrangère à la problématique du logicien –, ces formules sont celles qui, dans une interprétation du système (en vue de laquelle il peut avoir été construit), ont une signification intelligible, représentant soit l'énoncé d'une relation, soit celui d'une proposition (qui peut être vraie ou fausse en logique « binaire », ou plus généralement prendre une « valeur de vérité » déterminée. C'est Wittgenstein qui, en définissant les « tables de vérité » du calcul des propositions, a ouvert la possibilité de déterminer axiomatiquement les valeurs de vérité).
Dans le cas général, il n'est pas possible d'énumérer effectivement toutes les formules, qui sont en nombre infini. On en donne une définition récursive, en énonçant des règles de formation dont l'application réitérée engendre les formules. Le plus souvent il existe alors un procédé purement mécanique permettant de décider effectivement si une expression donnée est une formule du système.
La démonstration formalisée
3. On définit un sous-ensemble de formules qu'on appelle les axiomes du système. Le plus souvent, on peut décider effectivement si une formule donnée est un axiome, et on parle alors de théorie axiomatique. Intuitivement, les axiomes représentent des propositions qui sont considérées comme vraies sans démonstration, mais cette référence est en toute rigueur inutile. 4. On définit une liste finie de relations R1, ..., Rn entre les formules, qu'on appelle règles d'inférence. Pour chaque règle Ri, il existe un entier j bien déterminé tel que, pour tout ensemble de j formules et toute formule A, on puisse effectivement décider si les j formules considérées et la formule A sont dans la relation Ri. Dans ce cas, on dit que A est une conséquence immédiate des formules considérées en vertu de Ri.
On appelle démonstration formelle du système une suite finie de formules dont chacune est soit un axiome, soit une conséquence immédiate des formules précédentes en vertu d'une règle d'inférence. Une démonstration est dite démonstration de sa dernière formule. Un théorème du système est une formule dont il existe une démonstration. Intuitivement, les théorèmes sont les « vérités » de la théorie. Mais cette référence est absente de la définition d'un système formel, qui a justement pour but de représenter la notion de vérité par celle de démonstrabilité au sens qu'on vient d'indiquer.
Dans une théorie axiomatique formalisée, l'ensemble des théorèmes du système est défini de façon récursive, comme, précédemment, celui des formules correctes. Même lorsqu'une théorie formalisée est axiomatique, la notion de théorème n'y est cependant pas nécessairement « effective », c'est-à-dire qu'il n'est pas nécessairement possible de déterminer par un procédé mécanique si une formule quelconque donnée est un théorème. Lorsque c'est le cas, on parle de théorie[...]
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 : maître assistant à l'université de Paris-I
- Pierre MACHEREY : maître assistant à l'université de Paris-I
Classification
Pour citer cet article
Étienne BALIBAR et Pierre MACHEREY. FORMALISME [en ligne]. In Encyclopædia Universalis. Disponible sur : (consulté le )
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
- 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 Pierre DELATTRE, Universalis, Alain de LIBERA
- 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 Georges GLAESER
- 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 Raymond BOUDON, Marie GAUTIER, Bertrand SAINT-SERNIN
- 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
Voir aussi
