stringtranslate.com

Razonamiento abductivo

Un jugador de Mastermind utiliza la abducción para inferir los colores secretos (arriba) a partir de resúmenes (abajo a la izquierda) de discrepancias en sus conjeturas (abajo a la derecha) .

El razonamiento abductivo (también llamado abducción , [1] inferencia abductiva , [1] o retroducción [2] ) es una forma de inferencia lógica que busca la conclusión más simple y probable a partir de un conjunto de observaciones. Fue formulada y desarrollada por el filósofo y lógico estadounidense Charles Sanders Peirce a principios de la segunda mitad del siglo XIX.

El razonamiento abductivo, a diferencia del razonamiento deductivo , produce una conclusión plausible pero no la verifica definitivamente. Las conclusiones abductivas no eliminan la incertidumbre o la duda, que se expresa en términos de retirada como "la mejor disponible" o "la más probable". Mientras que el razonamiento inductivo extrae conclusiones generales que se aplican a muchas situaciones, las conclusiones abductivas se limitan a las observaciones particulares en cuestión.

En la década de 1990, a medida que crecía el poder computacional, los campos del derecho, [3] la informática y la investigación en inteligencia artificial [4] estimularon un renovado interés en el tema de la abducción. [5] Los sistemas expertos de diagnóstico emplean con frecuencia la abducción. [6]

Deducción, inducción y abducción

Deducción

El razonamiento deductivo permite derivar únicamente de donde es una consecuencia lógica formal de . En otras palabras, la deducción deriva las consecuencias de lo supuesto. Dada la verdad de los supuestos, una deducción válida garantiza la verdad de la conclusión. Por ejemplo, dado que "los wikis pueden ser editados por cualquiera" ( ) y "Wikipedia es un wiki" ( ), se sigue que "Wikipedia puede ser editada por cualquiera" ( ).

Inducción

El razonamiento inductivo es el proceso de inferir un principio general a partir de un conjunto de conocimientos , donde no necesariamente se sigue de . podría darnos una muy buena razón para aceptar, pero no asegura . Por ejemplo, si se da que el 95% de los elefantes son grises, y Louise es un elefante, se puede inducir que Louise es gris. Sin embargo, este no es necesariamente el caso: el 5 por ciento de las veces esta conclusión será errónea. [7]

Sin embargo, una inferencia derivada de datos estadísticos no es suficiente para clasificarla como inductiva. Por ejemplo, si todos los cisnes que una persona ha observado hasta ahora son blancos, puede en cambio deducir la posibilidad de que todos los cisnes sean blancos. Tiene buenas razones para creer en la conclusión a partir de la premisa porque es la mejor explicación de sus observaciones, y la verdad de la conclusión aún no está garantizada. (De hecho, resulta que algunos cisnes son negros .) [7]

Secuestro

El razonamiento abductivo permite inferir como explicación de . Como resultado de esta inferencia, la abducción permite abducir la condición previa de la consecuencia . El razonamiento deductivo y el razonamiento abductivo difieren, por tanto, en qué extremo, izquierdo o derecho, de la proposición " implica " sirve como conclusión. Por ejemplo, en un juego de billar, después de echar un vistazo y ver que la bola ocho se mueve hacia nosotros, podemos abducir que la bola blanca golpeó la bola ocho. El golpe de la bola blanca explicaría el movimiento de la bola ocho. Sirve como hipótesis que explica mejor nuestra observación. Dadas las muchas explicaciones posibles para el movimiento de la bola ocho, nuestra abducción no nos deja seguros de que la bola blanca de hecho golpeó la bola ocho, pero nuestra abducción, aún útil, puede servir para orientarnos en nuestro entorno. A pesar de las muchas explicaciones posibles para cualquier proceso físico que observamos, tendemos a abducir una única explicación (o varias) para ese proceso con la expectativa de poder orientarnos mejor en nuestro entorno y descartar algunas posibilidades. Si se utiliza correctamente, el razonamiento abductivo puede ser una fuente útil de valores previos en la estadística bayesiana .

Se puede entender el razonamiento abductivo como una inferencia a la mejor explicación, [8] aunque no todos los usos de los términos abducción e inferencia a la mejor explicación son equivalentes. [9] [10]

Formalizaciones del secuestro

Abducción basada en la lógica

En lógica , la explicación se logra mediante el uso de una teoría lógica que representa un dominio y un conjunto de observaciones . La abducción es el proceso de derivar un conjunto de explicaciones de según y elegir una de ellas. Para que sea una explicación de según , debe cumplir dos condiciones:

En lógica formal, se supone que y son conjuntos de literales . Las dos condiciones para que sea una explicación de según la teoría se formalizan como:

es consistente

Entre las posibles explicaciones que satisfacen estas dos condiciones, se suele imponer alguna otra condición de minimalidad para evitar que se incluyan en las explicaciones hechos irrelevantes (que no contribuyan a la implicación de ). La abducción es entonces el proceso que selecciona algún miembro de . Los criterios para seleccionar un miembro que represente "la mejor" explicación incluyen la simplicidad , la probabilidad previa o el poder explicativo de la explicación.

Se han propuesto un método de abducción teórico-demostrativo para la lógica clásica de primer orden basado en el cálculo secuencial y un método dual, basado en tablas semánticas ( tablas analíticas ). [11] Los métodos son sólidos y completos y funcionan para la lógica de primer orden completa, sin requerir ninguna reducción preliminar de fórmulas a formas normales. Estos métodos también se han extendido a la lógica modal . [12]

La programación lógica abductiva es un marco computacional que extiende la programación lógica normal mediante la abducción. Separa la teoría en dos componentes, uno de los cuales es un programa lógico normal, que se utiliza para generar mediante razonamiento inverso , y el otro es un conjunto de restricciones de integridad, que se utilizan para filtrar el conjunto de explicaciones candidatas.

Secuestro encubierto

Una formalización diferente de la abducción se basa en invertir la función que calcula los efectos visibles de las hipótesis. Formalmente, se nos da un conjunto de hipótesis y un conjunto de manifestaciones ; están relacionados por el conocimiento del dominio, representado por una función que toma como argumento un conjunto de hipótesis y da como resultado el conjunto correspondiente de manifestaciones. En otras palabras, para cada subconjunto de las hipótesis , se sabe que sus efectos son .

La abducción se realiza encontrando un conjunto tal que . En otras palabras, la abducción se realiza encontrando un conjunto de hipótesis tales que sus efectos incluyan todas las observaciones .

Un supuesto común es que los efectos de las hipótesis son independientes, es decir, para cada , se cumple que . Si se cumple esta condición, la abducción puede verse como una forma de cobertura de conjuntos .

Validación abductiva

La validación abductiva es el proceso de validar una hipótesis dada a través del razonamiento abductivo. Esto también puede llamarse razonamiento a través de aproximaciones sucesivas. [ cita requerida ] Según este principio, una explicación es válida si es la mejor explicación posible de un conjunto de datos conocidos. La mejor explicación posible se define a menudo en términos de simplicidad y elegancia (véase la navaja de Occam ). La validación abductiva es una práctica común en la formulación de hipótesis en la ciencia ; además, Peirce afirma que es un aspecto omnipresente del pensamiento:

Al mirar por la ventana esta hermosa mañana de primavera, veo una azalea en plena floración. ¡No, no! No veo eso, aunque es la única manera en que puedo describir lo que veo. Eso es una proposición, una oración, un hecho; pero lo que percibo no es proposición, oración, hecho, sino sólo una imagen, que hago inteligible en parte por medio de una declaración de hecho. Esta declaración es abstracta, pero lo que veo es concreto. Realizo una abducción cuando expreso en una oración algo de lo que veo. La verdad es que todo el tejido de nuestro conocimiento es un fieltro enmarañado de pura hipótesis confirmada y refinada por la inducción. No se puede hacer el más mínimo avance en el conocimiento más allá de la etapa de la mirada perdida, sin hacer una abducción a cada paso. [13]

La propia máxima de Peirce era que "los hechos no pueden explicarse mediante una hipótesis más extraordinaria que estos mismos hechos; y de varias hipótesis debe adoptarse la menos extraordinaria". [14] Después de obtener las posibles hipótesis que pueden explicar los hechos, la validación abductiva es un método para identificar la hipótesis más probable que debe adoptarse.

Abducción lógica subjetiva

La lógica subjetiva generaliza la lógica probabilística al incluir grados de incertidumbre epistémica en los argumentos de entrada, es decir, en lugar de probabilidades, el analista puede expresar argumentos como opiniones subjetivas . La abducción en la lógica subjetiva es, por tanto, una generalización de la abducción probabilística descrita anteriormente. [15] Los argumentos de entrada en la lógica subjetiva son opiniones subjetivas que pueden ser binomiales cuando la opinión se aplica a una variable binaria o multinomiales cuando se aplica a una variable n -aria. Por tanto, una opinión subjetiva se aplica a una variable de estado que toma sus valores de un dominio (es decir, un espacio de estado de valores de estado exhaustivos y mutuamente disjuntos ), y se denota por la tupla , donde es la distribución de masa de creencias sobre , es la masa de incertidumbre epistémica y es la distribución de la tasa base sobre . Estos parámetros satisfacen y así como .

Supongamos los dominios y con las variables respectivas y , el conjunto de opiniones condicionales (es decir, una opinión condicional para cada valor ), y la distribución de tasa base . Con base en estos parámetros, el teorema de Bayes subjetivo denotado con el operador produce el conjunto de condicionales invertidos (es decir, un condicional invertido para cada valor ) expresado por:

.

El uso de estos condicionales invertidos junto con la deducción subjetiva de la opinión denotada por el operador puede utilizarse para abducir la opinión marginal . La igualdad entre las diferentes expresiones para la abducción subjetiva se da a continuación:

La notación simbólica para la abducción subjetiva es " ", y el operador en sí se denota como " ". El operador para el teorema subjetivo de Bayes se denota como " ", y la deducción subjetiva se denota como " ". [15]

La ventaja de utilizar la abducción lógica subjetiva en comparación con la abducción probabilística es que tanto la incertidumbre aleatoria como la epistémica sobre las probabilidades de los argumentos de entrada se pueden expresar explícitamente y tener en cuenta durante el análisis. Por lo tanto, es posible realizar un análisis abductivo en presencia de argumentos inciertos, lo que naturalmente da como resultado grados de incertidumbre en las conclusiones de salida.

Historia

La idea de que la solución más simple y más fácilmente verificable debe preferirse a sus contrapartes más complicadas es muy antigua. En este sentido, George Pólya , en su tratado sobre resolución de problemas, hace referencia a la siguiente verdad latina: simplex sigillum veri (la simplicidad es el sello de la verdad). [16]

Introducción y desarrollo de Peirce

Descripción general

El filósofo estadounidense Charles Sanders Peirce introdujo la abducción en la lógica moderna. Con el paso de los años, denominó esta inferencia hipótesis , abducción , presunción y retroducción . La consideró un tema de la lógica como campo normativo de la filosofía, no de la lógica puramente formal o matemática, y, finalmente, también como tema de la economía de la investigación.

Como dos etapas del desarrollo, extensión, etc., de una hipótesis en la investigación científica , la abducción y también la inducción a menudo se fusionan en un concepto general: la hipótesis. Es por eso que, en el método científico conocido por Galileo y Bacon , la etapa abductiva de la formación de hipótesis se conceptualiza simplemente como inducción. Así, en el siglo XX, este colapso se vio reforzado por la explicación de Karl Popper del modelo hipotético-deductivo , donde la hipótesis se considera simplemente como "una suposición" [17] (en el espíritu de Peirce). Sin embargo, cuando la formación de una hipótesis se considera el resultado de un proceso, queda claro que esta "suposición" ya ha sido probada y fortalecida en el pensamiento como una etapa necesaria para adquirir el estatus de hipótesis. De hecho, muchas abducciones son rechazadas o modificadas en gran medida por abducciones posteriores antes de que lleguen a esta etapa.

Antes de 1900, Peirce consideraba la abducción como el uso de una regla conocida para explicar una observación. Por ejemplo: es una regla conocida que, si llueve, la hierba se moja; por lo tanto, para explicar el hecho de que la hierba de este jardín está mojada, se abduce que ha llovido. La abducción puede llevar a conclusiones falsas si no se tienen en cuenta otras reglas que podrían explicar la observación (por ejemplo, la hierba podría estar mojada por el rocío ). Este sigue siendo el uso común del término "abducción" en las ciencias sociales y en la inteligencia artificial .

Peirce la caracterizó consistentemente como el tipo de inferencia que origina una hipótesis al concluir en una explicación, aunque no segura, de alguna observación muy curiosa o sorprendente (anómala) enunciada en una premisa. Ya en 1865 escribió que todas las concepciones de causa y fuerza se alcanzan mediante inferencia hipotética; en la década de 1900 escribió que todo contenido explicativo de las teorías se alcanza mediante abducción. En otros aspectos, Peirce revisó su visión de la abducción a lo largo de los años. [18]

En años posteriores su visión llegó a ser:

Escribiendo en 1910, Peirce admite que "en casi todo lo que imprimí antes de principios de este siglo confundí más o menos hipótesis e inducción" y atribuye la confusión de estos dos tipos de razonamiento a una concepción demasiado "estrecha y formalista de la inferencia de los lógicos, como si necesariamente hubiera formulado juicios a partir de sus premisas". [29]

Comenzó en la década de 1860 a tratar la inferencia hipotética de diversas maneras que finalmente descartó por considerarlas no esenciales o, en algunos casos, erróneas:

La clasificación natural de los argumentos(1867)

En 1867, en "Sobre la clasificación natural de los argumentos" de Peirce, [30] la inferencia hipotética siempre trata con un conjunto de caracteres (llamémoslos P′, P′′, P′′′, etc.) que se sabe que aparecen al menos siempre que aparece un determinado carácter ( M ). Nótese que los silogismos categóricos tienen elementos tradicionalmente llamados medios, predicados y sujetos. Por ejemplo: Todos los hombres [medio] son ​​mortales [predicado]; Sócrates [sujeto] es un hombre [medio]; ergo Sócrates [sujeto] es mortal [predicado]". A continuación, 'M' representa un medio; 'P' un predicado; 'S' un sujeto. Peirce sostuvo que toda deducción puede ponerse en la forma del silogismo categórico Barbara (AAA-1) .

Deducción, inducción e hipótesis(1878)

En 1878, en "Deducción, inducción e hipótesis", [31] ya no se necesitan múltiples caracteres o predicados para que una inferencia sea hipotética, aunque sigue siendo útil. Además, Peirce ya no plantea la inferencia hipotética como una conclusión en una hipótesis probable . En las formas mismas, se entiende, pero no se explicita, que la inducción implica una selección aleatoria y que la inferencia hipotética implica la respuesta a una "circunstancia muy curiosa". Las formas, en cambio, enfatizan los modos de inferencia como reordenamientos de las proposiciones de cada uno (sin las pistas entre corchetes que se muestran a continuación).

Una teoría de inferencia probable(1883)

Peirce trató durante mucho tiempo la abducción en términos de inducción a partir de caracteres o rasgos (pesados, no contados como objetos), explícitamente así en su influyente "Teoría de la inferencia probable" de 1883, en la que vuelve a involucrar la probabilidad en la conclusión hipotética. [37] Al igual que "Deducción, inducción e hipótesis" en 1878, fue ampliamente leído (ver los libros históricos sobre estadística de Stephen Stigler ), a diferencia de sus modificaciones posteriores de su concepción de la abducción. Hoy en día, la abducción sigue siendo entendida más comúnmente como inducción a partir de caracteres y extensión de una regla conocida para cubrir circunstancias no explicadas.

Sherlock Holmes utilizó este método de razonamiento en las historias de Arthur Conan Doyle , aunque Holmes se refiere a él como " razonamiento deductivo ". [38] [39] [40]

Lógica de minutos(1902) y después

En 1902, Peirce escribió que ahora consideraba que las formas silogísticas y la doctrina de la extensión y la comprensión (es decir, los objetos y caracteres a los que hacen referencia los términos) eran menos fundamentales de lo que había pensado anteriormente. [41] En 1903, propuso la siguiente forma para la abducción: [20]

Se observa el hecho sorprendente, C;

Pero si A fuera cierto, C sería algo natural,
Por lo tanto, hay motivos para sospechar que A es verdadera.

La hipótesis se formula, pero no se afirma, en una premisa, y luego se afirma como racionalmente sospechable en la conclusión. Así, como en la forma silogística categórica anterior, la conclusión se formula a partir de una o más premisas. Pero, de todos modos, la hipótesis consiste más claramente que nunca en una idea nueva o externa que va más allá de lo que se conoce u observa. La inducción, en cierto sentido, va más allá de las observaciones ya reportadas en las premisas, pero simplemente amplifica las ideas ya conocidas para representar sucesos, o prueba una idea proporcionada por la hipótesis; de cualquier manera, requiere abducciones previas para obtener tales ideas en primer lugar. La inducción busca hechos para probar una hipótesis; la abducción busca una hipótesis para explicar los hechos.

Obsérvese que la hipótesis ("A") podría ser una regla. Ni siquiera tiene por qué ser una regla que requiera estrictamente la observación sorprendente ("C"), que debe seguirse sólo como una "cuestión de rutina"; o la "rutina" en sí misma podría equivaler a alguna regla conocida, a la que simplemente se alude, y también no necesariamente una regla de estricta necesidad. En el mismo año, Peirce escribió que llegar a una hipótesis puede implicar colocar una observación sorprendente bajo una regla recién hipotetizada o una combinación hipotetizada de una regla conocida con un estado peculiar de hechos, de modo que el fenómeno no sería sorprendente sino que estaría necesariamente implícito o al menos sería probable. [35]

Peirce no estaba del todo convencido de que existiera una forma como la silogística categórica o la forma de 1903. En 1911 escribió: "No estoy, en la actualidad, del todo convencido de que pueda asignarse una forma lógica que cubra todas las 'retroducciones'. Porque lo que quiero decir con una retroducción es simplemente una conjetura que surge en la mente". [36]

Pragmatismo

En 1901, Peirce escribió: «No habría lógica en imponer reglas y decir que deben seguirse hasta que se demuestre que el propósito de la hipótesis las requiere». [42] En 1903, Peirce llamó al pragmatismo «la lógica de la abducción» y dijo que la máxima pragmática proporciona la regla lógica necesaria y suficiente para la abducción en general. [27] La ​​máxima pragmática es:

Consideremos qué efectos, que podrían tener una incidencia práctica, concebimos que tiene el objeto de nuestra concepción. Entonces, nuestra concepción de estos efectos constituye la totalidad de nuestra concepción del objeto.

Se trata de un método para la clarificación fructífera de concepciones mediante la equiparación del significado de una concepción con las implicaciones prácticas concebibles de los efectos concebidos de su objeto. Peirce sostuvo que esto se adapta precisamente al propósito de la abducción en la investigación, la formación de una idea que podría dar forma a una conducta informada. En varios escritos de la década de 1900 [28] [43] dijo que la conducta de abducción (o retroducción) está gobernada por consideraciones de economía, pertenecientes en particular a la economía de la investigación. Consideraba a la economía como una ciencia normativa cuya parte analítica podría ser parte de la metodéutica lógica (es decir, la teoría de la investigación). [44]

Tres niveles de lógica sobre la abducción

Peirce llegó a dividir con el paso de los años la lógica (filosófica) en tres departamentos:

  1. Estequiología o gramática especulativa sobre las condiciones de significación. Clasificación de los signos (semejanzas, síntomas, símbolos, etc.) y sus combinaciones (así como de sus objetos e interpretantes ).
  2. Crítica lógica, o lógica propiamente dicha, sobre la validez o justificabilidad de la inferencia, las condiciones para una representación verdadera. Crítica de los argumentos en sus diversos modos (deducción, inducción, abducción).
  3. Metodéutica o retórica especulativa sobre las condiciones de determinación de las interpretaciones. Metodología de la investigación en su interacción de modos.

Peirce había considerado, desde el principio, que los modos de inferencia se coordinaban entre sí en la investigación científica y, hacia el siglo XX, sostuvo que la inferencia hipotética en particular se trataba inadecuadamente en el nivel de la crítica de los argumentos. [26] [27] Para aumentar la seguridad de una conclusión hipotética, es necesario deducir implicaciones sobre la evidencia que se encontrará, predicciones que la inducción puede probar a través de la observación para evaluar la hipótesis. Ese es el esquema de Peirce del método científico de investigación, tal como se cubre en su metodología de investigación, que incluye el pragmatismo o, como lo llamó más tarde, pragmaticismo , la clarificación de las ideas en términos de sus implicaciones concebibles con respecto a la práctica informada.

Clasificación de los signos

Ya en 1866, [45] Peirce sostuvo que:

1. Hipótesis (inferencia abductiva) es la inferencia a través de un icono (también llamado semejanza ).
2. Inducción es la inferencia a través de un índice (un signo por conexión fáctica); una muestra es un índice de la totalidad de la que se extrae.
3. Deducción es la inferencia a través de un símbolo (un signo por hábito interpretativo independientemente de la semejanza o conexión con su objeto).

En 1902, Peirce escribió que, en la abducción: "Se reconoce que los fenómenos son similares , es decir, constituyen un icono, una réplica de una concepción general o un símbolo". [46]

Crítica de argumentos

En el nivel crítico, Peirce examinó las formas de los argumentos abductivos (como se ha comentado anteriormente) y llegó a sostener que la hipótesis debería economizar la explicación de la plausibilidad en términos de lo factible y natural. En 1908, Peirce describió esta plausibilidad con cierto detalle. [22] No implica una verosimilitud basada en observaciones (que, en cambio, es la evaluación inductiva de una hipótesis), sino una simplicidad óptima en el sentido de lo "fácil y natural", según la luz natural de la razón de Galileo y como algo distinto de la "simplicidad lógica" (Peirce no descarta por completo la simplicidad lógica, sino que la considera en un papel subordinado; llevada a su extremo lógico, estaría a favor de no añadir ninguna explicación a la observación). Incluso una mente bien preparada se equivoca más a menudo que acierta, pero nuestras conjeturas tienen más éxito que la suerte a la hora de llegar a la verdad o al menos hacer avanzar la investigación, y eso indica a Peirce que se basan en una sintonía instintiva con la naturaleza, una afinidad entre los procesos de la mente y los procesos de lo real, lo que explicaría por qué las conjeturas atractivamente "naturales" son las que más a menudo (o menos raramente) tienen éxito; a lo que Peirce añadió el argumento de que tales conjeturas son las que deben preferirse ya que, sin "una inclinación natural como la de la naturaleza", la gente no tendría ninguna esperanza de comprender la naturaleza. En 1910 Peirce hizo una triple distinción entre probabilidad, verosimilitud y plausibilidad, y definió la plausibilidad con un "debería" normativo: "Por plausibilidad, me refiero al grado en que una teoría debería recomendarse a nuestra creencia independientemente de cualquier tipo de evidencia que no sea nuestro instinto que nos impulse a considerarla favorablemente". [47] Para Peirce, la plausibilidad no depende de frecuencias o probabilidades observadas, ni de verosimilitud, ni siquiera de comprobabilidad, lo cual no es una cuestión de crítica de la inferencia hipotética como inferencia, sino más bien una cuestión de la relación de la hipótesis con el proceso de investigación.

La frase "inferencia a la mejor explicación" (no utilizada por Peirce pero que se aplica a menudo a la inferencia hipotética) no siempre se entiende como una referencia a las hipótesis más simples y naturales (como las que tienen menos suposiciones ). Sin embargo, en otros sentidos de "mejor", como "que resiste mejor a las pruebas", es difícil saber cuál es la mejor explicación que se puede formular, ya que uno aún no la ha probado. Aun así, para Peirce, cualquier justificación de una inferencia abductiva como "buena" no se completa con su formación como argumento (a diferencia de lo que ocurre con la inducción y la deducción) y, en cambio, depende también de su papel metodológico y de su promesa (como su capacidad de prueba) para avanzar en la investigación. [26] [27] [48]

Metodología de la investigación

En el nivel metodológico, Peirce sostuvo que una hipótesis es juzgada y seleccionada [26] para su prueba porque ofrece, a través de su prueba, acelerar y economizar el proceso de investigación en sí mismo hacia nuevas verdades, en primer lugar por ser verificable y también por economías adicionales [28] en términos de costo, valor y relaciones entre conjeturas (hipótesis). Aquí entran en juego consideraciones como la probabilidad, ausentes en el tratamiento de la abducción en el nivel crítico. Por ejemplo:

Uberty

Peirce [50] indicó que el razonamiento abductivo está impulsado por la necesidad de “economía en la investigación” –la productividad esperada basada en hechos de las hipótesis, antes de los procesos deductivos e inductivos de verificación. Un concepto clave propuesto por él en este sentido es la “ubertad” [51] –la fertilidad esperada y el valor pragmático del razonamiento. Este concepto parece estar ganando apoyo a través de su asociación con el Principio de Energía Libre . [52]

Gilbert Harman (1965)

Gilbert Harman fue profesor de filosofía en la Universidad de Princeton . Su exposición de 1965 sobre el papel de la "inferencia para la mejor explicación" (inferir la existencia de aquello que necesitamos para la mejor explicación de los fenómenos observables) ha sido muy influyente.

Stephen Jay Gould (1995)

Stephen Jay Gould , al responder a la hipótesis de Omphalos , afirmó que sólo las hipótesis que pueden demostrarse incorrectas se encuentran dentro del dominio de la ciencia y sólo estas hipótesis son buenas explicaciones de hechos que vale la pena inferir. [53]

"¿Qué tiene de terriblemente malo Omphalos? En realidad, sólo esto (y quizás paradójicamente): que no podemos idear ningún modo de averiguar si es erróneo o, en realidad, correcto. Omphalos es el ejemplo clásico de una noción absolutamente imposible de comprobar, pues el mundo se verá exactamente igual en todos sus intrincados detalles, ya sean fósiles y estratos procrónicos [signos de un pasado ficticio] o productos de una historia extensa... La ciencia es un procedimiento para probar y rechazar hipótesis, no un compendio de conocimientos ciertos. Las afirmaciones que pueden demostrarse incorrectas caen dentro de su dominio... Pero las teorías que no pueden comprobarse en principio no son parte de la ciencia... Rechazamos Omphalos por inútil, no por equivocado".

Aplicaciones

Inteligencia artificial

Las aplicaciones de la inteligencia artificial incluyen el diagnóstico de fallos , la revisión de creencias y la planificación automatizada . La aplicación más directa de la abducción es la de detectar automáticamente fallos en los sistemas: dada una teoría que relaciona los fallos con sus efectos y un conjunto de efectos observados, la abducción puede utilizarse para derivar conjuntos de fallos que probablemente sean la causa del problema. [4]

Medicamento

En medicina , la abducción puede verse como un componente de la evaluación y el juicio clínicos. [54] [55] El sistema de diagnóstico Internist-I , el primer sistema de IA que cubrió el campo de la Medicina Interna, utilizó el razonamiento abductivo para converger en las causas más probables de un conjunto de síntomas de pacientes que adquirió a través de un diálogo interactivo con un usuario experto. [56]

Planificación automatizada

La abducción también se puede utilizar para modelar la planificación automatizada . [57] Dada una teoría lógica que relaciona las ocurrencias de acciones con sus efectos (por ejemplo, una fórmula del cálculo de eventos ), el problema de encontrar un plan para alcanzar un estado se puede modelar como el problema de abducir un conjunto de literales que implican que el estado final es el estado objetivo.

Análisis de inteligencia

En el análisis de inteligencia , el análisis de hipótesis en competencia y las redes bayesianas , se utiliza ampliamente el razonamiento abductivo probabilístico. De manera similar, en el diagnóstico médico y el razonamiento legal, se están utilizando los mismos métodos, aunque ha habido muchos ejemplos de errores, especialmente causados ​​por la falacia de la tasa base y la falacia del fiscal .

Revisión de creencias

La revisión de creencias , el proceso de adaptación de las creencias en vista de nueva información, es otro campo en el que se ha aplicado la abducción. El principal problema de la revisión de creencias es que la nueva información puede ser inconsistente con la red de creencias previa , mientras que el resultado de la incorporación no puede ser inconsistente. El proceso de actualización de la red de creencias puede realizarse mediante el uso de la abducción: una vez que se ha encontrado una explicación para la observación, su integración no genera inconsistencia.

El artículo de Gärdenfors [58] contiene un breve estudio del área de revisión de creencias y su relación con la actualización de bases de datos lógicas, y explora la relación entre la revisión de creencias y la lógica no monótona.

Este uso de la abducción no es sencillo, ya que añadir fórmulas proposicionales a otras fórmulas proposicionales solo puede empeorar las inconsistencias. En cambio, la abducción se realiza en el nivel del ordenamiento de preferencia de los mundos posibles . Los modelos de preferencia utilizan la lógica difusa o los modelos de utilidad .

Filosofía de la ciencia

En la filosofía de la ciencia , la abducción ha sido el método de inferencia clave para apoyar el realismo científico , y gran parte del debate sobre el realismo científico se centra en si la abducción es un método de inferencia aceptable. [59]

Lingüística histórica

En lingüística histórica , la abducción durante la adquisición del lenguaje se considera a menudo una parte esencial de los procesos de cambio del lenguaje, como el reanálisis y la analogía . [60]

Lingüística aplicada

En la investigación lingüística aplicada , el razonamiento abductivo está empezando a utilizarse como una explicación alternativa al razonamiento inductivo, en reconocimiento de que los resultados previstos de la investigación cualitativa desempeñan un papel en la orientación del análisis. Se define como "el uso de una premisa poco clara basada en observaciones, y la búsqueda de teorías para intentar explicarla" (Rose et al., 2020, p. 258) [61] [62]

Antropología

En antropología , Alfred Gell, en su influyente libro Art and Agency, definió la abducción (según Eco [63] ) como "un caso de inferencia sintética 'en el que encontramos algunas circunstancias muy curiosas, que se explicarían suponiendo que se trata de un caso de alguna regla general, y por lo tanto adoptamos esa suposición ' ". [64] Gell critica los estudios "antropológicos" existentes sobre el arte por estar demasiado preocupados por el valor estético y no lo suficiente por la preocupación antropológica central de descubrir las "relaciones sociales", específicamente los contextos sociales en los que se producen, circulan y reciben las obras de arte. [65] La abducción se utiliza como mecanismo para pasar del arte a la agencia. Es decir, la abducción puede explicar cómo las obras de arte inspiran un sensus communis: las opiniones compartidas por los miembros que caracterizan a una sociedad determinada. [66]

La pregunta que Gell plantea en el libro es: "¿cómo es que inicialmente 'habla' a la gente?". Responde diciendo que "Ninguna persona razonable podría suponer que las relaciones entre personas y cosas, como las del arte, no impliquen al menos alguna forma de semiosis ". [64] Sin embargo, rechaza cualquier insinuación de que la semiosis pueda ser pensada como un lenguaje porque entonces tendría que admitir una existencia preestablecida del sensus communis que él quiere afirmar que sólo emerge después del arte. La abducción es la respuesta a este enigma porque la naturaleza tentativa del concepto de abducción (Peirce lo comparó con la adivinación) significa que no sólo puede operar fuera de cualquier marco preexistente, sino que además puede insinuar la existencia de un marco. Como Gell razona en su análisis, la existencia física de la obra de arte impulsa al espectador a realizar una abducción que imbuye a la obra de arte de intencionalidad. Una estatua de una diosa, por ejemplo, en algunos sentidos se convierte en la diosa en la mente del observador; y representa no sólo la forma de la deidad sino también sus intenciones (que se deducen del sentimiento de su misma presencia). Por lo tanto, a través de la abducción, Gell afirma que el arte puede tener el tipo de agencia que planta las semillas que crecen hasta convertirse en mitos culturales. El poder de la agencia es el poder de motivar acciones e inspirar en última instancia la comprensión compartida que caracteriza a cualquier sociedad dada. [66]

Programación de computadoras

En los métodos formales , la lógica se utiliza para especificar y demostrar propiedades de programas informáticos. La abducción se ha utilizado en herramientas de razonamiento mecanizado para aumentar el nivel de automatización de la actividad de demostración.

Se utilizó una técnica conocida como bi-abducción, que mezcla la abducción y el problema del marco , para escalar las técnicas de razonamiento para propiedades de memoria a millones de líneas de código; [67] se utilizó la abducción basada en lógica para inferir condiciones previas para funciones individuales en un programa, liberando al ser humano de la necesidad de hacerlo. Condujo a una empresa emergente a prueba de programas, que fue adquirida por Facebook, [68] y a la herramienta de análisis de programas Infer, que permitió prevenir miles de errores en bases de código industriales. [69]

Además de la inferencia de precondiciones de funciones, la abducción se ha utilizado para automatizar la inferencia de invariantes para bucles de programas, [70] la inferencia de especificaciones de código desconocido, [71] y en la síntesis de los propios programas. [72]

Véase también

Notas

  1. ^ ab Por ejemplo: Josephson, John R.; Josephson, Susan G., eds. (1994). Abductive Inference: Computation, Philosophy, Technology. Cambridge, Reino Unido; Nueva York: Cambridge University Press. doi :10.1017/CBO9780511530128. ISBN 978-0521434614.OCLC 28149683  .
  2. ^ "Retroducción". Commens – Digital Companion to CS Peirce . Mats Bergman, Sami Paavola y João Queiroz. Archivado desde el original el 26 de agosto de 2014. Consultado el 24 de agosto de 2014 .
  3. ^ Véase, por ejemplo, Análisis de la evidencia, 2.ª ed. de Terence Anderson (Cambridge University Press, 2005)
  4. ^ ab Para ver ejemplos, véase "Abductive Inference in Reasoning and Perception", de John R. Josephson, Laboratorio de Investigación de Inteligencia Artificial, Universidad Estatal de Ohio, y Abduction, Reason, and Science. Processes of Discovery and Explanation, de Lorenzo Magnani (Kluwer Academic/Plenum Publishers, Nueva York, 2001).
  5. ^ Flach, PA ; Kakas, AC, eds. (2000). Abducción e inducción: ensayos sobre su relación e integración. Springer. p. xiii . Consultado el 31 de octubre de 2016 . Este libro surgió de una serie de talleres sobre este tema. [Budapest 1996; Nagoya 1997; Brighton 1998]
  6. ^ Reggia, James A., et al. "Justificación de respuestas en sistemas expertos de diagnóstico. Parte I: Inferencia abductiva y su justificación". Transacciones IEEE sobre ingeniería biomédica 4 (1985): 263-267.
  7. ^ ab Douven, Igor (2021), "Abduction", en Zalta, Edward N. (ed.), The Stanford Encyclopedia of Philosophy (edición de verano de 2021), Metaphysics Research Lab, Stanford University , consultado el 17 de abril de 2024
  8. ^ Sober, Elliott (2013). Preguntas fundamentales de la filosofía: un texto con lecturas (6.ª ed.). Boston: Pearson Education. pág. 28. ISBN 9780205206698. OCLC  799024771. Paso ahora a la abducción: inferencia a la mejor explicación.
  9. ^ Campos, Daniel G. (junio de 2011). "Sobre la distinción entre la abducción de Peirce y la inferencia de Lipton a la mejor explicación". Síntesis . 180 (3): 419–442. doi :10.1007/s11229-009-9709-3. S2CID  791688. Argumento en contra de la tendencia en la literatura de filosofía de la ciencia a vincular la abducción a la inferencia a la mejor explicación (IBE), y en particular, a afirmar que la abducción de Peirce es un predecesor conceptual de la IBE. [...] En particular, afirmo que la abducción de Peirce es una explicación en profundidad del proceso de generación de hipótesis explicativas, mientras que la IBE, al menos en el tratamiento exhaustivo de Peter Lipton , es una explicación más abarcadora de los procesos tanto de generación como de evaluación de hipótesis científicas. Existe entonces un doble problema con la afirmación de que la abducción es IBE. Por un lado, confunde la abducción y la inducción, que son dos formas distintas de inferencia lógica, con dos objetivos distintos, como lo demostró Charles S. Peirce; por otro lado, carece de un sentido claro del alcance total de la EBI como explicación de la inferencia científica.
  10. ^ Walton, Douglas (2001). "Argumentos abductivos, presuntivos y plausibles". Lógica informal . 21 (2): 141–169. CiteSeerX 10.1.1.127.1593 . doi :10.22329/il.v21i2.2241. La inferencia abductiva a menudo se ha equiparado con la inferencia a la mejor explicación. [...] La explicación de la inferencia abductiva y la inferencia a la mejor explicación presentada anteriormente ha enfatizado los elementos comunes encontrados en los análisis dados por Peirce, Harman y los Josephson. Es necesario agregar que esta breve explicación puede ser engañosa en algunos aspectos, y que una explicación más cercana y detallada de los puntos más finos de los tres análisis podría revelar importantes diferencias filosóficas subyacentes. Las inferencias hacia la mejor explicación, tal como las exponen Harman y los Josephson, pueden involucrar procesos deductivos e inductivos de un tipo que aparentemente quedarían excluidos por la explicación de la abducción de Peirce. 
  11. ^ Cialdea Mayer, Marta y Pirri, Fiora (1993) "Abducción de primer orden mediante cuadro y cálculos posteriores" Logic Jnl IGPL 1993 1: 99-117; doi :10.1093/jigpal/1.1.99. Revistas de Oxford
  12. ^ Cialdea Mayer, Marta y Pirri, Fiora (1993) "Abducción proposicional en lógica modal" Logic Jnl IGPL 1995 3(6) 907–919; doi :10.1093/jigpal/3.6.907. Revistas de Oxford
  13. ^ Peirce MS. 692, citado en Sebeok, T. (1981) "Conoces mi método" en Sebeok, T., The Play of Musement , Bloomington, IA: Indiana, página 24.
  14. ^ Peirce MS. 696, citado en Sebeok, T. (1981) "Conoces mi método" en Sebeok, T., The Play of Musement , Bloomington, IA: Indiana, página 31.
  15. ^ de A. Jøsang. Lógica subjetiva: un formalismo para razonar bajo incertidumbre , Springer 2016, ISBN 978-3-319-42337-1 
  16. ^ Pólya, George (1945). Cómo resolverlo: un nuevo aspecto del método matemático (Expanded Princeton Science Library (2004) ed.). Princeton [NJ]: Princeton University Press. p. 45. ISBN 0-691-11966-X.
  17. ^ Popper, Karl (2002). Conjeturas y refutaciones: el crecimiento del conocimiento científico (2.ª ed.). Londres: Routledge. pág. 536.
  18. ^ Véase Santaella, Lucia (1997) "El desarrollo de los tres tipos de razonamiento de Peirce: abducción, deducción e inducción", 6º Congreso de la IASS . Eprint.
  19. ^ Peirce, C. S.
    • "Sobre la lógica de extraer la historia de documentos antiguos, especialmente de testimonios" (1901), Collected Papers v. 7, párrafo 219.
    • "PAP" ["Prolegómenos a una apología del pragmatismo"], MS 293 c. 1906, Nuevos elementos de matemáticas v. 4, págs. 319–320.
    • Una carta a FA Woods (1913), Collected Papers v. 8, párrafos 385–388.
    (Véase "Abducción" y "Retroducción" en el Diccionario Commens de términos de Peirce .)
  20. ^ abcd Peirce, CS (1903), Conferencias de Harvard sobre pragmatismo, Collected Papers v. 5, párrafos 188–189.
  21. ^ Peirce, CS (1908), "Un argumento desatendido a favor de la realidad de Dios", Hibbert Journal v. 7, págs. 90-112, véase §4. En Collected Papers v. 6, véase el párrafo 476. En The Essential Peirce v. 2, véase la pág. 444.
  22. ^ abcd Peirce, CS (1908), "Un argumento desatendido a favor de la realidad de Dios", Hibbert Journal v. 7, págs. 90-112. Véase tanto la parte III como la parte IV. Reimpreso, incluida la parte original inédita, en Collected Papers v. 6, párrafos 452-485, Essential Peirce v. 2, págs. 434-450, y en otros lugares.
  23. ^ Peirce utilizó el término "intuición" no en el sentido de una inferencia instintiva o semiconsciente, como suele hacerse en la actualidad, sino que utilizó "intuición" habitualmente en el sentido de una cognición desprovista de determinación lógica por cogniciones previas . Dijo: "No tenemos poder de intuición" en ese sentido. Véase su libro "Algunas consecuencias de cuatro incapacidades" (1868), Eprint Archivado el 14 de mayo de 2011 en Wayback Machine .
  24. ^ Para una discusión relevante de Peirce y los objetivos de la inferencia abductiva, véase McKaughan, Daniel J. (2008), "From Ugly Duckling to Swan: CS Peirce, Abduction, and the Pursuit of Scientific Theories", Transactions of the Charles S. Peirce Society , v. 44, no. 3 (verano), 446–468.
  25. ^ Peirce quiere decir "concebible" en un sentido muy amplio. Véase Collected Papers , vol. 5, párrafo 196, o Essential Peirce , vol. 2, pág. 235, "El pragmatismo como lógica de la abducción" (Conferencia VII de las conferencias de Harvard de 1903 sobre pragmatismo):

    Permite cualquier vuelo de la imaginación, siempre que esta imaginación finalmente se refiera a un posible efecto práctico; y así, muchas hipótesis pueden parecer a primera vista excluidas por la máxima pragmática cuando en realidad no lo están.

  26. ^ abcd Peirce, CS, Carnegie Application (L75, 1902, New Elements of Mathematics v. 4, págs. 37-38. Véase en "Abducción" en el Diccionario Commens de términos de Peirce :

    La metodéutica tiene un interés especial en la abducción, o la inferencia que da origen a una hipótesis científica, ya que no basta con que una hipótesis sea justificable. Cualquier hipótesis que explique los hechos está justificada críticamente. Pero entre las hipótesis justificables tenemos que seleccionar aquella que sea adecuada para ser puesta a prueba mediante experimentos.

  27. ^ abcd Peirce, "El pragmatismo como lógica de la abducción" (Conferencia VII de las conferencias de Harvard sobre pragmatismo de 1903), véanse las partes III y IV. Publicado en parte en Collected Papers v. 5, párrafos 180-212 (véanse 196-200, Eprint y en su totalidad en Essential Peirce v. 2, pp. 226-241 (véanse las secciones III y IV).

    ... ¿Qué es una buena abducción? ¿Qué debe ser una hipótesis explicativa para ser digna de ser considerada hipótesis? Por supuesto, debe explicar los hechos, pero ¿qué otras condiciones debe cumplir para ser buena? ... Por lo tanto, cualquier hipótesis puede ser admisible, en ausencia de razones especiales en contra, siempre que sea susceptible de verificación experimental, y sólo en la medida en que sea susceptible de tal verificación. Ésta es aproximadamente la doctrina del pragmatismo.

  28. ^ abc Peirce, CS (1902), solicitud a la Carnegie Institution, véase MS L75.329-330, del Borrador D Archivado el 24 de mayo de 2011 en Wayback Machine de Memorias 27:

    En consecuencia, descubrir es simplemente acelerar un acontecimiento que se produciría tarde o temprano si no nos hubiéramos molestado en realizar el descubrimiento. En consecuencia, el arte del descubrimiento es puramente una cuestión de economía. La economía de la investigación es, en lo que respecta a la lógica, la doctrina principal en lo que se refiere al arte del descubrimiento. En consecuencia, la conducta de la abducción, que es principalmente una cuestión de heurística y es la primera cuestión de heurística, debe regirse por consideraciones económicas.

  29. ^ Peirce, A Letter to Paul Carus circa 1910, Collected Papers v. 8, párrafos 227-228. Véase en "Hipótesis" en el Diccionario Commens de términos de Peirce .
  30. ^ ab (1867), "Sobre la clasificación natural de los argumentos", Proceedings of the American Academy of Arts and Sciences v. 7, págs. 261–287. Presentado el 9 de abril de 1867. Véase especialmente a partir de la pág. 284 en la Parte III §1. Reimpreso en Collected Papers v. 2, párrafos 461–516 y Writings v. 2, págs. 23–49.
  31. ^ abc Peirce, CS (1878), "Deducción, inducción e hipótesis", Popular Science Monthly , v. 13, págs. 470–82, véase 472. Collected Papers 2.619–44, véase 623.
  32. ^ ab Carta a Langley, 1900, publicada en Historical Perspectives on Peirce's Logic of Science . Véanse los extractos en "Abducción" en el Commens Dictionary of Peirce's Terms .
  33. ^ "Un programa de estudios sobre ciertos temas de lógica" (manuscrito de 1903), Essential Peirce v. 2, véase p. 287. Véase en "Abducción" en el Diccionario Commens de términos de Peirce .
  34. ^ Peirce, CS, "On the Logic of Drawing History from Ancient Documents", fechado alrededor de 1901 tanto por los editores de Collected Papers (véase CP v. 7, libro 2, cap. 3, nota al pie 1) como por los de Essential Peirce (EP) (Eprint Archivado el 5 de septiembre de 2012 en Wayback Machine . La discusión del artículo sobre el secuestro se encuentra en CP v. 7, párrafos 218-31 y en EP v. 2, pp. 107-14.
  35. ^ ab Peirce, CS, "Un programa de estudios sobre ciertos temas de lógica" (1903), Essential Peirce v. 2, pág. 287:

    La mente intenta ordenar los hechos, modificados por el nuevo descubrimiento; es decir, formar una concepción general que los abarque. En algunos casos, lo hace mediante un acto de generalización . En otros casos, no se sugiere ninguna ley nueva, sino sólo un estado peculiar de hechos que "explicará" el fenómeno sorprendente; y se reconoce una ley ya conocida como aplicable a la hipótesis sugerida, de modo que el fenómeno, bajo esa suposición, no sería sorprendente, sino muy probable, o incluso sería un resultado necesario. Esta síntesis que sugiere una nueva concepción o hipótesis es la abducción.

  36. ^ ab Una carta a JH Kehler (1911), Nuevos elementos de las matemáticas v. 3, págs. 203–4, véase bajo "Retroducción" en el Diccionario Commens de términos de Peirce .
  37. ^ Peirce, Charles S. (1883). "Una teoría de la inferencia probable". En Peirce, Charles S. (ed.). Estudios de lógica por miembros de la Universidad Johns Hopkins . Boston, MA: Little, Brown, and Company. Archivado desde el original el 8 de marzo de 2019. Consultado el 7 de marzo de 2019 .
  38. ^ Sebeok, Thomas A .; Umiker-Sebeok, Jean (1979). "'Conoces mi método': una yuxtaposición de Charles S. Peirce y Sherlock Holmes". Semiotica . 26 (3–4): 203–250. doi :10.1515/semi.1979.26.3-4.203. S2CID  170683439. Marcello Truzzi , en un artículo minucioso sobre el método de Holmes (1973:93–126), anticipó nuestro trabajo actual al señalar las similitudes entre las llamadas deducciones o inducciones del detective y las abducciones o conjeturas de Peirce. Según el sistema de lógica de Peirce, además, las observaciones de Holmes son en sí mismas una forma de abducción, y la abducción es un tipo de inferencia lógica tan legítima como la inducción o la deducción (Peirce 8.228).
  39. ^ Niiniluoto, Ilkka (septiembre de 1999). "Defendiendo la abducción". Filosofía de la ciencia . 66 (Suplemento 1): S436–S451 (S440–S441). doi :10.1086/392744. S2CID  224841752. Una aplicación históricamente interesante de la abducción como método heurístico se puede encontrar en las historias de detectives clásicas, como lo muestran los ensayos semióticos y lógicos recopilados en Eco y Sebeok 1983. C. Auguste Dupin , el héroe de las novelas de Edgar Allan Poe en la década de 1840, empleó un método de "raciocinio" o "análisis" que tiene la estructura de retroducción. De manera similar, la lógica de las "deducciones" de Sherlock Holmes es típicamente abductiva.
  40. ^ Carson, David (junio de 2009). "El secuestro de Sherlock Holmes" (PDF) . Revista internacional de ciencia y gestión policial . 11 (2): 193–202. doi :10.1350/ijps.2009.11.2.123. S2CID  145337828. Sherlock Holmes, aunque es un personaje ficticio, sigue siendo reconocido como un gran detective. Sin embargo, su metodología, que era la abducción en lugar de la deducción, y que es utilizada inocentemente por muchos detectives reales, rara vez se describe, analiza o investiga. Este artículo compara y contrasta las tres formas de razonamiento inferencial y defiende la articulación y el desarrollo del papel del secuestro en el trabajo y la formación de los agentes de policía.
  41. ^ En Peirce, CS, 'Minute Logic' circa 1902, Collected Papers v. 2, párrafo 102. Véase bajo "Abducción" en el Diccionario Commens de términos de Peirce .
  42. ^ Peirce, "Sobre la lógica de extraer la historia de documentos antiguos", manuscrito de 1901, Collected Papers v. 7, párrafos 164-231, véase 202, reimpreso en Essential Peirce v. 2, págs. 75-114, véase 95. Véase en "Abducción" en el Diccionario Commens de términos de Peirce .
  43. ^ Peirce, "Sobre la lógica de extraer la historia antigua a partir de documentos", Essential Peirce v. 2, véanse las págs. 107-109.
  44. ^ Peirce, Solicitud Carnegie, L75 (1902), Memorias 28: "Sobre la economía de la investigación", desplácese hacia abajo hasta el borrador E. Eprint Archivado el 24 de mayo de 2011 en Wayback Machine .
  45. ^ Peirce, CS, Conferencias Lowell sobre la lógica de la ciencia de 1866, Escritos de Charles S. Peirce v. 1, pág. 485. Véase en "Hipótesis" en el Diccionario Commens de términos de Peirce .
  46. ^ Peirce, CS, "A Syllabus of Certain Topics of Logic", escrito en 1903. Véase The Essential Peirce v. 2, p. 287. Cita visible bajo "Abducción" en el Diccionario Commens de términos de Peirce .
  47. ^ Peirce, A Letter to Paul Carus 1910, Collected Papers v. 8, véase el párrafo 223.
  48. ^ Peirce, CS (1902), Application to the Carnegie Institution, Memoir 27, Eprint Archivado el 24 de mayo de 2011 en Wayback Machine : "De las diferentes clases de argumentos, las abducciones son las únicas en las que, después de haber sido admitidas como justas, todavía queda investigar si son ventajosas".
  49. ^ Peirce, "Sobre la lógica de extraer la historia antigua de los documentos", Essential Peirce v. 2, véanse las págs. 107-9 y 113. En Twenty Questions, pág. 109, Peirce ha señalado que si cada pregunta elimina la mitad de las posibilidades, veinte preguntas pueden elegir entre 2 20 o 1.048.576 objetos, y continúa diciendo:

    De este modo, veinte hipótesis hábiles pueden determinar lo que doscientas mil hipótesis estúpidas podrían no lograr. El secreto del negocio reside en la cautela que permite dividir una hipótesis en sus componentes lógicos más pequeños y arriesgar sólo uno de ellos a la vez.

  50. ^ "Un ensayo para mejorar nuestro razonamiento en materia de seguridad y libertad". www.commens.org . Archivado desde el original el 26 de agosto de 2014 . Consultado el 5 de febrero de 2022 .
  51. ^ "El último testamento filosófico de Peirce: Uberty en la lógica de". paperzz.com . Consultado el 5 de febrero de 2022 .
  52. ^ Beni, Majid D.; Pietarinen, Ahti-Veikko (10 de septiembre de 2021). "Alineación del principio de energía libre con la lógica de la ciencia y la economía de la investigación de Peirce". Revista Europea de Filosofía de la Ciencia . 11 (3): 94. doi :10.1007/s13194-021-00408-y. ISSN  1879-4920. S2CID  237475038.
  53. Stephen Jay Gould, "El ombligo de Adán", en idem, El ombligo de Adán y otros ensayos (Londres: Penguin, 1995), pág. 3.
  54. ^ Rapezzi, C; Ferrari, R; Branzi, A (24 de diciembre de 2005). "Batas blancas y huellas dactilares: razonamiento diagnóstico en medicina y métodos de investigación de detectives ficticios". BMJ (Clinical Research Ed.) . 331 (7531): 1491–4. doi :10.1136/bmj.331.7531.1491. PMC 1322237. PMID  16373725 . 
  55. ^ Rejón Altable, C (octubre de 2012). «Estructura lógica del juicio clínico y su relación con la semiología médica y psiquiátrica». Psicopatología . 45 (6): 344–51. doi : 10.1159/000337968 . PMID:  22854297. Consultado el 17 de enero de 2014 .
  56. ^ Pople, Harry E. (1982). "Métodos heurísticos para imponer estructura a problemas mal estructurados: la estructuración de diagnósticos médicos". En Szolovits, Peter (ed.). Inteligencia artificial en medicina. pp. 119–190. doi :10.4324/9780429052071-5. ISBN 978-0-429-05207-1.
  57. ^ Kave Eshghi. Planificación abductiva con cálculo de eventos. En Robert A. Kowalski, Kenneth A. Bowen, editores: Programación lógica, Actas de la Quinta Conferencia y Simposio Internacional, Seattle, Washington, 15-19 de agosto de 1988. MIT Press 1988, ISBN 0-262-61056-6 
  58. ^ Gärdenfors, Peter. "Revisión de creencias: un vademécum". Metaprogramación en lógica: tercer taller internacional, META-92 Uppsala, Suecia, 10 al 12 de junio de 1992 Actas 3. Springer Berlin Heidelberg, 1992.
  59. ^ Lipton, Peter. (2001). Inferencia a la mejor explicación, Londres: Routledge. ISBN 0-415-24202-9
  60. ^ April MS McMahon (1994): Entender el cambio lingüístico. Cambridge: Cambridge University Press. ISBN 0-521-44665-1 
  61. ^ Rose, McKinley y Briggs Baffoe-Djan (2020). Métodos de investigación de recopilación de datos en lingüística aplicada . Bloomsbury. ISBN 9781350025851.{{cite book}}: CS1 maint: multiple names: authors list (link)
  62. ^ McKinley, J (6 de diciembre de 2019). "Introducción: Teorización de métodos de investigación en la 'edad de oro' de la investigación en lingüística aplicada" (PDF) . En McKinley & Rose (ed.). The Routledge Handbook of Research Methods in Applied Linguistics . Abingdon: Routledge. págs. 1–13. ISBN 9780367824471Archivado desde el original (PDF) el 15 de febrero de 2020 . Consultado el 15 de febrero de 2020 .
  63. ^ Eco, Umberto (1976). Una teoría de la semiótica. Indiana University Press. pág. 131. ISBN 9780253359551.
  64. ^ ab Gell, A. (1998). Arte y agencia . Oxford: Clarendon Press. pág. 14. ISBN 9780191037450.
  65. ^ Bowden, R. (2004) Una crítica de Alfred Gell sobre el arte y la agencia. Recuperado en septiembre de 2007 de: Find Articles at BNET
  66. ^ ab Whitney D. (2006) "Abduction the agency of art". Recuperado en mayo de 2009 de: University of California, Berkeley Archivado el 20 de noviembre de 2008 en Wayback Machine.
  67. ^ Calcagno, Cristiano; Distefano, Dino; O'Hearn, Peter W.; Yang, Hongseok (1 de diciembre de 2011). "Análisis de la forma compositiva mediante biabducción". Revista de la ACM . 58 (6): 1–66. doi :10.1145/2049697.2049700. S2CID  52808268.
  68. ^ "Facebook adquiere activos del desarrollador británico de software de detección de errores para dispositivos móviles Monoidics". TechCrunch . 18 de julio de 2013. Archivado desde el original el 30 de septiembre de 2024 . Consultado el 30 de septiembre de 2023 .
  69. ^ Distefano, Dino; Fähndrich, Manuel; Logozzo, Francesco; O'Hearn, Peter W. (24 de julio de 2019). "Escalando análisis estáticos en Facebook". Comunicaciones de la ACM . 62 (8): 62–70. doi : 10.1145/3338112 .
  70. ^ Dillig, Isil; Dillig, Thomas; Li, Boyang; McMillan, Ken (29 de octubre de 2013). "Generación inductiva de invariantes mediante inferencia abductiva". Actas de la conferencia internacional ACM SIGPLAN de 2013 sobre lenguajes y aplicaciones de sistemas de programación orientados a objetos . Avisos ACM SIGPLAN . Vol. 48. págs. 443–456. doi :10.1145/2509136.2509511. ISBN . 9781450323741. Número de identificación del sujeto  16518775.
  71. ^ Giacobazzi, Roberto (1 de agosto de 1998). "Análisis abductivo de programas lógicos modulares". Journal of Logic and Computation . 8 (4): 457–483. doi :10.1093/logcom/8.4.457. ISSN  0955-792X.
  72. ^ Polikarpova, Nadia; Sergey, Ilya (2 de enero de 2019). "Estructuración de la síntesis de programas de manipulación de heap". Actas de la ACM sobre lenguajes de programación . 3 : 1–30. arXiv : 1807.07022 . doi : 10.1145/3290385 .

Referencias

Enlaces externos