Spór o zasadę weryfikacji.

En ce qui concerne l'histoire de la philosophie du X X siecles, i l nous faut interesser au critere empiriste de la signification. A rarriere-plan, nous decouvrons un concept d'experience qui nous ramene aux experiences sensorielles elementaires, sur lesquelles vient se greffer l'architecture logique du monde. F. Waismann avait etabli le principe de verification suivant: le sens d'un enonce est la methode de sa verification. Cela voulait dire que chaque proposition non logique, douee de signification (c'est-a-dire toute proposition se rapportant a des faits), peut, en derniere instance, etre verifiee par experience directe des sens. A. Ayer soutenait une version forte du «critere de verification », meme s'il prenait deja ses distances d'avec le phenomenalisme strict. Pour lui, un enonce a une signification si, et seulement si, on sait comment i l peut etre verifie, c'est-a-dire si nous pouvons dire quelles observations nous conduiraient, et sous quelles conditions, a accepter comme etant vraie ou a la rejeter comme etant fausse. Plus tard, Ayer enonce le critere de verification sous la formę suivante: une proposition a une signification litterale si et seulement si elle est soit analytiąue, soit empiriquement verifiable. Avoir une signification litterale, cela veut dire etre capable d'etre vrai ou faux.