Formalisation


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 des accidents d'une substance, ne pas s'arrêter aux particularités d'un être. Il s'agit pour la pensée de faire […] Lire la suite

FORMALISME

  • Écrit par 
  • Étienne BALIBAR, 
  • Pierre MACHEREY
  •  • 5 001 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 […] Lire la suite