HAY UNA "LGICA" DE LA ABDUCCIN?

Michael Hoffmann
Universidad de Bielefeld, Alemania



Charles S. Peirce define su famoso concepto de "abduccin" del siguiente
modo: "Abduccin es el proceso por el que se forma una hiptesis explicativa. Es
la nica operacin lgica que introduce una idea nueva" (CP 5.171, 1903). El
objetivo de este artculo es abordar la cuestin de cmo la abduccin puede ser
entendida como una forma de inferencia lgica. Para contestar a esta pregunta es
importante aclarar, en primer lugar, qu puede significar el trmino "lgica".
Me gustara distinguir cuatro descripciones del trmino "lgica" bastante
diferentes. Hoy, parece comn que slo haya una definicin slida de lgica, la
que encabeza la siguiente lista, pero es importante tener en mente que ha habido
otras. Peirce, que haba estudiado la historia de la filosofa en profundidad,
parece influenciado por todas ellas
1
.
1. Lgica deductiva o analtica. "La lgica escribe Quine como cualquier
ciencia, tiene como tarea la bsqueda de la verdad. Lo que es verdad son ciertos
enunciados. Y la bsqueda de la verdad es el empeo por separar los enunciados
verdaderos de los otros, que son falsos" (Quine 1982: 1). La tarea ms importante
de este tipo de lgica es definir la validez de llegar a una verdad desde otra
verdad. Esta es la tarea de clarificar la "relacin de implicacin lgica". La
inferencia lgica, en este sentido, slo puede ser deduccin (Quine 1982: 3s.).
2. Lgica orientada al objeto o epistmica. En contraste con nuestra primera
forma de lgica, que l llama "Lgica General", Kant define su "lgica
trascendental" como "una ciencia del conocimiento puro intelectual y racional,
conocimiento a travs del cual pensamos los objetos plenamente a priori" (B 81).
Mientras la lgica general "abstrae de todo contenido del conocimiento (...) y
slo considera la forma lgica de la relacin que guardan entre s los
conocimientos" (B 79), los esfuerzos de Kant en su lgica trascendental se
dirigan a establecer la posibilidad del conocimiento objetivo de objetos.
3. Lgica como evolucin racional del pensamiento y el ser. Me refiero aqu
especialmente a la "Lgica Dialctica" de Hegel que describe una forma
especfica de desarrollo: tesis, anttesis y sntesis, y as sucesivamente en un
proceso iterativo. En tanto que esta forma de desarrollo est gobernada por una
racionalidad universal o "absoluta", la lgica dialctica se realiza a s misma en
un orden teleolgico de evolucin natural, cultural y cognitiva.
4. Lgica orientada a un fin. De acuerdo con Herbert A. Simon,
"generalmente llamamos 'lgico' a un proceso cuando satisface las normas que
hemos establecido para ello; y estas normas se derivan de nuestra preocupacin
por que el proceso sea eficaz o eficiente para cumplir el fin para el que ha sido
establecido" (Simon 1973: 473). A pesar del hecho obvio de que diferentes fines
requieren diferentes normas que podran ser eficientes de manera diferente, el
carcter lgico depende slo de la existencia de normas y de su supuesta
eficiencia.
Hay, por supuesto, muchos problemas en estas toscas definiciones, y hay
otras diferenciaciones y definiciones posibles, pero esa no es la cuestin aqu.
Slo quiero mostrar que el trmino "lgica" tiene una amplia gama de
aplicaciones en filosofa. Por lo tanto, la cuestin de si hay una "lgica" de la
abduccin implica una pregunta ulterior: qu clase de lgica ser la que incluya
el razonamiento abductivo, el proceso de generacin de una hiptesis?
Los mritos de Peirce como padre fundador de la lgica deductiva moderna
son bien conocidos (Putnam 1982; Quine 1995; Dipert 1995; Houser, Roberts, y
Van Evra, 1997). Pero especialmente su concepcin tarda de la abduccin
requiere una comprensin ms amplia de la "lgica" que no es fcil de
reconstruir
2
. Para Peirce, la abduccin es esencial para entender los
descubrimientos cientficos. Estaba convencido de que todas las ramas de la
ciencia se basan en el razonamiento "lgico", y que "la ciencia de de las Leyes
del Desarrollo de la Ciencia (...) debe ser un vstago de la lgica y debe
descansar en una slida teora general de la lgica" (L75C, 492, 1902). Un
concepto de lgica que incluya la posibilidad de describir las "Leyes del
Desarrollo de la Ciencia" y que incluya tambin lo que Popper llam una "Lgica
del Descubrimiento", debe ser un concepto muy amplio de lgica.
La mejor manera de entender la inferencia abductiva puede ser compararla
con la deduccin y la induccin en relacin con sus diferentes papeles en los
procesos de descubrimiento cientfico:
" (...) no hay sino tres clases elementales de razonamiento. La primera, que yo
llamo abduccin (...) consiste en examinar una masa de hechos y en permitir que
estos hechos sugieran una teora. De este modo ganamos nuevas ideas; pero el
razonamiento no tiene fuerza. La segunda clase de razonamiento es la deduccin,
o razonamiento necesario. Slo es aplicable a un estado ideal de cosas, o a un
estado de cosas en tanto que puede conformarse con un ideal. Simplemente da un
nuevo aspecto a las premisas (...) El tercer modo de razonamiento es
la induccin o investigacin experimental. Su procedimiento es ste. Cuando la
abduccin sugiere una teora, empleamos la deduccin para deducir a partir de
esa teora ideal una promiscua variedad de consecuencias a tal efecto que si
realizamos ciertos actos, nos encontraremos a nosotros mismos enfrentados con
ciertas experiencias. Cuando procedemos a intentar esos experimentos, y si las
predicciones de la teora se verifican, tenemos una confianza proporcionada en
que los experimentos que an no se han intentado confirmarn la teora. Yo
afirmo que estos tres son los nicos modos elementales de razonamiento que
hay" (CP 8.209, c.1905).
Al describir esta interaccin de abduccin, deduccin e induccin, Peirce
formula una clara diferenciacin entre estas "tres clases elementales de
razonamiento". El criterio de esta diferenciacin no es la cuestin de las "reglas"
sino la funcin de esas formas inferenciales en los procesos cientficos. Es muy
importante sealar que, con respecto a su funcin, se nos presenta una idea quiz
poco comn de la induccin: para Peirce la induccin no es la inferencia de lo
particular a lo general en el sentido clsico (aunque a veces define la induccin
en el sentido clsico). La induccin de Peirce comienza a partir de
generales dados, a partir de hiptesis inferidas abductivamente, y a partir de
implicaciones inferidas deductivamente de esas hiptesis. La diferencia
especfica entre la induccin y la abduccin es aqu que la abduccin forma parte
del proceso de descubrimiento, mientras que la induccin forma parte del proceso
de probar los descubrimientos. Mediante la induccin un general dado ser slo
confirmado o falsado por experimentos futuros. En este sentido, el "problema de
la induccin" clsico (cf. Popper 1976) no se sostiene, porque ni la abduccin ni
la induccin envuelven por s mismas ninguna pretensin de verdad.
Para Peirce, la validez de un argumento depende de dos criterios, su
seguridad y su productividad. Las tres clases de razonamiento cumplen esos
criterios de diferente manera (cf. CP 8.384, 8.387s, 1913). En este sentido parece
claro que el "mtodo" del razonamiento abductivo no puede ser una "regla de
inferencia" en el sentido de la deduccin o el razonamiento analtico. Existe, sin
embargo, una forma especfica de inferencia abductiva:
(F1)(1) Se observa el hecho sorprendente, F.
(2) Pero si H fuera verdadero, F sera cosa corriente
Por lo tanto,
(3) Hay razn para sospechar que H es verdadero (cf. CP 5.189, 1903).
La cuestin esencial es, por supuesto, la de cmo es posible crear o encontrar
la hiptesis H. A primera vista, la respuesta de Peirce a esta cuestin parece
bastante poco satisfactoria. Identifica la abduccin conadivinar, considerando
este adivinar, por una parte, como un "poder instintivo" y, por otra, como un
proceso que opera "sobre la base de otra informacin (...) bajo nuestro control"
(Kapitan 1992: 8). El significado de esas formulaciones es bastante vago, pero
creo que es posible encontrar una interpretacin provechosa que arroje tambin
alguna luz acerca de cul pueda ser el carcter lgico de la abduccin.
En principio, podemos distinguir dos modos de obtener una hiptesis: en
primer lugar, podemos decir, de acuerdo con la definicin de Eco de abduccin
creativa, que la hiptesis explicativa "tiene que ser inventadaex novo" (Eco 1990:
59s.). Pero cuesta ver cmo puede ser posible una "creacin" sacada de la nada.
De la nada, nada procede. Hay, sin embargo, otra posibilidad de obtener una
hiptesis: en lugar de suponer que no hay ninguna hiptesis dada, podemos
imaginar que existe una coleccin infinita de hiptesis posibles. Ambos modos
de obtener hiptesis son equivalentes en tanto que, respecto a la bsqueda de una
hiptesis, es irrelevante que no haya ninguna hiptesis dada o que haya un
conjunto infinito de hiptesis posibles.
Si formulamos el problema de obtener una hiptesis como el problema de
escoger una de un conjunto de hiptesis posibles, como sugiero, la identificacin
peirceana de razonamiento abductivo con "adivinar" en cuanto "poder instintivo"
puede ser interpretada dentro de un razonamiento que elaborar ahora en diez
pasos, comenzando con algunas consideraciones generales relativas a la
epistemologa de Peirce.
(1) La caracterstica central de la epistemologa de Peirce es que toda
cognicin desde la percepcin hasta el razonamiento lgico y matemtico est
mediado por "signos" o "elementos de generalidad".
(2) La cognicin mediada por signos implica que cada conjunto de datos
dados como punto de partida de una inferencia abductiva nunca se da "en estado
puro", sino determinada siempre por modos de percepcin, por perspectivas,
teoras previas, etc. Cada cognicin est incrustada dentro de un conjunto
de contextos. Uso el trmino "contexto" en el sentido de Gregory Bateson.
Bateson pone el ejemplo de la co-evolucin del caballo y la sabana: La evolucin
de los caballos est determinada por la sabana en la que pacen, del mismo modo
que la evolucin de la sabana est determinada por los caballos (Bateson 1972:
155). De este modo existe ah un contexto de dependencia mutua entre ambos.
Para definir el significado de "contexto" de un modo ms preciso, dira que un
"contexto" es una relacin de mutua dependencia entre los hbitos de entidades
diversas . El contexto no es un Umwelt en cuanto conjunto de cosas determinadas
desde fuera, sino una relacin especfica entre hbitos de entidades que
interactan. En contraste con el trmino "contexto", defino "situacin" como un
conjunto espacial y temporal determinado de entidades independientemente de
sus posibles relaciones entre ellas. Mientras una situacin es un "evento"
concreto y particular, un contexto es un generaldel mismo modo en que son
generales los hbitos en cuanto formas de actuar y percibir.
En relacin con nuestras consideraciones epistemolgicas, podemos
distinguir los siguientes contextos: contextos de capacidades naturales de
entidades vivas en tanto que se desarrollan en y con relacin a ciertos ambientes
naturales (por ejemplo nuestra percepcin sensorial de acuerdo con la teora de
Gibson 1979: captulo 8); contextos de saber hacer prctico dentro de una cierta
prctica, contextos de instrumentos tcnicos en tanto que estn desarrollados en
relacin con ciertas propiedades de nuestro mundo (por ejemplo las formas muy
distintas de microscopios descritas por Hacking 1983: captulo XI); contextos
sociales entre los hbitos de individuales, contextos de creencias que se
desarrollan en dependencia mutua con ciertas experiencias u otras creencias, etc.
Los contextos son generales y desempean el papel de reglas o leyes que
determinan la posibilidad de percepcin y razonamiento.
(3) A diferencia de las ideas platnicas, es importante sealar: primero, que
los contextos no son "eternos", sino parte de un proceso de evolucin y, segundo,
que esos elementos generales no estn separados de los "hechos" o de los
particulares "estados de cosas" que determinan. Para Peirce, existe
una determinacin mutua entre lo general y lo particular y una "co-evolucin" de
ambos.
(4) Si de acuerdo con el punto (2) cada cognicin est mediada por algunos
elementos generales, entonces debe suponerse lo mismo para los as llamados
"hechos sorprendentes", al menos en tanto que son perceptibles. Su carcter
sorprendente existe slo en relacin con ciertas expectativas bajo ciertas
circunstancias (cf. CP 2.776, 1901-02; 6.469, 1908). En tanto que son percibidos,
los hechos sorprendentes son hechos de percepcin mediada, mientras que en su
genuino carcter sorprendente son experimentados de forma inmediata como
"hechos brutos" o pura "segundidad", como dice Peirce. Para transformar la
nocin psicolgica de "sorpresa" en una forma ms lgica, podra decirse que un
"hecho sorprendente" es un hecho que no est revestido de ciertas expectativas
generadas por ciertos contextos de creencia, aunque el hecho es tal que, de algn
modo, debera formar parte de las consecuencias que resultan de esos contextos
de creencia.
(5) Suponiendo que un hecho sorprendente debera ser una consecuencia
resultante de una cierta serie de contextos, pero no est realmente revestido por
estos, y suponiendo, de acuerdo con (1), (2) y (3), que cada cognicin est
mediada por contextos, el hecho sorprendente debera hacernos dudar de la
adecuacin de nuestro conjunto de contextos. Mi tesis es que la superacin de
una situacin sorprendente llega a ser posible "reordenando" nuestros contextos.
Pero cmo?
(6) Dado que para Peirce "la inferencia abductiva se va difuminando en el
juicio perceptual sin una lnea de demarcacin clara entre ellos" (CP 5.181, 1903)
podemos tambin decir que cada abduccin ante "hechos sorprendentes" no es
nada ms que la bsqueda de un modo de percepcin de esos hechos
(cf. CP 6.469, 1908)
3
. Pero, cmo conseguir un nuevo punto de vista, una nueva
perspectiva de los hechos sorprendentes?, y puede haber una lgica de tal
"intuicin creativa"?
(7) Una condicin central para adquirir nuevas perspectivas es la actividad.
Es una realidad simple de la teora de la percepcin que para un nio es
prcticamente imposible aprender a ver si no puede mover la cabeza y el cuerpo
entero. Peirce recalca en particular este elemento de actividad en relacin con los
descubrimientos en matemticas: las pruebas y el razonamiento deductivo son
caractersticas esenciales de las matemticas, pero si queremos probar que la
suma de ngulos de un tringulo es exactamente 180, necesitamos una forma de
razonamiento que Peirce llam "diagramtica": cuando dibujamos un diagrama
de un tringulo e intentamos algunos experimentos con ese diagrama, podemos
ver fcilmente que, dibujando la paralela a la base del tringulo a travs de su
vrtice, obtendremos de repente la posibilidad de una prueba al advertir que
todos los ngulos del tringulo se encuentran debajo de esta lnea recta, de tal
modo que su suma debe ser 180 (cf. CP 1.383, c.1880). La esencia del
pensamiento diagramtico es crear nuevas representaciones a partir de una dada.
La clave est en que, en un continuo de representaciones
posibles, una representacin "nos empuja" a percibir nuevas relaciones o una
nueva estructura organizativa de un conjunto de datos. Pero, cmo podemos
encontrar un nuevo punto de vista prometedor, si no hay un camino directo desde
una serie de datos hasta una hiptesis que explique esos datos (cf. MS 692, 23,
25, 1901)?
(8) Para Peirce, la necesidad de "instintos" resulta de su creencia de que es
imposible explicar el ritmo del progreso cientfico y su xito slo por el azar.
"Hay miradas de falsas hiptesis a tener en cuenta para cualquier fenmeno
dado, contra una sola verdadera" (CP 5.431, 1905).
(9) Rescher quiere sustituir esta "de algn modo misteriosa capacidad
de intuicin o instinto" por una "metodologa desarrollada histricamente para
guiar la bsqueda de hiptesis que se acomoden a los datos eficazmente"
(Rescher 1995: 323). Pero hay dos problemas que finalmente podran
conducirnos hasta el concepto de instinto de Peirce: en primer lugar, si
preguntamos cmo puede ser desarrollada y legitimizada la metodologa que gua
la investigacin, caemos en un crculo vicioso en el que la metodologa que gua
la investigacin slo puede ser fundada por una bsqueda que debe ser guiada
por una metodologa de ms alto nivel, etc. ad infinitum. De este modo, es
necesario discutir el problema de la regresin al infinito. En segundo lugar, al
aislar una "metodologa desarrollada histricamente" que gue la investigacin se
olvida que un contexto tal est tambin determinado en s mismo por los actos de
aquellos que usan este mtodo. Como hemos visto en (3): el contexto no puede
separarse de los particulares cuyos hbitos que interactan constituyen un cierto
contexto. Lo que no aparece en la sugerencia de Rescher es la relacin
problemtica entre el desarrollo histrico de la metodologa y las actividades de
los cientficos que constituyen esta metodologa mediante su propio trabajo
particular.
(10) Cmo llevan estas consideraciones de nuevo a la concepcin del
instinto de Peirce? Y, en primer lugar, qu significa el trmino "instinto" para
l? Leyendo su tardo An Essay toward Improving our Reasoning in
Security&Uberty (MS 682, 19-23, 8ss., 1913), encuentro cuatro caractersticas
principales de los "instintos": primero, no podemos abandonar el contexto de
nuestros propios instintos, del mismo modo que no podemos abandonar, de
acuerdo con Kuhn, el contexto de los paradigmas cientficos en una fase de
"ciencia normal". En segundo lugar, y este punto tambin puede ser tratado de
acuerdo con Kuhn, " los instintos de los mamferos, de los pjaros y de los
insectos ms inteligentes a veces experimentan modificaciones bajo nuevas
experiencias", y esto debe ser especialmente verdadero para los "instintos del
gnero humano" que "deberan resultar mucho ms mutables" que los de los
animales (MS 682, 20, 23, 1913). Mi referencia a la Estructura de las
Revoluciones Cientficas de Kuhn (Kuhn 1962, 1970) es para enfatizar que
cuando se considera la ciencia como un punto de vista funcional, puede no haber
diferencia entre los "instintos" de Peirce y los "paradigmas" metodolgicos de
Kuhn: ambos determinan de forma inmediata nuestra percepcin y actividad, y
ambos son cambiantes.
Pero parece haber una diferencia respecto a las otras caractersticas de los
instintos de Peirce: en tercer lugar, los instintos son un "modo de actuar". De esta
manera, no es posible una separacin entre el carcter general de un instinto y su
manifestacin en acciones particulares. En cuarto lugar, y quizs incluso ms
importante, Peirce define un cierto objetivo o telos para su "poder de
razonamiento" instintivo: Una accin instintiva "conduce a la probable
perpetuacin" de una raza. De este modo, el talento abductivo de Peirce debe ser
visto dentro del mundo en el que tiene lugar. Mientras Rescher no legitima ms
all su "metodologa desarrollada histricamente", la consideracin que hace
Peirce del instinto parece legitimarse por su xito y adecuacin en un cierto
mundo. De este modo, nos enfrentamos con una concepcin contextual de la
epistemologa y la ciencia en el sentido desarrollado en el punto (2): la base de la
cognicin es una relacin de mutua dependencia entre los hbitos de un actor
cognitivo y los hbitos del mundo en el que acta. Este contexto es tambin la
condicin de posibilidad de la abduccin (cf. S&S 187, 1905).
Yo dira que el concepto peirceano de "instinto", enfatiza lo que llamo
una consideracin contextual de la cognicin. De este modo la referencia a los
instintos no destaca algunas capacidades innatas, como la interpretacin que
proporciona Chomsky acerca de la abduccin de Peirce trata de hacer plausible
(cf. Wirth 1993), sino que ms bien destaca, en un sentido ms general, la
adecuacin de ciertos hbitos de accin dentro de ciertas situaciones. Los
instintos, igual que mis "contextos", son programas de actividad determinantes
pero cambiables dentro de un cierto mundo; su funcin es definida por su
relacin con este mundo.
Para centrar nuestros diez puntos en la cuestin del carcter lgico de la
inferencia abductiva, concluir del siguiente modo: comenzando con un
enunciado negativo podemos decir que, para Peirce, un punto esencial para el
carcter lgico de la abduccin parece ser el hecho obvio de que nuestro
razonamiento abductivo no puede ser explicado slo por el azar (cf. Rescher
1995):
"Considerad la multitud de teoras que podan haber sido sugeridas. Un fsico
descubre algn nuevo fenmeno en su laboratorio. Cmo sabe que las
conjunciones de los planetas no tienen algo que ver con l o que no se deba
quizs a que coincidi que la emperatriz viuda de China pronunci al mismo
tiempo hace un ao alguna palabra de poder mstico o a que algn genio invisible
pueda estar presente? Pensad en cuntos trillones de trillones de hiptesis pueden
hacerse, de las que slo una es verdadera; y despus de dos o tres o, como mucho
una docena de conjeturas, el fsico acierta casi exactamente con la hiptesis
correcta. Probablemente no conseguira eso por azar en todo el tiempo que ha
transcurrido desde que la tierra se solidific" (CP 5.172, 1903).
Es evidente que muchas hiptesis son imposibles en la situacin del fsico.
Pero, qu significa eso? Esto significa, a mi entender, que hay una relacin
especfica entre la situacin del razonamiento abductivo y el proceso de adivinar
y encontrar una hiptesis prometedora. El rango de hiptesis aceptadas como
posibles est limitado por una compleja interaccin de los diversos contextos
que se dan en esa situacin.
Si para Peirce el carcter lgico de la abduccin depende de que no es un
proceso arbitrario de seleccin de hiptesis, parece claro que el
carcter constrictivo de los contextos es esencial para la lgica de la abduccin.
Ahora podemos intentar formular una primera aproximacin positiva: una
inferencia abductiva es "lgica", si y slo si el conjunto elegido de posibles
hiptesis est determinado por un cierto conjunto de contextos que son asumidos
como relevantes en una situacin histrica determinada.
El problema de la vaga formulacin "asumidos como relevantes en una
situacin histrica dada" parece ser insoluble. Tenemos que aceptar que hay
contextos que son obviamente imposibles en situaciones histricas especficas,
como aparece indicado en el ejemplo de Peirce anteriormente citado, y otros que
parecen ser ms o menos arbitrarios. De este modo, Peirce propone en un
manuscrito el ejemplo del descubrimiento de Carl Georg Christian von Staudt
(1798-1867) de que el "teorema de los diez puntos" un problema de geometra
famoso en su tiempo es probable cuando la representacin de dos dimensiones
de este problema es vista como una representacin en perspectiva (MS 318, 50ss,
1907). La obra de von Staudt acerca de la geometra proyectiva y especialmente
sus experiencias con perspectivas y las relaciones entre representaciones bi y
tridimensionales eran exactamente ese contexto que hizo posible que cambiara el
hbito de ver el problema. Los gemetras sin esas experiencias no habran tenido
la posibilidad de encontrar esa solucin.
Este ejemplo es muy instructivo para entender la posibilidad de alcanzar
nuevas perspectivas, nuevos modos de percepcin y nuevas hiptesis: el contexto
de von Staudt, su habilidad cognitiva para concebir figuras de dos dimensiones
como representaciones de figuras de tres dimensiones, fue desarrollado
originalmente en su obra sobre geometra proyectiva. Pero la forma general de
este contexto, la generalidad de la dependencia mutua de ciertos hbitos
cognitivos y de ciertas propiedades de las figuras proyectivas permite su
aplicacin a otras aplicaciones distintas de las originales. De este modo, la
abduccin puede ser explicada como una aplicacin de hbitos dados a
situaciones nuevas. En este sentido, la "creacin de nuevos modos de
percepcin" resulta posible.
La articulacin concreta de los diversos contextos en una situacin determina
de manera especfica el campo de las hiptesis posibles. Por tanto, podemos decir
que la lgica de la abduccin es un tipo de "lgica contextualizada". Pero, qu
significa eso? La situacin en s misma, los contextos relevantes y su orden
especfico, es el resultado de un proceso que puede ser reconstruido del mismo
modo que una serie de inferencias abductivas, que estn determinadas en s
mismas por ciertos rdenes jerrquicos de contextos, etc. ad infinitum. De esta
manera, el problema de la abduccin conecta con el problema de la evolucin.
(Traduccin Sara F. Barrena)
Michael Hoffmann
Institut fr Didaktik der Mathematik
Universitt Bielefeld
Postfach 100131
D-33501 Bielefeld, Alemania
e-mail: michael.hoffmann@uni-bielefeld.de


Notas
1. Para el papel de la lgica en su arquitectnica de las ciencias y el enfoque
de la lgica como una "ciencia normativa" y basada en la tica, mientras que la
tica se basa en la esttica, cf. Hoffmann 1996: 29s.
2. El horizonte de este artculo es la concepcin tarda de la abduccin en
Peirce tal y como la desarroll en los aos posteriores a 1901. Por lo tanto, no se
discute la forma muy conocida de inferencia abductiva tal y como fue publicada
en Peirce 1878: CP 2.623 ("Regla- Todas las judas de este saco son
blancas. Resultado- Estas judas son blancas. Caso- Estas judas son de este
saco"). Lcia Santaella (1998) ha descrito en su trabajo compilado en este
volumen el desarrollo cronolgico del concepto peirceano de abduccin.
3. De un modo muy similar, la bsqueda de perspectivas es tambin
relevante para la distincin peirceana entre dos formas bsicas de razonamiento
matemtico, el "corolario" y el "terico" o "teoremtico" (cf. Levy 1997):
mientras el razonamiento corolario se gua por reglas dadas, como en el caso de
las "mquinas lgicas" (MS 318, 49, 1907) o "lgica formal" (MS 318, 68,
1907), la clave del razonamiento "terico" consiste "en la transformacin del
problema -o de su formulacin- porque se ve desde otro punto de vista" (ibd.).



Referencias bibliogrficas
Bateson, Gregory (1972). Steps to an Ecology of Mind. Collected Essays in
Anthropology, Psychiatry, Evolution, and Epistemology. San Francisco CA:
Chandler.
Dipert, Randall R. (1995). Peirce's Underestimated Place in the History of
Logic: A Response to Quine. En Peirce and Contemporary Thought.
Philosophical Inquiries, editado por K. L. Ketner, 32-58. New York: Fordham
University Press.
Eco, Umberto (1990). Semitica y filosofa del lenguaje. Barcelona: Lumen.
Gibson, James J. (1979). The Ecological Approach to Visual Perception.
Boston: Houghton Mifflin.
Hacking, Ian (1983). Representing and Intervening. Introductory Topics in
the Philosophy of Natural Science. Cambridge: Cambridge University Press.
Hoffmann, Michael (1996). Das Problem der Zukunft im Rahmen
holistischer Ethiken. Im Ausgang von Platon und Peirce. En NaturStcke. Zur
Kulturgeschichte der Natur, editado por H. W. Ingensiep y R. Hoppe-Sailer, 17-
41. Ostfildern: Edition Tertium.
Houser, Nathan, Don D. Roberts, y James Van Evra, eds. (1997). Studies in
the Logic of Charles Sanders Peirce. Bloomington: Indiana University Press.
Kapitan, Tomis (1992). Peirce and the Autonomy of Abductive
Reasoning, Erkenntnis 37: 1-26.
Kuhn, Thomas S. (1962, 1970). The Structure of Scientific Revolutions.
En International Encyclopedia of Unified Science, editado por O. Neurath.
Chicago: University of Chicago Press.
Levy, Stephen H. (1997). Peirce's Theoremic/Corollarial Distinction and the
Interconnections between Mathematics and Logic. En Studies in the Logic of
Charles Sanders Peirce, editado por N. Houser, D. D. Roberts y J. V. Evra, 85-
110. Bloomington: Indiana University Press.
Popper, Karl R. (1976). The Logic of Scientific Discovery. 2. ed. New York:
Harper & Row.
Putnam, Hilary (1982). Peirce the Logician. Historia Mathematica 9: 290-
301.
Putnam, Hilary (1990). Realism with a Human Face. Cambridge, MA:
Harvard University Press.
Quine, Willard V. O. (1995). Peirce's Logic. En Peirce and Contemporary
Thought. Philosophical Inquiries, editado por K. L. Ketner, 23-31. New York:
Fordham University Press.
Quine, Willard V. O. (1982). Methods of Logic. 4. ed. Cambridge, MA:
Harvard University Press.
Rescher, Nicholas (1995). Peirce on Abduction, Plausibility, and the
Efficiency of Scientific Inquiry. En Essays in the History of Philosophy, editado
por N. Rescher, 309-326. Aldershot: Avebury.
Santaella, Lcia (1998). La evolucin de los tres tipos de argumentos:
abduccin, induccin y deduccin. Analoga Filosfica 12/1.
Simon, Herbert A. (1973). Does Scientific Discovery Have a
Logic? Philosophy of Science 40: 471-480.
Wirth, Uwe (1993). Die Abduktive Wende der Linguistik. Kodikas Code/Ars
Semeiotica 16: 289-301.