FORMALISME
Articles
-
SCIENCES - Sciences et discours rationnel
- Écrit par Jean LADRIÈRE
- 6 634 mots
...et celle des axiomes selon le processus suivant. Soit une théorie fondée sur un ensemble d'axiomes A et utilisant un ensemble de règles de déduction R. On formalise complètement cette théorie ; cela revient à construire un système formel ayant précisément pour axiomes les propositions de l'ensemble A... -
SCIENCES ET PHILOSOPHIE
- Écrit par Alain BOUTOT
- 17 713 mots
- 6 médias
...réellement renoncé ! C'est quelque chose qui s'impose et qui n'est pas intelligible ». L'inintelligibilité de la mécanique quantique tient, bien entendu, non pas à la complexité de son formalisme mathématique, qui, en lui-même, est parfaitement cohérent, mais à son mode de description des phénomènes. -
SÉMIOLOGIE
- Écrit par Julia KRISTEVA
- 5 442 mots
- 1 média
...permet les fondements sémiotiques du projet leibnizien. L'Ars combinatoria (1666) et la Monadologie(1714) justifient et pratiquent une conception de la formalité mathématique comme simultanée et indissociable des diverses manifestations du sens qui sont, en raison de cette indissociabilité et à cette... -
SERRES MICHEL (1930-2019)
- Écrit par Christiane RABANT
- 1 155 mots
- 1 média
...circule souvent un rapport souterrain que l'intuition n'atteint pas, ni la connaissance immédiate, ni même le savoir discursif, mais que parfois saisit un formalisme pur et affiné... L'aptitude au divers est proportionnelle à la pureté initiale », écrit-il dans Le Système de Leibniz et ses modèles... -
SIMMEL GEORG (1858-1918)
- Écrit par Raymond BOUDON
- 2 758 mots
... des phénomènes naturels n'est possible, selon Kant, que parce que l'esprit y projette des formes (par exemple l'espace et le temps), de même la connaissance des phénomènes sociaux n'est possible, selon Simmel, qu'à partir du moment où le sociologue organise le réel à l'aide de systèmes... -
STRUCTURALISME
- Écrit par Jean-Louis CHISS , Michel IZARD et Christian PUECH
- 24 054 mots
- 2 médias
...relative inadéquation de l'entreprise structuraliste au climat intellectuel qui prévalait chez les premiers intéressés, les anthropologues de métier. On peut voir dans ce hiatus l'origine de l'identification du structuralisme à un formalisme, compte tenu de ce que ce dernier mot appelle de... -
STYLISTIQUE
- Écrit par Georges MOLINIÉ
- 6 198 mots
...du langage à régime de littérarité. Le discours littéraire sera donc analysé dans et selon ce fonctionnement : à travers l'ensemble des déterminations formelles qui le structurent, de quelque ordre qu'elles soient. Comme ces déterminations formelles structurent un régime du langage, elles concernent expressément,... -
SYSTÈME, épistémologie
- Écrit par Jean LADRIÈRE
- 4 171 mots
...se poser cette question à propos de théories existantes, surtout quand elles ont le caractère d'une « logique ». Ainsi, par exemple, le problème de la formalisation de la logique hégélienne fait déjà l'objet de travaux très précis. Il est clair que, le jour où l'on réussira à « formaliser » les théories... -
TARSKI ALFRED (1902-1983)
- Écrit par Jan SEBESTIK
- 1 074 mots
...le concept de vérité et celui de conséquence logique. Le premier est analysé dans sa célèbre étude sur Le Concept de vérité dans les langages formalisés (traduite en allemand en 1935-1936 sous le titre de Wahrheitsbegriff). Ce mémoire, qui fut présenté par Łukasiewicz devant la Société des lettres... -
THÉORIE STANDARD ÉTENDUE
- Écrit par Jean-Yves POLLOCK
- 1 108 mots
Dans le cadre général de la grammaire générative, on peut caractériser de façon informelle la théorie standard étendue comme un effort visant à rendre aussi spécifiques et restrictifs que possible les outils descriptifs mis à la disposition du linguiste dans sa tâche d'analyse des différentes...
-
VÉRITÉ
- Écrit par Robert BLANCHÉ et Antonia SOULEZ
- 10 672 mots
Ainsi comprise, la vérité devient cette propriété des formules d'un système formel (dont la langue est interprétable dans la langue naturelle) qu'on cherche à définir par sa construction dans le métalangage qui, conformément à la théorie russellienne des types, doit posséder des variables du type logique... -
VÉRITÉ, mathématique
- Écrit par Jean-Paul DELAHAYE
- 1 304 mots
Pour un formaliste – dont David Hilbert (1862-1943) est considéré, un peu rapidement, comme le type –, l'existence des objets mathématiques dans un monde qui leur serait propre, ainsi que leur nature, sont des questions à contourner : il faut, dans un premier temps, les négliger. À l'opposé du réaliste,...