Juan L. Pollock

Conocimiento y justificación es el libro que consagró a Pollock en la epistemología. Apareció en un momento en que la filosofía estadounidense, y especialmente la epistemología, estaba obsesionada con el análisis del significado del conocimiento . Por ejemplo, el problema de Gettier , uno de los más debatidos de la época, plantea por qué sostener una «creencia verdadera justificada» de que x no equivale a saber que x. El libro de Pollock se distancia de la tarea de identificar los «criterios analíticos» que podrían constituir las condiciones necesarias y suficientes para el conocimiento. Sus normas epistémicas se rigen por el razonamiento refutable; son condiciones ceteris paribus que admiten excepciones. Varios otros epistemólogos (en particular en la Universidad de Brown , como Ernest Sosa , y especialmente Roderick Chisholm ), así como su colega de Arizona, Keith Lehrer , habían escrito sobre la refutabilidad y la epistemología. Pero el libro de Pollock, que combinaba un amplio alcance con una innovación crucial, introdujo estas ideas en la corriente principal de la filosofía.

En las dos décadas previas a su muerte, Pollock se hizo conocido entre los filósofos como el "Sr. Razonamiento Derrotable". En el campo de la inteligencia artificial , donde el razonamiento no monótono había causado una gran conmoción intelectual, los académicos afines a la obra de Pollock lo tenían en alta estima por su temprana dedicación y claridad. La declaración más directa de Pollock se encuentra en el artículo "Razonamiento Derrotable", publicado en Cognitive Science en 1987, aunque sus ideas no sintácticas ya estaban casi plenamente desarrolladas en Knowledge and Justification . Pollock rastreó la historia de su propio pensamiento (por ejemplo, en una nota a pie de página en Pollock y Cruz, Contemporary Theories of Knowledge, 1999, p.  36, nota 37, y en otros lugares) hasta su primer artículo sobre epistemología, "Criteria and our knowledge of the material world", Philosophical Review 76 , 1967. Pensaba que Roderick Chisholm había influido en su pensamiento sobre el tema, pero también dijo que estaba intentando interpretar directamente a Ludwig Wittgenstein , y a veces reconocía a Stephen Toulmin en el tema de la argumentación. Aunque su trabajo tuvo un impacto considerable en el área de la inteligencia artificial y el derecho , Pollock no estaba muy interesado en la jurisprudencia ni en las teorías del razonamiento jurídico, y nunca reconoció la herencia del razonamiento derrotable a través de HLA Hart . Pollock también mantuvo a distancia a los lógicos informales y a los estudiosos de la retórica , aunque el razonamiento derrotable tiene afinidades naturales con la argumentación .

Los conceptos de "socavar la derrota" y "refutar la derrota" de Pollock son ya elementos fundamentales en la literatura sobre razonamiento derrotable. Posteriormente añadió la "autoderrota" y otros mecanismos de derrota, pero la distinción original sigue siendo la más popular.

Aunque favorecida por un fuerte impulso de la IA y algunos filósofos contemporáneos de ideas afines (por ejemplo, Donald Nute, Nicholas Asher, Bob Causey), es seguro que el razonamiento refutable pasó de ser algo oscuro a ser una corriente principal en la filosofía gracias a John Pollock, en el corto período de tiempo entre la publicación de Conocimiento y justificación y la segunda edición de Teorías contemporáneas del conocimiento .

Más adelante en su carrera, Pollock dedicó una parte considerable de su tiempo a un proyecto de software llamado OSCAR , un prototipo de inteligencia artificial que denominó "artilect". OSCAR era en gran medida una implementación de las ideas de Pollock sobre el razonamiento derrotable, pero también incorporaba sus ideas menos conocidas y a menudo inéditas sobre intenciones, intereses, estrategias para la resolución de problemas y otros aspectos del diseño de arquitectura cognitiva. OSCAR era un programa basado en LISP con un razonador "basado en intereses". Pollock afirmaba que la eficiencia de su demostrador de teoremas radicaba en su renuencia a extraer conclusiones "poco interesantes". Si bien OSCAR no contó con la colaboración de un gran número de programadores profesionales, debe compararse con CyC , Soar (arquitectura cognitiva) y Novamente por la ambición de su creador.

Pollock describió las características principales de Oscar como la capacidad de razonar de manera refutable sobre la percepción, el cambio y la persistencia, la causalidad, las probabilidades, la construcción y evaluación de planes y la toma de decisiones. ^{[ 2 ]} Describió la evolución de Oscar en la Fábula de Oscar en su libro.

OSCAR surgió de los Prologemena sobre cómo construir una persona , que sus colegas debieron interpretar como un uso irónico del concepto de persona en aquel momento. Sin embargo, la actitud de Pollock hacia OSCAR era más metódica: esperaba futuras taxonomías cognitivas que lo clasificaran generosamente como una forma antropomórfica legítima.

Nomic Probability and the Foundations of Induction, Oxford, 1990, fue la profunda investigación de Pollock sobre la relación entre el razonamiento derrotable y la estimación de la probabilidad a partir de frecuencias (inferencia directa de la probabilidad). Representa una maduración de ideas originalmente presentadas en un artículo de 1983 en Theory and Decision . Este trabajo debe compararse con las teorías de probabilidad de Henry E. Kyburg , aunque Pollock creía estar teorizando sobre una variedad más amplia de inferencias estadísticas .

• Introducción a la lógica simbólica, Holt Rinehart Winston, 1969.
• Conocimiento y justificación, Princeton, 1974.
• Razonamiento subjuntivo, Springer, 1976.
• Lenguaje y pensamiento, Princeton, 1982.
• Fundamentos de la semántica filosófica, Princeton, 1984.
• Teorías contemporáneas del conocimiento, primera edición, Rowman-Littlefield, 1987.
• Cómo construir una persona: Un prolegómeno, MIT Press, 1989.
• Métodos técnicos en filosofía, Westview, 1990.
• Probabilidad Nómica y Fundamentos de la Inducción, Oxford, 1990.
• Filosofía e IA: Ensayos en la interfaz, con R. Cummins, MIT Press, 1995.
• Carpintería cognitiva: Un plan para construir una persona, MIT Press, 1995.
• Teorías contemporáneas del conocimiento, con J. Cruz, segunda edición, Rowman-Littlefield, 1999.
• Pensar en la actuación: Fundamentos lógicos para la toma de decisiones racionales, Oxford, 2006.

• "Criterios y nuestro conocimiento del mundo material", The Philosophical Review , 1967.
• "Lógica modal básica", Journal of Symbolic Logic , 1967.
• "¿Qué es un problema epistemológico?" American Philosophical Quarterly , 1968.
• "La estructura de la justificación epistémica", American Philosophical Quarterly , 1970.
• "Conocimiento perceptivo", The Philosophical Review , 1971.
• "La lógica de la proyectabilidad", Filosofía de la Ciencia , 1972.
• "Generalizaciones subjuntivas", Synthese , 1974.
• "Cuatro tipos de condicionales", American Philosophical Quarterly , 1975.
• "El análisis de los 'mundos posibles' de los contrafactuales", Estudios filosóficos , 1976.
• "Pensando en un objeto", Estudios de filosofía del Medio Oeste , 1980.
• "Una teoría refinada de los contrafactuales", Journal of Philosophical Logic , 1981.
• "Epistemología y probabilidad", Synthese , 1983.
• "¿Cómo maximizar el valor esperado?" Nous , 1983.
• "Una teoría de la inferencia directa", Teoría y Decisión , 1983.
• "Una solución al problema de la inducción", Nous , 1984.
• "Fiabilidad y creencia justificada", Revista Canadiense de Filosofía , 1984.
• "Una teoría del razonamiento moral", Ética , 1986.
• "La paradoja del prefacio", Filosofía de la ciencia , 1986.
• "Normas epistémicas", Synthese , 1987.
• "Razonamiento refutable", Ciencia Cognitiva , 1987.
• "Cómo construir una persona: la base física de la mentalidad", Perspectivas filosóficas , 1987.
• "Mi hermano, la máquina", Nous , 1988.
• "OSCAR: Una teoría general de la racionalidad", Journal of Experimental and Theoretical Artificial Intelligence , 1989.
• "Razonamiento suposicional impulsado por intereses", Journal of Automated Reasoning , 1990.
• "Argumentos contraproducentes", Mentes y máquinas , 1991.
• "Una teoría del razonamiento refutable", Revista Internacional de Sistemas Inteligentes , 1991.
• "Nuevos fundamentos para el razonamiento práctico", Mentes y máquinas , 1992.
• "Cómo razonar de forma refutable", Inteligencia Artificial , 1992.
• "La teoría de la probabilidad nómica", Synthese , 1992.
• "La filogenia de la racionalidad", Ciencia Cognitiva , 1993.
• "Fundamentos para la inferencia directa", Teoría y Decisión , 1994.
• "Justificación y derrota", Inteligencia Artificial , 1994.
• "La restricción de proyectabilidad", en Grue! El nuevo enigma de la inducción , ed. Douglas Stalker, Open Court, 1994.
• "Implementación del razonamiento derrotable", Taller sobre Dialéctica Computacional - FAPR , 1996.
• "Oscar: un razonador derrotable de propósito general", Journal of Applied Nonclassical Logics , 1996.
• "Demostrando la no existencia de Dios", Inquiry  : An Interdisciplinary Journal of Philosophy , 1996.
• "Tomar la percepción en serio", Actas de la primera conferencia internacional sobre agentes autónomos , 1997.
• "Razonamiento sobre el cambio y la persistencia: una solución al problema del marco", Nous , 1997.
• "Los fundamentos lógicos de la planificación de regresión de objetivos en agentes autónomos", Inteligencia Artificial , 1998.
• "Percibir y razonar sobre un mundo cambiante", Inteligencia Computacional , 1998.
• "Epistemología procedimental", en El fénix digital: cómo las computadoras están cambiando la filosofía, Bynum y Moor, eds., Wiley, 1998.
• "Agentes de planificación", en Fundamentos de la agencia racional , editado por Rao y Wooldridge, Kluwer, 1999.
• "Revisión de creencias y epistemología", con A. S. Gillies, Synthese , 2000.
• "Cognición racional en OSCAR", Notas de clase en Ciencias de la Computación , 2000.
• "Razonamiento refutable con grados variables de justificación", Inteligencia Artificial , 2001.
• "Probabilidad causal", Synthese , 2002.
• "Los fundamentos lógicos del razonamiento medios-fines", Sentido común, razonamiento y racionalidad , 2002.
• "Elección racional y omnipotencia de la acción", The Philosophical Review , 2002.
• "Planes y decisiones", Teoría y Decisión , 2004.
• "¿Qué soy? Máquinas virtuales y el problema mente/cuerpo", Filosofía e Investigación Fenomenológica , 2008.