Formalisation

"formalisation" dans l'encyclopédie

• FORMALISME

  • Écrit par Étienne BALIBAR et Pierre MACHEREY
  • 27 499 mots
  • 1 média

  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.

• MARTIN ROGER (1920-1979)

  • Écrit par Jan SEBESTIK
  • 6 235 mots

   XVIII (1963) ; Logique contemporaine et formalisation ( 1964) ; « Bachelard et les mathématiques », in Bachelard, colloque de Cerisy-la-Salle (1974).

• LEIBNIZ GOTTFRIED WILHELM, en bref

  • Écrit par Francis WYBRANDS
  • 973 mots
  • 1 média

  Il suffit d'évoquer quelques-unes de ses inventions ou de ses concepts clés pour mesurer son importance : calcul infinitésimal, formalisation de la logique, optimisme, monadologie, principe de raison suffisante, théodicée... Métaphysicien hors pair, esprit baroque, fin diplomate, polyglotte (il écrit aussi bien en français qu'en latin ou en allemand), Leibniz a marqué son siècle et fécondé jusqu'à nos jours les esprits les plus singuliers (Heidegger, Russell, Deleuze.

• HOCKETT CHARLES FRANCIS (1916-2000)

  • Écrit par Michel BRAUDEAU
  • 1 011 mots

  Cette tendance à la systématisation se retrouve dans tous les travaux de Hockett, quel que soit leur domaine d'application : de la phonologie à la poétique, on trouve dans ses recherches le même souci de formalisation (« Problems of morphemic analysis », 1947 ; A Manual of phonology, 1955 ; A Course in Modern Linguistics, 1958 ;« Linguistic Elements and their relation »,1961 ; The View from Language, 1977).

• ÉCOSYSTÈMES ET FLUX ÉNERGÉTIQUE

  • Écrit par Jean-Pierre RAFFIN
  • 1 145 mots

  Après la formalisation par le Britannique Arthur George Tansley du concept d'écosystème (1935), l'écologue américain Eugene Odum publie, en 1953, Fundamentals of Ecology, avec la participation de son frère Howard. Issu de leurs recherches et de leurs réflexions prospectives, c'est le premier véritable traité d'écologie. Alors qu'Eugene s'attache à décrire et à évaluer le fonctionnement des écosystèmes, Howard développe une analyse de la circulation de l'énergie et de la matière.