DEMARCACIÓN
Para los positivistas lógicos clásicos, si una expresión no pertenece a un sistema formal o si no es susceptible de verificación empírica, debe ser excluida del ámbito de la ciencia. Si un enunciado no formal no es verificable, carece de significación. Ello sirvió a los positivistas lógicos para distinguir entre enunciados significativos (científicos) y enunciados no significativos (no científicos); aparte las ya mencionadas expresiones de sistemas formales. Constituyó de este modo lo que se ha venido llamando «criterio de demarcación».
El término ‘demarcación’ se viene usando sobre todo desde Popper. Este autor rechazó el criterio de los positivistas lógicos fundado en la verificabilidad —aun en las versiones más refinadas— y propuso el criterio de falsabilidad. Se trata de un criterio de
