Karl Popper

Extracto:

"Mi propuesta está basada en una asimetría entre la Verificabiliclad y la Falsabilidad; asimetría que se deriva de la forma lógica de los enunciadlos universales. Pues éstos no son jamás deductibles de enunciados singulares, pero sí pueden estar en contradicción con estos últimos. En consecuencia, por medio de inferencias puramente deductivas (valiéndose del Modus Tollens de la lógica clásica) es posible argüir de la verdad de enunciados sin­gulares la falsedad de enunciados universales. Una argumentación de esta índole, que lleva a la falsedad de enunciados universales, es el único tipo de inferencia estrictamente deductiva que se mueve, como si dijéramos, en “dirección inductiva”: esto es, de enunciados singulares a universales."

Lo lógica de La Investigación científica.