FORMALISME

• 1
• 2
• 3

Articles

• INFORMATIQUE - Principes

  • Écrit par Jacques HEBENSTREIT
  • 3 060 mots
  • 2 médias
  Un langageformel est, par définition, un langage ne possédant qu'une syntaxe et pas de sémantique. Un tel langage est très différent des langages naturels puisqu'il ne comporte qu'une grammaire et que le sens des mots n'intervient pas. C'est cependant en partant, non pas de la linguistique, mais de...

• INTELLIGENCE

  • Écrit par Jean-François RICHARD
  • 6 591 mots
  ...immédiatement si la solution proposée est valide ou non : il suffit de vérifier si l'état auquel on a abouti est l'état terminal que l'on souhaitait. Mais l'homme construit aussi des systèmes formels dont les éléments, ainsi que les relations qui les relient, sont abstraits. Un système formel se présente...

• LACAN JACQUES (1901-1981)

  • Écrit par Patrick GUYOMARD
  • 6 797 mots
  Les lettres, les mathèmes, sont des symboles dont use Lacan à des fins de formalisation et de transmission. Elles sont les éléments d'une algèbre à venir, mais qui n'existe pas, et d'une « mathématisation » qui n'en a que le nom puisqu'elle exclut tout calcul et se réduit à quelques symboles indissociables...

• LANGAGE PHILOSOPHIES DU

  • Écrit par Jean-Pierre COMETTI et Paul RICŒUR
  • 23 538 mots
  • 9 médias
  ...Une nouvelle comparaison sémiotique est fournie par la distinction entre langages naturels et langages artificiels ; ceux-ci sont essentiellement des langages formalisés construits à des fins scientifiques ou techniques, selon les exigences logiques symboliques du mathématicien. Ils posent trois sortes...

• LINGUISTIQUE - Théories

  • Écrit par Catherine FUCHS
  • 7 713 mots
  • 1 média
  Le modèle chomskien a connu de nombreuses versions successives. En 1957, Chomsky jette les bases formelles de son entreprise, en recourant à la notion de transformation : la grammaire construit des structures de base, dites « syntagmatiques », qu'elle convertit ensuite en structures dérivées à l'aide...

• LOGIQUE

  • Écrit par Robert BLANCHÉ et Jan SEBESTIK
  • 12 972 mots
  • 3 médias
  ...division, le rôle du moyen terme. Mais la plus fondamentale, car c'est proprement avec elle que commence la logique en tant que science formelle, est l'introduction des variables, c'est-à-dire la substitution à une proposition concrète telle que « L'homme est mortel », du simple schéma formel de cette...

• MARTIN ROGER (1920-1979)

  • Écrit par Jan SEBESTIK
  • 1 135 mots

  Professeur de logique formelle à l'université de Paris-V, Roger Martin fut un des représentants français les plus éminents de cette discipline. Né au Puy le 17 mars 1920, il prépare au lycée Henry-IV, après ses études secondaires au lycée Buffon, le concours d'entrée à l'École normale...

• MATHÉMATIQUES FONDEMENTS DES

  • Écrit par Jean Toussaint DESANTI
  • 10 434 mots
  • 1 média
  ...d'énoncés que la construction cantorienne avait permis d'obtenir. La tâche théorique fondamentale n'est pas ici de produire les écritures adéquates : la formalisation ; bien qu'elle soit parfois difficile, c'est là une tâche essentiellement technique. Le projet en avait été partiellement réalisé...

• MÉTALOGIQUE

  • Écrit par Françoise ARMENGAUD
  • 422 mots

  Étude des propriétés des systèmes logiques. Une fois construit comme système, un formalisme peut lui-même devenir objet d'étude. Les propriétés les plus importantes des systèmes formels sont les suivantes : tout d'abord, dans l'ensemble des formules constructibles dans un système, il en est...

• MÉTHODE

  • Écrit par Jean LARGEAULT
  • 9 066 mots
  ...particularité qui tient à ce que cette discipline porte sur des formes dégagées des faits qui ont pu les suggérer. Les idées, épurées de manière à devenir des formes, se prêtent à l'application de règles strictes (formalisation). Ainsi la « méthode » des mathématiques est logique. Ce n'est pas l'essentiel. Attendu...

• MODALITÉS, logique

  • Écrit par Pascal ENGEL
  • 7 573 mots
  • 1 média
  Les difficultés qu'on rencontre pour représenter dans un formalisme cohérent les diverses notions modales expliquent que les logiciens les aient rejetées aux frontières de la logique classique du vrai et du faux, et que, quand ils les ont prises en compte, ils se soient heurtés au fait qu'elles semblent...

• MODÈLE

  • Écrit par Raymond BOUDON , Hubert DAMISCH , Jean GOGUEL , Sylvanie GUINAND , Bernard JAULIN , Noël MOULOUD , Jean-François RICHARD et Bernard VICTORRI
  • 24 464 mots
  • 2 médias
  ...algébriques en syntaxe avec le programme générativiste. La plupart des modèles syntaxiques qui suivront emprunteront les caractéristiques de base du formalisme chomskyen, en particulier la définition d'une grammaire comme un ensemble de règles de production s'appliquant à un vocabulaire...

• NOTATION MATHÉMATIQUE

  • Écrit par Hans FREUDENTHAL
  • 10 338 mots
  • 1 média
  Les langues naturelles doivent leur structure syntactique à un amas chaotique de moyens de flexion, de subordination, de conjonction, de ponctuation, de mélodie et de rythme. Mais, très souvent, la structure syntactique s'explique par le sens et non par des critères formels. « Mathématique et langue...

• OULIPO (Ouvroir de littérature potentielle)

  • Écrit par Jacques JOUET
  • 1 018 mots

  La complicité intellectuelle de Raymond Queneau, écrivain frotté de mathématiques et de François Le Lionnais, homme de science passionné de littérature, marque la véritable origine de l'Oulipo (Ouvroir de littérature potentielle). Autour d'eux, en novembre 1960, se rassemblent écrivains et mathématiciens...

• PEANO GIUSEPPE (1858-1932)

  • Écrit par Georges GLAESER
  • 1 828 mots
  • 1 média
  ...mathématique. Cela incite Peano (après C. S. Peirce, E. Schröder et G. Frege) à réaliser le vieux projet de Leibniz : l'élaboration d'un langage formalisé, utilisant peu de symboles et soumis à une grammaire rationnelle. Le symbolisme de Peano, qu'il nomme pasigraphie (cf. illustration),...

• PHILOSOPHIE ANALYTIQUE

  • Écrit par Francis JACQUES et Denis ZASLAWSKY
  • 13 428 mots
  • 3 médias
  Les techniques formelles sont en porte-à-faux dès qu'on sort du champ des sciences déductives. Ainsi, on ne peut dire que l'État est une construction logique d'individus aussi facilement qu'on dit que le nombre est une classe de classes. Les techniques formelles ne peuvent s'appliquer qu'à des langages...

• PSYCHANALYSE

  • Écrit par Pierre KAUFMANN
  • 17 239 mots
  • 1 média
  Ici se trouve fixé le point d'ancrage de la formalisation. Huit ans après une première évocation du temps logique, le Discours de Rome – « Fonction et champ de la parole et du langage » (1953) – en soulignait la valeur d'anticipation, pour marquer le rôle auquel sont appelés dans une théorisation rigoureuse...

• PSYCHOMÉCANIQUE, linguistique

  • Écrit par Catherine FUCHS
  • 1 044 mots

  Le nom de « psychomécanique » (ou encore « psychosystématique ») du langage a été donné à la théorie développée dans la première moitié du xx^e siècle par le linguiste français Gustave Guillaume (1883-1960), dont les écrits sont rassemblés dans deux recueils posthumes d'articles...

• QUANTIQUE PHYSIQUE

  • Écrit par Claude de CALAN
  • 5 273 mots
  • 6 médias
  En mécanique quantique, le point le plus important est la structure additive, dont les ondes donnent un exemple : c'est ce principe de superposition linéaire qui engendre des interférences, constructives ou destructives, analogues aux interférences acoustiques, qui peuvent amplifier ou éteindre...

• ŠAUMJAN SEBASTIAN KONSTANTINOVIČ (1916-2007)

  • Écrit par Zlatka GUENTCHÉVA
  • 734 mots

  Connu comme le créateur du modèle génératif applicationnel, S. K. Šaumjan (ou Chaoumian) a été membre du conseil scientifique de l'Académie des sciences de l'U.R.S.S. et chef de la section des méthodes structurales dans l'étude des langues à l'Institut de la langue russe à Moscou. À partir...

• 1
• 2
• 3