Extrait étudié : Nous pouvons distinguer trois exigences auxquelles devra satisfaire théoriquement notre système empirique. Il devra, tout d'abord, être synthétique, de manière à pouvoir représenter un monde possible, non contradictoire. En deuxième lieu, il devra satisfaire au critère de démarcation, c'est-à-dire qu'il ne devra pas être métaphysique mais devra représenter un monde de l'expérience possible. En troisième lieu, il devra constituer un système qui se distingue de quelque manière des autres systèmes du même type dans la mesure où il est le seul à représenter notre monde de l'expérience. Mais comment distinguer le système qui représente notre monde de l'expérience ? La réponse est la suivante : par le fait qu'il a été soumis à des tests et qu'il a résisté à des tests. Ceci signifie qu'il faut le distinguer en lui appliquant cette méthode déductive dont l'analyse et la description constituent mon propos. Selon cette conception, « l'expérience » apparaît comme une méthode caractéristique qui permet de distinguer un système théorique d'autres systèmes théoriques. De sorte que la science empirique semble se caractériser non seulement par sa forme logique mais aussi par la spécificité de sa méthode. (...) UN CRITÈRE DE DÉMARCATION : LA FALSIFIABILITÉ Le critère de démarcation inhérent à la logique inductive revient à la condition suivante : l'on doit pouvoir décider de manière définitive de la vérité et de la fausseté de tous les énoncés de la science empirique (ou encore tous les énoncés « pourvus de sens ») ; nous dirons qu'il doit être « possible de décider de leur vérité ou de leur fausseté de manière concluante  ». Ceci signifie que leur forme doit être telle qu'il soit logiquement possible tant de les vérifier que de les falsifier. Or dans ma conception, il n'y a rien qui ressemble à de l'induction. Aussi, pour nous, est-il logiquement inadmissible d'inférer des théories à partir d'énoncés singuliers « vérifiés par l'expérience » (quoi que cela puisse vouloir dire). Les théories ne sont donc jamais vérifiables empiriquement. Si nous désirons éviter l'erreur positiviste qui consiste à exclure, en vertu de notre critère de démarcation, les systèmes théoriques de la science naturelle nous devons choisir un critère qui nous permette d'admettre également dans le domaine de la science empirique des énoncés qui ne peuvent pas être vérifiés. Toutefois, j'admettrai certainement qu'un système n'est empirique ou scientifique que s'il est susceptible d'être soumis à des tests expérimentaux. Ces considérations suggèrent que c'est la falsifiabilité et non la vérifiabilité d'un système, qu'il faut prendre comme critère de démarcation. En d'autres termes, je n'exigerai pas d'un système scientifique qu'il puisse être choisi, une fois pour toutes, dans une acception positive mais j'exigerai que sa forme logique soit telle qu'il puisse être distingué, au moyen de tests empiriques, dans une acceptation négative : un système faisant partie de la science empirique doit pouvoir être réfuté par l'expérience. (Ainsi l'énoncé « il pleuvra ou il ne pleuvra pas ici demain » ne sera-t-il pas considéré comme empirique pour la simple raison qu'il ne peut être réfuté, alors que l'énoncé « il pleuvra ici demain » sera considéré comme empirique.) POPPER