Requisito de verificabilidad completa en principio: Una oración tiene significado empírico si, y sólo si, no es analítica y se deduce lógicamente de una clase finita y lógicamente consistente de oraciones observacionales.
| C.G. Hempel, Problemas y cambios en el criterio empirista de significado, en A.J. Ayer (ed.), El positivismo lógico, FCE, México 1965, p. 118. |