Semana 4. La abducción como lógica del descubrimiento

Pregunta de la semana

¿De dónde salen las hipótesis, y qué hace que una sea mejor que otra antes de probarla?

Por qué esta semana

Es la semana central. Deducción e inducción no inventan nada: la una despliega lo que ya estaba en las premisas, la otra generaliza lo que ya estaba en los casos. Peirce identificó una tercera inferencia, la única que introduce ideas nuevas, y la llamó primero hipótesis y después abducción^a. Su forma: se observa un hecho sorprendente C; si A fuera verdad, C sería natural; luego hay razón para sospechar A. Es el razonamiento del detective, del diagnóstico y de la interpretación, y tiene una peculiaridad decisiva para el curso: no es válida ni por forma ni por frecuencia.

Peirce dice que la única justificación de la abducción es que sin ella no hay investigación posible, y que su regulación es la economía de la investigación. Dicho en los términos del curso, la validez de una abducción depende de un investigador que se compromete a ponerla a prueba y a responder por ese compromiso. Esa es la raíz de todo lo que el curso dirá sobre la frontera entre máquina e investigador, y es la razón de que la primera entrega, el mapa inferencial, se haga esta semana: el estudiante necesita las tres inferencias para clasificar su propio flujo.

Contenido de la sesión

1. El texto de 1878 toma un solo silogismo y lo gira tres veces. Regla: todas las habichuelas de esta bolsa son blancas. Caso: estas habichuelas son de esta bolsa. Resultado: estas habichuelas son blancas. La deducción va de regla y caso a resultado. La inducción va de caso y resultado a regla. La hipótesis va de regla y resultado a caso: sobre la mesa hay habichuelas blancas, al lado una bolsa de habichuelas blancas, y se sospecha que las de la mesa salieron de la bolsa. Las tres usan las mismas proposiciones; lo que cambia es cuál se concluye, y con ello cambia todo el régimen de validez.

2. La forma madura de 1903 ya no habla de silogismos sino de sorpresa. El hecho sorprendente C se observa; si A fuera verdad, C sería natural; luego hay razón para sospechar que A es verdad. Peirce insiste en que la abducción "sugiere meramente que algo puede ser" y en que es "la única operación lógica que introduce una idea nueva". La sorpresa es el detonante, y sin sorpresa no hay abducción: quien no esperaba nada no puede ser sorprendido, y eso convierte al trasfondo del investigador en condición de la inferencia.

3. Peirce da criterios para elegir qué hipótesis perseguir, y son la herramienta de trabajo del curso. Que explique el hecho: si fuera verdad, lo sorprendente sería natural. Que sea verificable: alguna observación podría confirmarla o refutarla. Que sea económica: barata de probar, con alto rendimiento si acierta, y que no cierre otras vías. Que sea plausible en el trasfondo de quien la propone. Los cuatro criterios se aplican antes de probar nada; son criterios para decidir en qué gastar el tiempo de la investigación^b.

4. Harman (1965) y después Lipton reformulan la abducción como inferencia a la mejor explicación. Conservan de Peirce la idea de que explicar es una razón para creer; cambian el momento: ya no se trata de generar hipótesis sino de aceptar la mejor entre las disponibles, por sus virtudes explicativas, simplicidad, alcance, coherencia, fecundidad. Harman llega a presentarla como la forma básica de toda inducción. El curso marca la diferencia: la inferencia a la mejor explicación supone que las hipótesis ya están; la abducción de Peirce explica de dónde salen y qué cuesta probarlas.

5. Timmermans y Tavory (2012) trasladan la distinción a la investigación cualitativa. La teoría fundamentada clásica se describe como inductiva, dejar que las categorías emerjan de los datos, y los autores muestran que eso es una ficción: codificar es encontrar lo sorprendente y proponer lo que lo haría natural, y eso es abducción. La consecuencia es incómoda para la ortodoxia y útil para el curso: el investigador necesita trasfondo teórico para que algo le sorprenda, y cuanto más trasfondo, más puede ver.

6. Queda abierta, y no se resuelve hoy, la pregunta de si un modelo que produce hipótesis abduce. El curso no afirma que no pueda. Lo que sí afirma es más modesto y más útil: la selección por sorpresa, plausibilidad y economía supone a alguien a quien algo le sorprende y que va a pagar el costo de probar, y hasta que haya un diseño en que ese alguien sea identificable, la hipótesis del modelo es un candidato, no una abducción validada. Las semanas 6 y 7 vuelven sobre esto.

IA y exigencia

Esta semana se le pide al modelo que gire un silogismo del propio proyecto y que proponga una hipótesis para un hecho que al estudiante le sorprenda. La exigencia es doble. Primero, el estudiante debe poder escribir las tres proposiciones, regla, caso y resultado, con un ejemplo propio y sin el modelo; si no logra escribir la regla, ya aprendió algo sobre su proyecto. Segundo, debe clasificar cada paso de su flujo de investigación y decir qué lo haría válido, su forma, sus tasas o el compromiso de alguien, sin que ningún modelo le dé la etiqueta. La mini app de clasificación ofrece un flujo ajeno para practicar antes de hacerlo con el propio^c.

Lecturas

Central

• Peirce, C. S. (1878). "Deducción, inducción e hipótesis". Traducción de Juan Martín Ruiz-Werner. Grupo de Estudios Peirceanos, Universidad de Navarra. https://www.unav.es/gep/DeducInducHipotesis.html
• Peirce, C. S. (1903). "El pragmatismo como lógica de la abducción" (séptima conferencia de Harvard). Traducción del Grupo de Estudios Peirceanos. https://www.unav.es/gep/PragmatismoLogicaAbduccion.html
• Harman, G. (1965). "The Inference to the Best Explanation". The Philosophical Review, 74(1), 88-95. https://doi.org/10.2307/2183532
• Timmermans, S. y Tavory, I. (2012). "Theory Construction in Qualitative Research: From Grounded Theory to Abductive Analysis". Sociological Theory, 30(3), 167-186. https://doi.org/10.1177/0735275112457914

Complementaria

• Peirce, C. S. (2012). Obra filosófica reunida, tomo II (1893-1913). Edición de N. Houser y C. Kloesel. México: Fondo de Cultura Económica. En especial "La naturaleza del significado" y "El pragmatismo como lógica de la abducción".
• Lipton, P. (2004). Inference to the Best Explanation. 2.ª edición. Londres: Routledge. Capítulos 4 y 9.
• Hanson, N. R. (1977). Patrones de descubrimiento. Madrid: Alianza. Capítulo 4. Original: Patterns of Discovery, Cambridge University Press, 1958.
• Reichertz, J. (2007). "Abduction: The Logic of Discovery of Grounded Theory". En A. Bryant y K. Charmaz (eds.), The SAGE Handbook of Grounded Theory (pp. 214-228). Londres: Sage.
• Grupo de Estudios Peirceanos, Universidad de Navarra. Cientos de textos de Peirce traducidos al español. https://www.unav.es/gep/

Guía de lectura

• En 1878 Peirce presenta los tres silogismos de las habichuelas y dice que la hipótesis es la inferencia más arriesgada y la más fecunda. Reconstruya los tres y gírelos con un ejemplo de su proyecto. ¿Cuál de las tres proposiciones le costó más escribir, y qué dice eso de su proyecto?

• En 1903 Peirce afirma que la abducción es la única operación lógica que introduce una idea nueva. La frase puede leerse como una tesis sobre cómo pensamos o como una tesis sobre qué forma tiene la inferencia. ¿Es una tesis psicológica o lógica, y cambia algo para un modelo según cuál sea?

• Harman presenta la inferencia a la mejor explicación como la forma básica de la inducción, lo que funde dos cosas que Peirce separó. ¿Qué se pierde si se funden, y qué gana Harman al fundirlas?

• Timmermans y Tavory sostienen que la teoría fundamentada se engaña al llamarse inductiva y que el conocimiento previo del investigador no es un sesgo sino una condición. ¿Qué cambia en la práctica de codificar si se acepta eso, y qué cambia para un modelo que codifica sin trasfondo propio?

Taller de la segunda hora

Trabajo sobre el propio proyecto. Cada estudiante trae un flujo de investigación real o planeado, dividido en pasos: delimitar, recolectar, describir, codificar, comparar, interpretar, escribir, o los que correspondan. Para cada paso responde tres preguntas:

1. ¿Qué tipo de inferencia predomina? Si hay mezcla, cuál pesa más y por qué.
2. ¿Qué haría válido ese paso: su forma, su frecuencia o el compromiso de alguien?
3. ¿Podría ejecutarlo una máquina? ¿Podría verificarlo una máquina? Son dos preguntas distintas, y la diferencia entre ellas es donde empieza la frontera.

El resultado es el mapa inferencial preliminar, primera entrega evaluable. Antes de empezar con el propio flujo, cada estudiante pasa diez minutos por la mini app de clasificación para calibrarse con un flujo ajeno. Plantilla en plantillas/mapa-inferencial.md.

Guion de la sesión

Notas para el docente. El error más común en el mapa es marcar todo como abductivo porque la investigación "es interpretativa"; pedir que al menos un paso se justifique como deductivo y uno como inductivo obliga a mirar mejor. El segundo error es confundir ejecutar con verificar: un modelo puede proponer una hipótesis y no puede verificarla; un humano puede ejecutar un conteo y una máquina verificarlo. La sesión no debe cerrar la pregunta sobre si el modelo abduce; si el grupo quiere resolverla, aplazarla con fecha, semana 7.

Entrega

Mapa inferencial preliminar. Se evalúa la clasificación justificada de cada paso, no la respuesta correcta. Un paso bien argumentado como abductivo que el docente clasificaría como inductivo vale más que uno marcado sin razones. La rúbrica está en evaluacion.md.

Para la próxima semana

Nagel y Newman, capítulos 1 a 3 y 7. Turing (1950). Lucas (1961) y la respuesta de Feferman. Se organiza el debate: la mitad del grupo defiende el argumento gödeliano contra la inteligencia artificial, la otra mitad lo ataca. La semana 5 muestra dónde el proyecto formal de la semana 2 encontró sus límites desde adentro.