Cercle de Vienne
La théorie vérificationniste de la signification, ou Vérificationnisme (en allemand Verifikationismus) est une conception épistémologique utilisée en philosophie du langage, 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.