Assertion

M.C.-Escher-représentations-réflexions

En logique et en mathématiques, une assertion est une proposition mathématique vraie. Cette proposition vraie s’inscrit dans le cadre d’une théorie précise. Cette même proposition peut d’ailleurs être fausse au sein d’une autre théorie.

« Du latin adsertio, de adserere, « affirmer ». En logique, concept introduit par Frege qui en fit un double usage, logique et pragmatique, qu’il convient aujourd’hui de séparer nettement. »

Linguistique, logique : « Opération qui consiste à poser la vérité d’une proposition. »

Dictionnaire des concepts philosophiques, Michel Blay, Editions CNRS Larousse, 2006.