Las teoras deben ser algo axiomatizable, es decir, expresable segn la lgica
matemtica.
Las teoras cientficas, segn los positivistas, sirven para caracterizar o
esquematizar las regularidades fenomnicas a travs de trminos tericos, los
cuales deben ser definidos explcitamente en trminos observables.
Se distinguen dos tipos de enunciados: las proposiciones sintticas, que
expresan hechos y su validez consiste en su verificabilidad en el dominio de los
hechos, y las proposiciones analticas, que son vlidas independientemente de
los hechos. Segn los neopositivistas, existen dos lenguajes: el terico y el
observacional. Ambos estn conectados por definiciones coordinadas o reglas
de correspondencia.
La posibilidad de comprobacin emprica constituye el nico sentido posible de
las proposiciones factuales. Por tanto, cuando una proposicin no puede ser
comprobada ni falsada, carece de sentido. El empirismo lgico pretende hacer
frente a la dificultad de determinar qu nmero de observaciones es necesario
realizar para inferir enunciados generales.