Grunbaum: Hipótesis Auxiliares Ad Hoc y Falsacionismo

(Def. a): Una H auxiliar de una teoría de 'rescate' T2 es ad hoc (a) en el tiempo t con
respecto a la correspondiente teoría "rescatada" anterior T1 y un hallazgo empírico
previo E, si y sólo si en el tiempo t, H tampoco tiene la aprobación, ni es considerada
dudosa por ninguna teoría aceptada y KC (T2, t) no contiene consecuencias
independientes contrastables que ya tengan una aprobación empírica o desaprobación.

Aquí la caracterización de T1 y T2 como respectivamente 'rescatado' y 'rescatando' en la

intención de tener la fuerza del siguiente requerimiento impuesto por Leplin ([1975],
página 327): H debe ser consistente con las proposiciones 'esenciales' retenidas de
T1, donde una proposición "esencial" de una teoría T es aquella cuyo rechazo
"contaría, a juicio de la comunidad científica, como un rechazo de T,
independientemente de la retención de otras hipótesis". Pero explicaré en la sección 4 a
continuación por qué no impongo la llamada "condición de no fundamentalidad" de
Leplin ([1975], p 331) como una de las condiciones necesarias en la definición de
cualquiera de mis tres sentidos de ' ad hoc'.
ahora consideramos una especie de auxiliares que son más fuertemente ad hoc que ad
hoc (a).

(Def. b): un H auxiliar de una teoría de 'rescate' T2 es ad hoc (b) en el tiempo t con
respecto a la teoría anterior 'rescatada' correspondiente T1 y un hallazgo empírico
previo E, si y sólo si en el tiempo t, H tampoco tiene la aprobación de una teoría
aceptada y no es considerada dudosa y KC (T2, t) no contiene consecuencias
independientes contrastables.
Claramente, cualquier auxiliar que sea ad hoc (b) en el tiempo t también será ad hoc (a)
en ese momento. Pero como lo ilustra el caso de la hipótesis de Neptuno, en general lo
contrario no se cumple.

(Def. c): un H auxiliar de una teoría de 'rescate' T2 es ad hoc (c) en el tiempo t con
respecto a la teoría anterior 'rescatada' correspondiente T1, y un hallazgo empírico
previo E, si y sólo si en el tiempo t, H ni tiene la aprobación de, ni es cuestionada
por ninguna teoría aceptada y LC (T2) no contiene consecuencias independientes
contrastables.
Nótese que la dependencia temporal del atributo ad hoc (c) está asegurada por la
dependencia del tiempo de la aceptación de una teoría dada en la comunidad
científica: la dependencia del tiempo posterior es un ingrediente en el primer conjunto
de los definiens (definiciones) de ad hoc (c).