En lógica, la contrainducción es la práctica de elaborar un paradigma que contradiga y ayude a cuestionar el actual por comparación. Paul Feyerabend defendía la contrainducción como una forma de poner a prueba teorías científicas que no han sido cuestionadas; teorías que no han sido cuestionadas simplemente porque no existen estructuras dentro del paradigma científico que puedan cuestionarse a sí mismas (véase Crotty, 1998, pág. 39). Por ejemplo, se cita a Feyerabend diciendo lo siguiente:
"Por lo tanto, el primer paso en nuestra crítica de los conceptos y reacciones habituales es salir del círculo y, o bien inventar un nuevo sistema conceptual, por ejemplo, una nueva teoría, que entre en conflicto con los resultados de las observaciones más cuidadosamente establecidas y confunda los principios teóricos más plausibles, o importar dicho sistema de la ciencia externa, de la religión, de la mitología, de las ideas de incompetentes o de los delirios de los locos." (Feyerabend, 1993, pp. 52-3)
Esto entra en la metodología pluralista que defiende Feyerabend y que ayudará a sustentar los métodos contrainductivos. La teoría anarquista de Paul Feyerabend popularizó la noción de contrainducción.
La mayoría de las veces, cuando se menciona la contrainducción, no se la presenta como una regla válida, sino como una refutación de la justificación inductiva de la inducción propuesta por Max Black , ya que la justificación contrainductiva de la contrainducción [ jerga ] es formalmente idéntica a la justificación inductiva de la inducción. [1] Para más información, véase Problema de inducción .