Formalisation

Articles

ABSTRACTION

Écrit par :  Alain DELAUNAY

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 particul ...  Lire la suite

FORMALISME

Écrit par :  Étienne BALIBAR, Pierre MACHEREY

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'imp ...  Lire la suite