La théorie vérificationniste de la signification est une conception épistémologique partagée par le positivisme logique du Cercle de Vienne. Dans sa formulation la plus simple, elle affirme qu'un énoncé n'a de signification cognitive, c'est-à-dire n'est susceptible d'être vrai ou faux, que s'il est vérifiable par l'expérience: c'est pourquoi on parle aussi d'empirisme logique. Les autres énoncés sont soit analytiques, et « vides de sens » (sinnlos), soit synthétiques mais non vérifiables par l'expérience, et donc « absurdes » (unsinnig). Cette distinction entre sinnlos et unsinnig vient du Tractatus logico-philosophicus de Wittgenstein, qui influença le programme du Cercle de Vienne.